# FORTRAN SUBROUTINES FOR NETWORK FLOW OPTIMIZATION USING AN INTERIOR POINT ALGORITHM

Size: px
Start display at page:

Download "FORTRAN SUBROUTINES FOR NETWORK FLOW OPTIMIZATION USING AN INTERIOR POINT ALGORITHM"

## Transcription

2 Portugal, Resende, Vega, Patríco & Júdce Fortran subroutnes for networ flow optmzaton usng an nteror pont algorthm 1. Introducton Gven a drected graph G = ( VE, ), where V s a set of m vertces and E a set of n edges, let (, j ) denote a drected edge from vertex to vertex j. The mnmum cost networ flow problem can be formulated as cx subject to (1) mn j j (, j) E x x = b, V j j (, j) E ( j,) E (2) l x u,(, j) E, j j j where x j denotes the flow on edge (, j ) and c j s the cost of passng one unt of flow on edge (, j ). For each vertex V, b denotes the flow produced or consumed at vertex. If b > 0, vertex b s a source. If b < 0, vertex s a sn. Otherwse ( b = 0 ), vertex s a transshpment vertex. For each edge (, j) E, l j ( u j ) denotes the lower (upper) bound on flow on edge (, j ). Most often, the problem data are assumed to be nteger. In matrx notaton, the above networ flow problem can be formulated as a prmal lnear program of the form (3) mn { c x Ax= b; x+ s= u; x, s 0} where c s a m n vector whose elements are c j, A s the m n vertex-edge ncdence matrx of the graph G = ( VE, ),.e. for each edge (, j ) n E there s an assocated column n matrx A wth exactly two nonzero entres: an entry 1 n row and an entry 1 n row j ; b, x, and u are defned as above, and s s an n-dmensonal vector of upper bound slacs. Furthermore, an approprate varable change allows us to assume that the lower bounds l are zero, wthout loss of generalty. The dual of (3) s (4) max { b y u w A y w+ z = c; z, w 0} where y s the m -dmensonal vector of dual varables and w and z are n -dmensonal vectors of dual slacs. If graph G s dsconnected and has p connected components, there are exactly p redundant flow conservaton constrants, whch are sometmes removed from the problem formulaton. Wthout loss of generalty, we rule out trvally nfeasble problems by assumng where j V b = 0, = 1,, p, V s the set of vertces for the -th component of G. If t s requred that the flow x j be nteger, (2) s replaced wth l x u, x nteger, (, j) E. j j j j j 244 Pesqusa Operaconal, v.28, n.2, p , Mao a Agosto de 2008

3 Portugal, Resende, Vega, Patríco & Júdce Fortran subroutnes for networ flow optmzaton usng an nteror pont algorthm In the descrpton of the algorthm, we assume wthout loss of generalty, that l j = 0 for all (, j) E and that c 0. A smple change of varables s done n the subroutnes to transform the orgnal problem nto an equvalent one wth l j = 0 for all (, j) E. The flow s transformed bac to the orgnal problem upon termnaton. The case where c = 0 s a smple feasblty problem, and s handled by solvng a maxmum flow problem [1]. Before concludng ths ntroducton, we present some notaton and outlne the remander of the paper. We denote the -th column of A by A, the -th row of A by A and a n submatrx of A formed by columns wth ndces n set S by A S. Let x R. We denote by X the n n dagonal matrx havng the elements of x n the dagonal. The Eucldean or 2-norm s denoted by. Ths paper descrbes Fortran subroutnes used n an mplementaton of PDNET, an nteror pont networ flow method ntroduced n Portugal, Resende, Vega & Júdce [12]. The paper s organzed as follows. In Secton 2 we revew the truncated nfeasble-prmal feasble-dual nteror pont method for lnear programmng. The mplementaton of ths algorthm to handle networ flow problems s descrbed n Secton 3. Secton 4 descrbes the subroutnes and ther usage. Computatonal results, comparng PDNET wth the networ optmzer n CPLEX 10, are reported n Secton 5. Concludng remars are made n Secton Truncated prmal-nfeasble dual-feasble nteror pont algorthm In ths secton, we recall the nteror pont algorthm mplemented n PDNET. Let n+ m+ n+ n+ n Q + = {( xyswz,,,, ) R : x > 0, s > 0, w > 0, z > 0} S = {( x, yswz,,, ) Q : x+ s= u, A y w+ z= c}. + + The truncated prmal-nfeasble dual-feasble nteror pont (TPIDF) algorthm [12] starts wth any soluton ( x, y, s, w, z ) S +. At teraton, the Newton drecton ( x, y, s, w, z ) s obtaned as the soluton of the lnear system of equatons (5) A x = b Ax + r, x + s = 0, A y w + z = 0, Z x + X z = µ e X Z e, W s + S w = µ e W S e, where e s a vector of ones of approprate order, r s such that (6) r β0 Ax b,0 β0 < β1, wth β 1 = 0.1, and ( x ) z + ( w ) s (7) µ = β1. 2n Pesqusa Operaconal, v.28, n.2, p , Mao a Agosto de

4 Portugal, Resende, Vega, Patríco & Júdce Fortran subroutnes for networ flow optmzaton usng an nteror pont algorthm Prmal and dual steps are taen n the drecton ( x, y, s, w, z ) to compute new terates accordng to + 1 x = x + α p x, + 1 s = s + α p s, (8) + 1 y = y + αd y, + 1 w = w + αd w, + 1 z = z + α z, where α p and α d are step-szes n the prmal and dual spaces, respectvely, and are gven by (9) αp = p max{ α: x + α x 0, s + α s 0}, αd = d max{ α: w + α w 0, z + α z 0}, where = = p d The soluton of the lnear system (5) s obtaned n two steps. Frst, we compute the component of the drecton as the soluton of the system of normal equatons 1 1 (10) AΘ A y = AΘ ( µ ( X ) e µ ( S ) e c+ A y ) + ( b Ax ), where Θ s gven by (11) Θ = ( Z ( X ) + W ( S ) ). The remanng components of the drecton are then recovered by 1 1 x = Θ A y +Θ ( µ ( X ) e µ ( S ) e c+ A y ), s = x, (12) 1 1 z = z + µ ( X ) e Z ( X ) x, 1 1 w = w + µ ( S ) e W ( S ) s. d y 3. Implementaton We dscuss how the truncated prmal-nfeasble dual-feasble algorthm can be used for solvng networ flow problems. For ease of dscusson, we assume, wthout loss of generalty, that the graph G s connected. However, dsconnected graphs are handled by PDNET. 3.1 Computng the Newton drecton Snce the exact soluton of (10) can be computatonally expensve, a precondtoned conjugate gradent (PCG) algorthm s used to compute approxmately an nteror pont search drecton at each teraton. The PCG solves the lnear system 1 1 (13) M ( AΘ A ) y = M b, where M s a postve defnte matrx and Θ s gven by (11), and 1 1 b = AΘ ( µ ( X ) e µ ( S ) e c+ A y ) + ( b Ax ). 246 Pesqusa Operaconal, v.28, n.2, p , Mao a Agosto de 2008

5 Portugal, Resende, Vega, Patríco & Júdce Fortran subroutnes for networ flow optmzaton usng an nteror pont algorthm The am s to mae the precondtoned matrx (14) 1 M ( AΘ A ) less ll-condtoned than AΘ A, and mprove the effcency of the conjugate gradent algorthm by reducng the number of teratons t taes to fnd a feasble drecton. Pseudo-code for the precondtoned conjugate gradent algorthm mplemented n PDNET s presented n Fgure 1. The matrx-vector multplcatons n lne 7 are of the form AΘ A p, and can be carred out wthout formng AΘ A explctly. PDNET uses as ts ntal drecton y 0 the drecton y produced n the prevous call to the conjugate gradent algorthm,.e. durng the prevous nteror pont teraton. The frst tme pcg s called, we assume y 0 = (0,,0). The precondtoned resdual s computed n lnes 3 and 11 when the system of lnear equatons (15) Mz+ 1 = r+ 1, s solved. PDNET uses prmal-dual varants of the dagonal and spannng tree precondtoners descrbed n [15,16]. Procedure pcg ( A, Θ, b, ε, y ) 1. y 0 : = y ; 2. r0 : = b AΘ A y0; 1 3. z0 : = M r0 ; 4. p0 : = z0 ; 5. : = 0; 6. Do stoppng crteron not satsfed 7. q : = AΘ A p ; 8. α : = z r / p q ; cg 9. y+ 1 : = y + αp ; 10. r+ 1 : = r αq ; z : = M r ; β : z+ r+ / z r 12. = 1 1 ; 13. p+ 1: = z+ 1+ βp ; 14. : = + 1; 15. Od; 16. y : = y End pcg Fgure 1 The precondtoned conjugate gradent algorthm. Pesqusa Operaconal, v.28, n.2, p , Mao a Agosto de

