How should we define corner points? Under any reasonable definition, point x should be considered a corner point x What is a corner point?

Slides:



Advertisements
Similar presentations
Introduction to Algorithms 6.046J/18.401J/SMA5503
Advertisements

C&O 355 Lecture 6 N. Harvey TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: A A.
Incremental Linear Programming Linear programming involves finding a solution to the constraints, one that maximizes the given linear function of variables.
Lecture #3; Based on slides by Yinyu Ye
Approximation Algorithms Chapter 14: Rounding Applied to Set Cover.
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.
Dragan Jovicic Harvinder Singh
Theory of Computing Lecture 14 MAS 714 Hartmut Klauck.
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 20 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 21 N. Harvey TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AA 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.
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.
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.
Design and Analysis of Algorithms
Sandia is a multiprogram laboratory operated by Sandia Corporation, a Lockheed Martin Company, for the United States Department of Energy under contract.
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.
Decision Procedures An Algorithmic Point of View
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.
STUDY OF THE HIRSCH CONJECTURE BASED ON “A QUASI-POLYNOMIAL BOUND FOR THE DIAMETER OF GRAPHS OF POLYHEDRA” Instructor: Dr. Deza Presenter: Erik Wang Nov/2013.
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.
Linear Programming System of Linear Inequalities  The solution set of LP is described by Ax  b. Gauss showed how to solve a system of linear.
UNC Chapel Hill M. C. Lin Linear Programming Reading: Chapter 4 of the Textbook Driving Applications –Casting/Metal Molding –Collision Detection Randomized.
Pareto Linear Programming The Problem: P-opt Cx s.t Ax ≤ b x ≥ 0 where C is a kxn matrix so that Cx = (c (1) x, c (2) x,..., c (k) x) where c.
The Simplex Algorithm 虞台文 大同大學資工所 智慧型多媒體研究室. Content Basic Feasible Solutions The Geometry of Linear Programs Moving From Bfs to Bfs Organization of a.
§1.4 Algorithms and complexity For a given (optimization) problem, Questions: 1)how hard is the problem. 2)does there exist an efficient solution algorithm?
Chapter 3 Linear Programming Methods
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.
X y x-y · 4 -y-2x · 5 -3x+y · 6 x+y · 3 Given x, for what values of y is (x,y) feasible? Need: y · 3x+6, y · -x+3, y ¸ -2x-5, and y ¸ x-4 Consider the.
Implicit Hitting Set Problems Richard M. Karp Erick Moreno Centeno DIMACS 20 th Anniversary.
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.
OR Chapter 8. General LP Problems Converting other forms to general LP problem : min c’x  - max (-c)’x   = by adding a nonnegative slack variable.
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.
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.
Proving that a Valid Inequality is Facet-defining  Ref: W, p  X  Z + n. For simplicity, assume conv(X) bounded and full-dimensional. Consider.
Linear Programming: Formulations, Geometry and Simplex Method Yi Zhang January 21 th, 2010.
Linear Programming Back to Cone  Motivation: From the proof of Affine Minkowski, we can see that if we know generators of a polyhedral cone, they.
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.
Common Intersection of Half-Planes in R 2 2 PROBLEM (Common Intersection of half- planes in R 2 ) Given n half-planes H 1, H 2,..., H n in R 2 compute.
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.
Approximation Algorithms based on linear programming.
Computational Geometry
1 Chapter 4 Geometry of Linear Programming  There are strong relationships between the geometrical and algebraic features of LP problems  Convenient.
EMGT 6412/MATH 6665 Mathematical Programming Spring 2016
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 6. Large Scale Optimization
Chap 3. The simplex method
Chapter 3 The Simplex Method and Sensitivity Analysis
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.
Max Z = x1 + x2 2 x1 + 3 x2  6 (1) x2  1.5 (2) x1 - x2  2 (3)
Affine Spaces Def: Suppose
I.4 Polyhedral Theory (NW)
Back to Cone Motivation: From the proof of Affine Minkowski, we can see that if we know generators of a polyhedral cone, they can be used to describe.
C&O 355 Lecture 3 N. Harvey Review of Lecture 2:
I.4 Polyhedral Theory.
Proving that a Valid Inequality is Facet-defining
Chapter 2. Simplex method
Graphical solution A Graphical Solution Procedure (LPs with 2 decision variables can be solved/viewed this way.) 1. Plot each constraint as an equation.
1.2 Guidelines for strong formulations
Chapter 6. Large Scale Optimization
Chapter 2. Simplex method
Presentation transcript:

