1 maximum flow maximum flow problem the ford-fulkerson method maximum bipartite matching

34
1 Maximum Flow • Maximum Flow Problem • The Ford-Fulkerson method • Maximum bipartite matching

Post on 20-Dec-2015

237 views

Category:

Documents


4 download

TRANSCRIPT

Page 1: 1 Maximum Flow Maximum Flow Problem The Ford-Fulkerson method Maximum bipartite matching

1

Maximum Flow• Maximum Flow Problem

• The Ford-Fulkerson method

• Maximum bipartite matching

Page 2: 1 Maximum Flow Maximum Flow Problem The Ford-Fulkerson method Maximum bipartite matching

2•material coursing through a system from a source to a sink

Page 3: 1 Maximum Flow Maximum Flow Problem The Ford-Fulkerson method Maximum bipartite matching

3

Flow networks:

• A flow network G=(V,E): a directed graph, where each edge (u,v)E has a nonnegative capacity c(u,v)>=0.

• If (u,v)E, we assume that c(u,v)=0.

• two distinct vertices :a source s and a sink t.

s t

16

12

20

10 4 9 7

413

14

Page 4: 1 Maximum Flow Maximum Flow Problem The Ford-Fulkerson method Maximum bipartite matching

4

Flow:

• G=(V,E): a flow network with capacity function c.

• s-- the source and t-- the sink.

• A flow in G: a real-valued function f:V*V R satisfying the following three properties:

• Capacity constraint: For all u,v V,

we require f(u,v) c( u,v).

• Flow conservation: For all u V-{s,t}, we require

vine voute

