Submodularity Reading Group Matroid Polytopes, Polymatroid M. Pawan Kumar

Slides:



Advertisements
Similar presentations
1 LP Duality Lecture 13: Feb Min-Max Theorems In bipartite graph, Maximum matching = Minimum Vertex Cover In every graph, Maximum Flow = Minimum.
Advertisements

Lecture #3; Based on slides by Yinyu Ye
Introduction to Algorithms
C&O 355 Mathematical Programming Fall 2010 Lecture 20 N. Harvey TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AA A.
How should we define corner points? Under any reasonable definition, point x should be considered a corner point x What is a corner point?
The Structure of Polyhedra Gabriel Indik March 2006 CAS 746 – Advanced Topics in Combinatorial Optimization.
Basic Feasible Solutions: Recap MS&E 211. WILL FOLLOW A CELEBRATED INTELLECTUAL TEACHING TRADITION.
A Randomized Polynomial-Time Simplex Algorithm for Linear Programming Daniel A. Spielman, Yale Joint work with Jonathan Kelner, M.I.T.
Linear programming Thomas S. Ferguson University of California at Los Angeles Compressive Sensing Tutorial PART 3 Svetlana Avramov-Zamurovic January 29,
CS38 Introduction to Algorithms Lecture 15 May 20, CS38 Lecture 15.
CSCI 3160 Design and Analysis of Algorithms Tutorial 6 Fei Chen.
Linear Programming and Approximation
Totally Unimodular Matrices Lecture 11: Feb 23 Simplex Algorithm Elliposid Algorithm.
1 Introduction to Linear and Integer Programming Lecture 9: Feb 14.
Introduction to Linear and Integer Programming Lecture 7: Feb 1.
Duality Dual problem Duality Theorem Complementary Slackness
Polyhedral Optimization Lecture 3 – Part 3 M. Pawan Kumar Slides available online
Martin Grötschel Institute of Mathematics, Technische Universität Berlin (TUB) DFG-Research Center “Mathematics for key technologies” (M ATHEON ) Konrad-Zuse-Zentrum.
Polyhedral Optimization Lecture 3 – Part 2
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.
Polyhedral Optimization Lecture 1 – Part 2 M. Pawan Kumar Slides available online
Polyhedral Optimization Lecture 4 – Part 3 M. Pawan Kumar Slides available online
Polyhedral Optimization Lecture 5 – Part 1 M. Pawan Kumar Slides available online
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.
Martin Grötschel  Institute of Mathematics, Technische Universität Berlin (TUB)  DFG-Research Center “Mathematics for key technologies” (M ATHEON ) 
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.
Polyhedral Optimization Lecture 4 – Part 2 M. Pawan Kumar Slides available online
Polyhedral Optimization Lecture 5 – Part 2 M. Pawan Kumar Slides available online
I.4 Polyhedral Theory 1. Integer Programming  Objective of Study: want to know how to describe the convex hull of the solution set to the IP problem.
Optimization - Lecture 4, Part 1 M. Pawan Kumar Slides available online
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.
Discrete Optimization Lecture 5 – Part 1 M. Pawan Kumar Slides available online
Optimization - Lecture 5, Part 1 M. Pawan Kumar Slides available online
Submodularity Reading Group Submodular Function Minimization via Linear Programming M. Pawan Kumar
Submodularity Reading Group Matroids, Submodular Functions M. Pawan Kumar
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.
Polyhedral Optimization Lecture 5 – Part 3 M. Pawan Kumar Slides available online
Linear Programming Chap 2. The Geometry of LP  In the text, polyhedron is defined as P = { x  R n : Ax  b }. So some of our earlier results should.
Linear Programming Piyush Kumar Welcome to CIS5930.
Submodularity Reading Group Matroids, Submodular Functions M. Pawan Kumar
1 Chapter 4 Geometry of Linear Programming  There are strong relationships between the geometrical and algebraic features of LP problems  Convenient.
Polyhedral Optimization Lecture 2 – Part 2 M. Pawan Kumar Slides available online
Lap Chi Lau we will only use slides 4 to 19
Chap 10. Sensitivity Analysis
ADVANCED COMPUTATIONAL MODELS AND ALGORITHMS
Topics in Algorithms Lap Chi Lau.
EMGT 6412/MATH 6665 Mathematical Programming Spring 2016
Submodularity Reading Group Polymatroid
Proving that a Valid Inequality is Facet-defining
Chap 9. General LP problems: Duality and Infeasibility
Polyhedron Here, we derive a representation of polyhedron and see the properties of the generators. We also see how to identify the generators. The results.
Chapter 5. Sensitivity Analysis
Chap 3. The simplex method
Polyhedron Here, we derive a representation of polyhedron and see the properties of the generators. We also see how to identify the generators. The results.
Linear Programming and Approximation
2. Generating All Valid Inequalities
Chapter 5. The Duality Theorem
CS5321 Numerical Optimization
I.4 Polyhedral Theory (NW)
Flow Feasibility Problems
I.4 Polyhedral Theory.
Proving that a Valid Inequality is Facet-defining
Prepared by Po-Chuan on 2016/05/24
Chapter 2. Simplex method
1.2 Guidelines for strong formulations
Linear Constrained Optimization
Presentation transcript:

