+ All Categories
Home > Documents > CSEP 521 Applied Algorithms

CSEP 521 Applied Algorithms

Date post: 23-Feb-2016
Category:
Upload: pegeen
View: 25 times
Download: 0 times
Share this document with a friend
Description:
CSEP 521 Applied Algorithms. Richard Anderson Lecture 9 Network Flow Applications. Announcements. Reading for this week 7.5-7.12. Network flow applications Next week: Chapter 8. NP-Completeness Final exam, March 18, 6:30 pm. At UW. 2 hours In class (CSE 303 / CSE 305) Comprehensive - PowerPoint PPT Presentation
Popular Tags:
52
CSEP 521 Applied Algorithms Richard Anderson Lecture 9 Network Flow Applications
Transcript
Page 1: CSEP 521 Applied Algorithms

CSEP 521Applied Algorithms

Richard AndersonLecture 9

Network Flow Applications

Page 2: CSEP 521 Applied Algorithms

Announcements

• Reading for this week– 7.5-7.12. Network flow applications– Next week: Chapter 8. NP-Completeness

• Final exam, March 18, 6:30 pm. At UW.– 2 hours– In class (CSE 303 / CSE 305)– Comprehensive

• 67% post midterm, 33% pre midterm

Page 3: CSEP 521 Applied Algorithms

Network Flow

Page 4: CSEP 521 Applied Algorithms

Review

• Network flow definitions• Flow examples• Augmenting Paths• Residual Graph• Ford Fulkerson Algorithm• Cuts• Maxflow-MinCut Theorem

Page 5: CSEP 521 Applied Algorithms

Network Flow Definitions• Flowgraph: Directed graph with distinguished

vertices s (source) and t (sink)• Capacities on the edges, c(e) >= 0• Problem, assign flows f(e) to the edges such

that:– 0 <= f(e) <= c(e)– Flow is conserved at vertices other than s and t

• Flow conservation: flow going into a vertex equals the flow going out

– The flow leaving the source is a large as possible

Page 6: CSEP 521 Applied Algorithms

Find a maximum flow

a

s

d

b

c f

e

g

h

i

t

15/25

5/5

20/20 20/20

20/20

25/30

20/20

5/5

20/20

0/5

20/20

15/20

10/10

20/20

5/5

20/20

30/30

0/5

0/5

0/5

0/5

0/5

0/5

0/20

Page 7: CSEP 521 Applied Algorithms

Residual Graph

• Flow graph showing the remaining capacity• Flow graph G, Residual Graph GR

– G: edge e from u to v with capacity c and flow f– GR: edge e’ from u to v with capacity c – f– GR: edge e’’ from v to u with capacity f

Page 8: CSEP 521 Applied Algorithms

Residual Graph

u

s t

v

15/20

20/20

15/30

0/10

5/10

u

s t

v

5

15

10

5 20

15 15

5

Page 9: CSEP 521 Applied Algorithms

Augmenting Path Lemma

• Let P = v1, v2, …, vk be a path from s to t with minimum capacity b in the residual graph.

• b units of flow can be added along the path P in the flow graph.

u

s t

v

15/20

20/20

15/30

0/10

5/10

u

s t

v

5

15

10

5 20

15 15

5

Page 10: CSEP 521 Applied Algorithms

Ford-Fulkerson Algorithm (1956)

while not done

Construct residual graph GR

Find an s-t path P in GR with capacity b > 0

Add b units along in G

If the sum of the capacities of edges leaving S is at most C, then the algorithm takes at most C iterations

Page 11: CSEP 521 Applied Algorithms

Cuts in a graph• Cut: Partition of V into disjoint sets S, T with s in

S and t in T.• Cap(S,T): sum of the capacities of edges from

S to T• Flow(S,T): net flow out of S

– Sum of flows out of S minus sum of flows into S

• Flow(S,T) <= Cap(S,T)

Page 12: CSEP 521 Applied Algorithms

Ford Fulkerson MaxFlow – MinCut Theorem

• There exists a flow which has the same value of the minimum cut– Shows that a cut is the dual of the flow– Proves that the augmenting paths algorithm finds a

maximum flow– Gives an algorithms for finding the minimum cut

Page 13: CSEP 521 Applied Algorithms

Better methods of for constructing a network flow

• Improved methods for finding augmenting paths or blocking flows

• Goldberg’s Preflow-Push algorithm– Text, section 7.4

Page 14: CSEP 521 Applied Algorithms

Applications of Network Flow

Page 15: CSEP 521 Applied Algorithms