6 Portugal, Resende, Vega, Patríco & Júdce Fortran subroutnes for networ flow optmzaton usng an nteror pont algorthm The dagonal precondtoner, M = dag( AΘ A ), can be constructed n On ( ) operatons, and maes the computaton of the precondtoned resdual of the conjugate gradent possble wth Om ( ) dvsons. Ths precondtoner has been shown to be effectve durng the ntal nteror pont teratons [11,14,15,16,18]. In the spannng tree precondtoner [16], one dentfes a maxmal spannng tree of the graph G, usng as weghts the dagonal elements of the current scalng matrx, w= Θ e, where e s a unt n -vector. An exact maxmal spannng tree s computed wth the Fbonacc heap varant of Prm s algorthm [13], as descrbed n [1]. At the -th nteror pont teraton, let T = { t1,, t q } be the ndces of the edges of the maxmal spannng tree. The spannng tree precondtoner s M = A Θ A, where For smplcty of notaton, we nclude n T T T T t1 tq Θ = dag( Θ,, Θ ). A T the lnear dependent rows correspondng to the redundant flow conservaton constrants. At each conjugate gradent teraton, the precondtoned resdual system Mz+ 1 = r+ 1 s solved wth the varables correspondng to redundant constrants set to zero. Snce A T can be ordered nto a bloc dagonal form wth trangular dagonal blocs, then the precondtoned resduals can be computed n Om ( ) operatons. A heurstc s used to select the precondtoner. The ntal selecton s the dagonal precondtoner, snce t tends to outperform the other precondtoners durng the ntal nteror pont teratons. The number of conjugate gradents taen at each nteror pont teraton s montored. If the number of conjugate gradent teratons exceeds m /4, the current computaton of the drecton s dscarded, and a new conjugate gradent computaton s done wth the spannng tree precondtoner. The dagonal precondtoner s not used agan. The dagonal precondtoner s lmted to at most 30 nteror pont teratons. If at teraton 30 the dagonal precondtoner s stll n effect, at teraton 31 the spannng tree precondtoner s trggered. Also, as a safeguard, a hard lmt of 1000 conjugate gradent teratons s mposed. To determne when the approxmate drecton y produced by the conjugate gradent algorthm s satsfactory, one can compute the angle θ between ( AΘ A ) y and b and stop when 1 cos θ <ε cos, where ε cos s the tolerance at nteror pont teraton [8,15]. PDNET ntally uses 0 ε = 10 3 and tghtens the tolerance after each nteror pont teraton as follows: cos + 1 cos = cos cos ε ε ε, 248 Pesqusa Operaconal, v.28, n.2, p , Mao a Agosto de 2008

7 Portugal, Resende, Vega, Patríco & Júdce Fortran subroutnes for networ flow optmzaton usng an nteror pont algorthm where, n PDNET, ε = The exact computaton of cos b ( AΘ A ) y cosθ = b ( AΘ A ) y has the complexty of one conjugate gradent teraton and should not be carred out every conjugate gradent teraton. Snce ( AΘ A ) y s approxmately equal to b r, where r s the estmate of the resdual at the -th conjugate gradent teraton, then b ( b r ) cosθ b ( b r). Snce, on networ lnear programs, the precondtoned conjugate gradent method fnds good drectons n few teratons, ths estmate s qute accurate n practce. Snce t s nexpensve, t s computed at each conjugate gradent teraton. 3.2 Stoppng crtera for nteror pont method In [15], two stoppng crtera for the nteror pont method were used. The frst, called the prmal-basc (PB) stoppng rule, uses the spannng tree computed for the tree precondtoner. If the networ flow problem has a unque soluton, the edges of the tree converge to the optmal basc sequence of the problem. Let T be the ndex set of the edges of the tree, and defne + Ω = { {1,2,, n} T : x / z > s / w} to the ndex set of edges that are fxed to ther upper bounds. If the soluton system T T, + Ω A x b u A = x T of the lnear s such that 0 xt u, then x T s a feasble basc soluton. Furthermore, f the data s nteger, then x T has only nteger components. Optmalty of x T can be verfed by computng a lower bound on the optmal objectve functon value. Ths can be done wth a strategy ntroduced ndependently n [15] and [10,17]. Denote by x the -th component of x T and let F = { T :0 < x < u }. A tentatve optmal dual soluton y (havng a possbly better objectve value than the current dual nteror pont soluton supportng affne space of the dual face complementary to feasblty, we compute y ) can be found by orthogonally projectng y as the soluton of the least squares problem m y R F mn { y y : A y = c }. y onto the x T. In an attempt to preserve dual F Pesqusa Operaconal, v.28, n.2, p , Mao a Agosto de

8 Portugal, Resende, Vega, Patríco & Júdce Fortran subroutnes for networ flow optmzaton usng an nteror pont algorthm Resende & Vega [15] descrbe a Om ( ) operaton procedure to compute ths projecton. A feasble dual soluton ( y, z, w ) s bult by adjustng the dual slacs. Let δ = c A y. Then, δ f δ < 0 0 f δ < 0 w = z =. 0 otherwse δ otherwse If c x b y + u w = 0, then ( x, s ) and ( y, w, z ) are optmal prmal and dual solutons, respectvely. If the data s nteger and 0< c x b y + u w < 1, ( x, s ) s a prmal optmal (nteger) soluton. To apply the second stoppng procedure of [15], called the maxmum flow (MF) stoppng crteron, an ndcator functon to partton the edge set nto actve and nactve (fxed at upper or lower bounds) s needed. In PDNET, the ndcator used s the so-called prmal-dual ndcator, studed by Gay [5] and El-Bary, Tapa & Zhang [4]. Let ξ be a small tolerance. Edge s classfed as nactve at ts lower bound f x s 1 < ξ and > ξ. z w Edge s classfed as nactve at ts upper bound f x 1 s > ξ and < ξ. z w The remanng edges are set actve. In PDNET, ξ s ntally set to tghtened each tme the MF test s trggered accordng to PDNET, ξ = and ths tolerance s new old ξ = ξ ξ, where, n We select a tentatve optmal dual face F as a maxmum weghted spannng forest lmted to the actve edges as determned by the ndcator. The edge weghts used n PDNET are those of the scalng matrx Θ. As n the PB ndcator, we project the current dual nteror soluton F. Once the projected dual soluton y orthogonally onto y s at hand, we attempt to fnd a feasble flow x complementary to y. A refned tentatve optmal face s selected by redefnng the set of actve edges as = n c A y < r F { {1,2,, }: ε }, 8 where ε r s a small tolerance ( ε r = 10 n PDNET). The method attempts to buld a prmal feasble soluton, x, complementary to the tentatve dual optmal soluton by settng the nactve edges to lower or upper bounds,.e., for {1, 2,, n} F, 0 f Ω = { j {1,2,, n} F: cj A j y > 0} x =. + u f Ω = { j {1,2,, n} F: cj A j y < 0} 250 Pesqusa Operaconal, v.28, n.2, p , Mao a Agosto de 2008

9 Portugal, Resende, Vega, Patríco & Júdce Fortran subroutnes for networ flow optmzaton usng an nteror pont algorthm By consderng only the actve edges, a restrcted networ s bult. Flow on ths networ must satsfy (16) A x = b = b ua F F, + Ω 0 x u, F. Clearly, from the flow balance constrants (16), f a feasble flow x F for the restrcted networ exsts, t defnes, along wth x and Ω + x Ω, a prmal feasble soluton complementary to y. A feasble flow for the restrcted networ can be determned by solvng a maxmum flow problem on the augmented networ defned by the underlyng graph G = ( VE, ), where V = { σ} { π} V and E =Σ Π F. In addton, for each edge (, j) F there s an assocated capacty u j. Let V + = { V : b > 0} and V = { V : b < 0}. The addtonal edges are such that Σ= {( σ, ): V }, wth assocated capacty b for each edge ( σ, ), and Π= {(, π ): V }, wth assocated capacty b for each edge (, π ). It can be shown that f M σ, π s the maxmum flow value from σ to π, and x s a maxmal flow on the augmented networ, then M, = b f and only f x F s a feasble flow for σπ + V the restrcted networ [15]. Therefore, fndng a feasble flow for the restrcted networ nvolves the soluton of a maxmum flow problem. Furthermore, f the data s nteger, ths feasble flow s nteger, as we can select a maxmum flow algorthm that provdes an nteger soluton. Snce ths stoppng crteron nvolves the soluton of a maxmum flow problem, t should not be trggered untl the nteror pont algorthm s near the optmal soluton. The crteron s trggered at teraton, when µ < ε µ occurs for frst tme. The choce ε µ = 1 used n PDNET s approprate for the set of test problems consdered here. In a more general purpose mplementaton, a scale nvarant crteron s desrable. All subsequent teratons test ths stoppng rule. In PDNET, the mplementaton of Goldfarb & Grgorads [6] of Dnc s algorthm s used to solve the maxmum flow problems Other mplementaton ssues To conclude ths secton, we mae some remars on other mportant mplementaton ssues of the prmal-nfeasble, dual-feasble algorthm, namely the startng soluton, the adjustment of parameter µ, and the prmal and dual stepszes. Recall that the algorthm starts wth any soluton { x, s, y, w, z } satsfyng (17) x > 0, s > 0, w > 0, z > 0, Pesqusa Operaconal, v.28, n.2, p , Mao a Agosto de