Submodularity Reading Group Matroid Polytopes, Polymatroid M. Pawan Kumar

Linear Programming Matroid Polytopes Polymatroid Outline

Polyhedron Ax ≤ b A : m x n matrix b: m x 1 vector

Bounded Polyhedron = Polytope Ax ≤ b A : m x n matrix b: m x 1 vector

Vertex z is a vertex of P = {x, Ax ≤ b} z is not a convex combination of two points in P There does not exist x, y ∈ P and 0 < λ < 1 x ≠ z and y ≠ z such that z = λ x + (1-λ) y

Vertex z is a vertex of P = {x, Ax ≤ b} A z is a submatrix of A Contains all rows of A such that a i T z = b i Recall A is an m x n matrix

Vertex z is a vertex of P Rank of A z = n Proof? See “hidden” slides

Proof Sketch: Necessity Let z be a vertex of P Suppose rank(A z ) < nA z c = 0 for some c ≠ 0 Then there exists a d > 0 such that z - dc ∈ Pz + dc ∈ P Contradiction

Proof Sketch: Sufficiency Suppose rank(A z ) = n but z is not a vertex of P z = (x+y)/2 for some x, y ∈ P, x ≠ y ≠ z For each a in A z Implies A z (x-y) = 0Contradiction a T x ≤ b = a T za T y ≤ b = a T z

Linear Program Maximize a linear function Over a polyhedral feasible region s.t. A x ≤ b max x c T x A: m x n matrix b: m x 1 vector c: n x 1 vector Objective function Constraints x: n x 1 vector

Example 4x 1 – x 2 ≤ 8 max x x 1 + x 2 2x 1 + x 2 ≤ 10 5x 1 - 2x 2 ≥ -2 x 1 ≥ 0 x 2 ≥ 0 s.t. What is c? A?b?

Example x 1 ≥ 0 x 2 ≥ 0

Example 4x 1 – x 2 = 8 x 1 ≥ 0 x 2 ≥ 0

Example 4x 1 – x 2 ≤ 8 x 1 ≥ 0 x 2 ≥ 0

Example 4x 1 – x 2 ≤ 8 2x 1 + x 2 ≤ 10 x 1 ≥ 0 x 2 ≥ 0

Example 4x 1 – x 2 ≤ 8 2x 1 + x 2 ≤ 10 5x 1 - 2x 2 ≥ -2 x 1 ≥ 0 x 2 ≥ 0

Example 4x 1 – x 2 ≤ 8 2x 1 + x 2 ≤ 10 5x 1 - 2x 2 ≥ -2 x 1 ≥ 0 x 2 ≥ 0 max x x 1 + x 2 x 1 + x 2 = 0

Example 4x 1 – x 2 ≤ 8 2x 1 + x 2 ≤ 10 5x 1 - 2x 2 ≥ -2 x 1 ≥ 0 x 2 ≥ 0 max x x 1 + x 2 x 1 + x 2 = 8 Optimal solution

Linear Programming –Duality –LP Solutions Matroid Polytopes Polymatroid Outline

Example 2x 1 + 2x 2 + 5x 3 ≤ 24 max x 3x 1 + x 2 + 2x 3 4x 1 + x 2 + 2x 3 ≤ 36 -x 1 ≤ 0, -x 2 ≤ 0, -x 3 ≤ 0 x 1 + x 2 + 3x 3 ≤ 30 s.t. 3 x 2 x 7 x Scale the constraints, add them up 3x 1 + x 2 + 2x 3 ≤ 90 Upper bound on solution

