64MaxFlow PDF

6.
4 MAXIMUM FLOW
Algorithms
F O U R T H E D I T I O N
R O B E R T S E D G E W I C K K E V I N W A Y N E
! ! ! ! !
overview Ford-Fulkerson algorithm analysis Java implementation applications
Algorithms, 4th Edition
Robert Sedgewick and Kevin Wayne
Copyright 20022012
April 8, 2012 5:24:49 AM
! ! ! ! !
Mincut problem Input. A weighted digraph, source vertex s, and target vertex t.
each edge has a positive capacity
capacity
10
15
15
10
10
15
15
10
16
3
Mincut problem Def. A st-cut (cut) is a partition of the vertices into two disjoint sets, with s in one set A and t in the other set B. Def. Its capacity is the sum of the capacities of the edges from A to B.
10
15
capacity = 10 + 5 + 15 = 30
4
Mincut problem Def. A st-cut (cut) is a partition of the vertices into two disjoint sets, with s in one set A and t in the other set B. Def. Its capacity is the sum of the capacities of the edges from A to B.
10
t
don't count edges from B to A
capacity = 10 + 8 + 16 = 34
16
5
Mincut problem Def. A st-cut (cut) is a partition of the vertices into two disjoint sets, with s in one set A and t in the other set B. Def. Its capacity is the sum of the capacities of the edges from A to B. Minimum st-cut (mincut) problem. Find a cut of minimum capacity.
10
10
capacity = 10 + 8 + 10 = 28
6
Mincut application (1950s) "Free world" goal. Cut supplies (if cold war turns into real war).
rail network connecting Soviet Union with Eastern European countries (map declassied by Pentagon in 1999) Figure 2
From Harris and Ross [1955]: Schematic diagram of the railway network of the Western Soviet Union and Eastern European countries, with a maximum ow of value 163,000 tons from
Potential mincut application (2010s) Government-in-powers goal. Cut off communication to specified set of people.
Maxflow problem Input. A weighted digraph, source vertex s, and target vertex t.
each edge has a positive capacity
capacity
10
15
15
10
10
15
15
10
16
9
Maxflow problem Def. An st-flow (flow) is an assignment of values to the edges such that: Capacity constraint: 0 ! edge's flow ! edge's capacity. Local equilibrium: inflow = outflow at every vertex (except s and t).
flow
capacity inflow at v = 5 + 5 + 0 = 10
5/9
outflow at v = 10 + 0
5
= 10
10
10
0/4
/1
0 / 15
10
5/5
5/8
10 / 10
10
15
0/4
/6
0 / 15
10
10
10 / 16
10
Def. The value of a flow is the inflow at t.

we assume no edge points from s or to t
5/9
10
10
0/4
/1
0 / 15
10
5/5
5/8
10 / 10
value = 5 + 10 + 10 = 25
10
15
0/4
/6
0 / 15
10
10
10 / 16
11
Def. The value of a flow is the inflow at t. Maximum st-flow (maxflow) problem. Find a flow of maximum value.
8/9
10
10
0/4
/1
0 / 15
10
5/5
8/8
10 / 10
value = 8 + 10 + 10 = 28
13
15
0/4
/6
0 / 15
10
10
13 / 16
12
Maxflow application (1950s) Soviet Union goal. Maximize flow of supplies to Eastern Europe.
flow capacity
rail network connecting Soviet Union with Eastern European countries (map declassied by Pentagon in 1999) Figure 2
From Harris and Ross [1955]: Schematic diagram of the railway network of the Western Soviet Union and Eastern European countries, with a maximum ow of value 163,000 tons from
13
Potential maxflow application (2010s) "Free world" goal. Maximize flow of information to specified set of people.
facebook graph
14
Summary Input. A weighted digraph, source vertex s, and target vertex t. Mincut problem. Find a cut of minimum capacity. Maxflow problem. Find a flow of maximum value.
8/9
2
10 / 10
0/4
/1
0 / 15
10
10
s
13
5/5
8/8
10 / 10
15
0/4
/6
0 / 15
10
10
10
13 / 16
value of flow = 28
capacity of cut = 28
Remarkable fact. These two problems are dual!

