C&O 355 Lecture 3 N. Harvey Review of Lecture 2:

Slides:



Advertisements
Similar presentations
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.
Advertisements

C&O 355 Lecture 6 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 6 N. Harvey TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AA A A.
Incremental Linear Programming Linear programming involves finding a solution to the constraints, one that maximizes the given linear function of variables.
C&O 355 Mathematical Programming Fall 2010 Lecture 9
C&O 355 Lecture 5 N. Harvey TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: A A.
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.
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 Mathematical Programming Fall 2010 Lecture 15 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?
Linear Programming Fundamentals Convexity Definition: Line segment joining any 2 pts lies inside shape convex NOT convex.
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.
CS38 Introduction to Algorithms Lecture 15 May 20, CS38 Lecture 15.
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 4 N. Harvey TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: A A A.
Simplex method (algebraic interpretation)
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.
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.
TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AA A A A A A A A A Image:
The Simplex Algorithm 虞台文 大同大學資工所 智慧型多媒體研究室. Content Basic Feasible Solutions The Geometry of Linear Programs Moving From Bfs to Bfs Organization of a.
OR Backgrounds-Convexity  Def: line segment joining two points is the collection of points.
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.
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.
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.
OR Simplex method (algebraic interpretation) Add slack variables( 여유변수 ) to each constraint to convert them to equations. (We may refer it as.
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.
Linear Programming: Formulations, Geometry and Simplex Method Yi Zhang January 21 th, 2010.
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.
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.
Submodularity Reading Group Matroid Polytopes, Polymatroid M. Pawan Kumar
1 Chapter 4 Geometry of Linear Programming  There are strong relationships between the geometrical and algebraic features of LP problems  Convenient.
Discrete Optimization
EMGT 6412/MATH 6665 Mathematical Programming Spring 2016
Chap 10. Sensitivity Analysis
Topics in Algorithms Lap Chi Lau.
Proving that a Valid Inequality is Facet-defining
Additive Combinatorics and its Applications in Theoretical CS
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.
The Simplex Method.
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.
Solving Linear Programming Problems: Asst. Prof. Dr. Nergiz Kasımbeyli
Chapter 4. Duality Theory
Chapter 8. General LP Problems
System of Linear Inequalities
Enumerating All Nash Equilibria for Two-person Extensive Games
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.
I.4 Polyhedral Theory.
Proving that a Valid Inequality is Facet-defining
Chapter 8. General LP Problems
Part 3. Linear Programming
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.
Simplex method (algebraic interpretation)
Chapter 8. General LP Problems
Chapter 2. Simplex method
Presentation transcript:

N. Harvey http://www.math.uwaterloo.ca/~harvey/ C&O 355 Lecture 3 N. Harvey http://www.math.uwaterloo.ca/~harvey/ Review of Lecture 2: TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AAAAAAAAAA

Outline Review Local-Search Algorithm Pitfall #1: Defining corner points Polyhedra that don’t contain a line have corner points Pitfall #2: No corner points? Equational form of LPs

Local-Search Algorithm: Pitfalls & Details Let x be any corner point For each corner point y that is a neighbor of x If cTy>cTx then set x=y Halt

Local-Search Algorithm: Pitfalls & Details Let x be any corner point For each corner point y that is a neighbor of x If cTy>cTx then set x=y Halt What is a corner point? What if there are no corner points? What are the “neighboring” corner points? How to choose a neighboring point? How can I find a starting corner point? Does the algorithm terminate? Does it produce the right answer?

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

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

Pitfall #1: 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” x z (infeasible) y Textbook p55

Pitfall #1: What is a corner point? Attempt #3: “x lies on the boundary of many constraints” Note: This discussion differs from textbook 4x1 - x2 · 10 x1 + 6x2 · 15 x x lies on boundary of two constraints

Pitfall #1: What is a corner point? Attempt #3: “x lies on the boundary of many constraints” Note: This discussion differs from textbook What if I introduce redundant constraints? Not the right condition x1 + 6x2 · 15 2x1 + 12x2 · 30 y also lies on boundary of two constraints y

Pitfall #1: What is a corner point? Revised Attempt #3: “x lies on the boundary of many linearly independent constraints” Feasible region: P = { x : aiTx·bi 8 i } ½ Rn Let Ix={ i : aiTx=bi } and Ax={ ai : i2Ix }. (“Tight constraints”) x is a “basic feasible solution (BFS)” if rank Ax = n x1 + 6x2 · 15 4x1 - x2 · 10 2x1 + 12x2 · 30 x1 + 6x2 · 15 y x y’s constraints are linearly dependent x’s constraints are linearly independent

Lemma: Let P be a polyhedron. The following are equivalent. x is a vertex x is an extreme point x is a basic feasible solution (BFS)

< cT x (since x is unique optimizer) Lemma: Let P be a polyhedron. The following are equivalent. x is a vertex x is an extreme point x is a basic feasible solution (BFS) Proof of (i))(ii): x is a vertex ) 9 c s.t. x is unique maximizer of cTx over P Suppose x = ®y + (1-®)z where y,z2P and ®2(0,1). Suppose yx. Then cTx = ® cTy + (1-®) cTz ) cTx < ® cTx + (1-®) cTx = cT x Contradiction! So y=x. Symmetrically, z=x. So x is an extreme point of P. ¥ < cT x (since x is unique optimizer) · cT x (since cTx is optimal value)