Problem Reduction• Reduce Problem A to Problem B

– Convert an instance of Problem A to an instance of Problem B

– Use a solution of Problem B to get a solution to Problem A

• Practical– Use a program for Problem B to solve Problem A

• Theoretical– Show that Problem B is at least as hard as Problem A

Page 16: CSEP 521 Applied Algorithms

Problem Reduction Examples

• Reduce the problem of finding the longest path in a directed graph to the problem of finding a shortest path in a directed graph

Construct an equivalent minimization problem

Page 17: CSEP 521 Applied Algorithms

Undirected Network Flow

• Undirected graph with edge capacities• Flow may go either direction along the

edges (subject to the capacity constraints)

u

s t

v

10

10

5

20

20

Construct an equivalent flow problem

Page 18: CSEP 521 Applied Algorithms

Multi-source network flow

• Multi-source network flow– Sources s1, s2, . . ., sk

– Sinks t1, t2, . . . , tj

• Solve with Single source network flow

Page 19: CSEP 521 Applied Algorithms

Bipartite Matching

• A graph G=(V,E) is bipartite if the vertices can be partitioned into disjoints sets X,Y

• A matching M is a subset of the edges that does not share any vertices

• Find a matching as large as possible

Page 20: CSEP 521 Applied Algorithms

Application• A collection of teachers• A collection of courses• And a graph showing which teachers can

teach which coursesRA

PB

CC

DG

AK

303

321

326

401

421

Page 21: CSEP 521 Applied Algorithms

Converting Matching to Network Flow

ts

Page 22: CSEP 521 Applied Algorithms

Finding edge disjoint paths

st

Construct a maximum cardinality set of edge disjoint paths

Page 23: CSEP 521 Applied Algorithms

Theorem

• The maximum number of edge disjoint paths equals the minimum number of edges whose removal separates s from t

Page 24: CSEP 521 Applied Algorithms

Finding vertex disjoint paths

st

Construct a maximum cardinality set of vertiex disjoint paths

Page 25: CSEP 521 Applied Algorithms

Network flow with vertex capacities

Page 26: CSEP 521 Applied Algorithms

Balanced allocationProblem 9, Page 419

• To make a long story short:– N injured people– K hospitals– Assign each person to a hospital with 30

minutes drive– Assign N/K patients to each hospital

Page 27: CSEP 521 Applied Algorithms

Baseball elimination• Can the Dinosaurs

win the league?• Remaining games:

– AB, AC, AD, AD, AD, BC, BC, BC, BD, CD

W LAnts 4 2Bees 4 2Cockroaches 3 3Dinosaurs 1 5

A team wins the league if it has strictly more wins than any other team at the end of the seasonA team ties for first place if no team has more wins, and there is some other team with the same number of wins

Page 28: CSEP 521 Applied Algorithms

Baseball elimination• Can the Fruit Flies

win or tie the league?• Remaining games:

– AC, AD, AD, AD, AF, BC, BC, BC, BC, BC, BD, BE, BE, BE, BE, BF, CE, CE, CE, CF, CF, DE, DF, EF, EF

W LAnts 17 12Bees 16 7Cockroaches 16 7Dinosaurs 14 13Earthworms 14 10Fruit Flies 12 15

Page 29: CSEP 521 Applied Algorithms

Assume Fruit Flies win remaining games

• Fruit Flies are tied for first place if no team wins more than 19 games

• Allowable wins– Ants (2)– Bees (3)– Cockroaches (3)– Dinosaurs (5)– Earthworms (5)

• 18 games to play– AC, AD, AD, AD, BC, BC,

BC, BC, BC, BD, BE, BE, BE, BE, CE, CE, CE, DE

W L

Ants 17 13

Bees 16 8

Cockroaches 16 9

Dinosaurs 14 14

Earthworms 14 12

Fruit Flies 19 15

Page 30: CSEP 521 Applied Algorithms

Remaining gamesAC, AD, AD, AD, BC, BC, BC, BC, BC, BD, BE, BE, BE, BE, CE, CE, CE, DE

s

AC AD BC BD BE CE

A B C D E

T

DE

Page 31: CSEP 521 Applied Algorithms

Solving problems with a minimum cut

• Image Segmentation• Open Pit Mining / Task Selection Problem

S, T is a cut if S, T is a partition of the vertices with s in S and t in TThe capacity of an S, T cut is the sum of the capacities ofall edges going from S to T

Page 32: CSEP 521 Applied Algorithms

Image Segmentation• Separate foreground

from background• Reduction to min-cut

problem