15
! ! ! ! !
16
Ford-Fulkerson algorithm Initialization. Start with 0 flow.
flow initialization
capacity
0/9
10
0/4
/1
0 / 15
10
value of flow
0/5
0/8
0 / 10
15
0/4
/6
0 / 15
10
0 / 16
17
Idea: increase flow along augmenting paths Augmenting path. Find an undirected path from s to t such that: Can increase flow on forward edges (not full). Can decrease flow on backward edge (not empty).
1st augmenting path bottleneck capacity = 10

0/9
0 10 / 1 0
0/4
10 0 /1 5
0 / 15
10
0/5
0/8
10 0 / 10
0 + 10 = 10
15
0/4
/6
0 / 15
10
0 / 16
18
2nd augmenting path

0/9
10
10
0/4
10
/1
0 / 15
5
10
0/5
10 / 15
0/8
10 / 10
10 + 10 = 20
0/4
/6
0 / 15
10
10
10 0 / 16
19
3rd augmenting path

5 0/9
5
backward edge (not empty)
10
10
0/4
1 0
/1 5
0 / 15
/ 10
5 0/5
5 0/8
10 / 10
20 + 5 = 25
10
15
0/4
/6
0 / 15
10
10
10 / 16
20
4th augmenting path

8 5/9
8
10
10
0/4
/1 5
0 / 15
/ 10
5/5
13 / 15
8 5/8
10 / 10
25 + 3 = 28
1 0
0/4
0 /6
0 / 15
10
10
13 10 / 16
21
Idea: increase flow along augmenting paths Termination. All paths from s to t are blocked by either a Full forward edge. Empty backward edge.
no more augmenting paths

8/9
10
10
0/4
/1 5
0 / 15
10
5/5
8/8
10 / 10
28
13
15
0/4
/6
0 / 15
10
10
full forward edge 13 / 16 empty backward edge

