Flow Networks zichun@comp.nus.edu.sg. Formalization Basic Results Ford-Fulkerson Edmunds-Karp...

transcript

Flow Networkszichun@comp.nus.edu.sg

Formalization

Basic Results

Ford-Fulkerson

Edmunds-Karp

Bipartite Matching

Min-cut

Flow Network

• Directed Graph G = (V, E)• Each edge has a capacity

Properties of Flow

Capacity Constraint

Skew Symmetry

Flow Conservation

Maximum Flow

– Returns Maximum Flow of G

Value of Flow

|𝒇 |=∑𝑣∈𝑉

𝑓 (𝑠 ,𝑣 )

Motivating Problem

Warehouse

Motivating Problem

Warehouse

10 1/4

4/9 7/7

Warehouse

10 1/4

4/9 7/7

Multiple Sources / Sinks

S t∞

∞ ∞

Implicit Summation Notation

Key EqualitiesLet G = (V, E) be a flow network, and let f be a flow in G. Then

Capacity Constraint

Skew Symmetry

Flow Conservation

Homomorphism

Flow Value

DefinitionHomomorphismFlow Conservation

Skew SymmetryHomomorphismFlow Conservation

Ford-Fulkerson

flow=0while(augmenting path p)) { augment flow f along p}return flow

Residual network

Induced network from G=(V, E) and flow f

Warehouse

10 1/4

4/9 7/7

Warehouse

Augmenting Path

A path of

non-zero weight

from s to t in Gf

Warehouse

10 1/4

4/9 7/7

Warehouse

10 1/4

4/9 7/7

Warehouse

10 1/4

4/9 7/7

Warehouse

10 1/4

0/9 7/7

Warehouse

S-T Cut

• A cut C=(S, T) of a flow network G=(V, E) is a partition of V into S and T = V – S

• Net flow across• Capacity of cut:

Warehouse

10 1/4

15/204/9 7/

f(S, T) = 12 – 4 + 11 = 19c(S, T) = 12 + 14 = 26

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) = |f|

HomomorphismFlow ConservationHomomorphism

Flow ConservationDefinition

|𝑓 |= 𝑓 (𝑆 ,𝑇 )The value of any flow f in a flow network G is bounded by the capacity of any cut of G

Min-Cut Max-Flow

1. f is a maximum flow in G2. The residual network Gf contains no

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

(1 )⇒(2)1. Premise: f is a max-flow in G2. Assume Gf has augmenting path p

3. We can augment Gf with p to get a flow f’ > f– Contradicts [1]

• Hence Gf has no augmenting paths

(2 )⇒(3)1. Premise: Gf has no augmenting paths

2. Let

1. T = V-S

3. (S, T) is a cut

1. Otherwise

(3 )⇒(1)

1. , |f| is maximum

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

Ford-Fulkerson

Termination: Gf has no augmenting path iff flow is maximum

Run-time

O(E|f*|) where |f*| is the maximum flow

1,000,000 1,000,000

1,000,0001,000,000

1,000,000 1,000,000

1,000,0001,000,000

999,999 1,000,000

1,000,0001,000,000

999,999 1,000,000

1,000,0001,000,000

999,999 999,999

1,000,000999,999

999,999 999,999

1,000,000999,999

Edmunds Karp

flow=0while(augmenting path p)) { find augmenting path by BFS augment flow f along p}return flow

Run-time: O(VE2)

Warehouse

Critical Edge

Warehouse

Critical Edge

Lemma: Edges can be critical at most times

Warehouse

𝛿 𝑓 (𝑢 ,𝑣 )≔ h𝑠 𝑜𝑟𝑡𝑒𝑠𝑡− h𝑝𝑎𝑡 h𝑙𝑒𝑛𝑔𝑡 𝑓𝑟𝑜𝑚𝑢→𝑣

𝛿 𝑓 (𝑢 ,𝑣 )≔ h𝑠 𝑜𝑟𝑡𝑒𝑠𝑡− h𝑝𝑎𝑡 h𝑙𝑒𝑛𝑔𝑡 𝑓𝑟𝑜𝑚𝑢→𝑣1. Assume (u, v) is a critical edge2. Augmenting-paths are shortest path [by EK]3. [from 1]4. After flow-augmentation, cf(u,v) = 0• (u, v) cannot be critical path until another

augmenting path containing (v, u).• Let the flow at this point be f’5.

6. i.e, each time (u, v) is augmenting-path, path length increases by 2

7. (u, v) can be critical edge at most times

Lemma: Edges can be critical at most times

Since there are O(E) edges, the number of augmenting path is bounded by O(VE) [by Lemma].

Run-time: O(VE2)

Bipartite Matching

Bipartite Matching MaxFlow

Flow Networks zichun@comp.nus.edu.sg. Formalization Basic Results Ford-Fulkerson Edmunds-Karp...

Documents