Example 2x 1 + 2x 2 + 5x 3 ≤ 24 max x 3x 1 + x 2 + 2x 3 4x 1 + x 2 + 2x 3 ≤ 36 -x 1 ≤ 0, -x 2 ≤ 0, -x 3 ≤ 0 x 1 + x 2 + 3x 3 ≤ 30 s.t. 1 x Scale the constraints, add them up 3x 1 + x 2 + 2x 3 ≤ 36 Upper bound on solution

Example 2x 1 + 2x 2 + 5x 3 ≤ 24 max x 3x 1 + x 2 + 2x 3 4x 1 + x 2 + 2x 3 ≤ 36 -x 1 ≤ 0, -x 2 ≤ 0, -x 3 ≤ 0 x 1 + x 2 + 3x 3 ≤ 30 s.t. 1 x Scale the constraints, add them up 3x 1 + x 2 + 2x 3 ≤ 36 Tightest upper bound?

Example 2x 1 + 2x 2 + 5x 3 ≤ 24 max x 3x 1 + x 2 + 2x 3 4x 1 + x 2 + 2x 3 ≤ 36 -x 1 ≤ 0, -x 2 ≤ 0, -x 3 ≤ 0 x 1 + x 2 + 3x 3 ≤ 30 s.t. y4y4 y1y1 y2y2 y3y3 y5y5 y6y6 y 1, y 2, y 3, y 4, y 5, y 6 ≥ 0 We should be able to add up the inequalities

Example 2x 1 + 2x 2 + 5x 3 ≤ 24 max x 3x 1 + x 2 + 2x 3 4x 1 + x 2 + 2x 3 ≤ 36 -x 1 ≤ 0, -x 2 ≤ 0, -x 3 ≤ 0 x 1 + x 2 + 3x 3 ≤ 30 s.t. y4y4 y1y1 y2y2 y3y3 y5y5 y6y6 -y 1 + y 4 + 2y 5 + 4y 6 = 3 Coefficient of x 1 should be 3

Example 2x 1 + 2x 2 + 5x 3 ≤ 24 max x 3x 1 + x 2 + 2x 3 4x 1 + x 2 + 2x 3 ≤ 36 -x 1 ≤ 0, -x 2 ≤ 0, -x 3 ≤ 0 x 1 + x 2 + 3x 3 ≤ 30 s.t. y4y4 y1y1 y2y2 y3y3 y5y5 y6y6 -y 2 + y 4 + 2y 5 + y 6 = 1 Coefficient of x 2 should be 1

Example 2x 1 + 2x 2 + 5x 3 ≤ 24 max x 3x 1 + x 2 + 2x 3 4x 1 + x 2 + 2x 3 ≤ 36 -x 1 ≤ 0, -x 2 ≤ 0, -x 3 ≤ 0 x 1 + x 2 + 3x 3 ≤ 30 s.t. y4y4 y1y1 y2y2 y3y3 y5y5 y6y6 -y 3 + 3y 4 + 5y 5 + 2y 6 = 2 Coefficient of x 3 should be 2

Example 2x 1 + 2x 2 + 5x 3 ≤ 24 max x 3x 1 + x 2 + 2x 3 4x 1 + x 2 + 2x 3 ≤ 36 -x 1 ≤ 0, -x 2 ≤ 0, -x 3 ≤ 0 x 1 + x 2 + 3x 3 ≤ 30 s.t. y4y4 y1y1 y2y2 y3y3 y5y5 y6y6 min y 30y y y 6 Upper bound should be tightest

Dual min y 30y y y 6 s.t. y 1, y 2, y 3, y 4, y 5, y 6 ≥ 0 -y 1 + y 4 + 2y 5 + 4y 6 = 3 -y 2 + y 4 + 2y 5 + y 6 = 1 -y 3 + 3y 4 + 5y 5 + 2y 6 = 2 Original problem is called primal Dual of dual is primal

Dual s.t. A x ≤ b max x c T x

Dual - y T (A x – b)max x c T x min y≥0 KKT Condition?A T y = c min y≥0 bTybTy s.t. A T y = c