22
Ford-Fulkerson algorithm
Ford-Fulkerson algorithm Start with 0 ow. While there exists an augmenting path: - nd an augmenting path - compute bottleneck capacity - increase ow on that path by bottleneck capacity
Questions. How to compute a mincut? How to find an augmenting path? If FF terminates, does it always compute a maxflow? Does FF always terminate? If so, after how many augmentations?
23
! ! ! ! !
24
Relationship between flows and cuts Def. The net flow across a cut (A, B) is the sum of the flows on its edges from A to B minus the sum of the flows on its edges from from B to A. Proposition. Let f be any flow and let (A, B) be any cut. Then, the net flow across (A, B) equals the value of f.
net flow across cut = 5 + 10 + 10 = 25
5/9
10
10
0/4
/1
0 / 15
10
5/5
5/8
10 / 10
value of flow = 25
10
15
0/4
/6
0 / 15
10
10
10 / 16
25
Relationship between flows and cuts Def. The net flow across a cut (A, B) is the sum of the flows on its edges from A to B minus the sum of the flows on its edges from from B to A. Proposition. Let f be any flow and let (A, B) be any cut. Then, the net flow across (A, B) equals the value of f.
net flow across cut = 10 + 5 + 10 = 25
5/9
10
10
0/4
/1
0 / 15
10
5/5
5/8
10 / 10
value of flow = 25
10
15
0/4
/6
0 / 15
10
10
10 / 16
26
Relationship between flows and cuts Def. The net flow across a cut (A, B) is the sum of the flows on its edges from A to B minus the sum of the flows on its edges from from B to A. Proposition. [flow-value lemma] Let f be any flow and let (A, B) be any cut. Then, the net flow across (A, B) equals the value of f.
net flow across cut = (10 + 10 + 5 + 10) (5 + 5) = 25
5/9
edges from B to A
10 / 10
5
0/4
/1
0 / 15
10
5/5
5/8
10 / 10
value of flow = 25
10
15
0/4
/6
0 / 15
10
10
10 / 16
27
Relationship between flows and cuts Def. The net flow across a cut (A, B) is the sum of the flows on its edges from A to B minus the sum of the flows on its edges from from B to A. Proposition. [flow-value lemma] Let f be any flow and let (A, B) be any cut. Then, the net flow across (A, B) equals the value of f. Pf. By induction on the size of B. Base case: B = { t }. Induction step: remains true by local equilibrium when moving any vertex from A to B.
Corollary. Outflow from s = inflow to t = value of flow.
28
Relationship between flows and cuts Weak duality. Let f be any flow and let (A, B) be any cut. Then, the value of the flow ! the capacity of the cut. Pf. Value of flow f = net flow across cut (A, B) ! capacity of cut (A, B).
flow value lemma flow bounded by capacity
8/9
2
10 / 10
0/4
/1
0 / 15
10
10 s
s
12
5/5
7/8
9 / 10
15
0/4
/6
0 / 15
10
10
15
12 / 16
value of flow = 27
capacity of cut = 30
29
Maxflow-mincut theorem Augmenting path theorem. A flow f is a maxflow iff no augmenting paths. Maxflow-mincut theorem. Value of the maxflow = capacity of mincut. Pf. The following three conditions are equivalent for any flow f : i. There exists a cut whose capacity equals the value of the flow f. ii. f is a maxflow. iii. There is no augmenting path with respect to f. [i ii ] Suppose that (A, B) is a cut with capacity equal to the value of f. Then, the value of any flow f ' ! capacity of (A, B) = value of f. Thus, f is a maxflow.
weak duality
30
Maxflow-mincut theorem Augmenting path theorem. A flow f is a maxflow iff no augmenting paths. Maxflow-mincut theorem. Value of the maxflow = capacity of mincut. Pf. The following three conditions are equivalent for any flow f : i. There exists a cut whose capacity equals the value of the flow f. ii. f is a maxflow. iii. There is no augmenting path with respect to f. [ ii iii ] We prove contrapositive: ~iii ~ii.
Suppose that there is an augmenting path with respect to f. Can improve flow f by sending flow along this path. Thus, f is not a maxflow.
31
Maxflow-mincut theorem Augmenting path theorem. A flow f is a maxflow iff no augmenting paths. Maxflow-mincut theorem. Value of the maxflow = capacity of mincut. Pf. The following three conditions are equivalent for any flow f : i. There exists a cut whose capacity equals the value of the flow f. ii. f is a maxflow. iii. There is no augmenting path with respect to f. [ iii i]
Suppose that there is no augmenting path with respect to f. Let (A, B) be a cut where A is the set of vertices connected to s by an undirected path with no full forward or empty backward edges. By definition, s is in A; since no augmenting path, t is in B. Capacity of cut = net flow across cut = value of flow f.
forward edges full; backward edges empty flow-value proposition
32
Computing a mincut from a maxflow To compute mincut (A, B) from maxflow f : By augmenting path theorem, no augmenting paths with respect to f. Compute A = set of vertices connected to s by an undirected path with no full forward or empty backward edges.
8/9
10
10
0/4
/1 5
0 / 15
10
5/5
8/8
10 / 10
13
15
3/4
6 /6
0 / 15
10
10
full forward edge forward edge (not full) backward edge (not empty) 16 / 16 empty backward edge
33
Ford-Fulkerson algorithm
Ford-Fulkerson algorithm Start with 0 ow. While there exists an augmenting path: - nd an augmenting path - compute bottleneck capacity - increase ow on that path by bottleneck capacity
Questions. How to compute a mincut? Easy. ! How to find an augmenting path? BFS works well. If FF terminates, does it always compute a maxflow? Yes. ! Does FF always terminate? If so, after how many augmentations?
yes, provided edge capacities are integers (or augmenting paths are chosen carefully) requires clever analysis (see COS 423)
34
Ford-Fulkerson algorithm with integer capacities Important special case. Edge capacities are integers between 1 and U.
flow on each edge is an integer
Invariant. The flow is integer-valued throughout FF.
Pf. [by induction] Bottleneck capacity is an integer. Flow on an edge increases/decreases by bottleneck capacity.
Proposition. Number of augmentations ! the value of the maxflow. Pf. Each augmentation increases the value by at least 1.
important for some applications (stay tuned)
and FF finds one!
Integrality theorem. There exists an integer-valued maxflow. Pf. FF terminates; invariant ensures maxflow that FF finds is integer-valued.
35
Bad case for Ford-Fulkerson Bad news. Even when edge capacities are integers, number of augmenting paths could be equal to the value of the maxflow.
initialize with 0 ow
s
flow capacity
0 10
10
0 1
t
36
10
0 0 10
1st iteration
s
0 1
0 10
10
0 1
t
37
10
0 0 10
2nd iteration
s
1
0 10
10
1 1
t
38
10
0 0 10 1
3rd iteration
s
1 2
0 10
10
0 1
t
39
10
1 0 10
4th iteration
s
2
0 10
10
1 1
t
40
10
1 0 10 2
...
41
199th iteration
s
9 10 9 1 00 0
99 0 10
0 1
t
42
9 10 9 1 00 0
99 0 10
200th iteration
s
0
0 10 99 0 10
10
10
1 1
10
0 10 99 0 10
t
43
10
can be exponential in input size
Good news. This case is easily avoided. [use shortest/fattest augmenting path]
s
0
0 10 0 10
10
10
0 1
t
44
10
0 10 0 10
10
0 0
How to choose augmenting paths? FF performance depends on choice of augmenting paths.
augmenting path shortest path fattest path random path DFS path
number of paths ! EV ! E ln(E U) !EU !EU
implementation queue (BFS) priority queue randomized queue stack (DFS)
digraph with V vertices, E edges, and integer capacities (max U)
augmenting path with fewest number of edges
augmenting path with maximum bottleneck capacity
shortest path
fattest path
45
! ! ! ! !
46
Flow network representation Flow edge data type. Associate flow fe and capacity ce with edge e = v!w.
flow fe capacity ce
7/9
Flow network data type. Need to process edge e = v!w in either direction: Include e in both v and w's adjacency lists. Residual capacity. Forward edge: residual capacity = ce - fe. Backward edge: residual capacity = fe.
residual capacity forward edge
Augment flow. Forward edge: add ". Backward edge: subtract ".
2
v
7
w
backward edge
47
Flow network representation Residual network. A useful view of a flow network.