S, T is a cut if S, T is a partition of the vertices with s in S and t in T

The capacity of an S, T cut is the sum of the capacities ofall edges going from S to T

Page 33: CSEP 521 Applied Algorithms
Page 34: CSEP 521 Applied Algorithms

Image analysis

• ai: value of assigning pixel i to the foreground• bi: value of assigning pixel i to the background• pij: penalty for assigning i to the foreground, j to

the background or vice versa• A: foreground, B: background• Q(A,B) = S{i in A}ai + S{j in B}bj - S{(i,j) in E, i in A, j in B}pij

Page 35: CSEP 521 Applied Algorithms

Pixel graph to flow graphs

t

Page 36: CSEP 521 Applied Algorithms

Mincut Construction

u v

s

t

bv

av

puv

pvu

Page 38: CSEP 521 Applied Algorithms

Application of Min-cut

• Open Pit Mining Problem• Task Selection Problem• Reduction to Min Cut problem

S, T is a cut if S, T is a partition of the vertices with s in S and t in TThe capacity of an S, T cut is the sum of the capacities ofall edges going from S to T

Page 39: CSEP 521 Applied Algorithms

Open Pit Mining

• Each unit of earth has a profit (possibly negative)

• Getting to the ore below the surface requires removing the dirt above

• Test drilling gives reasonable estimates of costs

• Plan an optimal mining operation

Page 40: CSEP 521 Applied Algorithms

Mine Graph

-3

-10

-4

3

-2

-3

-1

8

-2

4

3

-1

-7

-10

-1

Page 41: CSEP 521 Applied Algorithms

Determine an optimal mine

-10

-10

-10

-10

-10

-5

-1

-10

-10

-10

-10

-3

-3

4

6

-10

-10

-4

-3

7

8

1

-10

-4

3

-2

6

4

-10

2

4

-10

-3

4

-10

-4

4

3

-10

-10

-10

3

-3

-10

-10

-10

-10

-1

-10

-10

-10

-10

-10

-7

Page 42: CSEP 521 Applied Algorithms

Generalization• Precedence graph

G=(V,E)• Each v in V has a

profit p(v)• A set F if feasible if

when w in F, and (v,w) in E, then v in F.

• Find a feasible set to maximize the profit

5

-10

6

-1

-2 -3

4

-4

Page 43: CSEP 521 Applied Algorithms

Min cut algorithm for profit maximization

• Construct a flow graph where the minimum cut identifies a feasible set that maximizes profit

Page 44: CSEP 521 Applied Algorithms

Precedence graph construction• Precedence graph

G=(V,E)• Each edge in E has

infinite capacity• Add vertices s, t• Each vertex in V is

attached to s and t with finite capacity edges

Page 45: CSEP 521 Applied Algorithms

Show a finite value cut with at least two vertices on each side of the cut

s

t

Infinite

Finite

Page 46: CSEP 521 Applied Algorithms

The sink side of a finite cut is a feasible set

• No edges permitted from S to T

• If a vertex is in T, all of its ancestors are in T

Page 47: CSEP 521 Applied Algorithms

Setting the costs• If p(v) > 0,

– cap(v,t) = p(v)– cap(s,v) = 0

• If p(v) < 0– cap(s,v) = -p(v)– cap(v,t) = 0

• If p(v) = 0– cap(s,v) = 0– cap(v,t) = 0

s

t

3

-3

2

1

0-1-3

31

3

2 1 3

Page 48: CSEP 521 Applied Algorithms

Enumerate all finite s,t cuts and show their capacities

-2 1 2 -2 1

s

t

2 2

1 12

Page 49: CSEP 521 Applied Algorithms

Minimum cut gives optimal solutionWhy?

-2 1 2 -2 1

s

t

2 2

1 12

Page 50: CSEP 521 Applied Algorithms

Computing the Profit

• Cost(W) = S{w in W; p(w) < 0}-p(w)• Benefit(W) = S{w in W; p(w) > 0} p(w)• Profit(W) = Benefit(W) – Cost(W)

• Maximum cost and benefit– C = Cost(V) – B = Benefit(V)

Page 51: CSEP 521 Applied Algorithms

Express Cap(S,T) in terms of B, C, Cost(T), Benefit(T), and Profit(T)

Page 52: CSEP 521 Applied Algorithms

Summary• Construct flow graph

– Infinite capacity for precedence edges– Capacities to source/sink based on

cost/benefit• Finite cut gives a feasible set of tasks• Minimizing the cut corresponds to

maximizing the profit• Find minimum cut with a network flow

algorithm


Recommended