How should we define corner points? Under any reasonable definition, point x should be considered a corner point x What is a corner point?

Attempt #1: “x is the ‘farthest point’ in some direction” Let P = { feasible region } There exists c 2R n s.t. c T x>c T y for all y 2 P n {x} “For some objective function, x is the unique optimal point when maximizing over P” Such a point x is called a “vertex” c x is unique optimal point What is a corner point?

Attempt #2: “There is no feasible line-segment that goes through x in both directions” Whenever x= ® y+(1- ® )z with y,z  x and ®2 (0,1), then either y or z must be infeasible. “If you write x as a convex combination of two feasible points y and z, the only possibility is x=y=z” Such a point x is called an “extreme point” y z (infeasible) x What is a corner point?

Attempt #3: “x lies on the boundary of many constraints” x lies on boundary of two constraints x 4x 1 - x 2 · 10 x 1 + 6x 2 · 15 What is a corner point?

Attempt #3: “x lies on the boundary of many constraints” What if I introduce redundant constraints? y also lies on boundary of two constraints y Not the right condition x 1 + 6x 2 · 15 2x x 2 · 30 What is a corner point?

Revised Attempt #3: “x lies on the boundary of many linearly independent constraints” Feasible region: P = { x : a i T x · b i 8 i } ½ R n Let I x ={ i : a i T x=b i } and A x ={ a i : i 2I x }. (“Tight constraints”) x is a “basic feasible solution (BFS)” if rank A x = n y x 1 + 6x 2 · 15 2x x 2 · 30 x y’s constraints are linearly dependent 4x 1 - x 2 · 10 x’s constraints are linearly independent x 1 + 6x 2 · 15 What is a corner point?

Proof of (i) ) (ii): x is a vertex ) 9 c s.t. x is unique maximizer of c T x over P Suppose x = ® y + (1- ® )z where y,z 2 P and ®2 (0,1). Suppose y  x. Then c T x = ® c T y + (1- ® ) c T z ) c T x < ® c T x + (1- ® ) c T x = c T x Contradiction! So y=x. Symmetrically, z=x. So x is an extreme point of P. ¥ · c T x (since c T x is optimal value) < c T x (since x is unique optimizer) Lemma: Let P be a polyhedron. The following are equivalent. i.x is a vertex (unique maximizer) ii.x is an extreme point (not convex combination of other points) iii.x is a basic feasible solution (BFS) (tight constraints have rank n)

Proof Idea of (ii) ) (iii): x not a BFS ) rank A x · n-1 Lemma: Let P={ x : a i T x · b i 8 i } ½R n. The following are equivalent. i.x is a vertex (unique maximizer) ii.x is an extreme point (not convex combination of other points) iii.x is a basic feasible solution (BFS) (tight constraints have rank n) x Each tight constraint removes one degree of freedom At least one degree of freedom remains So x can “wiggle” while staying on all the tight constraints Then x is a convex combination of two points obtained by “wiggling”. So x is not an extreme point. x+w x-w

Proof of (ii) ) (iii): x not a BFS ) rank A x <n (Recall A x = { a i : a i T x=b i }) Claim: 9 w 2R n, w  0, s.t. a i T w=0 8 a i 2A x (w orthogonal to all of A x ) Proof: Let M be matrix whose rows are the a i ’s in A x. dim row-space(M) + dim null-space(M) = n But dim row-space(M)<n ) 9 w  0 in the null space. ¤ Lemma: Let P={ x : a i T x · b i 8 i } ½R n. The following are equivalent. i.x is a vertex (unique maximizer) ii.x is an extreme point (not convex combination of other points) iii.x is a basic feasible solution (BFS) (tight constraints have rank n)