10 Portugal, Resende, Vega, Patríco & Júdce Fortran subroutnes for networ flow optmzaton usng an nteror pont algorthm (18) and (19) 0 0 x + s = u, A y w + z = c, 0 but does not have to satsfy Ax = b. Addtonally, t s desrable that the ntal pont also satsfy the remanng equatons that defne the central path (5),.e. (20) for µ > 0. For (, j) E, let 0 0 X z x s z w = µ e and 0 0 S w 0 j = ν juj, 0 j = (1 ν j ) uj, 0 j = µ /( νj uj ), 0 j = µ νj uj /((1 ) ), = µ e, be the startng soluton, where 0< ν j < 1 and µ > 0. It s easy to verfy that ths startng soluton satsfes (17-18) as well as (20). Condton (19) s satsfed f, for (, j) E, ν j s chosen as ν j 1 µ 1 µ ( ) f ϑj > 0, 2 ϑjuj 4 ϑjuj 1 µ 1 µ ( ) 2 = f ϑj < 0, 2 ϑjuj 4 ϑjuj 1 f ϑj = 0, 2 where, for some ntal guess 0 y of the dual vector y, 0 0 j y yj cj ϑ = + +. In PDNET, we set the ntal guess max{ c : (, ) } 0 j j E y = b max{ b : V } and parameter µ = 0.2 max{ ϑ u :(, j) E } j The prmal-dual parameter has an ntal value µ 0 = β 1 µ, where n PDNET β 1 = 0.1. Subsequently, for teratons 1, µ s computed as n (7). The stepsze parameters p and d are both set to throughout the teratons, slghtly more conservatve than as suggested by [9]. j 252 Pesqusa Operaconal, v.28, n.2, p , Mao a Agosto de 2008

11 Portugal, Resende, Vega, Patríco & Júdce Fortran subroutnes for networ flow optmzaton usng an nteror pont algorthm 4. Fortran subroutnes The current mplementaton PDNET conssts of a collecton of core subroutnes wth addtonal subsdary modules wrtten n Fortran [7]. The software dstrbuton assocated wth ths paper provdes fully functonal utltes by ncludng Fortran reference mplementatons for the man program, provdng default parameter settngs and supplyng addtonal routnes for data nput and output functons. In ths secton, we descrbe the usage of the PDNET framewor wth comments on user extensons. Specfc nstructons for buldng and nstallng PDNET from the source code are provded wth the software dstrbuton. Table 1 lsts all modules provded n the PDNET software dstrbuton. Table 1 Source code fles. Fle Name dblas1.f dnsubs.f fdrver.f90 pdnet_default.f90 pdnet_maxflow.f90 pdnet_feasble.f90 pdnet.f90 pdnet_solreport.f90 pdnet_read.f90 Descrpton Fortran Level 1 BLAS reference mplementaton Fortran mplementaton of Dnc s Algorthm Fortran man program Fortran functon settng parameter defaults Fortran subroutne for nvong maxmum flow computaton Fortran subroutne for networ feasblty checng PDNET core subroutnes PDNET report generator Fortran functons for readng networ data We adopted several desgn and programmng style gudelnes n mplementng the PDNET routnes n Fortran. We requred that all arrays and varables be passed as subroutne arguments, avodng the use of COMMON blocs. The resultng code s expected to comple and run wthout modfcaton under most software development and computng envronments. 4.1 PDNET core subroutnes The PDNET core subroutnes are nvoed va a sngle nterface provded by subroutne pdnet(). Followng the specfcatons lsted n Table 2, the callng program must provde data va the nput arguments and allocate the nternal and output arrays approprately as descrbed n Subsecton 4.3 n fle fdrver.f90. We provde reference mplementatons of the PDNET man program whch also serve as gudes for developng custom applcatons nvong the PDNET core subroutnes. In Subsecton 4.2, we dscuss n detal the nput and output routnes used n the reference mplementatons. Subsecton 4.4 dscusses the settng of parameters n PDNET. In addton, the core subroutnes call an external functon for maxmum flow computaton, whch s provded n a subsdary module, wth ts nterface dscussed n Subsecton 4.5. Pesqusa Operaconal, v.28, n.2, p , Mao a Agosto de

12 Portugal, Resende, Vega, Patríco & Júdce Fortran subroutnes for networ flow optmzaton usng an nteror pont algorthm 4.2 Data nput Programs nvong the PDNET subroutnes must supply an nstance for the mnmum-cost flow problem. As presented n Table 3, the data structure ncludes the descrpton of the underlyng graph, node netflow values, arc costs, capactes and lower bounds. All node and arc attrbutes are nteger valued. Table 2 Arguments for pdnet(). Varable Sze Type Status descrpton b nn nteger nput netflow values for each node c na nteger nput cost for each arc dnfo 34 double precson nput parameters and statstcs endn na nteger nput end node for each arc nfo 23 nteger nput parameters and statstcs l na nteger nput lower bound of flow for each arc na - nteger nput number of arcs nn - nteger nput number of nodes optflo na nteger output optmal flow for each arc strn na nteger nput start node for each arc u na nteger nput upper bound of flow for each arc Table 3 Networ data structure. Varable Dmenson Type descrpton na - nteger number of nodes nn - nteger number of arcs strn na nteger start node for each arc endn na nteger end node for each arc b nn nteger flow values for each node c na nteger cost for each arc l na nteger lower bound of flow for each arc u na nteger upper bound of flow for each arc The reference mplementatons of the man program PDNET reads networ data from an nput fle by nvong functons avalable n the Fortran module pdnet_read.f90. These functons buld PDNET nput data structures from data fles n the DIMACS format [2] wth nstances of mnmum cost flows problems. As llustrated n the PDNET module fdrver.f90, we provde specalzed nterfaces used n Fortran programs usng dynamc memory allocaton. 4.3 Memory allocaton In PDNET, total memory utlzaton s carefully managed by allocatng each ndvdual array to a temporary vector passed as argument to nternal PDNET functons. Furthermore, nput and output arrays, presented n Table 4, are passed as arguments to subroutne pdnet() and must be allocated by the callng procedure. 254 Pesqusa Operaconal, v.28, n.2, p , Mao a Agosto de 2008

13 Portugal, Resende, Vega, Patríco & Júdce Fortran subroutnes for networ flow optmzaton usng an nteror pont algorthm Table 4 External arrays. varable dmenson type descrpton dnfo 34 double precson parameters and statstcs nfo 23 nteger parameters and statstcs optflo na nteger optmal flow for each arc 4.4 Parameter settng PDNET executon s controlled by a varety of parameters, selectng features of the underlyng algorthm and the nterface wth the callng program. A subset of these parameters s exposed to the callng procedure va a PDNET core subroutne. The remanng parameters are set at comple tme wth default values assgned n nsde module pdnet_default.f90. The run tme parameters lsted n Tables 5 and 6 are set wth Fortran functon pdnet_setntparm(). The nteger parameters are assgned to components of vector nfo and double precson parameters are assgned to vector dnfo. 4.5 Maxmum flow computaton PDNET ncludes a maxmum flow computaton module called pdnet_maxflow, featurng the mplementaton of Goldfarb and Grgorads [6] of Dnc s algorthm, that s used to chec the maxmum flow stoppng crteron. Furthermore, a modfcaton of ths module, called pdnet_feasble, s called by the module pdnet_checfeas() after readng the networ fle to compute a maxmum flow on the networ, therefore checng for nfeasblty. 4.6 Runnng PDNET Module fdrver nputs the networ structure and passes control to module pdnet(). Ths subroutne starts by readng the control parameters from the vector nfo, wth pdnet_getnfo(). Correctness of the nput s checed wth pdnet_chec(), and data structure created wth pdnet_datastruct(). Internal parameters for methods are set wth pdnet_default(), and addtonal structures are created wth pdnet_buldstruct(). Subroutnes pdnet_transform() and pdnet_perturb() are called n order to shft the lower bounds to zero and to transform the data nto double precson, respectvely. Subroutnes pdnet_probdata() and pdnet_checfeas() chec the problem characterstcs and nqure f the networ has enough capacty to transport the proposed amount of commodty. The prmal-dual man loop s then started and the rght-hand-sde of the search drecton system s computed by pdnet_comprhs(). The maxmum spannng tree s computed by pdnet_heap(), and ts optmalty s tested by pdnet_optchec(). Under certan condtons ( µ < 1), the maxflow stoppng crteron s nvoed by subroutne pdnet_checmaxflow(). If requred, precondtoner swtch taes place, followed by a call to pdnet_precconjgrd() to solve the Newton drecton lnear system usng the chosen precondtoner. A summary of the teraton s prnted by pdnet_prntout(). Prmal and dual updates are made by pdnet_updatesol() and stoppng crtera chec taes place, before returnng to the start of the teraton loop. Pesqusa Operaconal, v.28, n.2, p , Mao a Agosto de