original network
9/9
9
10
4/4
/4
0 / 15
10
4/5
0/8
4 / 10
residual network
9 1
9
9
15
1 4
6 4
forward edge (not full)
Key point. Augmenting path in original network is equivalent to directed path in residual network.
48
Flow edge API

public class FlowEdge FlowEdge(int v, int w, double capacity) int from() int to() int other(int v) double capacity() double flow() double residualCapacityTo(int v) void addResidualFlowTo(int v, double delta) String toString() create a flow edge v!w with given capacity vertex this edge points from vertex this edge points to other endpoint capacity of this edge flow in this edge residual capacity toward v add delta flow toward v string representation
residual capacity flow fe capacity ce 2
forward edge
7/9
v
7
w
backward edge
49
Flow edge: Java implementation
public class FlowEdge { private final int v, w; private final double capacity; private double flow;
// from and to // capacity // flow
flow variable
public FlowEdge(int v, int w, double capacity) { this.v = v; this.w = w; this.capacity = capacity; } public public public public int from() int to() double capacity() double flow() { { { { return return return return v; w; capacity; flow; } } } }
public int other(int vertex) { if (vertex == v) return w; else if (vertex == w) return v; else throw new RuntimeException("Illegal endpoint"); } public double residualCapacityTo(int vertex) public void addResidualFlowTo(int vertex, double delta) }
50
{...} {...}
next slide
Flow edge: Java implementation
public double residualCapacityTo(int vertex) { if (vertex == v) return flow; else if (vertex == w) return capacity - flow; else throw new RuntimeException("Illegal endpoint"); }
forward edge backward edge
public void addResidualFlowTo(int vertex, double delta) { if (vertex == v) flow -= delta; else if (vertex == w) flow += delta; else throw new RuntimeException("Illegal endpoint"); }
forward edge backward edge
residual capacity flow fe capacity ce 2
forward edge
7/9
v
7
w
backward edge
51
Flow network API
public class FlowNetwork FlowNetwork(int V) FlowNetwork(In in) void addEdge(FlowEdge e) Iterable<FlowEdge> adj(int v) Iterable<FlowEdge> edges() int V() int E() String toString() create an empty flow network with V vertices construct flow network input stream add flow edge e to this flow network forward and backward edges incident to v all edges in this flow network number of vertices number of edges string representation
Conventions. Allow self-loops and parallel edges.

