Max-flow and min-cut

Size: px
Start display at page:

Download "Max-flow and min-cut"

Transcription

1 Mx-flow nd min-cu

2 Mx-Flow nd Min-Cu Two imporn lgorihmic prolem, which yield euiful duliy Myrid of non-rivil pplicion, i ply n imporn role in he opimizion of mny prolem: Nework conneciviy, irline chedule (exended o ll men of rnporion), imge egmenion, iprie mching, diriued compuing, d mining,

3 Flow Nework Nework digrph G = (V, E).. i h ource verex V ink verex V edge cpciie c : E R + {0} Flow f : V V R + {0}.. Kirchoff lw: (u, v) E, 0 f (u, v) c(u, v), (Flow conervion) v V {, }, u V f (u, v) = z V f (v, z) The vlue of flow f = v V f (, v) = f (, V ) = f (V, ). / / / / / Vlue f =3

4 The Mximum flow prolem INPUT: Given flow nework (G = (V, E),,, c) QUESTION: Find flow of mximum vlue on G. S / / A /5 C / 0/9 / B / 5/5 D E 0/3 / 5/5 T The vlue of he mx-flow i 7 = + + = 5 +. Noice: Alhough he flow exiing i no mximum, he flow going ino i mximum (= mx. cpciy). Therefore he ol flow i mximum.

5 The cu Given (G = (V, E),,, c) cu i priion of V = S T o S T = ), wih S nd T. The flow cro he cu: f (S) = u S v T f (u, v) v S u T f (v, u). The cpciy of he cu: c(s) = u S v T f (u, v) cpciy of cu (S, T ) = um of weigh leving S. Noice ecue of he cpciy conrin: f (S) c(s) / / /5 c / 0/9 / / 5/5 d e 0/3 / 5/5 S = {,c,d} T={,,e,} c(s,t)=(+5+5)+(3+)=9 f(s,t)=(++5)+(0+ )=7

6 The cu Given (G = (V, E),,, c) cu i priion of V = S T o S T = ), wih S nd T. The flow cro he cu: f (S) = u S v T f (u, v) v S u T f (v, u). The cpciy of he cu: c(s) = u S v T f (u, v) Noice ecue of he cpciy conrin: f (S) c(s) / / /5 c / 0/9 / / 5/5 d e 0/3 / 5/5 S = {,c,} T={d,,e,} c(s,t)=+5+5= f(s,t)=++5 =7

7 Noion Given v G nd cu (S, T ) nd v S, le S = S {v}. Then Denoe f (S, T ) flow eween S nd T (wihou ping y v), i.e. f (S, T ) = u S w T f (u, w) w T u S f (w, u) wih (u, w) E nd (u, w) E, denoe f (v, T ) flow v T i.e. f (v, T ) = u T f (v, u), denoe f (T, v) flow T v i.e. f (T, v) = u T f (u, v), denoe f (S, v) flow S v i.e. f (S, v) = u S f (u, v), denoe f (v, S ) flow v S i.e. f (v, S ) = u S f (v, u), S T S v

