CSCE 3110 Data Structures & Algorithm Analysis Graphs (I) Reading: Chap.9, Weiss

Network reliability. Distributed computing. Many many more... Maximum Flow and Minimum Cut Max flow and min cut. Two algorithmic problems. See Cormen et.al for more details Nontrivial applications / reductions. Network connectivity. Traffic control Data mining. Airline scheduling. Project selection. General scheduling

Max flow network: G = (V, E, s, t, u). (V, E) = directed graph, no parallel arcs. Two distinguished nodes: s = source, t = sink. u(e) = capacity of arc e. Max Flow Network Capacity s t

An s-t flow is a function f: E   that satisfies: For each e  E: 0  f(e)  u(e) (capacity) For each v  V – {s, t}: (conservation) Flows s t Capacity Flow

An s-t flow is a function f: E   that satisfies: For each e  E: 0  f(e)  u(e) (capacity) For each v  V – {s, t}: (conservation) Flows s t Capacity Flow Value = 4 MAX FLOW: find s-t flow that maximizes net flow out of the source.

An s-t flow is a function f: E   that satisfies: For each e  E: 0  f(e)  u(e) (capacity) For each v  V – {s, t}: (conservation) Flows MAX FLOW: find s-t flow that maximizes net flow out of the source. s t Value = Capacity Flow

An s-t flow is a function f: E   that satisfies: For each e  E: 0  f(e)  u(e) (capacity) For each v  V – {s, t}: (conservation) Flows MAX FLOW: find s-t flow that maximizes net flow out of the source. s t Value = Capacity Flow

Networks Flow Examples communication Network telephone exchanges, computers, satellites NodesArcs cables, fiber optics, microwave relays Flow voice, video, packets circuits gates, registers, processors wirescurrent mechanicaljointsrods, beams, springsheat, energy hydraulic reservoirs, pumping stations, lakes pipelinesfluid, oil financialstocks, currencytransactionsmoney transportation airports, rail yards, street intersections highways, railbeds, airway routes freight, vehicles, passengers chemicalsitesbondsenergy

An s-t cut is a node partition (S, T) such that s  S, t  T. The capacity of an s-t cut (S, T) is: Min s-t cut: find an s-t cut of minimum capacity. Cuts s t Capacity = 30

Cuts s t Capacity = 62 An s-t cut is a node partition (S, T) such that s  S, t  T. The capacity of an s-t cut (S, T) is: Min s-t cut: find an s-t cut of minimum capacity.

Cuts s t Capacity = 28 An s-t cut is a node partition (S, T) such that s  S, t  T. The capacity of an s-t cut (S, T) is: Min s-t cut: find an s-t cut of minimum capacity.

L1. Let f be a flow, and let (S, T) be a cut. Then, the net flow sent across the cut is equal to the amount reaching t. Flows and Cuts s t Value =

Flows and Cuts s t Value = 24 L1. Let f be a flow, and let (S, T) be a cut. Then, the net flow sent across the cut is equal to the amount reaching t.

Flows and Cuts s t Value = 24 0 L1. Let f be a flow, and let (S, T) be a cut. Then, the net flow sent across the cut is equal to the amount reaching t.

Let f be a flow, and let (S, T) be a cut. Then, Proof by induction on |S|. Base case: S = { s }. Inductive hypothesis: assume true for |S’| = k-1. consider cut (S, T) with |S| = k S = S'  { v } for some v  s, t, |S' | = k-1  cap(S', T') = | f |. adding v to S' increase cut capacity by Flows and Cuts s v t After s v t S' Before S

L2. Let f be a flow, and let (S, T) be a cut. Then, | f |  cap(S, T). Proof. Corollary. Let f be a flow, and let (S, T) be a cut. If |f| = cap(S, T), then f is a max flow and (S, T) is a min cut. Flows and Cuts s t S T

Max Flow and Min Cut Corollary. Let f be a flow, and let (S, T) be a cut. If |f| = cap(S, T), then f is a max flow and (S, T) is a min cut. s t Flow value = Cut capacity = 28

Max-Flow Min-Cut Theorem MAX-FLOW MIN-CUT THEOREM (Ford-Fulkerson, 1956): In any network, the value of the max flow is equal to the value of the min cut. s t Flow value = Cut capacity = 28

Max-Flow Min-Cut Theorem Intuitive Proof: Lemma 2  | f |  cap(S, T). Max for |f| is a certain cut C where Max|f| = C Min cut for cap(S,T) is a certain flow F where |f| = Min cut |f|  Max |f| = C  Min cut(S,T)  Max |f|  Min cut(S,T) L2  Max |f|  Min cut(S,T)  Max |f| = Min cut(S,T)