min y≥0 bTybTy s.t. A T y = c s.t. A x ≤ b max x c T x Primal Dual

Strong Duality min y≥0 bTybTy s.t. A T y = c s.t. A x ≤ b max x c T x Primal Dual p = d = If p ≠ ∞ or d ≠ ∞, then p = d. Skipping the proof Think back to the intuition of dual

Question s.t. A 1 x ≤ b 1 max x c T x A 2 x ≥ b 2 A 3 x = b 3 Dual?

Linear Programming –Duality –LP Solutions Matroid Polytopes Polymatroid Outline

Graphical Solution 4x 1 – x 2 ≤ 8 2x 1 + x 2 ≤ 10 5x 1 - 2x 2 ≥ -2 x 1 ≥ 0 x 2 ≥ 0 max x x 1 + x 2 x 1 + x 2 = 8 Optimal solution at a vertex

Graphical Solution 4x 1 – x 2 ≤ 8 2x 1 + x 2 ≤ 10 5x 1 - 2x 2 ≥ -2 x 1 ≥ 0 x 2 ≥ 0 max x x 1 x 1 = 3 Optimal solution at a vertex

Graphical Solution 4x 1 – x 2 ≤ 8 2x 1 + x 2 ≤ 10 5x 1 - 2x 2 ≥ -2 x 1 ≥ 0 x 2 ≥ 0 max x x 2 x 2 = 6 Optimal solution at a vertex

Graphical Solution 4x 1 – x 2 ≤ 8 2x 1 + x 2 ≤ 10 5x 1 - 2x 2 ≥ -2 x 1 ≥ 0 x 2 ≥ 0 An optimal solution always at a vertex Proof? max x c T x

Dantzig (1951): Simplex Method –Search over vertices of the polyhedra –Worst-case complexity is exponential –Smoothed complexity is polynomial Khachiyan (1979, 1980): Ellipsoid Method –Polynomial time complexity –LP is a P optimization problem Karmarkar (1984): Interior-point Method –Polynomial time complexity –Competitive with Simplex Method Solving the LP

