C&O 355 Mathematical Programming Fall 2010 Lecture 18 N. Harvey TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: A A A.

Slides:



Advertisements
Similar presentations
C&O 355 Lecture 22 N. Harvey TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: A A A A A A A A A A.
Advertisements

C&O 355 Lecture 15 N. Harvey TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AA A A A A A A A A.
C&O 355 Lecture 8 N. Harvey TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: A A.
C&O 355 Lecture 9 N. Harvey TexPoint fonts used in EMF.
C&O 355 Mathematical Programming Fall 2010 Lecture 6 N. Harvey TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AA A A.
C&O 355 Lecture 23 N. Harvey TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: A A A A A A A A A A.
1 LP Duality Lecture 13: Feb Min-Max Theorems In bipartite graph, Maximum matching = Minimum Vertex Cover In every graph, Maximum Flow = Minimum.
C&O 355 Mathematical Programming Fall 2010 Lecture 22 N. Harvey TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: A A A.
Totally Unimodular Matrices
Introduction to Algorithms
1 EE5900 Advanced Embedded System For Smart Infrastructure Static Scheduling.
C&O 355 Lecture 4 N. Harvey TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: A A.
C&O 355 Mathematical Programming Fall 2010 Lecture 21 N. Harvey TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AA A.
C&O 355 Mathematical Programming Fall 2010 Lecture 15 N. Harvey TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AA A.
C&O 355 Lecture 20 N. Harvey TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: A A A A A A A A A A.
C&O 355 Lecture 12 N. Harvey TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: A A A A A A A A A A.
Basic Feasible Solutions: Recap MS&E 211. WILL FOLLOW A CELEBRATED INTELLECTUAL TEACHING TRADITION.
UMass Lowell Computer Science Analysis of Algorithms Prof. Karen Daniels Fall, 2006 Lecture 9 Wednesday, 11/15/06 Linear Programming.
Totally Unimodular Matrices Lecture 11: Feb 23 Simplex Algorithm Elliposid Algorithm.
Approximation Algorithms
The max flow problem
Linear Programming – Max Flow – Min Cut Orgad Keller.
Approximation Algorithms: Bristol Summer School 2008 Seffi Naor Computer Science Dept. Technion Haifa, Israel TexPoint fonts used in EMF. Read the TexPoint.
1 Lecture 4 Maximal Flow Problems Set Covering Problems.
15.082J, 6.855J, and ESD.78J September 21, 2010 Eulerian Walks Flow Decomposition and Transformations.
C&O 355 Mathematical Programming Fall 2010 Lecture 17 N. Harvey TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AA A.
C&O 355 Lecture 2 N. Harvey TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: A A.
C&O 355 Mathematical Programming Fall 2010 Lecture 2 N. Harvey TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AA A A.
C&O 355 Mathematical Programming Fall 2010 Lecture 19 N. Harvey TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AA A.
Approximating Minimum Bounded Degree Spanning Tree (MBDST) Mohit Singh and Lap Chi Lau “Approximating Minimum Bounded DegreeApproximating Minimum Bounded.
C&O 355 Mathematical Programming Fall 2010 Lecture 4 N. Harvey TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: A A A.
Theory of Computing Lecture 13 MAS 714 Hartmut Klauck.
TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AA A A A A A A A A Image:
10. Lecture WS 2006/07Bioinformatics III1 V10: Network Flows V10 follows closely chapter 12.1 in on „Flows and Cuts in Networks and Chapter 12.2 on “Solving.
C&O 355 Mathematical Programming Fall 2010 Lecture 16 N. Harvey TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: A A A.
Max Flow – Min Cut Problem. Directed Graph Applications Shortest Path Problem (Shortest path from one point to another) Max Flow problems (Maximum material.
Maximum Flow Problem (Thanks to Jim Orlin & MIT OCW)
Updated 21 April2008 Linear Programs with Totally Unimodular Matrices.
C&O 355 Mathematical Programming Fall 2010 Lecture 5 N. Harvey TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AA A A.
15.082J & 6.855J & ESD.78J October 7, 2010 Introduction to Maximum Flows.
15.082J and 6.855J March 4, 2003 Introduction to Maximum Flows.
Approximation Algorithms Department of Mathematics and Computer Science Drexel University.
Hon Wai Leong, NUS (CS6234, Spring 2009) Page 1 Copyright © 2009 by Leong Hon Wai CS6234: Lecture 4  Linear Programming  LP and Simplex Algorithm [PS82]-Ch2.
C&O 355 Lecture 7 N. Harvey TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: A A.
CPSC 536N Sparse Approximations Winter 2013 Lecture 1 N. Harvey TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AAAAAAAAAA.
Lecture.6. Table of Contents Lp –rounding Dual Fitting LP-Duality.
C&O 355 Lecture 24 N. Harvey TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AA A A A A A A A A.
1 Introduction to Linear Programming. 2 Copyright © The McGraw-Hill Companies, Inc. Permission required for reproduction or display. X1X2X3X4X1X2X3X4.
Chapter 7 May 3 Ford-Fulkerson algorithm Step-by-step walk through of an example Worst-case number of augmentations Edmunds-Karp modification Time complexity.
1 EE5900 Advanced Embedded System For Smart Infrastructure Static Scheduling.
Optimization - Lecture 5, Part 1 M. Pawan Kumar Slides available online
C&O 355 Lecture 19 N. Harvey TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: A A A A A A A A A A.
TU/e Algorithms (2IL15) – Lecture 12 1 Linear Programming.
Approximation Algorithms Duality My T. UF.
Approximation Algorithms based on linear programming.
Tuesday, March 19 The Network Simplex Method for Solving the Minimum Cost Flow Problem Handouts: Lecture Notes Warning: there is a lot to the network.
Polyhedral Optimization Lecture 2 – Part 2 M. Pawan Kumar Slides available online
Lap Chi Lau we will only use slides 4 to 19
Topics in Algorithms Lap Chi Lau.
The assignment problem
Algorithms and Networks
Network Flow 2016/04/12.
Analysis of Algorithms
Kramer’s (a.k.a Cramer’s) Rule
Algorithms (2IL15) – Lecture 7
Flow Feasibility Problems
Algorithms and Networks
Chapter 2. Simplex method
“Easy” Integer Programming Problems: Network Flow Problems
Presentation transcript:

C&O 355 Mathematical Programming Fall 2010 Lecture 18 N. Harvey TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: A A A A A A A A A A

Topics Network Flow – Max Flow / Min Cut Theorem Total Unimodularity Directed Graphs & Incidence Matrices Proof of Max Flow / Min Cut Theorem

Network Flow Let D=(N,A) be a directed graph. Every arc a has a “capacity” c a ¸ 0. (Think of it as an oil pipeline) Want to send oil from node s to node t through pipelines Oil must not leak at any node, except s and t: flow in = flow out. How much oil can we send? For simplicity, assume no arc enters s and no arc leaves t s t

Max Flow & Min Cut Schematic diagram of the railway network of the Western Soviet Union and Eastern European countries, with a maximum flow of value 163,000 tons from Russia to Eastern Europe, and a cut of capacity 163,000 tons indicated as ‘The bottleneck’. [Schrijver, 2005] Harris and Ross [1955]

Max Flow & Min Cut Delbert Ray Fulkerson Let D=(N,A) be a digraph, where arc a has capacity c a. Definition: For any U µ N, the cut ± + (U) is: The capacity of the cut is: Theorem: [Ford & Fulkerson 1956] The maximum amount of flow from s to t equals the minimum capacity of a cut ± + (U), where s 2 U and t 2 U Furthermore, if c is integral then there is an integral flow that achieves the maximum flow.

LP Formulation of Max Flow Variables: x a = amount of flow to send on arc a Constraints: For every node except s & t, flow in = flow out. Flow through each arc can not exceed its capacity. Objective value: Total amount of flow sent by s. Notation: ± + (v) = arcs with tail at v ± - (v) = arcs with head at v The LP is:

What is the matrix M defining the constraints of this LP? – Row for every node (except s or t) – Column for every arc Goal: Analyze extreme points of this LP. Plan: Show M is totally unimodular. M v,a = +1 if node v is the head of arc a 0 otherwise -1 if node v is the tail of arc a Incidence Matrix of a Directed Graph

Total Unimodularity Let M be a real m x n matrix Definition: Suppose that every square submatrix of M has determinant in {0, +1, -1}. Then M is totally unimodular (TUM). – In particular, every entry of M must be in {0, +1, -1} Key point: Polytopes defined by TUM matrices have integral extreme points. For example, last time we showed: Lemma: Suppose M is TUM. Let b be any integer vector. Then every basic feasible solution of P = { x : Mx · b } is integral.

Let M be a real m x n matrix Definition: Suppose that every square submatrix of M has determinant in {0, +1, -1}. Then M is totally unimodular (TUM). Lemma: Suppose A is TUM. Let b be any integer vector. Then every extreme point of P = { x : Mx · b } is integral. Claim: Suppose M is TUM. Then is also TUM. Proof: Exercise? Corollary: Suppose M is TUM. Let b and c be integer vectors. Then every extreme point of P = { x : Mx=b, 0 · x · c } is integral. Total Unimodularity

Incidence Matrices are TUM Let D=(N, A) be a directed graph. Define M by: Lemma: M is TUM. Proof: Let Q be a k x k submatrix of M. Argue by induction on k. If k=1 then Q is a single entry of M, so det(Q) is either 0 or § 1. So assume k>1. M u,a = +1 if node u is the head of arc a 0 otherwise -1 if node u is the tail of arc a

Lemma: M is TUM. Proof: Let Q be a k x k submatrix of M. Assume k>1. Case 1: If some column of Q has no non-zero entries, then det(Q)=0. Case 2: Suppose j th column of Q has exactly one non-zero entry, say Q t,j  0 Use “Column Expansion” of determinant:, where t is the unique non-zero entry in column j. By induction, det Q del(t,j) in {0,+1,-1} ) det Q in {0,+1,-1}. Case 3: Suppose every column of Q has exactly two non-zero entries. – For each column, one non-zero is a +1 and the other is a -1. So summing all rows in Q gives the vector [0,0,…,0]. Thus Q is singular, and det Q = 0. ¥