8 Any cu h he me flow Theorem Given (G,,, c) he flow hrough ny cu (S, T ) i f (S) = f. Proof (Inducion on S ) If S = {} hen f (S) = f. Aume i i rue for S = S {v}, i.e. f (S ) = f. Noice f (S ) = f (S, T ) + f (S, v) f (v, S ). Moreover from he flow conervion, f (S, v) + f (T, v) = f (v, S ) + f (v, T ) f (v, T ) f (T, v) = f (S, v) f (v, S ) }{{} Then f (S) = f (S, T ) + f (v, T ) f (T, v), uing ( ) f (S) = f (S ) = f S T S v

9 Reidul nework Given nework (G = (V, E),,, c) ogeher wih flow f on i, he reidul nework, (G f = (V, E f ), c f ) i he nework wih he me verex e nd edge e: if c(u, v) f (u, v) > 0 hen (u, v) E f nd c f (u, v) = c(u, v) f (u, v) > 0 (forwrd edge), nd if f (u, v) > 0 hen (v, u) E f nd c f (v, u) = f (u, v) (ckwrd edge). i.e. here re f (u, v) uni of flow we cn undo, y puhing flow ckwrd he c f re denoed reidul cpciy. / 0/ 0/ /3 / Gf

10 Reidul nework: Augmening ph Given G = (V, E) nd flow f on G, n ugmening ph P i ny imple ph in G f (uing forwrd nd ckwrd edge, u P : ). Given f : in G nd P in G f define he oleneck (P, f ) o e he minimum reidul cpciy of ny edge in P, wih repec o f. Gf P: doed line f / / /3 / / G f

11 Reidul nework: Augmening ph Given G = (V, E) nd flow f on G, n ugmening ph P i ny imple ph in G f. Given f in G nd P in G f define he oleneck (P, f ) o e he minimum reidul cpciy of ny edge in P. Augmen(P, f ) =oleneck (P, f ) for ech (u, v) P do if (u, v) i forwrd edge in G hen Incree f (u, v) in G y ele Decree f (u, v) in G y end if end for reurn f f / / /3 / /

12 Reidul nework: Augmening ph Lemm Conider f =Augmen(P, f ), hen f i flow in G. Proof: We hve o prove h () e E, 0 f (e) c(e) nd h v flow o v = flow ou of v. Cpciy lw Forwrd edge (u, v) P we incree f (u, v) y, c(u, v) f (u, v) hen f (u, v) = f (u, v) + c(u, v). Bckwrd edge (u, v) P we decree f (v, u) y, f (v, u), f (v, u) = f (u, v) 0. Conervion lw, v P given edge e, e in P nd inciden o v, i i ey o check he ce ed wheher e, e re forwrd or ckwrd edge.

13 Mx-Flow Min-Cu heorem Theorem For ny (G,,, c) he vlue of he mx flow f i equl o he cpciy of he min -cu (over ll cu in G) Thi i ypicl exmple of LP duliy! Proof: For ny cu (S, T ) in G f (S) c(s, T ). Suppoe y hypohei h f in G i mx flow, i.e. f h no ugmening ph, hen G f h no ph. Le S = {v V v in G f }, noice S nd moreover (S, V {S }) i cu in G f v S, u V {S } we hve no reidul edge in he cu, o h in G f (v, u) = c(v, u), nd herefore c(s, V {S }) = f (S, V {S }) in G. A ny mx-flow mu e min-cu, hen in priculr (S, V {S }) i min-cu in G nd i i equl o he mx-flow f.

14 Ford-Fulkeron lgorihm L.R. Ford, D.R. Fulkeron: Mximl flow hrough nework. Cndin J. of Mh Ford-Fulkeron(G,,, c) for ll (u, v) E le f (u, v) = 0 G f = G while here i n ph in G f do find imple ph P in G f (ue DFS) f = Augmen(f, P) Upde f o f Upde G f o G f end while reurn f 0/0 0/30 G 0/0 f=0 0/0 0/ G f 0 P 0 5

15 Ford-Fulkeron lgorihm L.R. Ford, D.R. Fulkeron: Mximl flow hrough nework. Cndin J. of Mh Ford-Fulkeron(G,,, c) for ll (u, v) E le f (u, v) = 0 G f = G while here i n ph in G f do find imple ph P in G f (ue DFS) f = Augmen(f, P) Upde f o f Upde G f o G f end while reurn f G G f 0/0 0/30 0/0 0/0 0/ P f=0

16 Ford-Fulkeron lgorihm L.R. Ford, D.R. Fulkeron: Mximl flow hrough nework. Cndin J. of Mh Ford-Fulkeron(G,,, c) for ll (u, v) E le f (u, v) = 0 G f = G while here i n ph in G f do find imple ph P in G f (ue DFS) f = Augmen(f, P) Upde f o f Upde G f o G f end while reurn f G G f 0/0 0/30 0/0 5/0 5/ P f=5

17 Ford-Fulkeron lgorihm L.R. Ford, D.R. Fulkeron: Mximl flow hrough nework. Cndin J. of Mh Ford-Fulkeron(G,,, c) for ll (u, v) E le f (u, v) = 0 G f = G while here i n ph in G f do find imple ph P in G f (ue DFS) f = Augmen(f, P) Upde f o f Upde G f o G f end while reurn f G G f 0/0 5/30 0/0 f=30 0/0 5/ No P 5 5

18 Anlyi of Ford Fulkeron We re conidering nework h iniil flow nd cpciie re ineger, Lemm (Inegrliy invrin) A every ierion of he Ford-Fulkeron lgorihm, he flow vlue f (e) nd he reidul cpciie in G f re ineger. Proof: (inducion) The emen i rue efore he while loop. Inducive Hypohei: The emen i rue fer j ierion. ierion j + : A ll reidul cpciie in G f re ineger, hen oleneck (P, f ) Z, for he ugmening ph found in ierion j +. Thu he flow f will hve ineger vlue o will he cpciie in he new reidul grph.

19 Inegrliy heorem Theorem (Inegrliy heorem) There exi mx-flow f for which every flow vlue f i n ineger. Proof: Since he lgorihm ermine, he heorem follow from he inegrliy invrin lemm. Noice he inegrliy heorem doen y h every mx-flow i ineger vlued, i only y le one mx-flow h he propery of eing ineger vlued.

20 Anlyi of Ford Fulkeron Lemm If f i flow in G nd f i he flow fer n ugmenion, hen f < f. Proof: Le P e he ugmening ph in G f. The fir edge e P leve, nd G h no incoming edge o, e i forwrd edge. Moreover P i imple never reurn o. Therefore, he vlue of he flow incree in edge e.

21 Correcne of Ford-Fulkeron Conequence of he Mx-flow min-cu heorem. Theorem The flow reurned y Ford-Fulkeron f i he mx-flow. Proof: For ny flow f nd cu (S, T ) we hve f c(s, T ). The flow f i uch h f = c(s, T ), for ome cu (S, T ) f i he mx-cu. Therefore, for ny (G,,, c) he vlue of he mx flow i equl o he cpciy of he minimum cu.

22 Anlyi of Ford Fulkeron: Running ime Lemm Le C e he minimum cu vlue, Ford-Fulkeron ermine fer finding mo C ugmening ph. Proof: The vlue of he flow incree y fer ech ugmenion. The numer of ierion i C. A ech ierion: We hve o modify G f, wih E(G f ) m, o ime O(m). Uing DFS, he ime o find n ugmening ph P i O(n + m) Tol running ime i O(C(n + m)) = O(Cm) I h polynomic?

23 Running ime of Ford-Fulkeron The numer of ierion of Ford-Fulkeron could e Ω(C) A i i decried Ford-Fulkeron cn lerne C ime eween he lue nd red ph if he figure. /C /C / / /C /C C= million iercion in G wih verice!! Recll peudopolynomil lgorihm i n lgorihm h i polynomil in he unry encoding of he inpu. So he complexiy of Ford-Fulkeron lgorihm i equivlen o he PD Algorihm for 0- Knpck. I here polynomil ime lgorihm for he mx-flow prolem?

24 Edmond-Krp, Dinic lgorihm J.Edmond, R. Krp: Theoreicl improvemen in lgorihmic efficiency for nework flow prolem. Journl ACM 97. Y. Dinic: Algorihm for oluion of prolem of mximum flow in nework wih power eimion. Dokldy Ak.N. 970 Chooing good ugmening ph cn led o fer lgorihm. Ue BFS o find horer ugmening ph in G f. Uing BFS on G f we cn find he hore ugmening ph P in O(m), independenly of mx cpciy C.

25 Edmond-Krp lgorihm Ue BFS o find he ugmening ph ech G f wih fewer numer of edge. Edmond-Krp(G,,, c) For ll e = (u, v) E le f (u, v) = 0 G 0 = G while here i n ph in G f do P = BFS(G f,, ) f = Augmen(f, P) Upde G f = G f nd f = f end while reurn f C C C C The BFS in EK will chooe: or

26 Level grph Given G = (V, E),, define L G = (V, E G ) o e i he level grph y: l(v) = numer of edge in hore ph v in G, L G = (V, E G ) i he ugrph of G h conin only edge (v, w) E.. l(w) = l(v) +. Noice: Uing BFS we cn compue L G in O(n + m) Imporn propery: P i hore in G iff P i n ph in L G. G 5 d c e 5 3 L G 5 d 5 c e 5 3

27 The working of he EK lgorihm /5 c e d G f c e d c e d / /5 /5 3 9 / /5 /5 / / G,f G,f c e d L c e d 3 9 G c e d L / /5 / 3 / / f / 3

28 The working of he EK lgorihm 5/5 c e d 3 / / / c e d 3 9 G c e d 3 f L f c e d 3 9 / / /5 /5 / / / /5 c e d 9 / /5 / /5 / / / /3 G,f G,f*

29 EK lgorihm: Properie Lemm Throughou he lgorihm, he lengh of he hore ph never decree. Proof: Le f nd f e he flow efore nd fer hore ph ugmenion le L nd L e he level grph of G f nd G f. Only ck edge dded o G f. Lemm Afer mo m hore ph ugmenion, he lengh of P i monooniclly increing. Proof: The oleneck edge i deleed from L fer ech ugmenion. No new edge i dded o L unil lengh of hore ph ricly incree

30 Complexiy of Edmond-Krp lgorihm Uing he he previou lemm, we prove Theorem The EK lgorihm run in O(m n) ep. Therefore i i rongly polynomil lgorihm. Proof: Need ime O(m + n) o find he ugmening ph uing BFS. Need O(m) ugmenion for ph of lengh k. Every ugmenion ph i imple k n O(nm) ugmenion

31 Finding min-cu Given (G,,, c) o find min-cu:. Compue he mx-flow f in G.. Oin G f. 3. Find he e S = {v V v} in G f.. Oupu he cu (S, V {S}) = {(v, u) v Sndu V {S}} in G. The running ime i he me hn he lgorihm o find he mx-flow. / / /5 c / 0/9 / / 5/5 d e 0/3 / 5/5 S c 9 5 d 3 e 5

32 The mx-flow prolem: Hiory Ford-Fulkeron (956) O(mC), where C i mx cpciy. Dinic (970) (locking flow) O(n m) Edmond-Krp (97) (hore ugmening ph) O(nm ) Krznov (97), O(n m) Golderg-Trjn (986) (puh re-lel preflow + dynmic ree) O(nm lg(n /m)) (for hi ime ui ue prllel implemenion) King-Ro-Trjn (998) O(nm log m/n lg n n). J. Orlin (03) O(nm) (clever follow up o KRT-98)

33 Mximum mching prolem Given n undireced grph G = (V, E) ue of edge M E i mching if ech node pper mo in one edge ( node my no pper ll). A perfec mching in G i mching M uch h M = V / The mximum mching prolem given grph G mching wih mximum crdinliy.

34 Mximum mching in grph iprie A grph G = (V, E) i id o e iprie if V cn e prie in L nd R, L R = V, L R =, uch h every e E connec L wih R. The mx mching iprie grph prolem: given iprie G = (L R, E) wih n verice find mximum mching. Mx mching =

35 Mximum mching: flow formulion Given iprie grph G = (L R, E) conruc Ĝ = ( ˆV, Ê): Add verice nd : ˆV = L R {, }. Add direced edge L wih cpciy. Add direced edge R wih cpciy. Direc he edge E from L o R, nd give hem cpciy. Ê = { L} E {R }.

36 Mximum mching: flow formulion Given iprie grph G = (L R, E) conruc Ĝ = ( ˆV, Ê): Add verice nd : ˆV = L R {, }. Add direced edge L wih cpciy. Add direced edge R wih cpciy. Direc he edge E from L o R, nd give hem cpciy. Ê = { L} E {R }.

37 Mximum mching: Anlyi Theorem Mx flow in Ĝ=Mx iprie mching in G. Proof Given mching M in G wih k-edge, conider he flow F h end uni long ech one of he k ph. f i flow nd h vlue k. 0 0

38 Mximum mching: Anlyi Mx flow Mx iprie mching If here i flow f in Ĝ, f = k, cpciie re Z n inegrl flow exii. Conider he cu C = ({} L, R {}) in Ĝ. Le F e he e of edge in C wih flow=, hen F = k. Ech node in L i in mo one e F nd every node in R i in mo one hed of n e F Therefore, exi iprie mching F in G wih F f 0 0

39 Dijoin ph prolem Given digrph (G = (V, E),, ), e of ph i edge-dijoin if heir edge re dijoin (lhough hem my go hrough ome of he me verice) The dijoin ph prolem given G,, find he mx numer of edge dijoin ph c e d

40 Dijoin ph prolem Given digrph (G = (V, E),, ), e of ph i edge-dijoin if heir edge re dijoin (lhough hem my go hrough ome of he me verice) The dijoin ph prolem given G,, find he mx numer of edge dijoin ph c e d

41 Dijoin ph prolem: Mx flow formulion Aign uni cpciy o every edge Theorem The mx numer of edge dijoin ph i equl o he mx flow vlue Mx flow=3 e d c e d c

42 Dijoin ph prolem: Proof of he Theorem Numer of dijoin ph mx flow If we hve k edge-dijoin ph in G hen mking f (e) = for ech e in ph, we ge flow = k Numer of dijoin ph mx flow If mx flow f = k 0- flow f wih vlue k k edge (, v).. f (, v) =, y flow conervion we cn exend o k ph, where ech edge i ph crrie flow =. If we hve n undireced grph, wih wo diinguied node u, v, how would you pply he mx flow formulion o olve he prolem of finding he mx numer of dijoin ph eween u nd?

43 Circulion wih demnd Given grph G = (V, E) wih cpciie c in he edge, uch h ech v V i ocie wih demnd d(v), where If d(v) > 0 v i ink, v cn receive d(v) uni of flow more hn i end. If d(v) < 0 v i ource, v cn end d(v) uni of flow more hn i receive. If d(v) = 0 hen v i neiher ource or ink. Le S e he e of ource nd T he e of ink

44 Circulion wih demnd prolem Given G = (V, E) wih c 0 nd {d(v)} v V, define circulion funcion f : E R +... cpciy: For ech e E, 0 f (e) c(e),. conervion: For ech v V, f (u, v) 3 f (v, z) = d(v). / (u,v) E (v,z) E Circulion wih demnd feiiliy prolem: Given G = (V, E) wih c 0 nd {d(v)} v V, doe i exi feile circulion? Feile circulion: funcion f on G wih c 0 nd {d(v)} v V, uch h i ifie () nd ()? / 3 3 / / 3 /

45 Circulion wih demnd prolem Noice h if f i feile circulion, hen d(v) = f (u, v) v V v V (u,v) E }{{} edge o v (v,z) E f (v, z). } {{ } edge ou of v For ech e E we re couning wice f (e), hen v V d(v) = 0. And we hve, So If here i feile circulion wih demnd {d(v)} v V, hen d(v) = 0. v V Therefore S = {v V d(v) > 0} nd T = {v V d(v) < 0}, hen D = v S d(v) = v T d(v). / 3 / 3 3 / / 3 /

46 Circulion wih demnd: Mx-flow formulion Exend G = (V, E) o G = (V, E ) y Add new ource nd ink. For ech v S (d(v) < 0) dd (, v) wih cpciy d(v). For ech v T (d(v) > 0) dd (v, ) wih cpciy d(v). G G 3 S T 3 3

47 Anlyi.- Every flow f : in G mu e f D The cpciy c({}, V ) = D y mx-flow min-cu Thm. ny mx-flow f in G, f D..- If here i feile circulion f wih {d(v)} v V in G, hen we hve mx-flow f : in G wih f = D (, v) E, f (, v) = d(v) nd (u, ) E, f (u, ) = d(v). G / 3 3 / 3 / / 3 / G 3/ 3 3/ 3 3 / 3 / 3 3 / / / / /

48 Anlyi 3.- If here i flow f : in G wih f = D:. (, v) E nd (u, ) E mu e ured if we delee hee edge in G we oin circulion f in G.. f ifie d(v) = f (u, v) f (v, z). (u,v) E } {{ } edge o v (v,z) E } {{ } edge ou of v G / 3 3 / 3 / / 3 / G 3/ 3 3/ 3 3 / 3 / 3 3 / / / / /

49 Min reul Theorem (Circulion inegrliy heorem) If ll cpciie nd demnd re ineger, nd here exi circulion, hen here exi n ineger vlued circulion. Skech Proof Mx-flow formulion + inegrliy heorem for mx-flow From he previou dicuion, we cn conclude: Theorem (Necery nd ufficien condiion) There i feile circulion wih {d(v)} v V in G iff he mx-flow in G h vlue D.

50 Circulion wih demnd nd lower ound: Mx-flow formulion Generlizion of he previou prolem: eide ify demnd node, we wn o force he flow o ue cerin edge. Inroduce new conrin l(e) on ech e E, indicing he min-vlue he flow mu e on e. Given G = (V, E) wih c(e), c(e) l(e) 0, for ech e E nd {d(v)} v V, define circulion funcion f : E R +... cpciy: For ech e E, l(e) f (e) c(e),. conervion: For ech v V, f (u, v) f (v, z) = d(v). (u,v) E (v,z) E [,3] Circulion prolem wih lower ound: Given (G, c, l, {d(v)}), doe here exi feile circulion? 3 3 3

51 Circulion wih demnd nd lower ound: Mx-flow formulion Le (G = (V, E), c, l, d( )) e grph, conruc G = (V, E), c, d ), where for ech e = (u, v) E, wih l(e) > 0: c (e) = c(e) l(e) (en l(e) uni long e). Upde he demnd on oh end of e (d (u) = d(u) + l(e) nd d (v) = d(v) l(e)) [,3] G 3 G 5