Proof of (ii) ) (iii): x not a BFS ) rank A x <n (Recall A x = { a i : a i T x=b i }) Claim: 9 w 2R n, w  0, s.t. a i T w=0 8 a i 2A x (w orthogonal to all of A x ) Let y=x+ ² w and z=x- ² w, where ² >0. Claim: If ² very small then y,z 2 P. Proof: First consider tight constraints at x. (i.e., those in I x ) a i T y = a i T x + ² a i T w = b i + 0 So y satisfies this constraint. Similarly for z. Next consider the loose constraints at x. (i.e., those not in I x ) b i - a i T y = b i - a i T x - ² a i T w So y satisfies these constraints. Similarly for z. ¤ Then x= ® y+(1- ® )z, where y,z 2 P, y,z  x, and ® =1/2. So x is not an extreme point. ¥ ¸ 0 PositiveAs small as we like Lemma: Let P={ x : a i T x · b i 8 i } ½R n. The following are equivalent. i.x is a vertex (unique maximizer) ii.x is an extreme point (not convex combination of other points) iii.x is a basic feasible solution (BFS) (tight constraints have rank n)

Proof of (iii) ) (i): Let x be a BFS ) rank A x =n (Recall A x = { a i : a i T x=b i }) Let c = § i 2I x a i. Claim: c T x = § i 2I x b i Proof: c T x = § i 2I x a i T x = § i 2I x b i. ¤ Claim: x is an optimal point of max { c T x : x 2 P }. Proof: y 2 P ) a i T y · b i for all i ) c T y = § i 2I x a i T y ·§ i 2I x b i = c T x. ¤ Claim: x is the unique optimal point of max { c T x : x 2 P }. Proof: If for any i 2I x we have a i T y<b i then c T y<c T x. So every optimal point y has a i T y=b i for all i 2I x. Since rank A x =n, there is only one solution: y=x! ¤ So x is a vertex. ¥ If one of these is strict, then this is strict. Lemma: Let P={ x : a i T x · b i 8 i } ½R n. The following are equivalent. i.x is a vertex (unique maximizer) ii.x is an extreme point (not convex combination of other points) iii.x is a basic feasible solution (BFS) (tight constraints have rank n)

Lemma: Let P={ x : a i T x · b i 8 i } ½R n. The following are equivalent. i.x is a vertex (unique maximizer) ii.x is an extreme point (not convex combination of other points) iii.x is a basic feasible solution (BFS) (tight constraints have rank n) Interesting Corollary Corollary: Any polyhedron has finitely many extreme points. Proof: Suppose the polyhedron is defined by m inequalities. Each extreme point is a BFS, so it corresponds to a choice of n linearly independent tight constraints. There are · ways to choose these tight constraints. ¥

Optimal solutions at extreme points Definition: A line is a set L={ r+ ¸ s : ¸2R } where r,s 2R n and s  0. Lemma: Let P={ x : a i T x · b i 8 i }. Suppose P does not contain any line. Suppose the LP max { c T x : x 2 P } has an optimal solution. Then some extreme point is an optimal solution. Proof Idea: Let x be optimal. Suppose x not a BFS. x At least one degree of freedom remains at x So x can “wiggle” while staying on all the tight constraints x cannot wiggle off to infinity in both directions because P contains no line So when x wiggles, it hits a constraint When it hits first constraint, it is still feasible. So we have found a point y which has a new tight constraint. Repeat until we get a BFS. y

Lemma: Let P={ x : a i T x · b i 8 i }. Suppose P does not contain any line. Suppose the LP max { c T x : x 2 P } has an optimal solution. Then some extreme point is an optimal solution. Proof: Let x be optimal, with maximal number of tight constraints. Suppose x not a BFS. Claim: 9 w 2R n, w  0, s.t. a i T w=0 8 i 2I x (We saw this before) Let y( ² )=x+ ² w. Suppose c T w = 0. Claim: 9± s.t. y( ± )  P. WLOG ± >0. (Otherwise P contains a line) Set ± =0 and gradually increase ±. What is largest ± s.t. y( ± ) 2 P? y( ± ) 2 P, a i T y( ± ) · b i 8 i, a i T x+ ± a i T w · b i 8 i (Always satisfied if a i T w · 0), ± · (b i -a i T x)/a i T w 8 i s.t. a i T w>0 Let h be the i that minimizes this. So ± =(b h -a h T x)/a h T w. y( ± ) is also optimal because c T y( ± ) = c T (x+ ± w) = c T x. But y( ± ) has one more tight constraint than x. Contradiction!