Lemma: Let P={ x : aiTx·bi 8i }½Rn. The following are equivalent. x is a vertex x is an extreme point x is a basic feasible solution (BFS) Proof Idea of (ii))(iii): x not a BFS ) rank Ax · n-1 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 x

Lemma: Let P={ x : aiTx·bi 8i }½Rn. The following are equivalent. x is a vertex x is an extreme point x is a basic feasible solution (BFS) Proof of (ii))(iii): We’ll show contrapositive. x not a BFS ) rank Ax<n (Recall Ax = { ai : aiTx=bi }) Claim: 9w2Rn, w0, s.t. aiTw=0 8ai2Ax (w orthogonal to all of Ax) Proof: Let M be matrix whose rows are the ai’s in Ax. dim row-space(M) + dim null-space(M) = n But dim row-space(M)<n ) 9w0 in the null space. ¤ The fact used in the claim is sometimes called “The Fundamental Theorem of Linear Algebra”

Lemma: Let P={ x : aiTx·bi 8i }½Rn. The following are equivalent. x is a vertex x is an extreme point x is a basic feasible solution (BFS) Proof of (ii))(iii): We’ll show contrapositive. x not a BFS ) rank Ax<n (Recall Ax = { ai : aiTx=bi }) Claim: 9w2Rn, w0, s.t. aiTw=0 8ai2Ax (w orthogonal to all of Ax) Let y=x+²w and z=x-²w, where ²>0. Claim: If ² very small then y,z2P. Proof: First consider tight constraints at x. (i.e., those in Ix) aiTy = aiTx + ²aiTw = bi + 0 So y satisfies this constraint. Similarly for z. Next consider the loose constraints at x. (i.e., those not in Ix) bi - aiTy = bi - aiTx - ²aiTw So y satisfies these constraints. Similarly for z. ¤ So taking epsilon = min { (b_i – a_i^Tx) / a_i^T w : a_i^T w >0 } is enough. ¸ 0 Positive As small as we like

Lemma: Let P={ x : aiTx·bi 8i }½Rn. The following are equivalent. x is a vertex x is an extreme point x is a basic feasible solution (BFS) Proof of (ii))(iii): We’ll show contrapositive. x not a BFS ) rank Ax<n (Recall Ax = { ai : aiTx=bi }) Claim: 9w2Rn, w0, s.t. aiTw=0 8ai2Ax (w orthogonal to all of Ax) Let y=x+²w and z=x-²w, where ²>0. Claim: If ² very small then y,z2P. Then x=®y+(1-®)z, where y,z2P, y,zx, and ®=1/2. So x is not an extreme point. ¥

Lemma: Let P={ x : aiTx·bi 8i }½Rn. The following are equivalent. x is a vertex x is an extreme point x is a basic feasible solution (BFS) Proof of (iii))(i): Let x be a BFS ) rank Ax=n (Recall Ax = { ai : aiTx=bi }) Let c = §i2Ix ai. Claim: cTx = §i2Ix bi Proof: cTx = §i2Ix aiTx = §i2Ix bi. ¤