52 Min reul Theorem There exi circulion in G iff here exi circulion in G. Moreover, if ll demnd, cpciie nd lower ound in G re ineger, hen here i circulion in G h i ineger-vlued. Skech Proof Need o prove f (e) i circulion in G iff f (e) = f (e) l(e) i circulion in G. The ineger-vlued circulion pr i conequence of he ineger-vlue circulion Theorem for f in G.

53 Survey deign prolem Prolem:Deign urvey mong cuomer of produc Ech cuomer will receive queion ou ome produc. Ech cuomer i cn only e ked ou numer of produc eween c i nd c i ([c i, c i ]) which he h purched. For ech produc j we wn o collec de for minimum of p j diinc cuomer nd mximum of p j ([p i, p i ])

54 Survey deign prolem Formlly we wn o model he prolem : A iprie grph G = (C P, E), where C = {i} i he e of cuomer nd P = {i} i he e of produc. There i n (i, j) E i i h purched produc j. For ech i {,..., n} we we hve ound [c i, c i ] on he numer of produc i cn e ked ou. For ech j {,..., n} we we hve ound ([p i, p i ]) on he numer of cuomer h cn e ked ou i.

55 Survey deign prolem: Mx flow formulion 0, We conruc he grph G from G, y dding {, } nd edge {C} nd {P}. c,c i 0, 0, j p,p G h feile circulion iff here i feile wy o deign he urvey.

56 Pixel nd digil imge In digil imging, pixel i he mlle conrollle elemen of picure repreened on he creen. Digil imge re repreened y rer grphic imge, do mrix d rucure repreening recngulr grid of pixel, or poin of color The ddre of pixel correpond o i phyicl coordine.

57 Imge egmenion Given e of pixel clify ech pixel pr of he min ojec or pr of he ckground. Imporn prolem in differen echnique for imge proceing.

58 Foreground/ckground egmenion We im o lel ech pixel elonging o he foreground or he ckground Picure pixel grid of do. Define he undireced grph G = (V, E), where, V = e pixel in imge, E = pir of neighor of pixel (in he grid) For ech pixel i, i 0 i likelihood h i i in he foreground nd i 0 i likelihood h i i in he ckground. For ech (i, j) of neighoring pixel, here i eprion penly p ij 0 for plcing one in he foreground nd he oher in he ckground.

59 Foreground/ckground egmenion Gol: For i ioled, if i > i we prefer o lel i foreground (oherwie we lel i ckground) If mny neighor of i re leled foreground we prefer o lel i foreground. Thi mke he leling mooher y minimizing he moun of foreground/ckground We wn o priion V ino A (e of foreground pixel) nd B (e of ckground pixel), uch h we mximize he ojecive funcion: i + j p ij i A j B (i,j) E, A {i,j} =

60 Formule min-cu prolem Segmenion h he flvor of cu prolem, u i i mximizion differen hn he min-cu, G i undireced, i doe no hve ink nd ource. From mximizion o minimizion Le Q = i V ( i + i ), hen i A i + j B j = Q i A i + j B j, So mx( i A i + j B j (i,j) E, A {i,j} = p ij) i equivlen o min( i + j i A i + j B j + i V j B }{{} Θ() (i,j) E, A {i,j} = p ij) We wn min i A i + j B j + (i,j) E, A {i,j} = p ij.

61 Trnforming G ino n nework G We rnform G = (V, E) o G = (V, E ) y Add upper node repreening he foreground Add lower node repreening he ckground V = V {, } For ech (v, u) E cree niprllel direced edge (u, v) nd (v, u) in E For ech pixel i cree direced edge (, i) nd (i, ) E = {(, v) (v, )} v E {(u, v) (v, u)} (u,v) E

62 The undireced pixel grph G nd he digrph G G G

63 Adding cpciie o he edge of G For ech i V, c(, i) = i, c(i, ) = i For ech (i, j) E, c(i, j) = c(j, i) = p ij w p uw v u w p vu u x p wx v x w p xv v