52
Flow network: Java implementation
public class FlowNetwork { private final int V; private Bag<FlowEdge>[] adj; public FlowNetwork(int V) { this.V = V; adj = (Bag<FlowEdge>[]) new Bag[V]; for (int v = 0; v < V; v++) adj[v] = new Bag<FlowEdge>(); } public void addEdge(FlowEdge e) { int v = e.from(); int w = e.to(); adj[v].add(e); adj[w].add(e); } public Iterable<FlowEdge> adj(int v) { return adj[v]; } }
same as EdgeWeightedGraph, but adjacency lists of FlowEdges instead of Edges
add forward edge add backward edge
53
Flow network: adjacency-lists representation Maintain vertex-indexed array of FlowEdge lists (use Bag abstraction).
tinyFN.txt
0 2 3.0 1.0
6 8 0 0 1 1 2 2 3 4
0 1 2.0 2.0 1 3 3.0 2.0 2 3 1.0 0.0 2 3 1.0 0.0 2 4 1.0 1.0 3 5 2.0 2.0
references to the same FlowEdge object 0 1 2.0 2.0 0 2 3.0 1.0 1 3 3.0 2.0 1 4 1.0 0.0
Bag
E
1 2 3 4 3 4 5 5 2.0 3.0 3.0 1.0 1.0 1.0 2.0 3.0
adj[] 0 1 2 3 4 5
1 4 1.0 0.0 2 4 1.0 1.0 3 5 2.0 2.0 4 5 3.0 1.0 4 5 3.0 1.0
objects
Flow network representation
54
Ford-Fulkerson: Java implementation