Lemma: Let P={ x : a i T x · b i 8 i }. Suppose P does not contain any line. Suppose the LP max { c T x : x 2 P } has an optimal solution. Then some extreme point is an optimal solution. Proof: Let x be optimal, with maximal number of tight constraints. Suppose x not a BFS. Claim: 9 w 2R n, w  0, s.t. a i T w=0 8 i 2I x (We saw this before) Let y( ² )=x+ ² w. Suppose c T w > 0. Claim: 9± >0 s.t. y( ± ) 2 P. (Same argument as before) But then c T y( ± ) = c T (x+ ± w) > c T x. This contradicts optimality of x. ¥

Lemma: Let P={ x : a i T x · b i 8 i }. Suppose P does not contain any line. Suppose the LP max { c T x : x 2 P } has an optimal solution. Then some extreme point is an optimal solution. Interesting Consequence A simple but finite algorithm for solving LPs Input: An LP max { c T x : x 2 P } where P={ x : a i T x · b i 8 i=1…m }. Caveat: We assume P contains no line, and the LP has an optimal solution. Output: An optimal solution. For every choice of n of the constraints If these constraints are linearly independent Find the unique point x for which these constraints are tight If x is feasible, add it to a list of all extreme points. End Output the extreme point that maximizes c T x

Dimension of Sets Def: An affine space A is a set A = { x+z : x 2 L }, where L is a linear space and z is any vector. The dimension of A is dim L. Let’s say dim ; = -1. Def: Let C µ R n be non-empty. The dimension of C is min { dim A : A is an affine space with C µ A }.

Faces Def: Let C µ R n be any convex set. An inequality “a T x · b” is called valid for C if a T x · b 8 x 2 C. Def: Let P µR n be a polyhedron. A face of P is a set F = P Å { x : a T x = b } where “a T x · b” is a valid inequality for P. Clearly every face of P is also a polyhedron. Claim: P is a face of P. Proof: Take a=0 and b=0. Claim: ; is a face of P. Proof: Take a=0 and b=1.

k-Faces Def: Let P µR n be a polyhedron. A face of P is a set F = P Å { x : a T x = b } where “a T x · b” is a valid inequality for P. Def: A face F with dim F = k is called a k-face. Suppose dim P = d – A (d-1)-face is called a facet. – A 1-face is called an edge. – A 0-face F has the form F = {v} where v 2 P. Claim: If F={v} is a 0-face then v is a vertex of P.

Def: Let P µR n be a polyhedron. A face of P is a set F = P Å { x : a T x = b } where “a T x · b” is a valid inequality for P. Def: A face F with dim F = k is called a k-face. 0-face (vertex) (d-1)-face (facet) 1-face (edge) Image: k-Faces

The Simplex Method “The obvious idea of moving along edges from one vertex of a convex polygon to the next” [Dantzig, 1963] Algorithm Let x be any vertex (we assume LP is feasible) For each edge containing x If moving along the edge increases the objective function If the edge is infinitely long, Halt: LP is unbounded Else Set x to be other vertex in the edge Restart loop Halt: x is optimal In practice, very efficient. In theory, very hard to analyze. How many edges must we traverse in the worst case?

For any polyhedron, and for any two vertices, are they connected by a path of few edges? The Hirsch Conjecture (1957) Let P = { x : Ax · b } where A has size m x n. Then any two vertices are connected by a path of · m-n edges. The Hirsch Conjecture Example: A cube. Dimension n=3. # constraints m=6. Connected by a length-3 path? Yes! Why is analyzing the simplex method hard?

For any polyhedron, and for any two vertices, are they connected by a path of few edges? The Hirsch Conjecture (1957) Let P = { x : Ax · b } where A has size m x n. Then any two vertices are connected by a path of · m-n edges. The Hirsch Conjecture We have no idea how to prove this. Disproved! There is a polytope with n=43, m=86, and two vertices with no path of length · 43 [Santos, 2010].Santos, 2010 Theorem: [Kalai-Kleitman 1992] There is always a path with · m log n+2 edges.