64 Min-cu in G An cu (A, B ) correpond o priion of he pixel ino (A {}, B {}), where Edge (, j) wih j B conriue wih j o c(a, B ), edge (i, ) where i A conriue wih j o c(a, B ), edge (i, j) where i A nd j B conriue wih p ij o c(a, B ) Therefore, c(a, B ) = i A i + j B j + (i,j) E, A {i,j} = We wn o find he min vlue of he ove quniy, which i equivlen o find he min-cu (A; B) in G find he mx-flow in G. p ij p vu A v w u v u p xv x p uw w x v B p wx w

65 Concluion Min-Flow prolem i n inuiively ey prolem wih lo of pplicion. We ju preened few one. An lernive poin of view cn e oined from duliy in LP The meril in hi lk h een iclly oined from wo exook: Chper 6 of Cormen, Leieron, Rive, Sein: Inroducion o Algorihm, nd chper 7 of kleinerg, Trdo: Algorihm Deign.

Max-flow and min-cut

Max-flow and min-cut Mx-flow nd min-cu Mx-Flow nd Min-Cu Two imporn lgorihmic prolem, which yield euiful duliy Myrid of non-rivil pplicion, i ply n imporn role in he opimizion of mny prolem: Nework conneciviy, irline chedule

More information

5. Network flow. Network flow. Maximum flow problem. Ford-Fulkerson algorithm. Min-cost flow. Network flow 5-1

5. Network flow. Network flow. Maximum flow problem. Ford-Fulkerson algorithm. Min-cost flow. Network flow 5-1 Nework flow -. Nework flow Nework flow Mximum flow prolem Ford-Fulkeron lgorihm Min-co flow Nework flow Nework N i e of direced grph G = (V ; E) ource 2 V which h only ougoing edge ink (or deinion) 2 V

More information

Flow Networks Alon Efrat Slides courtesy of Charles Leiserson with small changes by Carola Wenk. Flow networks. Flow networks CS 445

Flow Networks Alon Efrat Slides courtesy of Charles Leiserson with small changes by Carola Wenk. Flow networks. Flow networks CS 445 CS 445 Flow Nework lon Efr Slide corey of Chrle Leieron wih mll chnge by Crol Wenk Flow nework Definiion. flow nework i direced grph G = (V, E) wih wo diingihed erice: orce nd ink. Ech edge (, ) E h nonnegie

More information

Bipartite Matching. Matching. Bipartite Matching. Maxflow Formulation

Bipartite Matching. Matching. Bipartite Matching. Maxflow Formulation Mching Inpu: undireced grph G = (V, E). Biprie Mching Inpu: undireced, biprie grph G = (, E).. Mching Ern Myr, Hrld äcke Biprie Mching Inpu: undireced, biprie grph G = (, E). Mflow Formulion Inpu: undireced,

More information

Maximum Flow. Flow Graph

Maximum Flow. Flow Graph Mximum Flow Chper 26 Flow Grph A ommon enrio i o ue grph o repreen flow nework nd ue i o nwer queion ou meril flow Flow i he re h meril move hrough he nework Eh direed edge i ondui for he meril wih ome

More information

Flow networks. Flow Networks. A flow on a network. Flow networks. The maximum-flow problem. Introduction to Algorithms, Lecture 22 December 5, 2001

Flow networks. Flow Networks. A flow on a network. Flow networks. The maximum-flow problem. Introduction to Algorithms, Lecture 22 December 5, 2001 CS 545 Flow Nework lon Efra Slide courey of Charle Leieron wih mall change by Carola Wenk Flow nework Definiion. flow nework i a direced graph G = (V, E) wih wo diinguihed verice: a ource and a ink. Each

More information

Problem Set If all directed edges in a network have distinct capacities, then there is a unique maximum flow.

Problem Set If all directed edges in a network have distinct capacities, then there is a unique maximum flow. CSE 202: Deign and Analyi of Algorihm Winer 2013 Problem Se 3 Inrucor: Kamalika Chaudhuri Due on: Tue. Feb 26, 2013 Inrucion For your proof, you may ue any lower bound, algorihm or daa rucure from he ex

More information

Network Flows: Introduction & Maximum Flow

Network Flows: Introduction & Maximum Flow CSC 373 - lgorihm Deign, nalyi, and Complexiy Summer 2016 Lalla Mouaadid Nework Flow: Inroducion & Maximum Flow We now urn our aenion o anoher powerful algorihmic echnique: Local Search. In a local earch

More information

Algorithmic Discrete Mathematics 6. Exercise Sheet

Algorithmic Discrete Mathematics 6. Exercise Sheet Algorihmic Dicree Mahemaic. Exercie Shee Deparmen of Mahemaic SS 0 PD Dr. Ulf Lorenz 7. and 8. Juni 0 Dipl.-Mah. David Meffer Verion of June, 0 Groupwork Exercie G (Heap-Sor) Ue Heap-Sor wih a min-heap

More information

Matching. Slides designed by Kevin Wayne.

Matching. Slides designed by Kevin Wayne. Maching Maching. Inpu: undireced graph G = (V, E). M E i a maching if each node appear in a mo edge in M. Max maching: find a max cardinaliy maching. Slide deigned by Kevin Wayne. Biparie Maching Biparie

More information

4/12/12. Applications of the Maxflow Problem 7.5 Bipartite Matching. Bipartite Matching. Bipartite Matching. Bipartite matching: the flow network

4/12/12. Applications of the Maxflow Problem 7.5 Bipartite Matching. Bipartite Matching. Bipartite Matching. Bipartite matching: the flow network // Applicaion of he Maxflow Problem. Biparie Maching Biparie Maching Biparie maching. Inpu: undireced, biparie graph = (, E). M E i a maching if each node appear in a mo one edge in M. Max maching: find

More information

1 Motivation and Basic Definitions

1 Motivation and Basic Definitions CSCE : Deign and Analyi of Algorihm Noe on Max Flow Fall 20 (Baed on he preenaion in Chaper 26 of Inroducion o Algorihm, 3rd Ed. by Cormen, Leieron, Rive and Sein.) Moivaion and Baic Definiion Conider

More information

CSC 373: Algorithm Design and Analysis Lecture 9

CSC 373: Algorithm Design and Analysis Lecture 9 CSC 373: Algorihm Deign n Anlyi Leure 9 Alln Boroin Jnury 28, 2013 1 / 16 Leure 9: Announemen n Ouline Announemen Prolem e 1 ue hi Friy. Term Te 1 will e hel nex Mony, Fe in he uoril. Two nnounemen o follow

More information

Main Reference: Sections in CLRS.

Main Reference: Sections in CLRS. Maximum Flow Reied 09/09/200 Main Reference: Secion 26.-26. in CLRS. Inroducion Definiion Muli-Source Muli-Sink The Ford-Fulkeron Mehod Reidual Nework Augmening Pah The Max-Flow Min-Cu Theorem The Edmond-Karp

More information

Randomized Perfect Bipartite Matching

Randomized Perfect Bipartite Matching Inenive Algorihm Lecure 24 Randomized Perfec Biparie Maching Lecurer: Daniel A. Spielman April 9, 208 24. Inroducion We explain a randomized algorihm by Ahih Goel, Michael Kapralov and Sanjeev Khanna for

More information

Algorithm Design and Analysis

Algorithm Design and Analysis Algorihm Deign and Analyi LECTURE 0 Nework Flow Applicaion Biparie maching Edge-dijoin pah Adam Smih 0//0 A. Smih; baed on lide by E. Demaine, C. Leieron, S. Rakhodnikova, K. Wayne La ime: Ford-Fulkeron

More information

Graduate Algorithms CS F-18 Flow Networks

Graduate Algorithms CS F-18 Flow Networks Grue Algorihm CS673-2016F-18 Flow Nework Dvi Glle Deprmen of Compuer Siene Univeriy of Sn Frnio 18-0: Flow Nework Diree Grph G Eh ege weigh i piy Amoun of wer/eon h n flow hrough pipe, for inne Single

More information

CS4445/9544 Analysis of Algorithms II Solution for Assignment 1

CS4445/9544 Analysis of Algorithms II Solution for Assignment 1 Conider he following flow nework CS444/944 Analyi of Algorihm II Soluion for Aignmen (0 mark) In he following nework a minimum cu ha capaciy 0 Eiher prove ha hi aemen i rue, or how ha i i fale Uing he

More information

Algorithm Design and Analysis

Algorithm Design and Analysis Algorihm Deign and Analyi LECTURES 17 Nework Flow Dualiy of Max Flow and Min Cu Algorihm: Ford-Fulkeron Capaciy Scaling Sofya Rakhodnikova S. Rakhodnikova; baed on lide by E. Demaine, C. Leieron, A. Smih,

More information