public class FordFulkerson { private boolean[] marked; private FlowEdge[] edgeTo; private double value;
// true if s->v path in residual network // last edge on s->v path // value of flow
public FordFulkerson(FlowNetwork G, int s, int t) { value = 0; while (hasAugmentingPath(G, s, t)) compute bottleneck capacity { double bottle = Double.POSITIVE_INFINITY; for (int v = t; v != s; v = edgeTo[v].other(v)) bottle = Math.min(bottle, edgeTo[v].residualCapacityTo(v)); for (int v = t; v != s; v = edgeTo[v].other(v)) edgeTo[v].addResidualFlowTo(v, bottle); value += bottle; } } public double hasAugmentingPath(FlowNetwork G, int s, int t) { /* See next slide. */ } public double value() { return value; } public boolean inCut(int v) { return marked[v]; } }
55
augment flow
is v reachable from s in residual network?
Finding a shortest augmenting path (cf. breadth-first search)
private boolean hasAugmentingPath(FlowNetwork G, int s, int t) { edgeTo = new FlowEdge[G.V()]; marked = new boolean[G.V()]; Queue<Integer> q = new Queue<Integer>(); q.enqueue(s); marked[s] = true; while (!q.isEmpty()) { int v = q.dequeue();
found path from s to w for (FlowEdge e : G.adj(v)) in the residual network? { int w = e.other(v); if (e.residualCapacityTo(w) > 0 && !marked[w]) { edgeTo[w] = e; save last edge on path to w; marked[w] = true; mark w; add w to the queue q.enqueue(w); } }
} return marked[t]; }
56
is t reachable from s in residual network?
! ! ! ! !
57
Maxflow and mincut applications Maxflow/mincut is a widely applicable problem-solving model.
Data mining. Open-pit mining. Bipartite matching. Network reliability. Image segmentation. Network connectivity. Distributed computing. Egalitarian stable matching. Security of statistical data. Multi-camera scene reconstruction. Sensor placement for homeland security. Baseball elimination. Many, many, more.
see next programming assignment
liver and hepatic vascularization segmentation
58
Bipartite matching problem
N students apply for N jobs.
bipartite matching problem
Each gets several o"ers.
Is there a way to match all students to jobs?
1 Alice Adobe Amazon Google 2 Bob Adobe Amazon 3 Carol Adobe Facebook Google 4 Dave Amazon Yahoo 5 Eliza Amazon Yahoo
Adobe Alice Bob Carol 7 Amazon Alice Bob Dave Eliza 8 Facebook Carol 9 Google Alice Carol 10 Yahoo Dave Eliza
59
Bipartite matching problem Given a bipartite graph, find a maximal matching.
perfect matching (solution) Alice Bob Google Adobe

2 1
bipartite graph
6
bipartite matching problem 1 Alice Adobe Amazon Google 2 Bob Adobe Amazon 3 Carol Adobe Facebook Google 4 Dave Amazon Yahoo 5 Eliza Amazon Yahoo Adobe Alice Bob Carol 7 Amazon Alice Bob Dave Eliza 8 Facebook Carol 9 Google Alice Carol 10 Yahoo Dave Eliza 6
Carol Facebook Dave Yahoo Eliza Amazon
10
students
companies
60
Network flow formulation of bipartite matching
Create s, t, one vertex for each student, and one vertex for each job. Add edge from s to each student (capacity 1). Add edge from each job to t (capacity 1). Add edge from student to each job offered (infinite capacity).
1 6
10
students
companies
61
Network flow formulation of bipartite matching 1-1 correspondence between integer-valued maxflow solution of value N and perfect matchings.

1 6
10
students
companies
62
What the mincut tells us Goal. When no perfect matching, explain why.
S = { 2, 4, 5 }
2 7
T = { 7, 10 } student in S can be matched only to companies in T |S| > T
10
no perfect matching
63
What the mincut tells us Mincut. Consider mincut (A, B). Let S = students on s side of cut. Let T = companies on s side of cut. Fact: | S | > | T | and students in S can only be matched to companies in T.
S = { 2, 4, 5 }
2 7
T = { 7, 10 } student in S can be matched only to companies in T |S| > T
10
no perfect matching
Bottom line. When no perfect matching, mincut explains why.