14 Portugal, Resende, Vega, Patríco & Júdce Fortran subroutnes for networ flow optmzaton usng an nteror pont algorthm We now present a usage example. Let us consder the problem of fndng the mnmum cost flow on the networ represented n Fgure 2. In ths fgure, the ntegers close to the nodes represent the node s produced (postve value) or consumed (negatve value) net flows, and the ntegers close to the arcs stand for ther unt cost. Furthermore the capacty of each arc s bounded between 0 and 10. In Fgure 3, we show the DIMACS format representaton of ths problem, stored n fle test.mn. Furthermore, Fgures 4 and 5 show the begnnng and the end of the prntout gven by PDNET, respectvely. Table 5 Lst of runtme nteger parameters assgned to vector nfo. component varable descrpton 1 bound used for buldng maxmum spannng tree 2 prcnd precondtoner used 3 out output fle unt (6: standard output) 4 maxt maxmum number of prmal-dual teratons 5 mxcgt maxmum number of PCG teratons 6 mxfv vertces on optmal flow networ 7 mxfe edges on optmal flow networ 8 nbound used for computng addtonal data structures 9 nbu number of bucets 10 pdut number of prmal-dual teratons performed 11 root sets begnnng of structure 12 opt flags optmal flow 13 pcgt number of PCG teratons performed 14 pf teraton level 15 error flags errors n nput 16 cgstop flags how PCG stopped 17 mfstat maxflow status 18 oflag controls the output level of the summary 19 prttyp prntout level 20 optgap dualty gap optmalty ndcator flag 21 optmf maxmum flow optmalty ndcator flag 22 optst spannng tree optmalty ndcator flag 23 mr estmate of maxmum number of teratons Fgure 2 Example of a mnmum cost flow networ. 256 Pesqusa Operaconal, v.28, n.2, p , Mao a Agosto de 2008

15 Portugal, Resende, Vega, Patríco & Júdce Fortran subroutnes for networ flow optmzaton usng an nteror pont algorthm Table 6 Lst of runtme double precson parameters assgned to vector dnfo. component varable descrpton 1 dobj dual objectve functon value 2 dof dual objectve functon value on tree 3 factor factor for Newton step 4 fcttol factorzaton zero tolerance 5 gap value of the gap 6 grho0 factor for rho0 update 7 gtolcg factor for PCG tolerance 8 gtolmf update factor for maxflow tolerances 9 mfdopt maxflow value 10 mu value of nteror-pont µ parameter 11 mntlcg lower bound for PCG tolerance 12 mrho0 lower bound for rho0 13 oldtol value of resdual n prevous PCG teraton 14 pcgres value of resdual n current PCG teraton 15 pobj objectve functon value 16 pof prmal objectve functon value on tree 17 rho0 parameter from IQRD precondtoner 18 s1fctr factor for mu 19 stptol tolerance for dual slacs 20 stpval value of largest slac on dual face 21 tol1 lower bound of tolerance for maxflow 22 tol2 upper bound of tolerance for maxflow 23 tolcg tolerance for PCG stoppng crteron 24 tolcg0 guess for tolerance for PCG stoppng crteron 25 tolsl zero for dual slacs 26 huge largest real number 27 tolpcg ntal value for tolcg 28 oldcos value of cosne n prevous PCG teraton 29 pcgcos value of cosne n current PCG teraton 30 zero value for zero 31 tolsw1 maxmum value for sw1 32 tolsw2 maxmum value for sw2 33 sw1 ter lmt on PCG for dagonal to spannng tree swtch 34 sw2 ter lmt on PCG for spannng tree to IQRD swtch Pesqusa Operaconal, v.28, n.2, p , Mao a Agosto de

16 Portugal, Resende, Vega, Patríco & Júdce Fortran subroutnes for networ flow optmzaton usng an nteror pont algorthm p mn 4 5 n 1 2 n 2-2 n 3-4 n 4 4 a a a a a Fgure 3 Fle test.mn wth the DIMACS format representaton of the problem of Fg. 2. Fgure 4 Startup and frst two teratons of a typcal PDNET sesson. Fgure 5 Last teraton and results prntout n typcal PDNET sesson. 5. Computatonal results A prelmnary verson of PDNET was tested extensvely wth results reported n [12]. In ths secton, we report on a lmted experment wth the verson of PDNET n the software dstrbuton. The experments were done on a PC wth an Intel Pentum IV processor runnng at 2 Ghz and 2 Gb of man memory. The operatng system s Ubuntu Lnux 7.10 (ernel ). The code was compled on the Intel Fortran compler verson 10.0 usng the flags -O3. CPU tmes n seconds were computed by callng the Fortran 90 functon cpu_tme(). The test problems are nstances of the classes mesh, grd and netgen_lo of mnmum-cost networ flow problems, taen from the Frst DIMACS Implementaton Challenge [3]. The specfcatons of the mesh nstances generated are presented n Table 7. The specfcatons used n the GRIDGEN generator to buld the grd problems are dsplayed n Table 8. Fnally, 258 Pesqusa Operaconal, v.28, n.2, p , Mao a Agosto de 2008

17 Portugal, Resende, Vega, Patríco & Júdce Fortran subroutnes for networ flow optmzaton usng an nteror pont algorthm the nstances of the test set netgen_lo were generated accordng to the gudelnes stated n the computatonal study of Resende and Vega [15], usng the NETGEN generator followng the specfcatons presented n Table 9. All these generators can be downloaded from the FTP ste dmacs.rutgers.edu. Table 7 Specfcatons for nstances n class mesh. Problem n m maxcap maxcost seed x y xdeg ydeg Problem nodes grd sze Table 8 Specfcatons for nstances n class grd. arc costs arc caps sources sns average degree supply mn max mn max x x x Instances of ncreasng dmenson were consdered. The three netgen_lo nstances presented were generated consderng x = 9, x = 13 and x = 15 respectvely. In Table 10, the number of teratons (IT) and the CPU tme (CPU) of PDNET and CPLEX 10 are compared. The reported results show that PDNET tends to outperform CPLEX n the larger nstances of the mesh and netgen_lo set problems, but fals to do so n grd set problems. For testset netgen_lo the dfference s qute notceable for the largest nstance. We observed that n ths problem about 90% of the CPU tme and teraton count n CPLEX 10 was spent computng a feasble soluton. The results n ths experence and those reported n [12] show that ths code s qute compettve wth CPLEX and other effcent networ flow codes for large-scale problems. 6. Concludng remars In ths paper, we descrbe a Fortran mplementaton of PDNET, a prmal-nfeasble dualfeasble nteror pont method for solvng large--scale lnear networ flow problems. The subroutnes are descrbed, and drectons for usage are gven. A number of techncal features of the mplementaton, whch enable the user to control several aspects of the program executon, are also presented. Some computatonal experence wth a number of test problems from the DIMACS collecton s reported. These results llustrate the effcency of PDNET for the soluton of lnear networ flow problems. Source code for the software s avalable for download at Pesqusa Operaconal, v.28, n.2, p , Mao a Agosto de

18 Portugal, Resende, Vega, Patríco & Júdce Fortran subroutnes for networ flow optmzaton usng an nteror pont algorthm Table 9 NETGEN specfcaton fle for class netgen_lo. seed Random number seed: problem Problem number (for output): 1 nodes Number of nodes: m = 2 x sources Number of sources: 2 2 x sns Number of sns: 2 2 x densty Number of (requested) arcs: 3 2 x+ mncost Mnmum arc cost: 0 maxcost Maxmum arc cost: 4096 supply Total supply: 2( 2) 2 x tsources Transshpment sources: 0 tsns Transshpment sns: 0 hcost Seleton arcs wth max cost: 100% capactated Capactated arcs: 100% mncap Mnmum arc capacty: 1 maxcap Maxmum arc capacty: 16 Table 10 Computatonal experence wth nstances of the sets mesh, grd and netgen_lo of test problems. CPLEX 10 PDNET Set Problem V E IT CPU IT CPU mesh grd netgen_lo References (1) Ahuja, N.K.; Magnant, T.L. & Orln, J.B. (1993). Networ Flows. Prentce Hall, Englewood Clffs, NJ. (2) DIMACS (1991). The frst DIMACS nternatonal algorthm mplementaton challenge: Problem defntons and specfcatons. World-Wde Web document. (3) DIMACS (1991). The frst DIMACS nternatonal algorthm mplementaton challenge: The benchmar experments. Techncal report, DIMACS, New Brunswc, NJ. 260 Pesqusa Operaconal, v.28, n.2, p , Mao a Agosto de 2008