Max Flow, Min Cut COS 521. Kevin Wayne Fall Soviet Rail Network, Cuts. Minimum Cut Problem. Flow network.

Max Flow, Min Cut COS 521. Kevin Wayne Fall Soviet Rail Network, Cuts. Minimum Cut Problem. Flow network. Sovie Rail Nework, Max Flow, Min u OS Kevin Wayne Fall Reference: On he hiory of he ranporaion and maximum flow problem. lexander Schrijver in Mah Programming, :,. Minimum u Problem u Flow nework.! Digraph

More information

ALG 5.3 Flow Algorithms:

ALG 5.3 Flow Algorithms: ALG 5. low Algorihm: () Mx-flow, min-u Theorem () Augmening Ph () 0 - flow (d) Verex Conneiviy (e) Plnr low Min Reding Seleion: CLR, Chper 7 Algorihm Profeor John Reif Auxillry Reding Seleion: Hndou: "Nework

More information

Maximum Flow and Minimum Cut

Maximum Flow and Minimum Cut // Sovie Rail Nework, Maximum Flow and Minimum Cu Max flow and min cu. Two very rich algorihmic problem. Cornerone problem in combinaorial opimizaion. Beauiful mahemaical dualiy. Nework Flow Flow nework.

More information

Admin MAX FLOW APPLICATIONS. Flow graph/networks. Flow constraints 4/30/13. CS lunch today Grading. in-flow = out-flow for every vertex (except s, t)

Admin MAX FLOW APPLICATIONS. Flow graph/networks. Flow constraints 4/30/13. CS lunch today Grading. in-flow = out-flow for every vertex (except s, t) /0/ dmin lunch oday rading MX LOW PPLIION 0, pring avid Kauchak low graph/nework low nework direced, weighed graph (V, ) poiive edge weigh indicaing he capaciy (generally, aume ineger) conain a ingle ource

More information

The Residual Graph. 12 Augmenting Path Algorithms. Augmenting Path Algorithm. Augmenting Path Algorithm