Observations: – The LP is feasible (assume the capacities are all non-negative) – The LP is bounded (because the feasible region is bounded) – It has an optimal solution, i.e., a maximum flow. (by FTLP) The feasible region is where M is TUM. Corollary: If c is integral, then every extreme point is integral, and so there is a maximum flow that is integral. Q: Why does P have any extreme points? The Max Flow LP A: It contains no line.

Max Flow LP & Its Dual Dual variables: – A variable y v for every v 2 N \ {s,t} – A variable z uv for every arc uv The dual is Let’s simplify: Set y s = 1 and y t = 0

The Dual where y s and y t are not variables: y s = 1 and y t = 0 We will show: Given an optimal solution (y,z), we can construct a cut ± + (U) such that In other words, the capacity of the cut ± + (U) equals the optimal value of the dual LP. By strong LP duality, this equals the optimal value of the primal LP, which is the maximum flow value. Every cut has capacity at least the max flow value, so this must be a minimum cut. “Rounding”

Let (y,z) be an optimal dual solution Every node u lies at some position y u on the real line Number the nodes 1,…,n so that y 1 ·  · y n Suppose node t numbered ¿ and node s numbered ¾ Let U i = { i, i+1, …, n }, for ¿ < i · ¾ (Here n=|N|, the total # nodes) Pick cut U i with probability y i - y i-1 Arc jk contributes 0 if j k So a 01 bcdts U5U5 U4U4 U3U3 ¿ =¿ = ¾=¾=

Let U i = { i, i+1, …, n }, for ¿ < i · ¾ Pick cut U i with probability y i - y i-1 So the average capacity of the U i ’s is · Dual Opt. Value ) minimum capacity of a U i is · Dual Opt. Value, and so it is a minimum cut. a 01 bcdts U5U5 U4U4 U3U3 ¿ =¿ = ¾=¾= = Optimum value of Dual LP By dual feasibility

Summary We have proven: Theorem: [Ford & Fulkerson 1956] The maximum amount of flow from s to t equals the minimum capacity of a cut ± + (U), where s 2 U and t 2 U Furthermore, if c is integral then there is an integral flow that achieves the maximum flow. We also get an algorithm for finding max flow & min cut – Solve Max Flow LP by the ellipsoid method. – Get an extreme point solution. It is an integral max flow. – Solve Dual LP by the ellipsoid method. – Use rounding method to get a min cut. This algorithm runs in polynomial time