19 Portugal, Resende, Vega, Patríco & Júdce Fortran subroutnes for networ flow optmzaton usng an nteror pont algorthm (4) El-Bary, A.S.; Tapa, R.A. & Zhang, Y. (1994). A study on the use of ndcators for dentfyng zero varables for nteror-pont methods. SIAM Revew, 36, (5) Gay, D.M. (1989). Stoppng tests that compute optmal solutons for nteror-pont lnear programmng algorthms. Techncal report, AT&T Bell Laboratores, Murray Hll, NJ. (6) Goldfarb, D. & Grgorads, M.D. (1988). A computatonal comparson of the Dnc and networ smplex methods for maxmum flow. Annals of Operatons Research, 13, (7) Internatonal Organzaton for Standardzaton (1997). Informaton technology Programmng languages Fortran Part 1: Base language. ISO/IEC :1997, Internatonal Organzaton for Standardzaton, Geneva, Swtzerland. (8) Karmarar, N.K. & Ramarshnan, K.G. (1991). Computatonal results of an nteror pont algorthm for large scale lnear programmng. Mathematcal Programmng, 52, (9) McShane, K.A. & Monma, C.L. & Shanno, D.F. (1989). An mplementaton of a prmal-dual nteror pont method for lnear programmng. ORSA Journal on Computng, 1, (10) Mehrotra, S. & Ye, Y. (1993). Fndng an nteror pont n the optmal face of lnear programs. Mathematcal Programmng, 62, (11) Portugal, L.; Bastos, F.; Júdce, J.; Paxão, J. & Terlay, T. (1996). An nvestgaton of nteror pont algorthms for the lnear transportaton problem. SIAM J. Sc. Computng, 17, (12) Portugal, L.F.; Resende, M.G.C.; Vega, G. & Júdce, J.J. (2000). A truncated prmalnfeasble dual-feasble networ nteror pont method. Networs, 35, (13) Prm, R.C. (1957). Shortest connecton networs and some generalzatons. Bell System Techncal Journal, 36, (14) Resende, M.G.C. & Vega, G. (1993). Computng the projecton n an nteror pont algorthm: An expermental comparson. Investgacón Operatva, 3, (15) Resende, M.G.C. & Vega, G. (1993). An effcent mplementaton of a networ nteror pont method. In: Networ Flows and Matchng: Frst DIMACS Implementaton Challenge [edted by Davd S. Johnson and Catherne C. McGeoch], volume 12 of DIMACS Seres n Dscrete Mathematcs and Theoretcal Computer Scence, Amercan Mathematcal Socety. (16) Resende, M.G.C. & Vega, G. (1993). An mplementaton of the dual affne scalng algorthm for mnmum cost flow on bpartte uncapactated networs. SIAM Journal on Optmzaton, 3, (17) Ye, Y. (1992). On the fnte convergence of nteror-pont algorthms for lnear programmng. Mathematcal Programmng, 57, (18) Yeh, Quey-Jen (1989). A reduced dual affne scalng algorthm for solvng assgnment and transportaton problems. PhD thess, Columba Unversty, New Yor, NY. Pesqusa Operaconal, v.28, n.2, p , Mao a Agosto de

### The Greedy Method. Introduction. 0/1 Knapsack Problem

The Greedy Method Introducton We have completed data structures. We now are gong to look at algorthm desgn methods. Often we are lookng at optmzaton problems whose performance s exponental. For an optmzaton

### Project Networks With Mixed-Time Constraints

Project Networs Wth Mxed-Tme Constrants L Caccetta and B Wattananon Western Australan Centre of Excellence n Industral Optmsaton (WACEIO) Curtn Unversty of Technology GPO Box U1987 Perth Western Australa

### The Development of Web Log Mining Based on Improve-K-Means Clustering Analysis

The Development of Web Log Mnng Based on Improve-K-Means Clusterng Analyss TngZhong Wang * College of Informaton Technology, Luoyang Normal Unversty, Luoyang, 471022, Chna wangtngzhong2@sna.cn Abstract.

### 8.5 UNITARY AND HERMITIAN MATRICES. The conjugate transpose of a complex matrix A, denoted by A*, is given by

6 CHAPTER 8 COMPLEX VECTOR SPACES 5. Fnd the kernel of the lnear transformaton gven n Exercse 5. In Exercses 55 and 56, fnd the mage of v, for the ndcated composton, where and are gven by the followng

### 1 Approximation Algorithms

CME 305: Dscrete Mathematcs and Algorthms 1 Approxmaton Algorthms In lght of the apparent ntractablty of the problems we beleve not to le n P, t makes sense to pursue deas other than complete solutons

### How Sets of Coherent Probabilities May Serve as Models for Degrees of Incoherence

1 st Internatonal Symposum on Imprecse Probabltes and Ther Applcatons, Ghent, Belgum, 29 June 2 July 1999 How Sets of Coherent Probabltes May Serve as Models for Degrees of Incoherence Mar J. Schervsh

### Module 2 LOSSLESS IMAGE COMPRESSION SYSTEMS. Version 2 ECE IIT, Kharagpur

Module LOSSLESS IMAGE COMPRESSION SYSTEMS Lesson 3 Lossless Compresson: Huffman Codng Instructonal Objectves At the end of ths lesson, the students should be able to:. Defne and measure source entropy..

### v a 1 b 1 i, a 2 b 2 i,..., a n b n i.

SECTION 8.4 COMPLEX VECTOR SPACES AND INNER PRODUCTS 455 8.4 COMPLEX VECTOR SPACES AND INNER PRODUCTS All the vector spaces we have studed thus far n the text are real vector spaces snce the scalars are

### J. Parallel Distrib. Comput.

J. Parallel Dstrb. Comput. 71 (2011) 62 76 Contents lsts avalable at ScenceDrect J. Parallel Dstrb. Comput. journal homepage: www.elsever.com/locate/jpdc Optmzng server placement n dstrbuted systems n

### What is Candidate Sampling

What s Canddate Samplng Say we have a multclass or mult label problem where each tranng example ( x, T ) conssts of a context x a small (mult)set of target classes T out of a large unverse L of possble

### Optimization of network mesh topologies and link capacities for congestion relief

Optmzaton of networ mesh topologes and ln capactes for congeston relef D. de Vllers * J.M. Hattngh School of Computer-, Statstcal- and Mathematcal Scences Potchefstroom Unversty for CHE * E-mal: rwddv@pu.ac.za

### An MILP model for planning of batch plants operating in a campaign-mode

An MILP model for plannng of batch plants operatng n a campagn-mode Yanna Fumero Insttuto de Desarrollo y Dseño CONICET UTN yfumero@santafe-concet.gov.ar Gabrela Corsano Insttuto de Desarrollo y Dseño

### Logical Development Of Vogel s Approximation Method (LD-VAM): An Approach To Find Basic Feasible Solution Of Transportation Problem