The Residual Graph. 12 Augmenting Path Algorithms. Augmenting Path Algorithm. Augmenting Path Algorithm Augmening Pah Algorihm Greedy-algorihm: ar wih f (e) = everywhere find an - pah wih f (e) < c(e) on every edge augmen flow along he pah repea a long a poible The Reidual Graph From he graph G = (V, E,

More information

The Residual Graph. 11 Augmenting Path Algorithms. Augmenting Path Algorithm. Augmenting Path Algorithm

The Residual Graph. 11 Augmenting Path Algorithms. Augmenting Path Algorithm. Augmenting Path Algorithm Augmening Pah Algorihm Greedy-algorihm: ar wih f (e) = everywhere find an - pah wih f (e) < c(e) on every edge augmen flow along he pah repea a long a poible The Reidual Graph From he graph G = (V, E,

More information

LAPLACE TRANSFORMS. 1. Basic transforms

LAPLACE TRANSFORMS. 1. Basic transforms LAPLACE TRANSFORMS. Bic rnform In hi coure, Lplce Trnform will be inroduced nd heir properie exmined; ble of common rnform will be buil up; nd rnform will be ued o olve ome dierenil equion by rnforming

More information

Greedy. I Divide and Conquer. I Dynamic Programming. I Network Flows. Network Flow. I Previous topics: design techniques

Greedy. I Divide and Conquer. I Dynamic Programming. I Network Flows. Network Flow. I Previous topics: design techniques Algorihm Deign Technique CS : Nework Flow Dan Sheldon April, reedy Divide and Conquer Dynamic Programming Nework Flow Comparion Nework Flow Previou opic: deign echnique reedy Divide and Conquer Dynamic

More information

Soviet Rail Network, 1955

Soviet Rail Network, 1955 7.1 Nework Flow Sovie Rail Nework, 19 Reerence: On he hiory o he ranporaion and maximum low problem. lexander Schrijver in Mah Programming, 91: 3, 00. (See Exernal Link ) Maximum Flow and Minimum Cu Max

More information

CSE 521: Design & Analysis of Algorithms I

CSE 521: Design & Analysis of Algorithms I CSE 52: Deign & Analyi of Algorihm I Nework Flow Paul Beame Biparie Maching Given: A biparie graph G=(V,E) M E i a maching in G iff no wo edge in M hare a verex Goal: Find a maching M in G of maximum poible

More information

Graphs III - Network Flow

Graphs III - Network Flow Graph III - Nework Flow Flow nework eup graph G=(V,E) edge capaciy w(u,v) 0 - if edge doe no exi, hen w(u,v)=0 pecial verice: ource verex ; ink verex - no edge ino and no edge ou of Aume every verex v

More information

Today s topics. CSE 421 Algorithms. Problem Reduction Examples. Problem Reduction. Undirected Network Flow. Bipartite Matching. Problem Reductions

Today s topics. CSE 421 Algorithms. Problem Reduction Examples. Problem Reduction. Undirected Network Flow. Bipartite Matching. Problem Reductions Today opic CSE Algorihm Richard Anderon Lecure Nework Flow Applicaion Prolem Reducion Undireced Flow o Flow Biparie Maching Dijoin Pah Prolem Circulaion Loweround conrain on flow Survey deign Prolem Reducion

More information

6/3/2009. CS 244 Algorithm Design Instructor: t Artur Czumaj. Lecture 8 Network flows. Maximum Flow and Minimum Cut. Minimum Cut Problem.

6/3/2009. CS 244 Algorithm Design Instructor: t Artur Czumaj. Lecture 8 Network flows. Maximum Flow and Minimum Cut. Minimum Cut Problem. Maximum Flow and Minimum Cu CS lgorihm Deign Inrucor: rur Czumaj Lecure Nework Max and min cu. Two very rich algorihmic problem. Cornerone problem in combinaorial opimizaion. Beauiful mahemaical dualiy.

More information

1 The Network Flow Problem

1 The Network Flow Problem 5-5/65: Deign & Anlyi of Algorihm Ooer 5, 05 Leure #0: Nework Flow I l hnged: Ooer 5, 05 In hee nex wo leure we re going o lk ou n imporn lgorihmi prolem lled he Nework Flow Prolem. Nework flow i imporn

More information

MAXIMUM FLOW. introduction Ford-Fulkerson algorithm maxflow-mincut theorem

MAXIMUM FLOW. introduction Ford-Fulkerson algorithm maxflow-mincut theorem MAXIMUM FLOW inroducion Ford-Fulkeron algorihm maxflow-mincu heorem Mincu problem Inpu. An edge-weighed digraph, ource verex, and arge verex. each edge ha a poiive capaciy capaciy 9 10 4 15 15 10 5 8 10

More information

Solutions to assignment 3

Solutions to assignment 3 D Sruure n Algorihm FR 6. Informik Sner, Telikeplli WS 03/04 hp://www.mpi-.mpg.e/~ner/oure/lg03/inex.hml Soluion o ignmen 3 Exerie Arirge i he ue of irepnie in urreny exhnge re o rnform one uni of urreny

More information

Solving Evacuation Problems Efficiently. Earliest Arrival Flows with Multiple Sources

Solving Evacuation Problems Efficiently. Earliest Arrival Flows with Multiple Sources Solving Evcuion Prolem Efficienly Erlie Arrivl Flow wih Muliple Source Ndine Bumnn Univeriä Dormund, FB Mhemik 441 Dormund, Germny ndine.umnn@mh.uni-dormund.de Mrin Skuell Univeriä Dormund, FB Mhemik 441

More information

Positive and negative solutions of a boundary value problem for a

Positive and negative solutions of a boundary value problem for a Invenion Journl of Reerch Technology in Engineering & Mngemen (IJRTEM) ISSN: 2455-3689 www.ijrem.com Volume 2 Iue 9 ǁ Sepemer 28 ǁ PP 73-83 Poiive nd negive oluion of oundry vlue prolem for frcionl, -difference

More information

Reminder: Flow Networks

Reminder: Flow Networks 0/0/204 Ma/CS 6a Cla 4: Variou (Flow) Execie Reminder: Flow Nework A flow nework i a digraph G = V, E, ogeher wih a ource verex V, a ink verex V, and a capaciy funcion c: E N. Capaciy Source 7 a b c d

More information

CSC 364S Notes University of Toronto, Spring, The networks we will consider are directed graphs, where each edge has associated with it

CSC 364S Notes University of Toronto, Spring, The networks we will consider are directed graphs, where each edge has associated with it CSC 36S Noe Univeriy of Torono, Spring, 2003 Flow Algorihm The nework we will conider are direced graph, where each edge ha aociaed wih i a nonnegaive capaciy. The inuiion i ha if edge (u; v) ha capaciy

More information

Soviet Rail Network, 1955

Soviet Rail Network, 1955 Sovie Rail Nework, 1 Reference: On he hiory of he ranporaion and maximum flow problem. Alexander Schrijver in Mah Programming, 1: 3,. Maximum Flow and Minimum Cu Max flow and min cu. Two very rich algorihmic

More information

! Abstraction for material flowing through the edges. ! G = (V, E) = directed graph, no parallel edges.

! Abstraction for material flowing through the edges. ! G = (V, E) = directed graph, no parallel edges. Sovie Rail Nework, haper Nework Flow Slide by Kevin Wayne. opyrigh Pearon-ddion Weley. ll righ reerved. Reference: On he hiory of he ranporaion and maximum flow problem. lexander Schrijver in Mah Programming,

More information

CS 473G Lecture 15: Max-Flow Algorithms and Applications Fall 2005

CS 473G Lecture 15: Max-Flow Algorithms and Applications Fall 2005 CS 473G Lecure 1: Max-Flow Algorihm and Applicaion Fall 200 1 Max-Flow Algorihm and Applicaion (November 1) 1.1 Recap Fix a direced graph G = (V, E) ha doe no conain boh an edge u v and i reveral v u,

More information

Network Flow. Data Structures and Algorithms Andrei Bulatov

Network Flow. Data Structures and Algorithms Andrei Bulatov Nework Flow Daa Srucure and Algorihm Andrei Bulao Algorihm Nework Flow 24-2 Flow Nework Think of a graph a yem of pipe We ue hi yem o pump waer from he ource o ink Eery pipe/edge ha limied capaciy Flow

More information

Flow Networks. Ma/CS 6a. Class 14: Flow Exercises

Flow Networks. Ma/CS 6a. Class 14: Flow Exercises 0/0/206 Ma/CS 6a Cla 4: Flow Exercie Flow Nework A flow nework i a digraph G = V, E, ogeher wih a ource verex V, a ink verex V, and a capaciy funcion c: E N. Capaciy Source 7 a b c d e Sink 0/0/206 Flow

More information

Algorithms and Data Structures 2011/12 Week 9 Solutions (Tues 15th - Fri 18th Nov)

Algorithms and Data Structures 2011/12 Week 9 Solutions (Tues 15th - Fri 18th Nov) Algorihm and Daa Srucure 2011/ Week Soluion (Tue 15h - Fri 18h No) 1. Queion: e are gien 11/16 / 15/20 8/13 0/ 1/ / 11/1 / / To queion: (a) Find a pair of ube X, Y V uch ha f(x, Y) = f(v X, Y). (b) Find

More information

Introduction to Congestion Games

Introduction to Congestion Games Algorihmic Game Theory, Summer 2017 Inroducion o Congeion Game Lecure 1 (5 page) Inrucor: Thoma Keelheim In hi lecure, we ge o know congeion game, which will be our running example for many concep in game

More information

Flow networks, flow, maximum flow. Some definitions. Edmonton. Saskatoon Winnipeg. Vancouver Regina. Calgary. 12/12 a.

Flow networks, flow, maximum flow. Some definitions. Edmonton. Saskatoon Winnipeg. Vancouver Regina. Calgary. 12/12 a. Flow nework, flow, maximum flow Can inerpre direced graph a flow nework. Maerial coure hrough ome yem from ome ource o ome ink. Source produce maerial a ome eady rae, ink conume a ame rae. Example: waer

More information

Network Flows UPCOPENCOURSEWARE number 34414

Network Flows UPCOPENCOURSEWARE number 34414 Nework Flow UPCOPENCOURSEWARE number Topic : F.-Javier Heredia Thi work i licened under he Creaive Common Aribuion- NonCommercial-NoDeriv. Unpored Licene. To view a copy of hi licene, vii hp://creaivecommon.org/licene/by-nc-nd/./

More information

18 Extensions of Maximum Flow

18 Extensions of Maximum Flow Who are you?" aid Lunkwill, riing angrily from hi ea. Wha do you wan?" I am Majikhie!" announced he older one. And I demand ha I am Vroomfondel!" houed he younger one. Majikhie urned on Vroomfondel. I

More information

Today: Max Flow Proofs

Today: Max Flow Proofs Today: Max Flow Proof COSC 58, Algorihm March 4, 04 Many of hee lide are adaped from everal online ource Reading Aignmen Today cla: Chaper 6 Reading aignmen for nex cla: Chaper 7 (Amorized analyi) In-Cla

More information

4.8 Improper Integrals

4.8 Improper Integrals 4.8 Improper Inegrls Well you ve mde i hrough ll he inegrion echniques. Congrs! Unforunely for us, we sill need o cover one more inegrl. They re clled Improper Inegrls. A his poin, we ve only del wih inegrls

More information

16 Max-Flow Algorithms and Applications

16 Max-Flow Algorithms and Applications Algorihm A proce canno be underood by opping i. Underanding mu move wih he flow of he proce, mu join i and flow wih i. The Fir Law of Mena, in Frank Herber Dune (196) There a difference beween knowing

More information

graph of unit step function t

graph of unit step function t .5 Piecewie coninuou forcing funcion...e.g. urning he forcing on nd off. The following Lplce rnform meril i ueful in yem where we urn forcing funcion on nd off, nd when we hve righ hnd ide "forcing funcion"

More information

Maximum Flow in Planar Graphs

Maximum Flow in Planar Graphs Maximum Flow in Planar Graph Planar Graph and i Dual Dualiy i defined for direced planar graph a well Minimum - cu in undireced planar graph An - cu (undireced graph) An - cu The dual o he cu Cu/Cycle

More information

( ) ( ) ( ) ( ) ( ) ( y )

( ) ( ) ( ) ( ) ( ) ( y ) 8. Lengh of Plne Curve The mos fmous heorem in ll of mhemics is he Pyhgoren Theorem. I s formulion s he disnce formul is used o find he lenghs of line segmens in he coordine plne. In his secion you ll

More information

Network flows. The problem. c : V V! R + 0 [ f+1g. flow network G = (V, E, c), a source s and a sink t uv not in E implies c(u, v) = 0

Network flows. The problem. c : V V! R + 0 [ f+1g. flow network G = (V, E, c), a source s and a sink t uv not in E implies c(u, v) = 0 Nework flow The problem Seing flow nework G = (V, E, c), a orce and a ink no in E implie c(, ) = 0 Flow from o capaciy conrain kew-ymmery flow-coneraion ale of he flow jfj = P 2V Find a maximm flow from

More information

Contraction Mapping Principle Approach to Differential Equations

Contraction Mapping Principle Approach to Differential Equations epl Journl of Science echnology 0 (009) 49-53 Conrcion pping Principle pproch o Differenil Equions Bishnu P. Dhungn Deprmen of hemics, hendr Rn Cmpus ribhuvn Universiy, Khmu epl bsrc Using n eension of

More information

IX.1.1 The Laplace Transform Definition 700. IX.1.2 Properties 701. IX.1.3 Examples 702. IX.1.4 Solution of IVP for ODEs 704

IX.1.1 The Laplace Transform Definition 700. IX.1.2 Properties 701. IX.1.3 Examples 702. IX.1.4 Solution of IVP for ODEs 704 Chper IX The Inegrl Trnform Mehod IX. The plce Trnform November 4, 7 699 IX. THE APACE TRANSFORM IX.. The plce Trnform Definiion 7 IX.. Properie 7 IX..3 Emple 7 IX..4 Soluion of IVP for ODE 74 IX..5 Soluion

More information

0 for t < 0 1 for t > 0

0 for t < 0 1 for t > 0 8.0 Sep nd del funcions Auhor: Jeremy Orloff The uni Sep Funcion We define he uni sep funcion by u() = 0 for < 0 for > 0 I is clled he uni sep funcion becuse i kes uni sep = 0. I is someimes clled he Heviside

More information

Average Case Lower Bounds for Monotone Switching Networks

Average Case Lower Bounds for Monotone Switching Networks Average Cae Lower Bound for Monoone Swiching Nework Yuval Filmu, Toniann Piai, Rober Robere, Sephen Cook Deparmen of Compuer Science Univeriy of Torono Monoone Compuaion (Refreher) Monoone circui were

More information

Basic Tools CMSC 641. Running Time. Problem. Problem. Algorithmic Design Paradigms. lg (n!) (lg n)! (lg n) lgn n.2

Basic Tools CMSC 641. Running Time. Problem. Problem. Algorithmic Design Paradigms. lg (n!) (lg n)! (lg n) lgn n.2 Baic Tool CMSC April, Review Aympoic Noaion Order of Growh Recurrence relaion Daa Srucure Li, Heap, Graph, Tree, Balanced Tree, Hah Table Advanced daa rucure: Binomial Heap, Fibonacci Heap Soring Mehod

More information

ENGR 1990 Engineering Mathematics The Integral of a Function as a Function

ENGR 1990 Engineering Mathematics The Integral of a Function as a Function ENGR 1990 Engineering Mhemics The Inegrl of Funcion s Funcion Previously, we lerned how o esime he inegrl of funcion f( ) over some inervl y dding he res of finie se of rpezoids h represen he re under

More information

CSE 421 Introduction to Algorithms Winter The Network Flow Problem

CSE 421 Introduction to Algorithms Winter The Network Flow Problem CSE 42 Inroducion o Algorihm Winer 202 The Nework Flow Problem 2 The Nework Flow Problem 5 a 4 3 x 3 7 6 b 4 y 4 7 6 c 5 z How much uff can flow from o? 3 Sovie Rail Nework, 955 Reference: On he hiory

More information

Some basic notation and terminology. Deterministic Finite Automata. COMP218: Decision, Computation and Language Note 1

Some basic notation and terminology. Deterministic Finite Automata. COMP218: Decision, Computation and Language Note 1 COMP28: Decision, Compuion nd Lnguge Noe These noes re inended minly s supplemen o he lecures nd exooks; hey will e useful for reminders ou noion nd erminology. Some sic noion nd erminology An lphe is

More information

IX.1.1 The Laplace Transform Definition 700. IX.1.2 Properties 701. IX.1.3 Examples 702. IX.1.4 Solution of IVP for ODEs 704

IX.1.1 The Laplace Transform Definition 700. IX.1.2 Properties 701. IX.1.3 Examples 702. IX.1.4 Solution of IVP for ODEs 704 Chper IX The Inegrl Trnform Mehod IX. The plce Trnform November 6, 8 699 IX. THE APACE TRANSFORM IX.. The plce Trnform Definiion 7 IX.. Properie 7 IX..3 Emple 7 IX..4 Soluion of IVP for ODE 74 IX..5 Soluion

More information

CS3510 Design & Analysis of Algorithms Fall 2017 Section A. Test 3 Solutions. Instructor: Richard Peng In class, Wednesday, Nov 15, 2017

CS3510 Design & Analysis of Algorithms Fall 2017 Section A. Test 3 Solutions. Instructor: Richard Peng In class, Wednesday, Nov 15, 2017 Uer ID (NOT he 9 igi numer): gurell4 CS351 Deign & Anlyi of Algorihm Fll 17 Seion A Te 3 Soluion Inruor: Rihr Peng In l, Weney, Nov 15, 17 Do no open hi quiz ookle unil you re iree o o o. Re ll he inruion

More information

They were originally developed for network problem [Dantzig, Ford, Fulkerson 1956]

They were originally developed for network problem [Dantzig, Ford, Fulkerson 1956] 6. Inroducion... 6. The primal-dual algorihmn... 6 6. Remark on he primal-dual algorihmn... 7 6. A primal-dual algorihmn for he hore pah problem... 8... 9 6.6 A primal-dual algorihmn for he weighed maching

More information

Lecture 2: Network Flow. c 14

Lecture 2: Network Flow. c 14 Comp 260: Avne Algorihms Tufs Universiy, Spring 2016 Prof. Lenore Cowen Srie: Alexner LeNil Leure 2: Nework Flow 1 Flow Neworks s 16 12 13 10 4 20 14 4 Imgine some nework of pipes whih rry wer, represene

More information

Please Complete Course Survey. CMPSCI 311: Introduction to Algorithms. Approximation Algorithms. Coping With NP-Completeness. Greedy Vertex Cover

Please Complete Course Survey. CMPSCI 311: Introduction to Algorithms. Approximation Algorithms. Coping With NP-Completeness. Greedy Vertex Cover Pleae Complee Coure Survey CMPSCI : Inroducion o Algorihm Dealing wih NP-Compleene Dan Sheldon hp: //owl.oi.uma.edu/parner/coureevalsurvey/uma/ Univeriy of Maachue Slide Adaped from Kevin Wayne La Compiled:

More information

Chapter 2: Evaluative Feedback

Chapter 2: Evaluative Feedback Chper 2: Evluive Feedbck Evluing cions vs. insrucing by giving correc cions Pure evluive feedbck depends olly on he cion ken. Pure insrucive feedbck depends no ll on he cion ken. Supervised lerning is

More information

Maximum Flow. Contents. Max Flow Network. Maximum Flow and Minimum Cut

Maximum Flow. Contents. Max Flow Network. Maximum Flow and Minimum Cut Conen Maximum Flow Conen. Maximum low problem. Minimum cu problem. Max-low min-cu heorem. Augmening pah algorihm. Capaciy-caling. Shore augmening pah. Princeon Univeriy COS Theory o Algorihm Spring Kevin

More information

Minimum Squared Error

Minimum Squared Error Minimum Squred Error LDF: Minimum Squred-Error Procedures Ide: conver o esier nd eer undersood prolem Percepron y i > for ll smples y i solve sysem of liner inequliies MSE procedure y i = i for ll smples

More information

Minimum Squared Error

Minimum Squared Error Minimum Squred Error LDF: Minimum Squred-Error Procedures Ide: conver o esier nd eer undersood prolem Percepron y i > 0 for ll smples y i solve sysem of liner inequliies MSE procedure y i i for ll smples

More information

Fall 2014 David Wagner 10/31 Notes. The min-cut problem. Examples

Fall 2014 David Wagner 10/31 Notes. The min-cut problem. Examples CS 7 Algorihm Fll 24 Dvid Wgner /3 Noe The min-u problem Le G = (V,E) be direed grph, wih oure verex V nd ink verex V. Aume h edge re lbelled wih o, whih n be modelled o funion : E N h oie non-negive inegrl

More information

Algorithms. Algorithms 6.4 MAXIMUM FLOW

Algorithms. Algorithms 6.4 MAXIMUM FLOW Algorihm ROBERT SEDGEWICK KEVIN WAYNE 6.4 MAXIMUM FLOW Algorihm F O U R T H E D I T I O N ROBERT SEDGEWICK KEVIN WAYNE hp://alg4.c.princeon.edu inroducion Ford Fulkeron algorihm maxflow mincu heorem analyi

More information

Maximum Flow. How do we transport the maximum amount data from source to sink? Some of these slides are adapted from Lecture Notes of Kevin Wayne.

Maximum Flow. How do we transport the maximum amount data from source to sink? Some of these slides are adapted from Lecture Notes of Kevin Wayne. Conen Conen. Maximum flow problem. Minimum cu problem. Max-flow min-cu heorem. Augmening pah algorihm. Capaciy-caling. Shore augmening pah. Chaper Maximum How do we ranpor he maximum amoun daa from ource

More information

3/3/2015. Chapter 7. Network Flow. Maximum Flow and Minimum Cut. Minimum Cut Problem

3/3/2015. Chapter 7. Network Flow. Maximum Flow and Minimum Cut. Minimum Cut Problem // Chaper Nework Flow Maximum Flow and Minimum Cu Max flow and min cu. Two very rich algorihmic problem. Cornerone problem in combinaorial opimizaion. Beauiful mahemaical dualiy. Nonrivial applicaion /

More information

e t dt e t dt = lim e t dt T (1 e T ) = 1

e t dt e t dt = lim e t dt T (1 e T ) = 1 Improper Inegrls There re wo ypes of improper inegrls - hose wih infinie limis of inegrion, nd hose wih inegrnds h pproch some poin wihin he limis of inegrion. Firs we will consider inegrls wih infinie

More information

Optimality of Myopic Policy for a Class of Monotone Affine Restless Multi-Armed Bandit

Optimality of Myopic Policy for a Class of Monotone Affine Restless Multi-Armed Bandit Univeriy of Souhern Cliforni Opimliy of Myopic Policy for Cl of Monoone Affine Rele Muli-Armed Bndi Pri Mnourifrd USC Tr Jvidi UCSD Bhkr Krihnmchri USC Dec 0, 202 Univeriy of Souhern Cliforni Inroducion

More information

Introduction to SLE Lecture Notes

Introduction to SLE Lecture Notes Inroducion o SLE Lecure Noe May 13, 16 - The goal of hi ecion i o find a ufficien condiion of λ for he hull K o be generaed by a imple cure. I urn ou if λ 1 < 4 hen K i generaed by a imple curve. We will

More information

can be viewed as a generalized product, and one for which the product of f and g. That is, does

can be viewed as a generalized product, and one for which the product of f and g. That is, does Boyce/DiPrim 9 h e, Ch 6.6: The Convoluion Inegrl Elemenry Differenil Equion n Bounry Vlue Problem, 9 h eiion, by Willim E. Boyce n Richr C. DiPrim, 9 by John Wiley & Son, Inc. Someime i i poible o wrie

More information

Transformations. Ordered set of numbers: (1,2,3,4) Example: (x,y,z) coordinates of pt in space. Vectors

Transformations. Ordered set of numbers: (1,2,3,4) Example: (x,y,z) coordinates of pt in space. Vectors Trnformion Ordered e of number:,,,4 Emple:,,z coordine of p in pce. Vecor If, n i i, K, n, i uni ecor Vecor ddiion +w, +, +, + V+w w Sclr roduc,, Inner do roduc α w. w +,.,. The inner produc i SCLR!. w,.,

More information

arxiv: v1 [cs.cg] 21 Mar 2013

arxiv: v1 [cs.cg] 21 Mar 2013 On he rech facor of he Thea-4 graph Lui Barba Proenji Boe Jean-Lou De Carufel André van Renen Sander Verdoncho arxiv:1303.5473v1 [c.cg] 21 Mar 2013 Abrac In hi paper we how ha he θ-graph wih 4 cone ha

More information

Mathematics 805 Final Examination Answers

Mathematics 805 Final Examination Answers . 5 poins Se he Weiersrss M-es. Mhemics 85 Finl Eminion Answers Answer: Suppose h A R, nd f n : A R. Suppose furher h f n M n for ll A, nd h Mn converges. Then f n converges uniformly on A.. 5 poins Se

More information

6.8 Laplace Transform: General Formulas

6.8 Laplace Transform: General Formulas 48 HAP. 6 Laplace Tranform 6.8 Laplace Tranform: General Formula Formula Name, ommen Sec. F() l{ f ()} e f () d f () l {F()} Definiion of Tranform Invere Tranform 6. l{af () bg()} al{f ()} bl{g()} Lineariy

More information

Laplace Transform. Inverse Laplace Transform. e st f(t)dt. (2)

Laplace Transform. Inverse Laplace Transform. e st f(t)dt. (2) Laplace Tranform Maoud Malek The Laplace ranform i an inegral ranform named in honor of mahemaician and aronomer Pierre-Simon Laplace, who ued he ranform in hi work on probabiliy heory. I i a powerful

More information

7. NETWORK FLOW I. Lecture slides by Kevin Wayne Copyright 2005 Pearson-Addison Wesley. Last updated on 11/22/17 6:11 AM

7. NETWORK FLOW I. Lecture slides by Kevin Wayne Copyright 2005 Pearson-Addison Wesley. Last updated on 11/22/17 6:11 AM 7. NETWORK FLOW I max-flow and min-cu problem Ford Fulkeron algorihm max-flow min-cu heorem capaciy-caling algorihm hore augmening pah blocking-flow algorihm imple uni-capaciy nework Lecure lide by Kevin

More information

Graph Theory: Network Flow

Graph Theory: Network Flow Univeriy of Wahingon Mah 336 Term Paper Graph Theory: Nework Flow Auhor: Ellio Broard Advier: Dr. Jame Morrow 3 June 200 Conen Inroducion...................................... 2 2 Terminology......................................

More information

Wrap up: Weighted, directed graph shortest path Minimum Spanning Tree. Feb 25, 2019 CSCI211 - Sprenkle

Wrap up: Weighted, directed graph shortest path Minimum Spanning Tree. Feb 25, 2019 CSCI211 - Sprenkle Objecive Wrap up: Weighed, direced graph hore pah Minimum Spanning Tree eb, 1 SI - Sprenkle 1 Review Wha are greedy algorihm? Wha i our emplae for olving hem? Review he la problem we were working on: Single-ource,

More information

Price Discrimination

Price Discrimination My 0 Price Dicriminion. Direc rice dicriminion. Direc Price Dicriminion uing wo r ricing 3. Indirec Price Dicriminion wih wo r ricing 4. Oiml indirec rice dicriminion 5. Key Inigh ge . Direc Price Dicriminion

More information

INTEGRALS. Exercise 1. Let f : [a, b] R be bounded, and let P and Q be partitions of [a, b]. Prove that if P Q then U(P ) U(Q) and L(P ) L(Q).

INTEGRALS. Exercise 1. Let f : [a, b] R be bounded, and let P and Q be partitions of [a, b]. Prove that if P Q then U(P ) U(Q) and L(P ) L(Q). INTEGRALS JOHN QUIGG Eercise. Le f : [, b] R be bounded, nd le P nd Q be priions of [, b]. Prove h if P Q hen U(P ) U(Q) nd L(P ) L(Q). Soluion: Le P = {,..., n }. Since Q is obined from P by dding finiely

More information

1. Find a basis for the row space of each of the following matrices. Your basis should consist of rows of the original matrix.

1. Find a basis for the row space of each of the following matrices. Your basis should consist of rows of the original matrix. Mh 7 Exm - Prcice Prolem Solions. Find sis for he row spce of ech of he following mrices. Yor sis shold consis of rows of he originl mrix. 4 () 7 7 8 () Since we wn sis for he row spce consising of rows

More information

26.1 Flow networks. f (u,v) = 0.

26.1 Flow networks. f (u,v) = 0. 26 Maimum Flow Ju a we can model a road map a a direced graph in order o find he hore pah from one poin o anoher, we can alo inerpre a direced graph a a flow nework and ue i o anwer queion abou maerial

More information

Motion. Part 2: Constant Acceleration. Acceleration. October Lab Physics. Ms. Levine 1. Acceleration. Acceleration. Units for Acceleration.

Motion. Part 2: Constant Acceleration. Acceleration. October Lab Physics. Ms. Levine 1. Acceleration. Acceleration. Units for Acceleration. Moion Accelerion Pr : Consn Accelerion Accelerion Accelerion Accelerion is he re of chnge of velociy. = v - vo = Δv Δ ccelerion = = v - vo chnge of velociy elpsed ime Accelerion is vecor, lhough in one-dimensionl

More information

23 Maximum Flows and Minimum Cuts

23 Maximum Flows and Minimum Cuts A proce canno be underood by opping i. Underanding mu move wih he flow of he proce, mu join i and flow wih i. The Fir Law of Mena, in Frank Herber Dune (196) Conrary o expecaion, flow uually happen no

More information

The solution is often represented as a vector: 2xI + 4X2 + 2X3 + 4X4 + 2X5 = 4 2xI + 4X2 + 3X3 + 3X4 + 3X5 = 4. 3xI + 6X2 + 6X3 + 3X4 + 6X5 = 6.

The solution is often represented as a vector: 2xI + 4X2 + 2X3 + 4X4 + 2X5 = 4 2xI + 4X2 + 3X3 + 3X4 + 3X5 = 4. 3xI + 6X2 + 6X3 + 3X4 + 6X5 = 6. [~ o o :- o o ill] i 1. Mrices, Vecors, nd Guss-Jordn Eliminion 1 x y = = - z= The soluion is ofen represened s vecor: n his exmple, he process of eliminion works very smoohly. We cn elimine ll enries

More information

Price of Stability and Introduction to Mechanism Design

Price of Stability and Introduction to Mechanism Design Algorihmic Game Theory Summer 2017, Week 5 ETH Zürich Price of Sabiliy and Inroducion o Mechanim Deign Paolo Penna Thi i he lecure where we ar deigning yem which involve elfih player. Roughly peaking,

More information

5.1-The Initial-Value Problems For Ordinary Differential Equations

5.1-The Initial-Value Problems For Ordinary Differential Equations 5.-The Iniil-Vlue Problems For Ordinry Differenil Equions Consider solving iniil-vlue problems for ordinry differenil equions: (*) y f, y, b, y. If we know he generl soluion y of he ordinry differenil

More information

Stationary Distribution. Design and Analysis of Algorithms Andrei Bulatov

Stationary Distribution. Design and Analysis of Algorithms Andrei Bulatov Saionary Disribuion Design and Analysis of Algorihms Andrei Bulaov Algorihms Markov Chains 34-2 Classificaion of Saes k By P we denoe he (i,j)-enry of i, j Sae is accessible from sae if 0 for some k 0

More information

2. VECTORS. R Vectors are denoted by bold-face characters such as R, V, etc. The magnitude of a vector, such as R, is denoted as R, R, V

2. VECTORS. R Vectors are denoted by bold-face characters such as R, V, etc. The magnitude of a vector, such as R, is denoted as R, R, V ME 352 VETS 2. VETS Vecor algebra form he mahemaical foundaion for kinemaic and dnamic. Geomer of moion i a he hear of boh he kinemaic and dnamic of mechanical em. Vecor anali i he imehonored ool for decribing

More information