MINIMIZATION OF A CONVEX SEPARABLE EXPONENTIAL FUNCTION SUBJECT TO LINEAR EQUALITY CONSTRAINT AND BOX CONSTRAINTS

Size: px
Start display at page:

Download "MINIMIZATION OF A CONVEX SEPARABLE EXPONENTIAL FUNCTION SUBJECT TO LINEAR EQUALITY CONSTRAINT AND BOX CONSTRAINTS"

Transcription

1 ournl of Pure n Applie Mthemtics Avnces n Applictions Volume 9 Numer Pges MINIMIZATION OF A CONVEX SEPARABLE EXPONENTIAL FUNCTION SUBECT TO LINEAR EQUALITY CONSTRAINT AND BOX CONSTRAINTS Deprtment of Informtics Neofit Rilsi South-Western University 2700 Blgoevgr Bulgri e-mil stefm@swu.g Astrct In this pper we consier the prolem of minimizing conve seprle eponentil function over fesile region efine y liner equlity constrint n o constrints (ouns on the vriles. Prolems of this form re interesting from oth theoreticl n prcticl point of view ecuse they rise in some mthemticl optimiztion prolems s well s in vrious prcticl pplictions. Algorithms of polynomil computtionl compleity re propose for solving prolems of this form n their convergence is prove. Some emples n results of numericl eperiments re lso presente.. Introuction Consier the following conve seprle progrm with n eponentil oective function liner equlity constrint n oune vriles 200 Mthemtics Suect Clssifiction 90C30 90C25. Keywors n phrses eponentil function conve progrmming seprle progrmming polynomil lgorithms computtionl compleity. Receive Ferury Scientific Avnces Pulishers

2 08 (CSE m min ( ( ( c c s e ( suect to α (2 (3 where s > m > 0 > 0 ( n { n}. 0 2 m Since c ( s m e > 0 then c ( re strictly m conve functions n since c ( s m e < 0 uner the ssumptions then functions c ( re ecresing. Consier lso the conve eponentil seprle progrm with liner equlity constrint n oune vriles which is similr to prolem (CSE efine y (-(3 (CESP ( ( min c c e (4 ef suect to α (5 (6 where > 0 > 0. Since 2 c ( e > 0 then c ( re strictly conve functions n since c ( e > 0 uner the ssumptions then functions c ( re incresing.

3 MINIMIZATION OF A CONVEX SEPARABLE 09 Prolems (CSE n (CESP re conve seprle progrmming prolems ecuse the oective functions n constrint functions re conve n seprle. Prolems (CSE n (CESP efine y (-(3 n (4-(6 respectively rise in prouction plnning n scheuling in lloction of resources in the theory of serch in sugrient optimiztion in fcility loction ([ ] etc. Prolems lie (CSE n (CESP n relte to them re suect of intensive stuy. Relte prolems n methos for them re consiere in [-20]. Algorithms for resource lloction prolems re propose in [ ] n lgorithms for fcility loction prolems re suggeste in [7 9] etc. Singly constrine qurtic progrms with oune vriles re consiere in [ ] etc. n some seprle progrms re consiere n methos for solving them re suggeste in [8 9] etc. Fesile regions (2-(3 n (5-(6 of prolems (CSE n (CESP respectively re nown s the npsc polytope. Vli inequlities cutting plnes n integrlity of the npsc polytopes re consiere in [6 8] etc. Methos for solving vritionl inequlities over fesile regions efine y npsc polytopes re propose in [0 6] etc. This pper is evote to the evelopment of new efficient polynomil lgorithms for solving prolems (CSE n (CESP. The pper is orgnize s follows. In Section 2 chrcteriztion theorems (necessry n sufficient conitions for the optiml solutions to the consiere prolems re prove. In Section 3 new lgorithms of polynomil compleity re suggeste n their convergence is prove. In Section 4 we consier some theoreticl n numericl spects of implementtion of the lgorithms n give some etensions of oth chrcteriztion theorems n lgorithms. In Section 5 we present results of some numericl eperiments.

4 0 2. Chrcteriztion Theorems 2.. Prolem (CSE First consier prolem (CSE efine y (-(3. Suppose tht the following ssumptions re stisfie. (. for ll. If for some then the vlue is etermine in vnce. (. α. Otherwise the constrints (2-(3 re inconsistent n X 0/ where X is efine y (2-(3. The Lgrngin for prolem (CSE is m L( u v ( s e α u ( v ( where R ; u v R n n R n consists of ll vectors with n rel components. The Krush-Kuhn-Tucer (KKT necessry n sufficient optimlity conitions for the minimum solution ( of prolem (CSE re m s me u v 0 (7 u ( 0 (8 v ( 0 (9 α (0

5 MINIMIZATION OF A CONVEX SEPARABLE ( u R R v (2 where u v re the Lgrnge multipliers ssocite with the constrints (2 respectively. If or for some we o not consier the corresponing conition (8 [conition (9] n Lgrnge multiplier respectively]. u [Lgrnge multiplier v Since u 0 v 0 n since the complementry conitions (8-(9 must e stisfie in orer to fin from systems (7-(2 we hve to consier ll possile cses for u v ll u v equl to 0; ll u v ifferent from 0; some of them equl to 0; n some of them ifferent from 0. The numer of these cses is 2 2n where 2n is the numer of ll u v where n. This is n enormous numer of cses especilly for lrge-scle prolems. For emple when n 500 we hve to consier 2 0 cses. Moreover in ech cse we hve to solve lrge-scle system of nonliner equtions in u v. Therefore the irect ppliction of the KKT theorem y using eplicit enumertion of ll possile cses for solving lrge-scle prolems of the consiere form woul not give result n we nee efficient methos for solving prolems uner consiertion. The following Theorem gives chrcteriztion of the optiml solution to prolem (CSE. Its proof is se on the KKT theorem. As we will see in Section 5 y using Theorem we cn solve prolem (CSE with n 500 vriles for ten-thousnth of secon on personl computer. Theorem (Chrcteriztion of the optiml solution to prolem (CSE. A fesile solution ( X where X is efine y

6 2 (2-(3 is the optiml solution to prolem (CSE if n only if there eists some R such tht ef m s me (3 ef m s me (4 ln( sm ln( m ef m sme < < m sme. (5 Remr. We will show elow tht > 0 so tht the epressions of in (5 (especilly epressions uner the logrithm sign re correct. Proof. Necessity. Let ( e the optiml solution to prolem (CSE. Then there eist constnts u v such tht KKT conitions (7-(2 re stisfie. Consier ll possile cses. ( If then u 0 ccoring to (2 n v 0 ccoring to (9. m Therefore (7 implies s m e u. then Since > 0 m s me m s me. ( If then u 0 ccoring to (8 n v 0 ccoring to m (2. Therefore (7 implies s m e v. Hence

7 MINIMIZATION OF A CONVEX SEPARABLE 3 m s me m s me. (c If < < then u v 0 ccoring to (8 n (9. m Therefore (7 implies s m e. ln( s m ln(. m m s me Hence n Since s > 0 m > 0 > 0 y the ssumption n > > it follows tht s m e m < s m e m s m e m > s m e m tht is s m e m < < s m e m. In prticulr if we ssume tht 0 since s 0 m > 0 > > then oviously 0/ n. Similrly if we ssume tht < 0 since s 0 m > 0 > 0 then 0/ n 0. > 0 0 In orer to escrie the cses ( ( (c it is convenient to introuce the ine sets efine y (3 (4 n (5 respectively. It is ovious tht. The necessity prt is prove. Sufficiency. Conversely let (3 (4 n (5 where R. X n components of stisfy

8 4 Set m sm e otine from ln( s m ln( m α; u v 0 for ; u m s me ( 0 ccoring to the efinition of v 0 for ; m u 0 v s me ( 0. ccoring to the efinition of for By using these epressions it is esy to chec tht conitions (7 (8 (9 n (2 re stisfie; n conitions (0 n ( re lso stisfie ccoring to the ssumption X. We hve prove tht u v stisfy KKT conitions (7-(2 which re necessry n sufficient conitions for fesile solution to e n optiml solution to conve minimiztion prolem. Therefore is n optiml solution to prolem (CSE n since ( c is strictly conve function then this optiml solution is unique. In view of the iscussion ove the importnce of Theorem consists in the fct tht it escries components of the optiml solution to prolem (CSE only through the Lgrnge multiplier ssocite with the equlity constrint (2. Since we o not now the optiml vlue of from Theorem we efine n itertive process with respect to the Lgrnge multiplier n we prove convergence of this process in Section 3 The Algorithms.

9 MINIMIZATION OF A CONVEX SEPARABLE 5 From 0 s > 0 m > 0 n it follows tht > u ef m sme m s me ef l for the epressions y which ine sets re efine. The prolem how to ensure fesile solution to prolem (CSE which is n ssumption of Theorem is iscusse in Susection Prolem (CESP Consier the conve eponentil seprle progrm with liner equlity constrint n o constrints (CESP (4-(6. Assumptions (2. for ll. (2. α. Otherwise the constrints (5-(6 re inconsistent n the fesile region X efine y (5-(6 is empty. The KKT conitions for prolem (CESP re e u v 0 u ( 0 v ( 0 α u R v R. In this cse the following Theorem 2 which is similr to Theorem hols true.

10 6 Theorem 2 (Chrcteriztion of the optiml solution to prolem (CESP. A fesile solution ( X where X is efine y (5-(6 is the optiml solution to prolem (CESP if n only if there eists some R such tht ef e (6 ef e (7 ln ef e < < e. (8 Remr. As we will show elow < 0 so tht the epressions of in (8 (especilly epressions uner the logrithm sign re correct. The proof of Theorem 2 is omitte ecuse it is similr to the proof of Theorem. 3. The Algorithms 3.. Anlysis of the optiml solution to prolem (CSE Before the forml sttement of the lgorithm for prolem (CSE we iscuss some properties of the optiml solution to this prolem which turn out to e useful. Using (3 (4 n (5 the KKT conition (0 cn e written s follows

11 MINIMIZATION OF A CONVEX SEPARABLE 7 ln( s m ln( m α. ( 0 Since the optiml solution components of R to prolem (CSE epens on cn e consiere s functions of for ifferent ( (9 ln( s m ln(. m Functions ( re piecewise monotone nonincresing piecewise ifferentile functions of m sm e sme n. m with two repoints t Let ef δ( ln( s m ln( α. m (20 If we ifferentite δ ( with respect to we get δ ( < 0 m (2 ccoring to the remr (fter sttement of Theorem tht > 0 when 0/ n δ ( 0 when 0/. Hence δ ( is monotone nonincresing function of R. From the eqution δ ( 0 where δ ( is efine y (20 we re le to otin close form epression for

12 8 ep m m sm ln α (22 ecuse δ ( < 0 ccoring to (2 when 0/ (it is importnt tht δ ( 0. This epression of shows tht > 0 n it is use in the lgorithm suggeste for solving prolem (CSE. It turns out tht without loss of generlity we cn ssume tht δ ( 0 tht is δ ( epens on which mens tht 0/. At itertion of the implementtion of the lgorithms enote y ( the vlue of the Lgrnge multiplier ssocite with constrint (2 [constrint (5 respectively] y α ( the right-hn sie of (2 [of (5 respectively]; y ( ( ( ( the current sets respectively Algorithm (for prolem (CSE The following lgorithm for solving prolem (CSE is se on Theorem Algorithm (for prolem (CSE (Initiliztion { } ( 0 ( 0 ( 0 n 0 α α n n 0 / 0. / If α go to 2 else go to 9. 2 ( (.. Go to 3. Clculte ( y using the eplicit epression (22 of 3 Construct the sets ( ( ( through (3 (4 (5 (with ( inste of n fin their crinl numers ( ( ( respectively. Go to 4.

13 MINIMIZATION OF A CONVEX SEPARABLE 9 4 Clculte ( ( ( ( ( ( ( (. ln ln m m s α δ Go to 5. 5 If ( ( 0 δ or ( 0/ then ( ( ( ( go to 8 else if ( ( 0 > δ go to 6 else if ( ( δ 0 < go to 7. 6 ( ( ( ( for α α ( ( ( \ ( ( ( (. n n Go to 2. 7 ( ( ( ( for α α ( ( ( \ ( ( ( (. n n Go to 2. 8 for ; for ( ( m m s ln ln ; for. Go to 0. 9 Prolem (CSE hs no optiml solution ecuse the fesile set X efine y (2-(3 is empty. 0 En.

14 Convergence n compleity of Algorithm The following Theorem 3 sttes convergence of Algorithm. Theorem 3. Let ( e the sequence generte y Algorithm. Then (i if δ( ( > 0 then ( ( ; (ii if δ( ( < 0 then ( (. ( Proof. Denote y the components of itertion of implementtion of Algorithm. ( ( ( t (i Let δ( ( > 0. Using Step 6 of Algorithm (which is performe when δ( ( > 0 we get ( ( ( ( ( ( ( α. ( \ ( ( (23 Let (. Accoring to efinition (3 of ( we hve m sme ( ( m sme. Multiplying this inequlity y > 0 we otin m s m e ( m e m e ( ( m. e Therefore ( ecuse m > 0 n ccoring to properties of the eponentil function. get From (23 y using tht 0 ( ( > n Step 6 we ( ( ( ( ( ( α α α. ( ( ( (

15 MINIMIZATION OF A CONVEX SEPARABLE 2 Since > 0 then there eists t lest one ( 0 such tht ( (. Then 0 0 ( ( ( m m s 0 m 0 e s 0 m 0 e 0 (. 0 0 We hve use tht the reltionship etween ( ( n is given y (5 for ( ccoring to Step 2 of Algorithm n > 0 s > 0 m > 0. The proof of prt (ii of Theorem 3 is omitte ecuse it is similr to the proof of prt (i. Consier the fesiility of ( generte y Algorithm. Components n oviously stisfy (3. From m sme < m s me < m s me n > 0 s > 0 m > 0 it follows tht < < for. Hence ll stisfy (3. Since t ech itertion ( is etermine from the current equlity constrint (2 (Step 2 of Algorithm n since re etermine in ccornce with ( t ech itertion (Steps n 8 of Algorithm then stisfies (2 s well. Therefore Algorithm genertes which is fesile for prolem (CSE which is n ssumption of Theorem.

16 22 Remr. Theorem 3 efinitions of ( 3 ( 4 n ( 5 n Steps 6 7 n 8 of Algorithm llow us to stte tht ( ( ( ( n ( (. This mens tht if elongs to current ine set ( then elongs to the net ine set ( n continuing in the sme mnner elongs to the optiml ine set ; ( the sme hols true out the sets n. Therefore ( converges to the optiml vlue of of Theorem n ( ( ( converge to the optiml ine sets respectively. This mens tht clcultion of opertions ( (Step 6 ( (Step 7 n the construction of ccornce with Theorem. re in At ech itertion of Algorithm we etermine the vlue of t lest one vrile (Steps n t ech itertion we solve prolem of the form (CSE ut of less imension (Steps 2-7. Therefore Algorithm is finite n it converges with t most n itertions tht is the itertion compleity of Algorithm is O ( n. Step (initiliztion n checing whether the fesile set X is empty tes time O ( n. The clcultion of ( requires constnt time (Step 2. Step 3 tes O ( n time ecuse of the construction of ( (. ( Step 4 lso requires O ( n time n Step 5 requires constnt time. Ech of Steps 6 7 n 8 tes time which is oune y O ( n ecuse t these steps we ssign some of s the finl vlue n since the numer of ll s is n then Steps 6 7 n 8 te time O ( n. Hence 2 Algorithm hs O ( n running time n it elongs to the clss of strongly polynomilly oune lgorithms.

17 MINIMIZATION OF A CONVEX SEPARABLE 23 As the computtionl eperiments show the numer of itertions of the lgorithm performnce is not only t most n ut it is much much less thn n for lrge vlues of n. In fct the numer of itertions of lgorithm performnce oes not epen on n ut only on the three ine sets efine y (3 (4 n (5. In prctice Algorithm hs O ( n running time Algorithm 2 (for prolem (CESP n its convergence After nlysis of the optiml solution to prolem (CESP similr to tht prolem (CSE we suggest the following lgorithm for solving prolem (CESP Algorithm 2 (for prolem (CESP (Initiliztion { } ( 0 ( 0 n 0 α α n n ( 0 0 / 0. / If α go to 2 else go to 9. 2 ( (. Clculte ( y using the eplicit epression ( ep ( α ( ( ln ( < 0. Go to 3. 3 Construct the sets ( ( ( through (6 (7 (8 (with ( inste of n fin their crinl numers ( ( (. Go to 4. 4 Clculte

18 24 ( ( ( ( ( ( δ ln ( ( (. ln ln α Go to 5. 5 If ( ( 0 δ or ( 0/ then ( ( ( ( go to 8 else if ( ( 0 > δ go to 6 else if ( ( 0 < δ go to 7. 6 ( ( ( ( for α α ( ( ( \ ( ( ( (. n n Go to 2. 7 ( ( ( ( for α α ( ( ( \ ( ( ( (. n n Go to 2. 8 for ; for ln ; for. Go to 0 9 Prolem (CESP hs no optiml solution ecuse the fesile set X efine y (5-(6 is empty. 0 En.

19 MINIMIZATION OF A CONVEX SEPARABLE 25 To voi possile enless loop when progrmming Algorithms n 2 the criterion of Step 5 to go to Step 8 t itertion usully is not ( ( δ 0 ut ( ( δ [ ε ε] where ε > 0 is some (given or chosen tolernce vlue up to which the equlity δ( 0 must e stisfie. A theorem nlogous to Theorem 3 hols for Algorithm 2 which gurntees the convergence of ( ( ( ( to the optiml respectively. Theorem 4. Let ( e the sequence generte y Algorithm 2. Then (i if δ( ( > 0 then ( ( ; (ii if δ( ( < 0 then ( (. The proof of Theorem 4 is omitte ecuse it is similr to the proof of Theorem 3. 2 It cn e prove tht Algorithm 2 hs O ( n running time n point ( generte y this lgorithm is fesile for prolem (CESP which is n ssumption of Theorem Etensions 4.. Theoreticl spects Up to now we hve require > 0 in constrints (2 n (5 of prolems (CSE n (CESP respectively. However if it is llowe 0 for some in prolems (CSE n (CESP then for such inices we cnnot construct the epressions m sme n m sme for

20 26 prolem (CSE n e n e for prolem (CESP y mens of which we efine ine sets for the corresponing prolem. In such cses s re not involve in (2 [in (5 respectively] for such inices. It turns out tht we cn cope with this ifficulty n solve prolems (CSE n (CESP with 0 for some s. Denote Z 0 { 0}. Here 0 enotes the computer zero. In prticulr when Z0 n α 0 then the set X is efine only y (3 (y (6 respectively. Theorem 5 (Chrcteriztion of the optiml solution to prolem (CSE An etene version. Prolem (CSE cn e ecompose into two suprolems (CSE for Z0 n (CSE2 for \ Z0. The optiml solution to (CSE is Z0 (24 tht is suprolem (CSE itself is ecompose into n0 Z0 inepenent prolems. The optiml solution to (CSE2 is given y (3 (4 n (5 with \ Z0. Proof. Necessity. Let ( e the optiml solution to (CSE. ( Let Z0 tht is 0 for this. The KKT conitions re m s me u v 0 Z0 from (7 ( 7 n (8 - (2.

21 MINIMIZATION OF A CONVEX SEPARABLE 27 ( If then u 0 v 0. From ( 7 it follows tht m s me u 0 which is impossile ecuse s 0 m > 0 n > e m > 0. ( If then u 0 v 0. Therefore s m e v 0 which is lwys stisfie for s > 0 m > 0. m (c If < < then u v 0. Therefore s me 0 tht is s 0 which is impossile ccoring to the ssumption m s > 0 m > 0. m As we hve oserve only cse ( is possile for Z0 n Z0. (2 Components of the optiml solution to (CSE2 re otine y using the sme pproch s tht of the proof of necessity prt of Theorem ut with the reuce ine set \ Z0. Sufficiency. Conversely let X n components of stisfy (24 for Z0 n (3 (4 (5 with \ Z0. Set u m 0 v s m e ( > 0 for Z0. If 0 set u v 0 m s me ( ( > 0 from (5; for < < \ Z0; u m sme ( 0 v 0 for \ Z0; u 0 v m s me ( 0 for \ Z0.

22 As in the proof of Theorem 0/. It cn e verifie tht u v stisfy the KKT conitions (7-(2. Then with components (24 for Z0 n (3 (4 (5 for \ Z0 is the optiml solution to prolem ( CSE ( CSE ( CSE2. Similr result hols for prolem (CESP. Theorem 6 (Chrcteriztion of the optiml solution to prolem (CESP An etene version. Prolem (CESP cn e ecompose into two suprolems (CESP for Z0 n (CESP2 for \ Z0. The optiml solution to (CESP is Z0. solution to (CESP2 is given y (6 (7 (8 with \ Z0. The optiml The proof of Theorem 6 is omitte ecuse it repets in prt the proof of Theorems n 5. Thus with the use of Theorems 5 n 6 we cn epress components of the optiml solutions to prolems (CSE n (CESP without the m m sme s me necessity of constructing the epressions e n e with Computtionl spects Algorithms n 2 re lso pplicle in cses when for some n/or for some. However if we use the computer vlues of n t the first step of the lgorithms to chec whether the corresponing fesile region is empty or nonempty n t Step 3 in the epressions m sme n e with

23 MINIMIZATION OF A CONVEX SEPARABLE 29 n/or y mens of which we construct ine sets this coul sometimes le to rithmetic overflow. If we use other vlues of n with smller solute vlues thn those of the computer vlues of n this woul le to inconvenience n epenence on the t of the prticulr prolems. To voi these ifficulties n to te into ccount the ove iscussion it is convenient to o the following Construct the following ine sets SVN { \ Z0 > < } SV { \ Z0 > } (25 SV 2 { \ Z0 < } SV { \ Z0 }. It is ovious tht Z 0 SV SV SV 2 SVN tht is the set \ Z0 is prtitione into the four susets SVN SV SV 2 SV efine ove. When progrmming the lgorithms we use computer vlues of n for constructing the sets SVN SV SV 2 SV. In orer to construct the sets without the necessity of clculting the vlues m sme (for prolem (CSE with or ecept for the sets Z0 SV SV SV 2 SVN we nee some susiiry sets efine s follows For SVN SVN SVN m sme < < m sme

24 30 SVN SVN m sme SVN SVN m sme ; for SV SV SV < m s me (26 SV SV m s me ; for SV2 SV 2 SV 2 > m s me SV 2 SV 2 m sme ; for SV SV SV. Then SVN SV SV 2 SV SVN SV (27 SVN SV 2. We use the sets (27 s the corresponing sets with the sme nmes in Algorithms n 2.

25 MINIMIZATION OF A CONVEX SEPARABLE 3 With the use of results of this section Steps n 3 of Algorithm cn e moifie s follows respectively Aout Algorithm. Step. (Initiliztion { } ( 0 ( 0 n 0 α α n n ( 0 0 / 0. / Construct the set Z 0. If Z0 then. Set ( 0 \ 0 ( 0 Z n n Z0. Construct the sets SVN SV SV 2 SV. If SVN then if α then go to Step 2 else go to Step 9 (fesile region X is empty else if SV SVN then if α then go to Step 2 else go to Step 9 (fesile region X is empty else if SV 2 SVN then if α then go to Step 2 else go to Step 9 (fesile region X is empty else if SV 0/ then go to Step 2 (fesile region is lwys nonempty. SVN SVN SVN SV SV Step 3. Construct the sets SV 2 SV 2 SV (with ( inste of.

26 32 Construct the sets ( ( ( y using (27 n fin their crinl numers Go to Step 4. ( ( ( respectively. Similrly we cn efine susiiry ine sets of the form (26 for prolem (CESP s well n moify Steps n 3 of Algorithm 2. Moifictions of the lgorithms connecte with theoreticl n computtionl spects o not influence upon their computtionl compleity iscusse in Section 3 ecuse these moifictions o not ffect the itertive steps of lgorithms. 5. Computtionl Eperiments In this section we present results of some numericl eperiments otine y pplying lgorithms suggeste in this pper to prolems uner consiertion. The computtions were performe on n Intel Pentium (R Dul-Core CPU E GHz/2.00GB using RZTools interctive system. Ech prolem ws run 30 times. Coefficients s > 0 m > 0 > 0 for prolem (CSE n > 0 > 0 for prolem (CESP were rnomly generte. Prolem (CSE (CESP Numer of vriles N 200 n 500 n 200 n 500 Averge numer of itertions Averge run time (in secons The effectiveness of lgorithms for prolems (CSE n (CESP hs een teste y mny other emples. As we cn oserve the (verge numer of itertions is much less thn the numer of vriles n for lrge vlues of n.

27 MINIMIZATION OF A CONVEX SEPARABLE 33 We provie elow the solution of two simple prticulr prolems of the form (CSE n (CESP respectively otine y using the pproch suggeste in this pper. The results re roune to the fourth igit. Emple. min { ( 2( ( 2 } 2 c e e suect to The optiml solution otine y Algorithm is ( ( c min c( Numer of itertions 2. Emple 2. 2 { ( min c e e 2 } suect to The optiml solution otine y Algorithm 2 is Numer of itertions. ( ( c c( min

28 34 References [] G. R. Bitrn n A. C. H Disggregtion n resource lloction using conve npsc prolems with oune vriles Mngement Science 27(4 ( [2].-P. Dussult. Ferln n B. Lemire Conve qurtic progrmming with one constrint n oune vriles Mthemticl Progrmming 36( ( [3] R. Helgson. Kennington n H. Lll A polynomilly oune lgorithm for singly constrine qurtic progrm Mthemticl Progrmming 8(3 ( [4] N. Ktoh T. Iri n H. Mine A polynomil time lgorithm for the resource lloction prolem with conve oective function ournl of the Opertions Reserch Society 30(5 ( [5] H. Luss n S. K. Gupt Alloction of effort resources mong competing ctivities Opertions Reserch 23(2 ( [6] S. M. Stefnov Vli inequlities n cutting plnes for some polytopes Mthemticl Inequlities n Applictions (2 ( [7] S. M. Stefnov On the implementtion of stochstic qusigrient methos to some fcility loction prolems Yugoslv ournl of Opertions Reserch YUOR 0(2 ( [8] S. M. Stefnov Conve seprle minimiztion suect to oune vriles Computtionl Optimiztion n Applictions An Interntionl ournl 8( ( [9] S. M. Stefnov Seprle Progrmming Theory n Methos Kluwer Acemic Pulishers Dorrecht-Boston-Lonon 200. [0] S. M. Stefnov A Lgrngin ul metho for solving vritionl inequlities Mthemticl Inequlities n Applictions 5(3 ( [] S. M. Stefnov Metho for solving conve integer progrmming prolem Interntionl ournl of Mthemtics n Mthemticl Sciences 2003(44 ( [2] S. M. Stefnov Conve qurtic minimiztion suect to liner constrint n o constrints Applie Mthemtics Reserch express 2004 ( ( [3] S. M. Stefnov Polynomil lgorithms for proecting point onto region efine n y liner constrint n o constrints in R ournl of Applie Mthemtics 2004(5 ( [4] S. M. Stefnov An efficient metho for minimizing conve seprle logrithmic function suect to conve inequlity constrint or liner equlity constrint ournl of Applie Mthemtics n Decision Sciences 2006 ( (Article ID

29 MINIMIZATION OF A CONVEX SEPARABLE 35 [5] S. M. Stefnov Minimiztion of conve liner-frctionl seprle function suect to conve inequlity constrint or liner equlity constrint n ouns on the vriles Applie Mthemtics Reserch express 2006(4 ( (Article ID [6] S. M. Stefnov On the solution of vritionl inequlity prolems y cutting plne methos Mthemticl Inequlities n Applictions 0(2 ( [7] S. M. Stefnov Solution of some conve seprle resource lloction n prouction plnning prolems with ouns on the vriles ournl of Interisciplinry Mthemtics 3(5 ( [8] S. M. Stefnov Vli inequlities cutting plnes n integrlity of the npsc polytope ournl of Interisciplinry Mthemtics 4(4 ( [9] S. M. Stefnov Aout proections in the implementtion of stochstic qusigrient methos to some inventory control prolems ournl of Pure n Applie Mthemtics Avnces n Applictions 6(2 ( [20] P. H. Zipin Simple rning methos for lloction of one resource Mngement Science 26( ( g

APPENDIX. Precalculus Review D.1. Real Numbers and the Real Number Line

APPENDIX. Precalculus Review D.1. Real Numbers and the Real Number Line APPENDIX D Preclculus Review APPENDIX D.1 Rel Numers n the Rel Numer Line Rel Numers n the Rel Numer Line Orer n Inequlities Asolute Vlue n Distnce Rel Numers n the Rel Numer Line Rel numers cn e represente

More information

Minimizing a convex separable exponential function subject to linear equality constraint and bounded variables

Minimizing a convex separable exponential function subject to linear equality constraint and bounded variables Minimizing a convex separale exponential function suect to linear equality constraint and ounded variales Stefan M. Stefanov Department of Mathematics Neofit Rilski South-Western University 2700 Blagoevgrad

More information

x dx does exist, what does the answer look like? What does the answer to

x dx does exist, what does the answer look like? What does the answer to Review Guie or MAT Finl Em Prt II. Mony Decemer th 8:.m. 9:5.m. (or the 8:3.m. clss) :.m. :5.m. (or the :3.m. clss) Prt is worth 5% o your Finl Em gre. NO CALCULATORS re llowe on this portion o the Finl

More information

Review of Gaussian Quadrature method

Review of Gaussian Quadrature method Review of Gussin Qudrture method Nsser M. Asi Spring 006 compiled on Sundy Decemer 1, 017 t 09:1 PM 1 The prolem To find numericl vlue for the integrl of rel vlued function of rel vrile over specific rnge

More information

If we have a function f(x) which is well-defined for some a x b, its integral over those two values is defined as

If we have a function f(x) which is well-defined for some a x b, its integral over those two values is defined as Y. D. Chong (26) MH28: Complex Methos for the Sciences 2. Integrls If we hve function f(x) which is well-efine for some x, its integrl over those two vlues is efine s N ( ) f(x) = lim x f(x n ) where x

More information

Calculus of variations with fractional derivatives and fractional integrals

Calculus of variations with fractional derivatives and fractional integrals Anis do CNMAC v.2 ISSN 1984-820X Clculus of vritions with frctionl derivtives nd frctionl integrls Ricrdo Almeid, Delfim F. M. Torres Deprtment of Mthemtics, University of Aveiro 3810-193 Aveiro, Portugl

More information

September 13 Homework Solutions

September 13 Homework Solutions College of Engineering nd Computer Science Mechnicl Engineering Deprtment Mechnicl Engineering 5A Seminr in Engineering Anlysis Fll Ticket: 5966 Instructor: Lrry Cretto Septemer Homework Solutions. Are

More information

School of Business. Blank Page

School of Business. Blank Page Integrl Clculus This unit is esigne to introuce the lerners to the sic concepts ssocite with Integrl Clculus. Integrl clculus cn e clssifie n iscusse into two thres. One is Inefinite Integrl n the other

More information

4.5 THE FUNDAMENTAL THEOREM OF CALCULUS

4.5 THE FUNDAMENTAL THEOREM OF CALCULUS 4.5 The Funmentl Theorem of Clculus Contemporry Clculus 4.5 THE FUNDAMENTAL THEOREM OF CALCULUS This section contins the most importnt n most use theorem of clculus, THE Funmentl Theorem of Clculus. Discovere

More information

QUADRATURE is an old-fashioned word that refers to

QUADRATURE is an old-fashioned word that refers to World Acdemy of Science Engineering nd Technology Interntionl Journl of Mthemticl nd Computtionl Sciences Vol:5 No:7 011 A New Qudrture Rule Derived from Spline Interpoltion with Error Anlysis Hdi Tghvfrd

More information

Basic Derivative Properties

Basic Derivative Properties Bsic Derivtive Properties Let s strt this section by remining ourselves tht the erivtive is the slope of function Wht is the slope of constnt function? c FACT 2 Let f () =c, where c is constnt Then f 0

More information

Farey Fractions. Rickard Fernström. U.U.D.M. Project Report 2017:24. Department of Mathematics Uppsala University

Farey Fractions. Rickard Fernström. U.U.D.M. Project Report 2017:24. Department of Mathematics Uppsala University U.U.D.M. Project Report 07:4 Frey Frctions Rickrd Fernström Exmensrete i mtemtik, 5 hp Hledre: Andres Strömergsson Exmintor: Jörgen Östensson Juni 07 Deprtment of Mthemtics Uppsl University Frey Frctions

More information

SOME INTEGRAL INEQUALITIES OF GRÜSS TYPE

SOME INTEGRAL INEQUALITIES OF GRÜSS TYPE RGMIA Reserch Report Collection, Vol., No., 998 http://sci.vut.edu.u/ rgmi SOME INTEGRAL INEQUALITIES OF GRÜSS TYPE S.S. DRAGOMIR Astrct. Some clssicl nd new integrl inequlities of Grüss type re presented.

More information

Necessary and sufficient conditions for some two variable orthogonal designs in order 44

Necessary and sufficient conditions for some two variable orthogonal designs in order 44 University of Wollongong Reserch Online Fculty of Informtics - Ppers (Archive) Fculty of Engineering n Informtion Sciences 1998 Necessry n sufficient conitions for some two vrile orthogonl esigns in orer

More information

Sturm-Liouville Theory

Sturm-Liouville Theory LECTURE 1 Sturm-Liouville Theory In the two preceing lectures I emonstrte the utility of Fourier series in solving PDE/BVPs. As we ll now see, Fourier series re just the tip of the iceerg of the theory

More information

Math 211A Homework. Edward Burkard. = tan (2x + z)

Math 211A Homework. Edward Burkard. = tan (2x + z) Mth A Homework Ewr Burkr Eercises 5-C Eercise 8 Show tht the utonomous system: 5 Plne Autonomous Systems = e sin 3y + sin cos + e z, y = sin ( + 3y, z = tn ( + z hs n unstble criticl point t = y = z =

More information

AN INEQUALITY OF OSTROWSKI TYPE AND ITS APPLICATIONS FOR SIMPSON S RULE AND SPECIAL MEANS. I. Fedotov and S. S. Dragomir

AN INEQUALITY OF OSTROWSKI TYPE AND ITS APPLICATIONS FOR SIMPSON S RULE AND SPECIAL MEANS. I. Fedotov and S. S. Dragomir RGMIA Reserch Report Collection, Vol., No., 999 http://sci.vu.edu.u/ rgmi AN INEQUALITY OF OSTROWSKI TYPE AND ITS APPLICATIONS FOR SIMPSON S RULE AND SPECIAL MEANS I. Fedotov nd S. S. Drgomir Astrct. An

More information

Generalized Cobb-Douglas function for three inputs and linear elasticity

Generalized Cobb-Douglas function for three inputs and linear elasticity J o u r n l o f A c c o u n t i n n M n e m e n t J A M v o l. 4 n o. ( 4 ) Generlize Co-Douls function for three inputs n liner elsticity Cătălin Anelo IOAN Gin IOAN Astrct. he rticle els with prouction

More information

INTEGRALS. Chapter Introduction

INTEGRALS. Chapter Introduction INTEGRALS 87 hpter 7 INTEGRALS Just s mountineer clims mountin ecuse it is there, so goo mthemtics stuent stuies new mteril ecuse it is there. JAMES B. BRISTOL 7. Introuction Differentil lculus is centre

More information

I1 = I2 I1 = I2 + I3 I1 + I2 = I3 + I4 I 3

I1 = I2 I1 = I2 + I3 I1 + I2 = I3 + I4 I 3 2 The Prllel Circuit Electric Circuits: Figure 2- elow show ttery nd multiple resistors rrnged in prllel. Ech resistor receives portion of the current from the ttery sed on its resistnce. The split is

More information

p-adic Egyptian Fractions

p-adic Egyptian Fractions p-adic Egyptin Frctions Contents 1 Introduction 1 2 Trditionl Egyptin Frctions nd Greedy Algorithm 2 3 Set-up 3 4 p-greedy Algorithm 5 5 p-egyptin Trditionl 10 6 Conclusion 1 Introduction An Egyptin frction

More information

The practical version

The practical version Roerto s Notes on Integrl Clculus Chpter 4: Definite integrls nd the FTC Section 7 The Fundmentl Theorem of Clculus: The prcticl version Wht you need to know lredy: The theoreticl version of the FTC. Wht

More information

New Expansion and Infinite Series

New Expansion and Infinite Series Interntionl Mthemticl Forum, Vol. 9, 204, no. 22, 06-073 HIKARI Ltd, www.m-hikri.com http://dx.doi.org/0.2988/imf.204.4502 New Expnsion nd Infinite Series Diyun Zhng College of Computer Nnjing University

More information

Reverse Engineering Gene Networks with Microarray Data

Reverse Engineering Gene Networks with Microarray Data Reverse Engineering Gene Networks with Microrry Dt Roert M Mllery Avisors: Dr Steve Cox n Dr Mrk Emree August 25, 2003 Astrct We consier the question of how to solve inverse prolems of the form e At x(0)

More information

M 106 Integral Calculus and Applications

M 106 Integral Calculus and Applications M 6 Integrl Clculus n Applictions Contents The Inefinite Integrls.................................................... Antierivtives n Inefinite Integrls.. Antierivtives.............................................................

More information

INEQUALITIES FOR TWO SPECIFIC CLASSES OF FUNCTIONS USING CHEBYSHEV FUNCTIONAL. Mohammad Masjed-Jamei

INEQUALITIES FOR TWO SPECIFIC CLASSES OF FUNCTIONS USING CHEBYSHEV FUNCTIONAL. Mohammad Masjed-Jamei Fculty of Sciences nd Mthemtics University of Niš Seri Aville t: http://www.pmf.ni.c.rs/filomt Filomt 25:4 20) 53 63 DOI: 0.2298/FIL0453M INEQUALITIES FOR TWO SPECIFIC CLASSES OF FUNCTIONS USING CHEBYSHEV

More information

Duality # Second iteration for HW problem. Recall our LP example problem we have been working on, in equality form, is given below.

Duality # Second iteration for HW problem. Recall our LP example problem we have been working on, in equality form, is given below. Dulity #. Second itertion for HW problem Recll our LP emple problem we hve been working on, in equlity form, is given below.,,,, 8 m F which, when written in slightly different form, is 8 F Recll tht we

More information

VII. The Integral. 50. Area under a Graph. y = f(x)

VII. The Integral. 50. Area under a Graph. y = f(x) VII. The Integrl In this chpter we efine the integrl of function on some intervl [, b]. The most common interprettion of the integrl is in terms of the re uner the grph of the given function, so tht is

More information

Torsion in Groups of Integral Triangles

Torsion in Groups of Integral Triangles Advnces in Pure Mthemtics, 01,, 116-10 http://dxdoiorg/1046/pm011015 Pulished Online Jnury 01 (http://wwwscirporg/journl/pm) Torsion in Groups of Integrl Tringles Will Murry Deprtment of Mthemtics nd Sttistics,

More information

Section 4: Integration ECO4112F 2011

Section 4: Integration ECO4112F 2011 Reding: Ching Chpter Section : Integrtion ECOF Note: These notes do not fully cover the mteril in Ching, ut re ment to supplement your reding in Ching. Thus fr the optimistion you hve covered hs een sttic

More information

Section 6.3 The Fundamental Theorem, Part I

Section 6.3 The Fundamental Theorem, Part I Section 6.3 The Funmentl Theorem, Prt I (3//8) Overview: The Funmentl Theorem of Clculus shows tht ifferentition n integrtion re, in sense, inverse opertions. It is presente in two prts. We previewe Prt

More information

1B40 Practical Skills

1B40 Practical Skills B40 Prcticl Skills Comining uncertinties from severl quntities error propgtion We usully encounter situtions where the result of n experiment is given in terms of two (or more) quntities. We then need

More information

Review of Calculus, cont d

Review of Calculus, cont d Jim Lmbers MAT 460 Fll Semester 2009-10 Lecture 3 Notes These notes correspond to Section 1.1 in the text. Review of Clculus, cont d Riemnn Sums nd the Definite Integrl There re mny cses in which some

More information

Chapter Five - Eigenvalues, Eigenfunctions, and All That

Chapter Five - Eigenvalues, Eigenfunctions, and All That Chpter Five - Eigenvlues, Eigenfunctions, n All Tht The prtil ifferentil eqution methos escrie in the previous chpter is specil cse of more generl setting in which we hve n eqution of the form L 1 xux,tl

More information

Minimal DFA. minimal DFA for L starting from any other

Minimal DFA. minimal DFA for L starting from any other Miniml DFA Among the mny DFAs ccepting the sme regulr lnguge L, there is exctly one (up to renming of sttes) which hs the smllest possile numer of sttes. Moreover, it is possile to otin tht miniml DFA

More information

Hamiltonian Cycle in Complete Multipartite Graphs

Hamiltonian Cycle in Complete Multipartite Graphs Annls of Pure nd Applied Mthemtics Vol 13, No 2, 2017, 223-228 ISSN: 2279-087X (P), 2279-0888(online) Pulished on 18 April 2017 wwwreserchmthsciorg DOI: http://dxdoiorg/1022457/pmv13n28 Annls of Hmiltonin

More information

Convert the NFA into DFA

Convert the NFA into DFA Convert the NF into F For ech NF we cn find F ccepting the sme lnguge. The numer of sttes of the F could e exponentil in the numer of sttes of the NF, ut in prctice this worst cse occurs rrely. lgorithm:

More information

Math 259 Winter Solutions to Homework #9

Math 259 Winter Solutions to Homework #9 Mth 59 Winter 9 Solutions to Homework #9 Prolems from Pges 658-659 (Section.8). Given f(, y, z) = + y + z nd the constrint g(, y, z) = + y + z =, the three equtions tht we get y setting up the Lgrnge multiplier

More information

Mathematics Number: Logarithms

Mathematics Number: Logarithms plce of mind F A C U L T Y O F E D U C A T I O N Deprtment of Curriculum nd Pedgogy Mthemtics Numer: Logrithms Science nd Mthemtics Eduction Reserch Group Supported y UBC Teching nd Lerning Enhncement

More information

Bases for Vector Spaces

Bases for Vector Spaces Bses for Vector Spces 2-26-25 A set is independent if, roughly speking, there is no redundncy in the set: You cn t uild ny vector in the set s liner comintion of the others A set spns if you cn uild everything

More information

Nondeterminism and Nodeterministic Automata

Nondeterminism and Nodeterministic Automata Nondeterminism nd Nodeterministic Automt 61 Nondeterminism nd Nondeterministic Automt The computtionl mchine models tht we lerned in the clss re deterministic in the sense tht the next move is uniquely

More information

Generalized Hermite-Hadamard-Fejer type inequalities for GA-convex functions via Fractional integral

Generalized Hermite-Hadamard-Fejer type inequalities for GA-convex functions via Fractional integral DOI 763/s4956-6-4- Moroccn J Pure nd Appl AnlMJPAA) Volume ), 6, Pges 34 46 ISSN: 35-87 RESEARCH ARTICLE Generlized Hermite-Hdmrd-Fejer type inequlities for GA-conve functions vi Frctionl integrl I mdt

More information

List all of the possible rational roots of each equation. Then find all solutions (both real and imaginary) of the equation. 1.

List all of the possible rational roots of each equation. Then find all solutions (both real and imaginary) of the equation. 1. Mth Anlysis CP WS 4.X- Section 4.-4.4 Review Complete ech question without the use of grphing clcultor.. Compre the mening of the words: roots, zeros nd fctors.. Determine whether - is root of 0. Show

More information

CS 491G Combinatorial Optimization Lecture Notes

CS 491G Combinatorial Optimization Lecture Notes CS 491G Comintoril Optimiztion Leture Notes Dvi Owen July 30, August 1 1 Mthings Figure 1: two possile mthings in simple grph. Definition 1 Given grph G = V, E, mthing is olletion of eges M suh tht e i,

More information

Chapter 1: Logarithmic functions and indices

Chapter 1: Logarithmic functions and indices Chpter : Logrithmic functions nd indices. You cn simplify epressions y using rules of indices m n m n m n m n ( m ) n mn m m m m n m m n Emple Simplify these epressions: 5 r r c 4 4 d 6 5 e ( ) f ( ) 4

More information

Math 113 Exam 2 Practice

Math 113 Exam 2 Practice Mth Em Prctice Februry, 8 Em will cover sections 6.5, 7.-7.5 nd 7.8. This sheet hs three sections. The first section will remind you bout techniques nd formuls tht you should know. The second gives number

More information

SCHOOL OF ENGINEERING & BUILT ENVIRONMENT

SCHOOL OF ENGINEERING & BUILT ENVIRONMENT SCHOOL OF ENGINEERING & BUIL ENVIRONMEN MARICES FOR ENGINEERING Dr Clum Mcdonld Contents Introduction Definitions Wht is mtri? Rows nd columns of mtri Order of mtri Element of mtri Equlity of mtrices Opertions

More information

AP Calculus AB First Semester Final Review

AP Calculus AB First Semester Final Review P Clculus B This review is esigne to give the stuent BSIC outline of wht nees to e reviewe for the P Clculus B First Semester Finl m. It is up to the iniviul stuent to etermine how much etr work is require

More information

set is not closed under matrix [ multiplication, ] and does not form a group.

set is not closed under matrix [ multiplication, ] and does not form a group. Prolem 2.3: Which of the following collections of 2 2 mtrices with rel entries form groups under [ mtrix ] multipliction? i) Those of the form for which c d 2 Answer: The set of such mtrices is not closed

More information

Discrete Mathematics and Probability Theory Spring 2013 Anant Sahai Lecture 17

Discrete Mathematics and Probability Theory Spring 2013 Anant Sahai Lecture 17 EECS 70 Discrete Mthemtics nd Proility Theory Spring 2013 Annt Shi Lecture 17 I.I.D. Rndom Vriles Estimting the is of coin Question: We wnt to estimte the proportion p of Democrts in the US popultion,

More information

LINEAR ALGEBRA APPLIED

LINEAR ALGEBRA APPLIED 5.5 Applictions of Inner Product Spces 5.5 Applictions of Inner Product Spces 7 Find the cross product of two vectors in R. Find the liner or qudrtic lest squres pproimtion of function. Find the nth-order

More information

Chapter 2. Random Variables and Probability Distributions

Chapter 2. Random Variables and Probability Distributions Rndom Vriles nd Proilit Distriutions- 6 Chpter. Rndom Vriles nd Proilit Distriutions.. Introduction In the previous chpter, we introduced common topics of proilit. In this chpter, we trnslte those concepts

More information

SUPPLEMENTARY NOTES ON THE CONNECTION FORMULAE FOR THE SEMICLASSICAL APPROXIMATION

SUPPLEMENTARY NOTES ON THE CONNECTION FORMULAE FOR THE SEMICLASSICAL APPROXIMATION Physics 8.06 Apr, 2008 SUPPLEMENTARY NOTES ON THE CONNECTION FORMULAE FOR THE SEMICLASSICAL APPROXIMATION c R. L. Jffe 2002 The WKB connection formuls llow one to continue semiclssicl solutions from n

More information

WENJUN LIU AND QUÔ C ANH NGÔ

WENJUN LIU AND QUÔ C ANH NGÔ AN OSTROWSKI-GRÜSS TYPE INEQUALITY ON TIME SCALES WENJUN LIU AND QUÔ C ANH NGÔ Astrct. In this pper we derive new inequlity of Ostrowski-Grüss type on time scles nd thus unify corresponding continuous

More information

Section 6.1 Definite Integral

Section 6.1 Definite Integral Section 6.1 Definite Integrl Suppose we wnt to find the re of region tht is not so nicely shped. For exmple, consider the function shown elow. The re elow the curve nd ove the x xis cnnot e determined

More information

C. C^mpenu, K. Slom, S. Yu upper boun of mn. So our result is tight only for incomplete DF's. For restricte vlues of m n n we present exmples of DF's

C. C^mpenu, K. Slom, S. Yu upper boun of mn. So our result is tight only for incomplete DF's. For restricte vlues of m n n we present exmples of DF's Journl of utomt, Lnguges n Combintorics u (v) w, x{y c OttovonGuerickeUniversitt Mgeburg Tight lower boun for the stte complexity of shue of regulr lnguges Cezr C^mpenu, Ki Slom Computing n Informtion

More information

Section 6.1 INTRO to LAPLACE TRANSFORMS

Section 6.1 INTRO to LAPLACE TRANSFORMS Section 6. INTRO to LAPLACE TRANSFORMS Key terms: Improper Integrl; diverge, converge A A f(t)dt lim f(t)dt Piecewise Continuous Function; jump discontinuity Function of Exponentil Order Lplce Trnsform

More information

0.1 THE REAL NUMBER LINE AND ORDER

0.1 THE REAL NUMBER LINE AND ORDER 6000_000.qd //0 :6 AM Pge 0-0- CHAPTER 0 A Preclculus Review 0. THE REAL NUMBER LINE AND ORDER Represent, clssify, nd order rel numers. Use inequlities to represent sets of rel numers. Solve inequlities.

More information

Suppose we want to find the area under the parabola and above the x axis, between the lines x = 2 and x = -2.

Suppose we want to find the area under the parabola and above the x axis, between the lines x = 2 and x = -2. Mth 43 Section 6. Section 6.: Definite Integrl Suppose we wnt to find the re of region tht is not so nicely shped. For exmple, consider the function shown elow. The re elow the curve nd ove the x xis cnnot

More information

Optimal Network Design with End-to-End Service Requirements

Optimal Network Design with End-to-End Service Requirements ONLINE SUPPLEMENT for Optiml Networ Design with End-to-End Service Reuirements Anntrm Blrishnn University of Tes t Austin, Austin, TX Gng Li Bentley University, Wlthm, MA Prsh Mirchndni University of Pittsurgh,

More information

Lecture 3. In this lecture, we will discuss algorithms for solving systems of linear equations.

Lecture 3. In this lecture, we will discuss algorithms for solving systems of linear equations. Lecture 3 3 Solving liner equtions In this lecture we will discuss lgorithms for solving systems of liner equtions Multiplictive identity Let us restrict ourselves to considering squre mtrices since one

More information

AQA Further Pure 1. Complex Numbers. Section 1: Introduction to Complex Numbers. The number system

AQA Further Pure 1. Complex Numbers. Section 1: Introduction to Complex Numbers. The number system Complex Numbers Section 1: Introduction to Complex Numbers Notes nd Exmples These notes contin subsections on The number system Adding nd subtrcting complex numbers Multiplying complex numbers Complex

More information

Discrete Mathematics and Probability Theory Summer 2014 James Cook Note 17

Discrete Mathematics and Probability Theory Summer 2014 James Cook Note 17 CS 70 Discrete Mthemtics nd Proility Theory Summer 2014 Jmes Cook Note 17 I.I.D. Rndom Vriles Estimting the is of coin Question: We wnt to estimte the proportion p of Democrts in the US popultion, y tking

More information

CS 330 Formal Methods and Models

CS 330 Formal Methods and Models CS 330 Forml Methods nd Models Dn Richrds, George Mson University, Spring 2017 Quiz Solutions Quiz 1, Propositionl Logic Dte: Ferury 2 1. Prove ((( p q) q) p) is tutology () (3pts) y truth tle. p q p q

More information

ON ALTERNATING POWER SUMS OF ARITHMETIC PROGRESSIONS

ON ALTERNATING POWER SUMS OF ARITHMETIC PROGRESSIONS ON ALTERNATING POWER SUMS OF ARITHMETIC PROGRESSIONS A. BAZSÓ Astrct. Depending on the prity of the positive integer n the lternting power sum T k n = k + k + + k...+ 1 n 1 n 1 + k. cn e extended to polynomil

More information

Chapter 3 Single Random Variables and Probability Distributions (Part 2)

Chapter 3 Single Random Variables and Probability Distributions (Part 2) Chpter 3 Single Rndom Vriles nd Proilit Distriutions (Prt ) Contents Wht is Rndom Vrile? Proilit Distriution Functions Cumultive Distriution Function Proilit Densit Function Common Rndom Vriles nd their

More information

The maximal number of runs in standard Sturmian words

The maximal number of runs in standard Sturmian words The miml numer of runs in stndrd Sturmin words Pwe l Bturo Mrcin Piątkowski Wojciech Rytter Fculty of Mthemtics nd Computer Science Nicolus Copernicus University Institute of Informtics Wrsw University

More information

CHAPTER 9 BASIC CONCEPTS OF DIFFERENTIAL AND INTEGRAL CALCULUS

CHAPTER 9 BASIC CONCEPTS OF DIFFERENTIAL AND INTEGRAL CALCULUS CHAPTER 9 BASIC CONCEPTS OF DIFFERENTIAL AND INTEGRAL CALCULUS BASIC CONCEPTS OF DIFFERENTIAL AND INTEGRAL CALCULUS LEARNING OBJECTIVES After stuying this chpter, you will be ble to: Unerstn the bsics

More information

Parse trees, ambiguity, and Chomsky normal form

Parse trees, ambiguity, and Chomsky normal form Prse trees, miguity, nd Chomsky norml form In this lecture we will discuss few importnt notions connected with contextfree grmmrs, including prse trees, miguity, nd specil form for context-free grmmrs

More information

Extension of the Villarceau-Section to Surfaces of Revolution with a Generating Conic

Extension of the Villarceau-Section to Surfaces of Revolution with a Generating Conic Journl for Geometry n Grphics Volume 6 (2002), No. 2, 121 132. Extension of the Villrceu-Section to Surfces of Revolution with Generting Conic Anton Hirsch Fchereich uingenieurwesen, FG Sthlu, Drstellungstechnik

More information

Conservation Law. Chapter Goal. 6.2 Theory

Conservation Law. Chapter Goal. 6.2 Theory Chpter 6 Conservtion Lw 6.1 Gol Our long term gol is to unerstn how mthemticl moels re erive. Here, we will stuy how certin quntity chnges with time in given region (sptil omin). We then first erive the

More information

Chapter 6 Techniques of Integration

Chapter 6 Techniques of Integration MA Techniques of Integrtion Asst.Prof.Dr.Suprnee Liswdi Chpter 6 Techniques of Integrtion Recll: Some importnt integrls tht we hve lernt so fr. Tle of Integrls n+ n d = + C n + e d = e + C ( n ) d = ln

More information

Theoretical foundations of Gaussian quadrature

Theoretical foundations of Gaussian quadrature Theoreticl foundtions of Gussin qudrture 1 Inner product vector spce Definition 1. A vector spce (or liner spce) is set V = {u, v, w,...} in which the following two opertions re defined: (A) Addition of

More information

Jim Lambers MAT 169 Fall Semester Lecture 4 Notes

Jim Lambers MAT 169 Fall Semester Lecture 4 Notes Jim Lmbers MAT 169 Fll Semester 2009-10 Lecture 4 Notes These notes correspond to Section 8.2 in the text. Series Wht is Series? An infinte series, usully referred to simply s series, is n sum of ll of

More information

A Generalized Inequality of Ostrowski Type for Twice Differentiable Bounded Mappings and Applications

A Generalized Inequality of Ostrowski Type for Twice Differentiable Bounded Mappings and Applications Applied Mthemticl Sciences, Vol. 8, 04, no. 38, 889-90 HIKARI Ltd, www.m-hikri.com http://dx.doi.org/0.988/ms.04.4 A Generlized Inequlity of Ostrowski Type for Twice Differentile Bounded Mppings nd Applictions

More information

2.4 Linear Inequalities and Interval Notation

2.4 Linear Inequalities and Interval Notation .4 Liner Inequlities nd Intervl Nottion We wnt to solve equtions tht hve n inequlity symol insted of n equl sign. There re four inequlity symols tht we will look t: Less thn , Less thn or

More information

M344 - ADVANCED ENGINEERING MATHEMATICS

M344 - ADVANCED ENGINEERING MATHEMATICS M3 - ADVANCED ENGINEERING MATHEMATICS Lecture 18: Lplce s Eqution, Anltic nd Numericl Solution Our emple of n elliptic prtil differentil eqution is Lplce s eqution, lso clled the Diffusion Eqution. If

More information

MATH 573 FINAL EXAM. May 30, 2007

MATH 573 FINAL EXAM. May 30, 2007 MATH 573 FINAL EXAM My 30, 007 NAME: Solutions 1. This exm is due Wednesdy, June 6 efore the 1:30 pm. After 1:30 pm I will NOT ccept the exm.. This exm hs 1 pges including this cover. There re 10 prolems.

More information

The Minimum Label Spanning Tree Problem: Illustrating the Utility of Genetic Algorithms

The Minimum Label Spanning Tree Problem: Illustrating the Utility of Genetic Algorithms The Minimum Lel Spnning Tree Prolem: Illustrting the Utility of Genetic Algorithms Yupei Xiong, Univ. of Mrylnd Bruce Golden, Univ. of Mrylnd Edwrd Wsil, Americn Univ. Presented t BAE Systems Distinguished

More information

Matrix Algebra. Matrix Addition, Scalar Multiplication and Transposition. Linear Algebra I 24

Matrix Algebra. Matrix Addition, Scalar Multiplication and Transposition. Linear Algebra I 24 Mtrix lger Mtrix ddition, Sclr Multipliction nd rnsposition Mtrix lger Section.. Mtrix ddition, Sclr Multipliction nd rnsposition rectngulr rry of numers is clled mtrix ( the plurl is mtrices ) nd the

More information

QUADRATIC EQUATIONS OBJECTIVE PROBLEMS

QUADRATIC EQUATIONS OBJECTIVE PROBLEMS QUADRATIC EQUATIONS OBJECTIVE PROBLEMS +. The solution of the eqution will e (), () 0,, 5, 5. The roots of the given eqution ( p q) ( q r) ( r p) 0 + + re p q r p (), r p p q, q r p q (), (d), q r p q.

More information

S. S. Dragomir. 2, we have the inequality. b a

S. S. Dragomir. 2, we have the inequality. b a Bull Koren Mth Soc 005 No pp 3 30 SOME COMPANIONS OF OSTROWSKI S INEQUALITY FOR ABSOLUTELY CONTINUOUS FUNCTIONS AND APPLICATIONS S S Drgomir Abstrct Compnions of Ostrowski s integrl ineulity for bsolutely

More information

CMDA 4604: Intermediate Topics in Mathematical Modeling Lecture 19: Interpolation and Quadrature

CMDA 4604: Intermediate Topics in Mathematical Modeling Lecture 19: Interpolation and Quadrature CMDA 4604: Intermedite Topics in Mthemticl Modeling Lecture 19: Interpoltion nd Qudrture In this lecture we mke brief diversion into the res of interpoltion nd qudrture. Given function f C[, b], we sy

More information

We will see what is meant by standard form very shortly

We will see what is meant by standard form very shortly THEOREM: For fesible liner progrm in its stndrd form, the optimum vlue of the objective over its nonempty fesible region is () either unbounded or (b) is chievble t lest t one extreme point of the fesible

More information

The Regulated and Riemann Integrals

The Regulated and Riemann Integrals Chpter 1 The Regulted nd Riemnn Integrls 1.1 Introduction We will consider severl different pproches to defining the definite integrl f(x) dx of function f(x). These definitions will ll ssign the sme vlue

More information

Mathematics. Area under Curve.

Mathematics. Area under Curve. Mthemtics Are under Curve www.testprepkrt.com Tle of Content 1. Introduction.. Procedure of Curve Sketching. 3. Sketching of Some common Curves. 4. Are of Bounded Regions. 5. Sign convention for finding

More information

Some Hermite-Hadamard type inequalities for functions whose exponentials are convex

Some Hermite-Hadamard type inequalities for functions whose exponentials are convex Stud. Univ. Beş-Bolyi Mth. 6005, No. 4, 57 534 Some Hermite-Hdmrd type inequlities for functions whose exponentils re convex Silvestru Sever Drgomir nd In Gomm Astrct. Some inequlities of Hermite-Hdmrd

More information

Mass Creation from Extra Dimensions

Mass Creation from Extra Dimensions Journl of oern Physics, 04, 5, 477-48 Publishe Online April 04 in SciRes. http://www.scirp.org/journl/jmp http://x.oi.org/0.436/jmp.04.56058 ss Cretion from Extr Dimensions Do Vong Duc, Nguyen ong Gio

More information

GENERALIZED ABSTRACTED MEAN VALUES

GENERALIZED ABSTRACTED MEAN VALUES GENERALIZED ABSTRACTED MEAN VALUES FENG QI Abstrct. In this rticle, the uthor introduces the generlized bstrcted men vlues which etend the concepts of most mens with two vribles, nd reserches their bsic

More information

1 nonlinear.mcd Find solution root to nonlinear algebraic equation f(x)=0. Instructor: Nam Sun Wang

1 nonlinear.mcd Find solution root to nonlinear algebraic equation f(x)=0. Instructor: Nam Sun Wang nonlinermc Fin solution root to nonliner lgebric eqution ()= Instructor: Nm Sun Wng Bckgroun In science n engineering, we oten encounter lgebric equtions where we wnt to in root(s) tht stisies given eqution

More information

Quadratic Forms. Quadratic Forms

Quadratic Forms. Quadratic Forms Qudrtic Forms Recll the Simon & Blume excerpt from n erlier lecture which sid tht the min tsk of clculus is to pproximte nonliner functions with liner functions. It s ctully more ccurte to sy tht we pproximte

More information

Some Improvements of Hölder s Inequality on Time Scales

Some Improvements of Hölder s Inequality on Time Scales DOI: 0.55/uom-207-0037 An. Şt. Univ. Ovidius Constnţ Vol. 253,207, 83 96 Some Improvements of Hölder s Inequlity on Time Scles Cristin Dinu, Mihi Stncu nd Dniel Dănciulescu Astrct The theory nd pplictions

More information

Unit 1 Exponentials and Logarithms

Unit 1 Exponentials and Logarithms HARTFIELD PRECALCULUS UNIT 1 NOTES PAGE 1 Unit 1 Eponentils nd Logrithms (2) Eponentil Functions (3) The number e (4) Logrithms (5) Specil Logrithms (7) Chnge of Bse Formul (8) Logrithmic Functions (10)

More information

LYAPUNOV-TYPE INEQUALITIES FOR NONLINEAR SYSTEMS INVOLVING THE (p 1, p 2,..., p n )-LAPLACIAN

LYAPUNOV-TYPE INEQUALITIES FOR NONLINEAR SYSTEMS INVOLVING THE (p 1, p 2,..., p n )-LAPLACIAN Electronic Journl of Differentil Equtions, Vol. 203 (203), No. 28, pp. 0. ISSN: 072-669. URL: http://ejde.mth.txstte.edu or http://ejde.mth.unt.edu ftp ejde.mth.txstte.edu LYAPUNOV-TYPE INEQUALITIES FOR

More information

The Trapezoidal Rule

The Trapezoidal Rule _.qd // : PM Pge 9 SECTION. Numericl Integrtion 9 f Section. The re of the region cn e pproimted using four trpezoids. Figure. = f( ) f( ) n The re of the first trpezoid is f f n. Figure. = Numericl Integrtion

More information

Things to Memorize: A Partial List. January 27, 2017

Things to Memorize: A Partial List. January 27, 2017 Things to Memorize: A Prtil List Jnury 27, 2017 Chpter 2 Vectors - Bsic Fcts A vector hs mgnitude (lso clled size/length/norm) nd direction. It does not hve fixed position, so the sme vector cn e moved

More information

EULER-LAGRANGE EQUATIONS. Contents. 2. Variational formulation 2 3. Constrained systems and d Alembert principle Legendre transform 6

EULER-LAGRANGE EQUATIONS. Contents. 2. Variational formulation 2 3. Constrained systems and d Alembert principle Legendre transform 6 EULER-LAGRANGE EQUATIONS EUGENE LERMAN Contents 1. Clssicl system of N prticles in R 3 1 2. Vritionl formultion 2 3. Constrine systems n Alembert principle. 4 4. Legenre trnsform 6 1. Clssicl system of

More information

Mathematics Extension 1

Mathematics Extension 1 04 Bored of Studies Tril Emintions Mthemtics Etension Written by Crrotsticks & Trebl. Generl Instructions Totl Mrks 70 Reding time 5 minutes. Working time hours. Write using blck or blue pen. Blck pen

More information

Lecture 14: Quadrature

Lecture 14: Quadrature Lecture 14: Qudrture This lecture is concerned with the evlution of integrls fx)dx 1) over finite intervl [, b] The integrnd fx) is ssumed to be rel-vlues nd smooth The pproximtion of n integrl by numericl

More information

The Fundamental Theorem of Calculus Part 2, The Evaluation Part

The Fundamental Theorem of Calculus Part 2, The Evaluation Part AP Clculus AB 6.4 Funmentl Theorem of Clculus The Funmentl Theorem of Clculus hs two prts. These two prts tie together the concept of integrtion n ifferentition n is regre by some to by the most importnt

More information