Lemma: Let P={ x : aiTx·bi 8i }½Rn. The following are equivalent. x is a vertex x is an extreme point x is a basic feasible solution (BFS) Proof of (iii))(i): Let x be a BFS ) rank Ax=n (Recall Ax = { ai : aiTx=bi }) Let c = §i2Ix ai. Claim: cTx = §i2Ix bi Claim: x is an optimal point of max { cTx : x 2 P }. Proof: y2P ) aiTy · bi for all i ) cTy = §i2Ix aiTy ·§i2Ix bi = cTx. ¤ Claim: x is the unique optimal point of max { cTx : x 2 P }. Proof: If for any i2Ix we have aiTy<bi then cTy<cTx. So every optimal point y has aiTy=bi for all i2Ix. Since rank Ax=n, there is only one solution: y=x! ¤ If one of these is strict, then this is strict.

Lemma: Let P={ x : aiTx·bi 8i }½Rn. The following are equivalent. x is a vertex x is an extreme point x is a basic feasible solution (BFS) Proof of (iii))(i): Let x be a BFS ) rank Ax=n (Recall Ax = { ai : aiTx=bi }) Let c = §i2Ix ai. Claim: cTx = §i2Ix bi Claim: x is an optimal point of max { cTx : x 2 P }. Claim: x is the unique optimal point of max { cTx : x 2 P }. So x is a vertex. ¥

More on corner points Definition: A line is a set L={ r+¸s : ¸2R } where r,s2Rn and s0. Lemma: Let P={ x : aiTx·bi 8i }. Suppose P is non-empty and P does not contain any line. Then P has a corner point. Proof Idea: Pick any x2P. Suppose x not a BFS. 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. x y Assume epsilon>0. Let y(e) = x+e*w. y(e) is feasible if a_i*y(e)<=b_i  a_i*x+e*a_i*w<=b_i. If a_i*w<=0 then we can choose any e. If a_i*w>0, then need b_i-a_i*x >= e*a_i*w  e <= (b_i-a_i*x)/a_i*w. Let z(e) = x-e*w. z(e) is feasible if a_i*z(e)<=b_i  a_i*x -e*a_i*w<=b_i. If a_i*w>=0 then we can choose any e. If a_i*w<0, then need a_i*x - b_i <= e*a_i*w  e <= (a_i*x – b_i)/a_i*w.

Definition: A line is a set L={ r+¸s : ¸2R } where r,s2Rn and s0 Definition: A line is a set L={ r+¸s : ¸2R } where r,s2Rn and s0. Lemma: Let P={ x : aiTx·bi 8i }. Suppose P is non-empty and P does not contain any line. Then P has a corner point. Proof: Pick x2P. Suppose x not a BFS. Claim: 9w2Rn, w0, s.t. aiTw=0 8i2Ix (We saw this before) Let y(²)=x+²w. Note y(0)=x2P. Claim: 9² s.t. y(²)P. WLOG ²>0. (Otherwise P contains a line) Assume epsilon>0. Let y(e) = x+e*w. y(e) is feasible if a_i*y(e)<=b_i  a_i*x+e*a_i*w<=b_i. If a_i*w<=0 then we can choose any e. If a_i*w>0, then need b_i-a_i*x >= e*a_i*w  e <= (b_i-a_i*x)/a_i*w. Let z(e) = x-e*w. z(e) is feasible if a_i*z(e)<=b_i  a_i*x -e*a_i*w<=b_i. If a_i*w>=0 then we can choose any e. If a_i*w<0, then need a_i*x - b_i <= e*a_i*w  e <= (a_i*x – b_i)/a_i*w.