INTERNATIONAL JOURNAL OF SCIENTIFIC & TECHNOLOGY RESEARCH VOLUME, ISSUE, FEBRUARY ISSN 77-866 Logcal Development Of Vogel s Approxmaton Method (LD- An Approach To Fnd Basc Feasble Soluton Of Transportaton

### Luby s Alg. for Maximal Independent Sets using Pairwise Independence

Lecture Notes for Randomzed Algorthms Luby s Alg. for Maxmal Independent Sets usng Parwse Independence Last Updated by Erc Vgoda on February, 006 8. Maxmal Independent Sets For a graph G = (V, E), an ndependent

### Feature selection for intrusion detection. Slobodan Petrović NISlab, Gjøvik University College

Feature selecton for ntruson detecton Slobodan Petrovć NISlab, Gjøvk Unversty College Contents The feature selecton problem Intruson detecton Traffc features relevant for IDS The CFS measure The mrmr measure

### Support Vector Machines

Support Vector Machnes Max Wellng Department of Computer Scence Unversty of Toronto 10 Kng s College Road Toronto, M5S 3G5 Canada wellng@cs.toronto.edu Abstract Ths s a note to explan support vector machnes.

### On the Optimal Control of a Cascade of Hydro-Electric Power Stations

On the Optmal Control of a Cascade of Hydro-Electrc Power Statons M.C.M. Guedes a, A.F. Rbero a, G.V. Smrnov b and S. Vlela c a Department of Mathematcs, School of Scences, Unversty of Porto, Portugal;

### Heuristic Static Load-Balancing Algorithm Applied to CESM

Heurstc Statc Load-Balancng Algorthm Appled to CESM 1 Yur Alexeev, 1 Sher Mckelson, 1 Sven Leyffer, 1 Robert Jacob, 2 Anthony Crag 1 Argonne Natonal Laboratory, 9700 S. Cass Avenue, Argonne, IL 60439,

### Loop Parallelization

- - Loop Parallelzaton C-52 Complaton steps: nested loops operatng on arrays, sequentell executon of teraton space DECLARE B[..,..+] FOR I :=.. FOR J :=.. I B[I,J] := B[I-,J]+B[I-,J-] ED FOR ED FOR analyze

### Institute of Informatics, Faculty of Business and Management, Brno University of Technology,Czech Republic

Lagrange Multplers as Quanttatve Indcators n Economcs Ivan Mezník Insttute of Informatcs, Faculty of Busness and Management, Brno Unversty of TechnologCzech Republc Abstract The quanttatve role of Lagrange

### On the Solution of Indefinite Systems Arising in Nonlinear Optimization

On the Soluton of Indefnte Systems Arsng n Nonlnear Optmzaton Slva Bonettn, Valera Ruggero and Federca Tnt Dpartmento d Matematca, Unverstà d Ferrara Abstract We consder the applcaton of the precondtoned

### Energy Efficient Routing in Ad Hoc Disaster Recovery Networks

Energy Effcent Routng n Ad Hoc Dsaster Recovery Networks Gl Zussman and Adran Segall Department of Electrcal Engneerng Technon Israel Insttute of Technology Hafa 32000, Israel {glz@tx, segall@ee}.technon.ac.l

### Power-of-Two Policies for Single- Warehouse Multi-Retailer Inventory Systems with Order Frequency Discounts

Power-of-wo Polces for Sngle- Warehouse Mult-Retaler Inventory Systems wth Order Frequency Dscounts José A. Ventura Pennsylvana State Unversty (USA) Yale. Herer echnon Israel Insttute of echnology (Israel)

### A hybrid global optimization algorithm based on parallel chaos optimization and outlook algorithm

Avalable onlne www.ocpr.com Journal of Chemcal and Pharmaceutcal Research, 2014, 6(7):1884-1889 Research Artcle ISSN : 0975-7384 CODEN(USA) : JCPRC5 A hybrd global optmzaton algorthm based on parallel

### Period and Deadline Selection for Schedulability in Real-Time Systems

Perod and Deadlne Selecton for Schedulablty n Real-Tme Systems Thdapat Chantem, Xaofeng Wang, M.D. Lemmon, and X. Sharon Hu Department of Computer Scence and Engneerng, Department of Electrcal Engneerng

### + + + - - This circuit than can be reduced to a planar circuit

MeshCurrent Method The meshcurrent s analog of the nodeoltage method. We sole for a new set of arables, mesh currents, that automatcally satsfy KCLs. As such, meshcurrent method reduces crcut soluton to

### L10: Linear discriminants analysis

L0: Lnear dscrmnants analyss Lnear dscrmnant analyss, two classes Lnear dscrmnant analyss, C classes LDA vs. PCA Lmtatons of LDA Varants of LDA Other dmensonalty reducton methods CSCE 666 Pattern Analyss

### IMPACT ANALYSIS OF A CELLULAR PHONE

4 th ASA & μeta Internatonal Conference IMPACT AALYSIS OF A CELLULAR PHOE We Lu, 2 Hongy L Bejng FEAonlne Engneerng Co.,Ltd. Bejng, Chna ABSTRACT Drop test smulaton plays an mportant role n nvestgatng

### Formulating & Solving Integer Problems Chapter 11 289

Formulatng & Solvng Integer Problems Chapter 11 289 The Optonal Stop TSP If we drop the requrement that every stop must be vsted, we then get the optonal stop TSP. Ths mght correspond to a ob sequencng

### Recurrence. 1 Definitions and main statements

Recurrence 1 Defntons and man statements Let X n, n = 0, 1, 2,... be a MC wth the state space S = (1, 2,...), transton probabltes p j = P {X n+1 = j X n = }, and the transton matrx P = (p j ),j S def.

### greatest common divisor

4. GCD 1 The greatest common dvsor of two ntegers a and b (not both zero) s the largest nteger whch s a common factor of both a and b. We denote ths number by gcd(a, b), or smply (a, b) when there s no

### Joint Scheduling of Processing and Shuffle Phases in MapReduce Systems

Jont Schedulng of Processng and Shuffle Phases n MapReduce Systems Fangfe Chen, Mural Kodalam, T. V. Lakshman Department of Computer Scence and Engneerng, The Penn State Unversty Bell Laboratores, Alcatel-Lucent

### ANALYZING THE RELATIONSHIPS BETWEEN QUALITY, TIME, AND COST IN PROJECT MANAGEMENT DECISION MAKING

ANALYZING THE RELATIONSHIPS BETWEEN QUALITY, TIME, AND COST IN PROJECT MANAGEMENT DECISION MAKING Matthew J. Lberatore, Department of Management and Operatons, Vllanova Unversty, Vllanova, PA 19085, 610-519-4390,

### 8 Algorithm for Binary Searching in Trees

8 Algorthm for Bnary Searchng n Trees In ths secton we present our algorthm for bnary searchng n trees. A crucal observaton employed by the algorthm s that ths problem can be effcently solved when the

### Lecture 3: Force of Interest, Real Interest Rate, Annuity

Lecture 3: Force of Interest, Real Interest Rate, Annuty Goals: Study contnuous compoundng and force of nterest Dscuss real nterest rate Learn annuty-mmedate, and ts present value Study annuty-due, and

### APPLICATION OF PROBE DATA COLLECTED VIA INFRARED BEACONS TO TRAFFIC MANEGEMENT

APPLICATION OF PROBE DATA COLLECTED VIA INFRARED BEACONS TO TRAFFIC MANEGEMENT Toshhko Oda (1), Kochro Iwaoka (2) (1), (2) Infrastructure Systems Busness Unt, Panasonc System Networks Co., Ltd. Saedo-cho

### Rate Monotonic (RM) Disadvantages of cyclic. TDDB47 Real Time Systems. Lecture 2: RM & EDF. Priority-based scheduling. States of a process

Dsadvantages of cyclc TDDB47 Real Tme Systems Manual scheduler constructon Cannot deal wth any runtme changes What happens f we add a task to the set? Real-Tme Systems Laboratory Department of Computer

### benefit is 2, paid if the policyholder dies within the year, and probability of death within the year is ).

REVIEW OF RISK MANAGEMENT CONCEPTS LOSS DISTRIBUTIONS AND INSURANCE Loss and nsurance: When someone s subject to the rsk of ncurrng a fnancal loss, the loss s generally modeled usng a random varable or

### Compiling for Parallelism & Locality. Dependence Testing in General. Algorithms for Solving the Dependence Problem. Dependence Testing

Complng for Parallelsm & Localty Dependence Testng n General Assgnments Deadlne for proect 4 extended to Dec 1 Last tme Data dependences and loops Today Fnsh data dependence analyss for loops General code

### Conversion between the vector and raster data structures using Fuzzy Geographical Entities

Converson between the vector and raster data structures usng Fuzzy Geographcal Enttes Cdála Fonte Department of Mathematcs Faculty of Scences and Technology Unversty of Combra, Apartado 38, 3 454 Combra,

### The OC Curve of Attribute Acceptance Plans

The OC Curve of Attrbute Acceptance Plans The Operatng Characterstc (OC) curve descrbes the probablty of acceptng a lot as a functon of the lot s qualty. Fgure 1 shows a typcal OC Curve. 10 8 6 4 1 3 4

### An Alternative Way to Measure Private Equity Performance

An Alternatve Way to Measure Prvate Equty Performance Peter Todd Parlux Investment Technology LLC Summary Internal Rate of Return (IRR) s probably the most common way to measure the performance of prvate

### Generalizing the degree sequence problem

Mddlebury College March 2009 Arzona State Unversty Dscrete Mathematcs Semnar The degree sequence problem Problem: Gven an nteger sequence d = (d 1,...,d n ) determne f there exsts a graph G wth d as ts

### Lecture 7 March 20, 2002

MIT 8.996: Topc n TCS: Internet Research Problems Sprng 2002 Lecture 7 March 20, 2002 Lecturer: Bran Dean Global Load Balancng Scrbe: John Kogel, Ben Leong In today s lecture, we dscuss global load balancng

### Optimal resource capacity management for stochastic networks

Submtted for publcaton. Optmal resource capacty management for stochastc networks A.B. Deker H. Mlton Stewart School of ISyE, Georga Insttute of Technology, Atlanta, GA 30332, ton.deker@sye.gatech.edu

### Chapter 4 ECONOMIC DISPATCH AND UNIT COMMITMENT

Chapter 4 ECOOMIC DISATCH AD UIT COMMITMET ITRODUCTIO A power system has several power plants. Each power plant has several generatng unts. At any pont of tme, the total load n the system s met by the

### POLYSA: A Polynomial Algorithm for Non-binary Constraint Satisfaction Problems with and

POLYSA: A Polynomal Algorthm for Non-bnary Constrant Satsfacton Problems wth and Mguel A. Saldo, Federco Barber Dpto. Sstemas Informátcos y Computacón Unversdad Poltécnca de Valenca, Camno de Vera s/n

### Research Article Enhanced Two-Step Method via Relaxed Order of α-satisfactory Degrees for Fuzzy Multiobjective Optimization

Hndaw Publshng Corporaton Mathematcal Problems n Engneerng Artcle ID 867836 pages http://dxdoorg/055/204/867836 Research Artcle Enhanced Two-Step Method va Relaxed Order of α-satsfactory Degrees for Fuzzy

### An ACO Algorithm for. the Graph Coloring Problem

Int. J. Contemp. Math. Scences, Vol. 3, 2008, no. 6, 293-304 An ACO Algorthm for the Graph Colorng Problem Ehsan Salar and Kourosh Eshgh Department of Industral Engneerng Sharf Unversty of Technology,

### Dynamic Resource Allocation and Power Management in Virtualized Data Centers

Dynamc Resource Allocaton and Power Management n Vrtualzed Data Centers Rahul Urgaonkar, Ulas C. Kozat, Ken Igarash, Mchael J. Neely urgaonka@usc.edu, {kozat, garash}@docomolabs-usa.com, mjneely@usc.edu

### Forecasting the Demand of Emergency Supplies: Based on the CBR Theory and BP Neural Network

700 Proceedngs of the 8th Internatonal Conference on Innovaton & Management Forecastng the Demand of Emergency Supples: Based on the CBR Theory and BP Neural Network Fu Deqang, Lu Yun, L Changbng School

### 2008/8. An integrated model for warehouse and inventory planning. Géraldine Strack and Yves Pochet

2008/8 An ntegrated model for warehouse and nventory plannng Géraldne Strack and Yves Pochet CORE Voe du Roman Pays 34 B-1348 Louvan-la-Neuve, Belgum. Tel (32 10) 47 43 04 Fax (32 10) 47 43 01 E-mal: corestat-lbrary@uclouvan.be

### A Binary Particle Swarm Optimization Algorithm for Lot Sizing Problem

Journal o Economc and Socal Research 5 (2), -2 A Bnary Partcle Swarm Optmzaton Algorthm or Lot Szng Problem M. Fath Taşgetren & Yun-Cha Lang Abstract. Ths paper presents a bnary partcle swarm optmzaton

### where the coordinates are related to those in the old frame as follows.

Chapter 2 - Cartesan Vectors and Tensors: Ther Algebra Defnton of a vector Examples of vectors Scalar multplcaton Addton of vectors coplanar vectors Unt vectors A bass of non-coplanar vectors Scalar product

### Calculation of Sampling Weights

Perre Foy Statstcs Canada 4 Calculaton of Samplng Weghts 4.1 OVERVIEW The basc sample desgn used n TIMSS Populatons 1 and 2 was a two-stage stratfed cluster desgn. 1 The frst stage conssted of a sample

### Overview of monitoring and evaluation

540 Toolkt to Combat Traffckng n Persons Tool 10.1 Overvew of montorng and evaluaton Overvew Ths tool brefly descrbes both montorng and evaluaton, and the dstncton between the two. What s montorng? Montorng

### Logistic Regression. Lecture 4: More classifiers and classes. Logistic regression. Adaboost. Optimization. Multiple class classification

Lecture 4: More classfers and classes C4B Machne Learnng Hlary 20 A. Zsserman Logstc regresson Loss functons revsted Adaboost Loss functons revsted Optmzaton Multple class classfcaton Logstc Regresson

### Simulation and optimization of supply chains: alternative or complementary approaches?

Smulaton and optmzaton of supply chans: alternatve or complementary approaches? Chrstan Almeder Margaretha Preusser Rchard F. Hartl Orgnally publshed n: OR Spectrum (2009) 31:95 119 DOI 10.1007/s00291-007-0118-z

### A Prefix Code Matching Parallel Load-Balancing Method for Solution-Adaptive Unstructured Finite Element Graphs on Distributed Memory Multicomputers

Ž. The Journal of Supercomputng, 15, 25 49 2000 2000 Kluwer Academc Publshers. Manufactured n The Netherlands. A Prefx Code Matchng Parallel Load-Balancng Method for Soluton-Adaptve Unstructured Fnte Element

### Enabling P2P One-view Multi-party Video Conferencing

Enablng P2P One-vew Mult-party Vdeo Conferencng Yongxang Zhao, Yong Lu, Changja Chen, and JanYn Zhang Abstract Mult-Party Vdeo Conferencng (MPVC) facltates realtme group nteracton between users. Whle P2P

### ESTABLISHING TRADE-OFFS BETWEEN SUSTAINED AND MOMENTARY RELIABILITY INDICES IN ELECTRIC DISTRIBUTION PROTECTION DESIGN: A GOAL PROGRAMMING APPROACH

ESTABLISHIG TRADE-OFFS BETWEE SUSTAIED AD MOMETARY RELIABILITY IDICES I ELECTRIC DISTRIBUTIO PROTECTIO DESIG: A GOAL PROGRAMMIG APPROACH Gustavo D. Ferrera, Arturo S. Bretas, Maro O. Olvera Federal Unversty

### An ILP Formulation for Task Mapping and Scheduling on Multi-core Architectures

An ILP Formulaton for Task Mappng and Schedulng on Mult-core Archtectures Yng Y, We Han, Xn Zhao, Ahmet T. Erdogan and Tughrul Arslan Unversty of Ednburgh, The Kng's Buldngs, Mayfeld Road, Ednburgh, EH9

### Examensarbete. Rotating Workforce Scheduling. Caroline Granfeldt

Examensarbete Rotatng Workforce Schedulng Carolne Granfeldt LTH - MAT - EX - - 2015 / 08 - - SE Rotatng Workforce Schedulng Optmerngslära, Lnköpngs Unverstet Carolne Granfeldt LTH - MAT - EX - - 2015

### An Enhanced Super-Resolution System with Improved Image Registration, Automatic Image Selection, and Image Enhancement

An Enhanced Super-Resoluton System wth Improved Image Regstraton, Automatc Image Selecton, and Image Enhancement Yu-Chuan Kuo ( ), Chen-Yu Chen ( ), and Chou-Shann Fuh ( ) Department of Computer Scence

### SPEE Recommended Evaluation Practice #6 Definition of Decline Curve Parameters Background:

SPEE Recommended Evaluaton Practce #6 efnton of eclne Curve Parameters Background: The producton hstores of ol and gas wells can be analyzed to estmate reserves and future ol and gas producton rates and

### Robust Design of Public Storage Warehouses. Yeming (Yale) Gong EMLYON Business School

Robust Desgn of Publc Storage Warehouses Yemng (Yale) Gong EMLYON Busness School Rene de Koster Rotterdam school of management, Erasmus Unversty Abstract We apply robust optmzaton and revenue management

### Inter-Ing 2007. INTERDISCIPLINARITY IN ENGINEERING SCIENTIFIC INTERNATIONAL CONFERENCE, TG. MUREŞ ROMÂNIA, 15-16 November 2007.

Inter-Ing 2007 INTERDISCIPLINARITY IN ENGINEERING SCIENTIFIC INTERNATIONAL CONFERENCE, TG. MUREŞ ROMÂNIA, 15-16 November 2007. UNCERTAINTY REGION SIMULATION FOR A SERIAL ROBOT STRUCTURE MARIUS SEBASTIAN

### Solving Factored MDPs with Continuous and Discrete Variables

Solvng Factored MPs wth Contnuous and screte Varables Carlos Guestrn Berkeley Research Center Intel Corporaton Mlos Hauskrecht epartment of Computer Scence Unversty of Pttsburgh Branslav Kveton Intellgent

### Can Auto Liability Insurance Purchases Signal Risk Attitude?

Internatonal Journal of Busness and Economcs, 2011, Vol. 10, No. 2, 159-164 Can Auto Lablty Insurance Purchases Sgnal Rsk Atttude? Chu-Shu L Department of Internatonal Busness, Asa Unversty, Tawan Sheng-Chang

### AN APPOINTMENT ORDER OUTPATIENT SCHEDULING SYSTEM THAT IMPROVES OUTPATIENT EXPERIENCE

AN APPOINTMENT ORDER OUTPATIENT SCHEDULING SYSTEM THAT IMPROVES OUTPATIENT EXPERIENCE Yu-L Huang Industral Engneerng Department New Mexco State Unversty Las Cruces, New Mexco 88003, U.S.A. Abstract Patent

### NPAR TESTS. One-Sample Chi-Square Test. Cell Specification. Observed Frequencies 1O i 6. Expected Frequencies 1EXP i 6

PAR TESTS If a WEIGHT varable s specfed, t s used to replcate a case as many tmes as ndcated by the weght value rounded to the nearest nteger. If the workspace requrements are exceeded and samplng has

### On the Interaction between Load Balancing and Speed Scaling

On the Interacton between Load Balancng and Speed Scalng Ljun Chen and Na L Abstract Speed scalng has been wdely adopted n computer and communcaton systems, n partcular, to reduce energy consumpton. An

### Activity Scheduling for Cost-Time Investment Optimization in Project Management

PROJECT MANAGEMENT 4 th Internatonal Conference on Industral Engneerng and Industral Management XIV Congreso de Ingenería de Organzacón Donosta- San Sebastán, September 8 th -10 th 010 Actvty Schedulng

### A DYNAMIC CRASHING METHOD FOR PROJECT MANAGEMENT USING SIMULATION-BASED OPTIMIZATION. Michael E. Kuhl Radhamés A. Tolentino-Peña

Proceedngs of the 2008 Wnter Smulaton Conference S. J. Mason, R. R. Hll, L. Mönch, O. Rose, T. Jefferson, J. W. Fowler eds. A DYNAMIC CRASHING METHOD FOR PROJECT MANAGEMENT USING SIMULATION-BASED OPTIMIZATION

### General Auction Mechanism for Search Advertising

General Aucton Mechansm for Search Advertsng Gagan Aggarwal S. Muthukrshnan Dávd Pál Martn Pál Keywords game theory, onlne auctons, stable matchngs ABSTRACT Internet search advertsng s often sold by an

### Survey on Virtual Machine Placement Techniques in Cloud Computing Environment

Survey on Vrtual Machne Placement Technques n Cloud Computng Envronment Rajeev Kumar Gupta and R. K. Paterya Department of Computer Scence & Engneerng, MANIT, Bhopal, Inda ABSTRACT In tradtonal data center

### Multi-Resource Fair Allocation in Heterogeneous Cloud Computing Systems

1 Mult-Resource Far Allocaton n Heterogeneous Cloud Computng Systems We Wang, Student Member, IEEE, Ben Lang, Senor Member, IEEE, Baochun L, Senor Member, IEEE Abstract We study the mult-resource allocaton

### To Fill or not to Fill: The Gas Station Problem

To Fll or not to Fll: The Gas Staton Problem Samr Khuller Azarakhsh Malekan Julán Mestre Abstract In ths paper we study several routng problems that generalze shortest paths and the Travelng Salesman Problem.

### A Simple Approach to Clustering in Excel

A Smple Approach to Clusterng n Excel Aravnd H Center for Computatonal Engneerng and Networng Amrta Vshwa Vdyapeetham, Combatore, Inda C Rajgopal Center for Computatonal Engneerng and Networng Amrta Vshwa

### INSTITUT FÜR INFORMATIK

INSTITUT FÜR INFORMATIK Schedulng jobs on unform processors revsted Klaus Jansen Chrstna Robene Bercht Nr. 1109 November 2011 ISSN 2192-6247 CHRISTIAN-ALBRECHTS-UNIVERSITÄT ZU KIEL Insttut für Informat

### Time Series Analysis in Studies of AGN Variability. Bradley M. Peterson The Ohio State University

Tme Seres Analyss n Studes of AGN Varablty Bradley M. Peterson The Oho State Unversty 1 Lnear Correlaton Degree to whch two parameters are lnearly correlated can be expressed n terms of the lnear correlaton

### Multiple-Period Attribution: Residuals and Compounding

Multple-Perod Attrbuton: Resduals and Compoundng Our revewer gave these authors full marks for dealng wth an ssue that performance measurers and vendors often regard as propretary nformaton. In 1994, Dens

### 1 Example 1: Axis-aligned rectangles

COS 511: Theoretcal Machne Learnng Lecturer: Rob Schapre Lecture # 6 Scrbe: Aaron Schld February 21, 2013 Last class, we dscussed an analogue for Occam s Razor for nfnte hypothess spaces that, n conjuncton

### BERNSTEIN POLYNOMIALS

On-Lne Geometrc Modelng Notes BERNSTEIN POLYNOMIALS Kenneth I. Joy Vsualzaton and Graphcs Research Group Department of Computer Scence Unversty of Calforna, Davs Overvew Polynomals are ncredbly useful

### Network Aware Load-Balancing via Parallel VM Migration for Data Centers

Network Aware Load-Balancng va Parallel VM Mgraton for Data Centers Kun-Tng Chen 2, Chen Chen 12, Po-Hsang Wang 2 1 Informaton Technology Servce Center, 2 Department of Computer Scence Natonal Chao Tung

### Ants Can Schedule Software Projects

Ants Can Schedule Software Proects Broderck Crawford 1,2, Rcardo Soto 1,3, Frankln Johnson 4, and Erc Monfroy 5 1 Pontfca Unversdad Católca de Valparaíso, Chle FrstName.Name@ucv.cl 2 Unversdad Fns Terrae,

### Many e-tailers providing attended home delivery, especially e-grocers, offer narrow delivery time slots to

Vol. 45, No. 3, August 2011, pp. 435 449 ssn 0041-1655 essn 1526-5447 11 4503 0435 do 10.1287/trsc.1100.0346 2011 INFORMS Tme Slot Management n Attended Home Delvery Nels Agatz Department of Decson and

### A Dynamic Energy-Efficiency Mechanism for Data Center Networks

A Dynamc Energy-Effcency Mechansm for Data Center Networks Sun Lang, Zhang Jnfang, Huang Daochao, Yang Dong, Qn Yajuan A Dynamc Energy-Effcency Mechansm for Data Center Networks 1 Sun Lang, 1 Zhang Jnfang,

### IWFMS: An Internal Workflow Management System/Optimizer for Hadoop

IWFMS: An Internal Workflow Management System/Optmzer for Hadoop Lan Lu, Yao Shen Department of Computer Scence and Engneerng Shangha JaoTong Unversty Shangha, Chna lustrve@gmal.com, yshen@cs.sjtu.edu.cn

### On the Interaction between Load Balancing and Speed Scaling

On the Interacton between Load Balancng and Speed Scalng Ljun Chen, Na L and Steven H. Low Engneerng & Appled Scence Dvson, Calforna Insttute of Technology, USA Abstract Speed scalng has been wdely adopted

### Traffic-light a stress test for life insurance provisions

MEMORANDUM Date 006-09-7 Authors Bengt von Bahr, Göran Ronge Traffc-lght a stress test for lfe nsurance provsons Fnansnspetonen P.O. Box 6750 SE-113 85 Stocholm [Sveavägen 167] Tel +46 8 787 80 00 Fax

### Distributed Optimization and Statistical Learning via the Alternating Direction Method of Multipliers

Foundatons and Trends R n Machne Learnng Vol. 3, No. 1 (2010) 1 122 c 2011 S. Boyd, N. Parkh, E. Chu, B. Peleato and J. Ecksten DOI: 10.1561/2200000016 Dstrbuted Optmzaton and Statstcal Learnng va the

### PAS: A Packet Accounting System to Limit the Effects of DoS & DDoS. Debish Fesehaye & Klara Naherstedt University of Illinois-Urbana Champaign

PAS: A Packet Accountng System to Lmt the Effects of DoS & DDoS Debsh Fesehaye & Klara Naherstedt Unversty of Illnos-Urbana Champagn DoS and DDoS DDoS attacks are ncreasng threats to our dgtal world. Exstng

### SCHEDULING OF CONSTRUCTION PROJECTS BY MEANS OF EVOLUTIONARY ALGORITHMS

SCHEDULING OF CONSTRUCTION PROJECTS BY MEANS OF EVOLUTIONARY ALGORITHMS Magdalena Rogalska 1, Wocech Bożeko 2,Zdzsław Heduck 3, 1 Lubln Unversty of Technology, 2- Lubln, Nadbystrzycka 4., Poland. E-mal:rogalska@akropols.pol.lubln.pl

### Real-Time Process Scheduling

Real-Tme Process Schedulng ktw@cse.ntu.edu.tw (Real-Tme and Embedded Systems Laboratory) Independent Process Schedulng Processes share nothng but CPU Papers for dscussons: C.L. Lu and James. W. Layland,

### Dynamic Constrained Economic/Emission Dispatch Scheduling Using Neural Network

Dynamc Constraned Economc/Emsson Dspatch Schedulng Usng Neural Network Fard BENHAMIDA 1, Rachd BELHACHEM 1 1 Department of Electrcal Engneerng, IRECOM Laboratory, Unversty of Djllal Labes, 220 00, Sd Bel

### "Research Note" APPLICATION OF CHARGE SIMULATION METHOD TO ELECTRIC FIELD CALCULATION IN THE POWER CABLES *

Iranan Journal of Scence & Technology, Transacton B, Engneerng, ol. 30, No. B6, 789-794 rnted n The Islamc Republc of Iran, 006 Shraz Unversty "Research Note" ALICATION OF CHARGE SIMULATION METHOD TO ELECTRIC

### Optimal Bidding Strategies for Generation Companies in a Day-Ahead Electricity Market with Risk Management Taken into Account

Amercan J. of Engneerng and Appled Scences (): 8-6, 009 ISSN 94-700 009 Scence Publcatons Optmal Bddng Strateges for Generaton Companes n a Day-Ahead Electrcty Market wth Rsk Management Taken nto Account

### Open Access A Load Balancing Strategy with Bandwidth Constraint in Cloud Computing. Jing Deng 1,*, Ping Guo 2, Qi Li 3, Haizhu Chen 1

Send Orders for Reprnts to reprnts@benthamscence.ae The Open Cybernetcs & Systemcs Journal, 2014, 8, 115-121 115 Open Access A Load Balancng Strategy wth Bandwdth Constrant n Cloud Computng Jng Deng 1,*,