64
Baseball elimination Q. Which teams have a chance of finishing the season with the most wins?
i 0 1 2 3
team Atlanta Philly New York Montreal
wins 83 80 78 77
losses 71 79 78 82
to play 8 3 6 3
ATL 1 6 1
PHI 1 0 2
NYM 6 0 0
MON 1 2 0
Montreal is mathematically eliminated. Montreal finishes with ! 80 wins. Atlanta already has 83 wins.
65
i 0 1 2 3
team Atlanta Philly New York Montreal
wins 83 80 78 77
losses 71 79 78 82
to play 8 3 6 3
ATL 1 6 1
PHI 1 0 2
NYM 6 0 0
MON 1 2 0
Philadelphia is mathematically eliminated. Philadelphia finishes with ! 83 wins. Either New York or Atlanta will finish with " 84 wins.
Observation. Answer depends not only on how many games already won and left to play, but on whom they're against.
66
i 0 1 2 3 4 team New York Baltimore Boston Toronto Detroit wins 75 71 69 63 49 losses 59 63 66 72 86 to play 28 28 27 27 27 NYY 3 8 7 3 BAL 3 2 7 4 BOS 8 2 0 0 TOR 7 7 0 0 DET 3 4 0 0
AL East (August 30, 1996)
Detroit is mathematically eliminated. Detroit finishes with ! 76 wins. Wins for R = { NYY, BAL, BOS, TOR } = 278. Remaining games among { NYY, BAL, BOS, TOR } = 3 + 8 + 7 + 2 + 7 = 27. Average team in R wins 305/4 = 76.25 games.
67
Baseball elimination: maxflow formulation Intuition. Remaining games flow from s to t.
01
games left between 1 and 2
02
team 2 can still win this many more games
03
#
s
g12
12
w4 + r4 w2
13
3 team vertices (each team other than 4)
23
game vertices (each pair of teams other than 4)
Fact. Team 4 not eliminated iff all edges pointing from s are full in maxflow.
68
Maximum flow algorithms: theory (Yet another) holy grail for theoretical computer scientists.
worst case order of growth E3 U E2 U E3 E2 log E log( E U ) E2 log E E2 log U E3/2 log E log U E
year 1951 1955 1970 1972 1983 1985 1997 ?
method simplex augmenting path shortest augmenting path fattest augmenting path dynamic trees capacity scaling length function ?
discovered by Dantzig Ford-Fulkerson Dinitz, Edmonds-Karp Dinitz, Edmonds-Karp Sleator-Tarjan Gabow Goldberg-Rao ?
maxow algorithms for sparse digraphs with E edges, integer capacities (max U)
69
Maximum flow algorithms: practice Warning. Worst-case order-of-growth is generally not useful for predicting or comparing maxflow algorithm performance in practice. Best in practice. Push-relabel method with gap relabeling: E 3/2.
On I m p l e m e n t i n g P u s h - R e l a b e l M e t h o d for the M a x i m u m Flow P r o b l e m

Boris V. Cherkassky 1 and Andrew V. Goldberg 2 1 Central Institute for Economics and Mathematics, Krasikova St. 32, 117418, Moscow, Russia
ELSEVIER European Journal of Operational Research 97 (1997) 509-542
EUROPEAN JOURNAL OF OPERATIONAL RESEARCH
cher@eemi.msk.su
2 Computer Science Department, Stanford University Stanford, CA 94305, USA
Theory and Methodology
goldberg~cs. stanford, edu
Computational investigations of maximum flow algorithms

Ravindra K . A h u j a a, M u r a l i K o d i a l a m b, A j a y K . M i s h r a c, J a m e s B . O r l i n d,.
a
A b s t r a c t . We study efficient implementations of the push-relabel method for the maximum flow problem. The resulting codes are faster than the previous codes, and much faster on some problem families. The speedup is due to the combination of heuristics used in our implementations. We also exhibit a family of problems for which the running time of all known methods seem to have a roughly quadratic growth rate.
Abstract
Department t~'lndustrial and Management Engineering. Indian Institute of Technology. Kanpur, 208 016, India b AT& T Bell Laboratories, Holmdel, NJ 07733, USA c KA'F-ZGraduate School of Business, University of Pittsburgh, Pittsburgh, PA 15260, USA d Sloun School of Management, Massachusetts Institute of Technology. Cambridge. MA 02139. USA
Received 30 August 1995; accepted 27 June 1996
Introduction
The rnaximum flow problem is a classical combinatorial problem that comes up in a wide variety of applications. In this paper we study implementations of the push-rdabel [13, 17] method for the problem. The basic methods for the maximum flow problem include the network simplex method of Dantzig [6, 7], the augmenting path method of Ford and F~lker-
The maximum flow algorithm is distinguished by the long line of successive contributions researchers have made in obtaining algorithms with incrementally better worst-case complexity. Some, but not all, of these theoretical improvements have produced improvements in practice. The purpose of this paper is to test some of the major algorithmic ideas developed in the recent years and to assess their utility on the empirical front. However, our study differs from previous studies in several ways. Whereas previous studies focus primarily on CPU time analysis, our analysis goes further and provides detailed insight into algorithmic behavior. It not only observes how algorithms behave but also tries to explain why algorithms behave that way. We have limited our study to the best previous maximum flow algorithms and some of the recent algorithms that are likely to be efficient in practice. Our study encompasses ten maximum flow algorithms and five
70
Summary Mincut problem. Find an st-cut of minimum capacity. Maxflow problem. Find an st-flow of maximum value. Duality. Value of the maxflow = capacity of mincut.
Proven successful approaches. Ford-Fulkerson (various augmenting-path strategies). Preflow-push (various versions).
Open research challenges. Practice: solve real-word maxflow/mincut problems in linear time. Theory: prove it for worst-case inputs. Still much to be learned!
71