Lemma: Let P={ x : aiTx·bi 8i } Lemma: Let P={ x : aiTx·bi 8i }. Suppose P is non-empty and P does not contain any line. Then P has a corner point. Proof: Pick x2P. Suppose x not a BFS. Claim: 9w2Rn, w0, s.t. aiTw=0 8i2Ix (We saw this before) Let y(²)=x+²w. Note y(0)=x2P. Claim: 9² s.t. y(²)P. WLOG ²>0. So set ±=0 and gradually increase ±. What is largest ± s.t. x2P? y(±)2P , aiTy(±)·bi 8i , aiTx+±aiTw·bi 8i (Always satisfied if aiTw·0) , ± · (bi-aiTx)/aiTw 8i s.t. aiTw>0 Let h be the i that minimizes this. Then ±=(bh-ahTx)/ahTw. Claim: IxµIy(±). Proof: If i2Ix then aiTx=bi. But aiTw=0, so aiTy(±)=bi too. ¤ (Otherwise P contains a line) Assume epsilon>0. Let y(e) = x+e*w. y(e) is feasible if a_i*y(e)<=b_i  a_i*x+e*a_i*w<=b_i. If a_i*w<=0 then we can choose any e. If a_i*w>0, then need b_i-a_i*x >= e*a_i*w  e <= (b_i-a_i*x)/a_i*w. Let z(e) = x-e*w. z(e) is feasible if a_i*z(e)<=b_i  a_i*x -e*a_i*w<=b_i. If a_i*w>=0 then we can choose any e. If a_i*w<0, then need a_i*x - b_i <= e*a_i*w  e <= (a_i*x – b_i)/a_i*w.

Lemma: Let P={ x : aiTx·bi 8i } Lemma: Let P={ x : aiTx·bi 8i }. Suppose P is non-empty and P does not contain any line. Then P has a corner point. Proof: Pick x2P. Suppose x not a BFS. Claim: 9w2Rn, w0, s.t. aiTw=0 8i2Ix (We saw this before) Let y(²)=x+²w. Note y(0)=x2P. Claim: 9² s.t. y(²)P. WLOG ²>0. So set ±=0 and gradually increase ±. What is largest ± s.t. x2P? y(±)2P , aiTy(±)·bi 8i , aiTx+±aiTw·bi 8i (Always satisfied if aiTw·0) , ± · (bi-aiTx)/aiTw 8i s.t. aiTw>0 Let h be the i that minimizes this. Then ±=(bh-ahTx)/ahTw. Claim: IxµIy(±). Claim: h2Iy(±)nIx. (y(±) has at least one more tight constraint) Proof: By definition ahTw>0, so hIx. But ahTy(±) = ahTx+±ahTw = ahTx+((bh-ahTx)/ahTw)ahTw = bh ) h2Iy(±). ¤ (Otherwise P contains a line) Assume epsilon>0. Let y(e) = x+e*w. y(e) is feasible if a_i*y(e)<=b_i  a_i*x+e*a_i*w<=b_i. If a_i*w<=0 then we can choose any e. If a_i*w>0, then need b_i-a_i*x >= e*a_i*w  e <= (b_i-a_i*x)/a_i*w. Let z(e) = x-e*w. z(e) is feasible if a_i*z(e)<=b_i  a_i*x -e*a_i*w<=b_i. If a_i*w>=0 then we can choose any e. If a_i*w<0, then need a_i*x - b_i <= e*a_i*w  e <= (a_i*x – b_i)/a_i*w.

Lemma: Let P={ x : aiTx·bi 8i } Lemma: Let P={ x : aiTx·bi 8i }. Suppose P is non-empty and P does not contain any line. Then P has a corner point. Proof: Pick x2P. Suppose x not a BFS. Claim: 9w2Rn, w0, s.t. aiTw=0 8i2Ix (We saw this before) Let y(²)=x+²w. Note y(0)=x2P. Claim: 9² s.t. y(²)P. WLOG ²>0. So set ±=0 and gradually increase ±. What is largest ± s.t. x2P? y(±)2P , aiTy(±)·bi 8i , aiTx+±aiTw·bi 8i (Always satisfied if aiTw·0) , ± · (bi-aiTx)/aiTw 8i s.t. aiTw>0 Let h be the i that minimizes this. Then ±=(bh-ahTx)/ahTw. Claim: IxµIy(±). Claim: h2Iy(±)nIx. (y(±) has at least one more tight constraint) Claim: ahspan(Ax). Proof: ahTx<bh but ahTy(±)=bh ) 0  ahT( y(±)-x ) = ² ahTw. But, aiTw=0 8ai2Ax ) aiTw=0 8ai2span(Ax) ) ahspan(Ax). ¤ (Otherwise P contains a line) Assume epsilon>0. Let y(e) = x+e*w. y(e) is feasible if a_i*y(e)<=b_i  a_i*x+e*a_i*w<=b_i. If a_i*w<=0 then we can choose any e. If a_i*w>0, then need b_i-a_i*x >= e*a_i*w  e <= (b_i-a_i*x)/a_i*w. Let z(e) = x-e*w. z(e) is feasible if a_i*z(e)<=b_i  a_i*x -e*a_i*w<=b_i. If a_i*w>=0 then we can choose any e. If a_i*w<0, then need a_i*x - b_i <= e*a_i*w  e <= (a_i*x – b_i)/a_i*w.