efef.. ..

)()(

Page 5: 1 Maximum Flow Maximum Flow Problem The Ford-Fulkerson method Maximum bipartite matching

5

Net flow and value of a flow f:

• The quantity f (u,v), which can be positive or negative, is called the net flow from vertex u to vertex v.

• The value of a flow is defined as

– The total flow from source to any other vertices.– The same as the total flow from any vertices to

the sink.

Vv

vsff ),(

Page 6: 1 Maximum Flow Maximum Flow Problem The Ford-Fulkerson method Maximum bipartite matching

6

s t

11/16

12/12

15/20

10 1/4 4/9 7/7

4/48/13

11/14

A flow f in G with value . 19f

Page 7: 1 Maximum Flow Maximum Flow Problem The Ford-Fulkerson method Maximum bipartite matching

7

Maximum-flow problem:

• Given a flow network G with source s and sink t

• Find a flow of maximum value from s to t.

• How to solve it efficiently?

Page 8: 1 Maximum Flow Maximum Flow Problem The Ford-Fulkerson method Maximum bipartite matching

8

The Ford-Fulkerson method:

• This section presents the Ford-Fulkerson method for solving the maximum-flow problem.We call it a “method” rather than an “algorithm” because it encompasses several implementations with different running times.The Ford-Fulkerson method depends on three important ideas that transcend the method and are relevant to many flow algorithms and problems: residual networks,augmenting paths,and cuts. These ideas are essential to the important max-flow min-cut theorem,which characterizes the value of maximum flow in terms of cuts of the flow network.

Page 9: 1 Maximum Flow Maximum Flow Problem The Ford-Fulkerson method Maximum bipartite matching

9

Continue:

• FORD-FULKERSON-METHOD(G,s,t)

• initialize flow f to 0

• while there exists an augmenting path p

• do augment flow f along p

• return f

Page 10: 1 Maximum Flow Maximum Flow Problem The Ford-Fulkerson method Maximum bipartite matching

10

Residual networks:

• Given a flow network and a flow, the residual network consists of edges that can admit more net flow.

• G=(V,E) --a flow network with source s and sink t• f: a flow in G.• The amount of additional net flow from u to v befor

e exceeding the capacity c(u,v) is the residual capacity of (u,v), given by: cf(u,v)=c(u,v)-f(u,v)

Page 11: 1 Maximum Flow Maximum Flow Problem The Ford-Fulkerson method Maximum bipartite matching

11

s

20

79

v2 v4

t

v3v116

13

12

10 4

4

14

4/9s

v2 v4

t

v3v14/16

13

4/12

10 4

20

4/4

7

4/14

(a)

Example of residual network

Page 12: 1 Maximum Flow Maximum Flow Problem The Ford-Fulkerson method Maximum bipartite matching

12

5s

v2 v4

t

v3v112

13

8

10 4

20

4

7

4

44

4

10

(b)

Example of Residual network (continued)

Page 13: 1 Maximum Flow Maximum Flow Problem The Ford-Fulkerson method Maximum bipartite matching

13

Fact 1:

• Let G=(V,E) be a flow network with source s and sink t, and let f be a flow in G.

• Let Gf be the residual network of G induced by f,and let f’ be a flow in Gf.Then, the flow sum f+f’ is a flow in G with value .'' ffff

Page 14: 1 Maximum Flow Maximum Flow Problem The Ford-Fulkerson method Maximum bipartite matching

14

Augmenting paths:

• Given a flow network G=(V,E) and a flow f, an augmenting path is a simple path from s to t in the residual network Gf.

• Residual capacity of p : the maximum amount of net flow that we can ship along the edges of an augmenting path p, i.e., cf(p)=min{cf(u,v):(u,v) is on p}.

2 3 1

The residual capacity is 1.

Page 15: 1 Maximum Flow Maximum Flow Problem The Ford-Fulkerson method Maximum bipartite matching

15

5s

v2 v4

t

v3v112

13

8

10 4

20

4

7

4

44

4

10

(b)

Example of an augment path (bold edges)

Page 16: 1 Maximum Flow Maximum Flow Problem The Ford-Fulkerson method Maximum bipartite matching

16

The basic Ford-Fulkerson algorithm:

• FORD-FULKERSON(G,s,t)• for each edge (u,v) E[G]• do f[u,v] 0• f[v,u] 0

• while there exists a path p from s to t in the residual network Gf

• do cf(p) min{cf(u,v): (u,v) is in p}

• for each edge (u,v) in p

• do f[u,v] f[u,v]+cf(p)

Page 17: 1 Maximum Flow Maximum Flow Problem The Ford-Fulkerson method Maximum bipartite matching

17

Example:

• The execution of the basic Ford-Fulkerson algorithm.(a)-(d) Successive iterations of the while loop. The left side of each part shows the residual network Gf from line 4 with a shaded augmenting path p.The right side of each part shows the new flow f that results from adding fp to f.The residual network in (a) is the input network G.(e) The residual network at the last while loop test.It has no augmenting paths,and the flow f shown in (d) is therefore a maximum flow.

Page 18: 1 Maximum Flow Maximum Flow Problem The Ford-Fulkerson method Maximum bipartite matching

18

s

20

79

v2 v4

t

v3v116

13

12

10 4

4

14

4/9s

v2 v4

t

v3v14/16

13

4/12

10 4

20

4/4

7

4/14

(a)

Page 19: 1 Maximum Flow Maximum Flow Problem The Ford-Fulkerson method Maximum bipartite matching

19

5s

v2 v4

t

v3v112

13

8

10 4

20

4

7

4

44

4

104/9

s

v2 v4

t

v3v111/16

13

4/12

7/10 4

7/20

4/4

7/7

11/14

(b)

Page 20: 1 Maximum Flow Maximum Flow Problem The Ford-Fulkerson method Maximum bipartite matching

20

5s

v2 v4

t

v3v15

13

8

3 11

4

7

11

1144

3

13

74/9

s

v2 v4

t

v3v111/16

8/13

12/12

10 1/4

15/20

4/4

7/7

11/14

(c)

Page 21: 1 Maximum Flow Maximum Flow Problem The Ford-Fulkerson method Maximum bipartite matching

21

5s

v2 v4

t

v3v15

8

11 3

4

7

11

11

12

4

3

5

155 9

s

v2 v4

t

v3v111/16

12/13

12/12

10 1/4

19/20

4/4

7/7

11/14

(d)

Page 22: 1 Maximum Flow Maximum Flow Problem The Ford-Fulkerson method Maximum bipartite matching

22

s

v2 v4

t

v3v15

12

12

11 3

1

4

11

9

3

1197

(e)

Page 23: 1 Maximum Flow Maximum Flow Problem The Ford-Fulkerson method Maximum bipartite matching

23

Time complexity:

• If each c(e) is an integer, then time complexity is O(|E|f*), where f* is the maximum flow.

• Reason: each time the flow is increased by at least one.

• This might not be a polynomial time algorithm since f* can be represented by log (f*) bits. So, the input size might be log(f*).

Page 24: 1 Maximum Flow Maximum Flow Problem The Ford-Fulkerson method Maximum bipartite matching

24

Cuts of flow networks:

• The proof of the correctness of the Ford-Fulkerson method depends on a concept “cut”.

• A cut (S,T) of flow network G=(V,E) is a partition of V into S and T=V-S such that sS and t T.

• If f is a flow, then the net flow across the cut (S,T) is F(S,T)= uS&vT f(u, v).

• The capacity of the cut (S,T) is

c(S, T)= uS&vT c(u, v).

Page 25: 1 Maximum Flow Maximum Flow Problem The Ford-Fulkerson method Maximum bipartite matching

25

s

v2

v1

t

v4

v311/16

8/13

10 1/4

12/12

11/14

4/9

15/20

4/4

7/7

S T

A cut (S,T), where S={s,v1,v2} and T={v3,v4,t}. The net flow across (S,T) is f(S,T)=12-4+11=19,and thecapacity is c(S,T)=12+14=26.

Page 26: 1 Maximum Flow Maximum Flow Problem The Ford-Fulkerson method Maximum bipartite matching

26

Continue:

• Lemma 27.5

• Let f be a flow in a flow network G with source s and sink t,and let (S,T) be a cut of G.Then, the net flow across (S,T) is f(S,T)= .

• Proof: 1. f(S-s, V)=0 by flow conservation.• 2. f(S, S)=0 since f(u, v)=-f(v, u).• f(S, T)=f(S, V)-f(S, S)=f(S, V)

=f(s, V)+f(S-s, V)=f(s, V)=|f|.

f

Page 27: 1 Maximum Flow Maximum Flow Problem The Ford-Fulkerson method Maximum bipartite matching

27

Continue:

• Corollary 27.6

• The value of any flow f in a flow network G is bounded from above by the capacity of any cut of G.

• Proof: f(S, T)c(S, T).

Page 28: 1 Maximum Flow Maximum Flow Problem The Ford-Fulkerson method Maximum bipartite matching

28

• Theorem 27.7(Max-flow min-cut theorem)

• If f is a flow in a flow network G=(V,E) with source s and sink t,then the following conditions are equivalent:

1. f is a maximum flow in G;

2. The residual network Gf contains no augmenting paths;

3. |f| =c(S,T) for some cut (S,T) of G.

Proof: 12: Otherwise, if a aug. path exists, we can further increase the flow.

23. If no aug. path exists, then we construct S as the set of vertices that is reachable from s. T=V-S. By construction, there is no edge (u, v) in the residual graph such that uS and vT. Thus, |f|=f(S,T)=c(S, T).

31 |f|=f(S, T)=c(S,T). By 27.6,|f|= f(S, T)c(S,T). Thus, |f| is maximum.

Page 29: 1 Maximum Flow Maximum Flow Problem The Ford-Fulkerson method Maximum bipartite matching

29

The Edmonds-Karp algorithm

• Find the augmenting path using breadth-first search.

• Breadth-first search gives the shortest path for graphs (Assuming the length of each edge is 1.)

• Time complexity of Edmonds-Karp algorithm is O(VE2).

• The proof is not required.

Page 30: 1 Maximum Flow Maximum Flow Problem The Ford-Fulkerson method Maximum bipartite matching

30

Maximum bipartite matching:

• Bipartite graph: a graph (V, E), where V=LR, L∩R=empty, and for every (u, v)E, u L and v R.

• Given an undirected graph G=(V,E), a matching is a subset of edges ME such that for all vertices vV,at most one edge of M is incident on v.We say that a vertex v V is matched by matching M if some edge in M is incident on v;otherwise, v is unmatched. A maximum matching is a matching of maximum cardinality,that is, a matching M such that for any matching M’, we have .

'MM

Page 31: 1 Maximum Flow Maximum Flow Problem The Ford-Fulkerson method Maximum bipartite matching

31

L R

A bipartite graph G=(V,E) with vertex partition V=LR.(a)A matching with cardinality 2.(b) A maximum matching with cardinality 3.

(a)L R

(b)

Page 32: 1 Maximum Flow Maximum Flow Problem The Ford-Fulkerson method Maximum bipartite matching

32

Finding a maximum bipartite matching:

• We define the corresponding flow network G’=(V’,E’) for the bipartite graph G as follows. Let the source s and sink t be new vertices not in V, and let V’=V{s,t}.If the vertex partition of G is V=L R, the directed edges of G’ are given by E’={(s,u):uL} {(u,v):u L,v R,and (u,v) E} {(v,t):v R}.Finally, we assign unit capacity to each edge in E’.

• We will show that a matching in G corresponds directly to a flow in G’s corresponding flow network G’. We say that a flow f on a flow network G=(V,E) is integer-valued if f(u,v) is an integer for all (u,v) V*V.

Page 33: 1 Maximum Flow Maximum Flow Problem The Ford-Fulkerson method Maximum bipartite matching

33

L R(a)

L R(b)

s t

(a)The bipartite graph G=(V,E) with vertex partition V=LR. A maximum matching is shown by shaded edges.(b) The correspondingflow network.Each edge has unit capacity.Shaded edges have a flow of 1,and all other edges carry no flow.

Page 34: 1 Maximum Flow Maximum Flow Problem The Ford-Fulkerson method Maximum bipartite matching

34

Continue:

• Lemma 27.10

• Let G=(V,E) be a bipartite graph with vertex partition V=LR,and let G’=(V’,E’) be its corresponding flow network.If M is a matching in G, then there is an integer-valued flow f in G’ with value .Conversely, if f is an integer-valued flow in G’,then there is a matching M in G with cardinality .

• Reason: The edges incident to s and t ensures this.

Mf

fM