64MaxFlow PDF

Hochgeladen von

Dokumentinformationen

Originaltitel

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

64MaxFlow PDF

Hochgeladen von

Copyright:

Verfügbare Formate

6.

overview Ford-Fulkerson algorithm analysis Java implementation applications

Algorithms, 4th Edition

Robert Sedgewick and Kevin Wayne

April 8, 2012 5:24:49 AM

overview Ford-Fulkerson algorithm analysis Java implementation applications

Def. The value of a flow is the inflow at t.

Remarkable fact. These two problems are dual!

overview Ford-Fulkerson algorithm analysis Java implementation applications

Ford-Fulkerson algorithm Initialization. Start with 0 flow.

1st augmenting path bottleneck capacity = 10

2nd augmenting path

3rd augmenting path

backward edge (not empty)

4th augmenting path

backward edge (not empty)

no more augmenting paths

full forward edge 13 / 16 empty backward edge

overview Ford-Fulkerson algorithm analysis Java implementation applications

net flow across cut = 5 + 10 + 10 = 25

net flow across cut = 10 + 5 + 10 = 25

net flow across cut = (10 + 10 + 5 + 10) (5 + 5) = 25

Corollary. Outflow from s = inflow to t = value of flow.

Invariant. The flow is integer-valued throughout FF.

important for some applications (stay tuned)

and FF finds one!

How to choose augmenting paths? FF performance depends on choice of augmenting paths.

number of paths ! EV ! E ln(E U) !EU !EU

implementation queue (BFS) priority queue randomized queue stack (DFS)

digraph with V vertices, E edges, and integer capacities (max U)

augmenting path with fewest number of edges

augmenting path with maximum bottleneck capacity

overview Ford-Fulkerson algorithm analysis Java implementation applications

Flow network representation Residual network. A useful view of a flow network.

backward edge (not empty)

forward edge (not full)

Flow edge API

residual capacity flow fe capacity ce 2

Flow edge: Java implementation

// from and to // capacity // flow

Flow edge: Java implementation

forward edge backward edge

forward edge backward edge

residual capacity flow fe capacity ce 2

Flow network API

Conventions. Allow self-loops and parallel edges.

Flow network: Java implementation

same as EdgeWeightedGraph, but adjacency lists of FlowEdges instead of Edges

add forward edge add backward edge

Flow network representation

Ford-Fulkerson: Java implementation

is v reachable from s in residual network?

Finding a shortest augmenting path (cf. breadth-first search)

is t reachable from s in residual network?

overview Ford-Fulkerson algorithm analysis Java implementation applications

Maxflow and mincut applications Maxflow/mincut is a widely applicable problem-solving model.

Bipartite matching problem

N students apply for N jobs.

bipartite matching problem

Each gets several o"ers.

Is there a way to match all students to jobs?

Bipartite matching problem Given a bipartite graph, find a maximal matching.

perfect matching (solution) Alice Bob Google Adobe