Lemma: Let P={ x : aiTx·bi 8i } Lemma: Let P={ x : aiTx·bi 8i }. Suppose P is non-empty and P does not contain any line. Then P has a corner point. Proof: Pick x2P. Suppose x not a BFS. Claim: 9w2Rn, w0, s.t. aiTw=0 8i2Ix (We saw this before) Let y(²)=x+²w. Note y(0)=x2P. Claim: 9² s.t. y(²)P. WLOG ²>0. So set ±=0 and gradually increase ±. What is largest ± s.t. x2P? y(±)2P , aiTy(±)·bi 8i , aiTx+±aiTw·bi 8i (Always satisfied if aiTw·0) , ± · (bi-aiTx)/aiTw 8i s.t. aiTw>0 Let h be the i that minimizes this. Then ±=(bh-ahTx)/ahTw. Claim: IxµIy(±). Claim: h2Iy(±)nIx. (y(±) has at least one more tight constraint) Claim: ahspan(Ax). So rank Ay(±) > rank Ax. Repeat this argument with y(±) instead of x. Eventually find z with rank Az =n ) z is a BFS. ¥ (Otherwise P contains a line) Assume epsilon>0. Let y(e) = x+e*w. y(e) is feasible if a_i*y(e)<=b_i  a_i*x+e*a_i*w<=b_i. If a_i*w<=0 then we can choose any e. If a_i*w>0, then need b_i-a_i*x >= e*a_i*w  e <= (b_i-a_i*x)/a_i*w. Let z(e) = x-e*w. z(e) is feasible if a_i*z(e)<=b_i  a_i*x -e*a_i*w<=b_i. If a_i*w>=0 then we can choose any e. If a_i*w<0, then need a_i*x - b_i <= e*a_i*w  e <= (a_i*x – b_i)/a_i*w.

Local-Search Algorithm: Pitfalls & Details Let x be any corner point For each corner point y that is a neighbor of x If cTy>cTx then set x=y Halt What is a corner point? What if there are no corner points? What are the “neighboring” corner points? What if there are no neighboring corner points? How can I find a starting corner point? Does the algorithm terminate? Does it produce the right answer? So now we know what a corner point is. It is an extreme point, a vertex, and a BFS. These are all synonyms.

Pitfall #2: No corner points? x1 x2 x2 - x1 ¸ 1 x1 + 6x2 · 15 4x1 - x2 ¸ 10 (0,0) x1¸0 x2¸0 This is possible Case 1: LP infeasible Case 2: Not enough constraints This is unavoidable. Algorithm must detect this case. x1 x2 x2 · 2 x2 ¸ 0 A Fix! We avoid this case by manipulating the LP a bit…

Converting to Equational Form x1 x2 x2 - x1 · 1 x1 + 6x2 · 15 4x1 - x2 · 10 (0,0) x1¸0 x2¸0 (3,2) General form of an LP “Intersection of finitely many half-spaces” Another form of an LP “Intersection of an affine space with the non-negative orthant” x2 Solutions of Ax=b Textbook Section 4.1 Feasible region x1 x3

Converting to Equational Form General form of an LP Another form of an LP Claim: These two forms of LPs are equivalent. “Inequality form” or “Canonical form” “Equational form” or “Standard form” Textbook Section 4.1