Plenty of standard software available Mosek ( –C++ API –Matlab API –Python API –Free academic license Solving the LP

Linear Programming Matroid Polytopes Polymatroid Outline

Incidence Vector of Set Matroid M = (S, I ) Set X ⊆ S Incidence vector v X ∈ {0,1} |S| v X (s) = 1, if s ∈ X 0, if s ∉ X

Example (Uniform Matroid) S = {1,2,…,9} sw(s) k = 4 X = {1, 3, 5} vX?vX?

Example (Graphic Matroid) v1v1 v1v1 v0v0 v0v0 v2v2 v2v2 v6v6 v6v6 v4v4 v4v4 v5v5 v5v5 v3v3 v3v3 e1e1 e2e2 e4e4 e6e6 e5e5 e3e3 e7e7 e9e9 e8e8 S = E X ⊆ S

Example (Graphic Matroid) v1v1 v1v1 v0v0 v0v0 v2v2 v2v2 v6v6 v6v6 v4v4 v4v4 v5v5 v5v5 v3v3 v3v3 S = E X ⊆ S vX?vX? e1e1 e2e2 e4e4 e6e6 e5e5 e3e3 e7e7 e9e9 e8e

Incidence Vectors of Independent Sets Convex Hull Ax ≤ b A? b?b? Matroid M = (S, I ) v X ∈ {0,1} |S|, X ∈ I

Linear Programming Matroid Polytopes –Independent Set Polytope –Base Polytope Polymatroid Outline

Independent Set Polytope Convex Hull Ax ≤ b Matroid M = (S, I ) v X ∈ {0,1} |S|, X ∈ I x ∈ Real |S|

Independent Set Polytope v X ∈ {0,1} |S|, X ∈ I Matroid M = (S, I ) x ∈ Real |S| x s ≥ 0, for all s ∈ S ∑ s ∈ U x s ≤ r M (U), for all U ⊆ S Necessary conditions Why? Sufficient for integral xProof?

Independent Set Polytope v X ∈ {0,1} |S|, X ∈ I Matroid M = (S, I ) x ∈ Real |S| x s ≥ 0, for all s ∈ S ∑ s ∈ U x s ≤ r M (U), for all U ⊆ S Necessary conditions Why? Sufficient for all xLectures slides for proof

Linear Programming Matroid Polytopes –Independent Set Polytope –Base Polytope Polymatroid Outline

Base Polytope Convex Hull Ax ≤ b Matroid M = (S, I ) v X ∈ {0,1} |S|, X ∈ B x ∈ Real |S|

Base Polytope v X ∈ {0,1} |S|, X ∈ B Matroid M = (S, I ) x ∈ Real |S| x s ≥ 0, for all s ∈ S ∑ s ∈ U x s ≤ r M (U), for all U ⊆ S ∑ s ∈ S x s = r M (S)

Linear Programming Matroid Polytopes Polymatroid Outline

Polymatroid Set S Real vector x of size |S|x1 Submodular function f P f = {x ≥ 0, x(U) ≤ f(U) for all U ⊆ S} EP f = {x(U) ≤ f(U) for all U ⊆ S} Polymatroid Extended Polymatroid

Linear Programming Matroid Polytopes Polymatroid –Tight Sets –Optimization Outline

Tight Sets Set SSubmodular function f EP f = {x(U) ≤ f(U) for all U ⊆ S} U is tight with respect to x ∈ EP f if x(U) = f(U) Tight sets are closed under union Tight sets are closed under intersection Proof?

Proof Sketch Let T and U be tight wrt x ∈ EP f ≥ x(T ∪ U) + x(T ∩ U) f(T) + f(U) ≥ f(T ∪ U) + f(T ∩ U) = x(T) + x(U) = f(T) + f(U) All inequalities must be equalities

Linear Programming Matroid Polytopes Polymatroid –Tight Sets –Optimization Outline

Primal Problem max w T x x ∈ EP f Assume f(null set) ≥ 0 Otherwise EP f is empty f(null set) can be set to 0Why? Decreasing f(null set) maintains submodularity

Primal Problem max w T x x ∈ EP f Assume w ≥ 0 Otherwise the optimal solution is infinityWhy?

Greedy Algorithm max w T x x ∈ EP f Order s 1,s 2,…,s n ∈ S such that w(s i ) ≥ w(s i+1 ) Define U i = {s 1,s 2,..,s i } x G i = f(U i ) – f(U i-1 ) x G ∈ EP f Proof?Hidden slides

Proof Sketch We have to show that x G (T) ≤ f(T) for all T ⊆ S Trivial when T = null set Mathematical induction on |T|

Proof Sketch Let k be the largest index such that s k ∈ T Clearly |T| ≤ |U k | x G (T) = x G (T\{s k }) + x G k = f(T\{s k }) + f(U k ) - f(U k-1 ) ≤ f(T) ≤ f(T\{s k }) + x G k Why? Induction Why? Submodularity Definition

Greedy Algorithm max w T x x ∈ EP f Order s 1,s 2,…,s n ∈ S such that w(s i ) ≥ w(s i+1 ) Define U i = {s 1,s 2,..,s i } x G i = f(U i ) – f(U i-1 ) x G is optimalProof?Hidden slides

Dual Problem max w T x x ∈ EP f min ∑ T y T f(T) y T ≥ 0, for all T ⊆ S ∑ T y T v T = w Let us first try to find a feasible dual solution

Greedy Algorithm Order s 1,s 2,…,s n ∈ S such that w(s i ) ≥ w(s i+1 ) Define U i = {s 1,s 2,..,s i } y G U i = w(s i ) - w(s i+1 ) y G is feasible y G S = w(s n ) y G T = 0, for all other T Proof? Hidden slides

Proof Sketch Trivially, y G ≥ 0 Consider s i ∈ S ∑ T ∋ s i y G T = ∑ j≥i y G U j = w(s i ) ∑ T y T v T = w

Optimality Primal feasible solution x G Dual feasible solution y G Primal value at x G = Dual value at y G Proof?Hidden slides

Proof Sketch w T x G = ∑ s ∈ S w(s)x G s = ∑ i ∈ {1,2,…,n} w(s i )(f(U i ) - f(U i-1 )) = ∑ i ∈ {1,2,…,n-1} f(U i )(w(s i ) - w(s i+1 )) + f(S)w(s n ) = ∑ T y G T f(T)

Optimality Primal feasible solution x G Dual feasible solution y G Primal value at x G = Dual value at y G Therefore, x G is an optimal primal solution And, y G is an optimal dual solution