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

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 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 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.
Solving LP Models Improving Search Special Form of Improving Search
Lecture #3; Based on slides by Yinyu Ye
Linear Programming (LP) (Chap.29)
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
OR Simplex method (algebraic interpretation) Add slack variables( 여유변수 ) to each constraint to convert them to equations. (We may refer it as.
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.
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.
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.
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.
Design and Analysis of Algorithms
CSC5160 Topics in Algorithms Tutorial 1 Jan Jerry Le
Job Scheduling Lecture 19: March 19. Job Scheduling: Unrelated Multiple Machines There are n jobs, each job has: a processing time p(i,j) (the time to.
ISM 206 Lecture 3 The Simplex Method. Announcements Homework due 6pm Thursday Thursday 6pm lecture.
ENGG2013 Unit 5 Linear Combination & Linear Independence Jan, 2011.
ISM 206 Lecture 3 The Simplex Method. Announcements.
MIT and James Orlin © Chapter 3. The simplex algorithm Putting Linear Programs into standard form Introduction to Simplex Algorithm.
INDR 262 INTRODUCTION TO OPTIMIZATION METHODS LINEAR ALGEBRA INDR 262 Metin Türkay 1.
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.
Chapter 3 Linear Programming Methods 高等作業研究 高等作業研究 ( 一 ) Chapter 3 Linear Programming Methods (II)
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.
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)
Chapter 3. Pitfalls Initialization Ambiguity in an iteration
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.
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.
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.
OR Chapter 7. The Revised Simplex Method  Recall Theorem 3.1, same basis  same dictionary Entire dictionary can be constructed as long as we.
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.
OR  Now, we look for other basic feasible solutions which gives better objective values than the current solution. Such solutions can be examined.
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.
Foundations-1 The Theory of the Simplex Method. Foundations-2 The Essence Simplex method is an algebraic procedure However, its underlying concepts are.
Chapter 4 The Simplex Algorithm and Goal Programming
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
Chap 10. Sensitivity Analysis
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.
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 8. General LP Problems
Chapter 5. The Duality Theorem
CS5321 Numerical Optimization
C&O 355 Lecture 3 N. Harvey Review of Lecture 2:
Chapter 8. General LP Problems
Chapter 2. Simplex method
Simplex method (algebraic interpretation)
Chapter 8. General LP Problems
Chapter 2. Simplex method
Chapter 3. Pitfalls Initialization Ambiguity in an iteration
Presentation transcript:

C&O 355 Lecture 4 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

Outline Equational form of LPs Basic Feasible Solutions for Equational form LPs Bases and Feasible Bases Brute-Force Algorithm Neighboring Bases

Local-Search Algorithm: Pitfalls & Details 1.What is a corner point? 2.What if there are no corner points? 3.What are the “neighboring” corner points? 4.What if there are no neighboring corner points? 5.How can I find a starting corner point? 6.Does the algorithm terminate? 7.Does it produce the right answer? Algorithm Let x be any corner point For each corner point y that is a neighbor of x If c T y>c T x then set x=y Halt

Pitfall #2: No corner points? This is possible – Case 1: LP infeasible – Case 2: Not enough constraints x1x1 x2x2 x 2 · 2 x 2 ¸ 0 This is unavoidable. Algorithm must detect this case. A Fix! We avoid this case by using equational form. x1x1 x2x2 x 2 - x 1 ¸ 1 x 1 + 6x 2 · 15 4x 1 - x 2 ¸ 10 (0,0) x1¸0x1¸0 x2¸0x2¸0

Converting to Equational Form “Inequality form” “Equational form” Claim: These two forms of LPs are equivalent. x1x1 x2x2 x 2 - x 1 · 1 x 1 + 6x 2 · 15 4x 1 - x 2 · 10 (0,0) x1¸0x1¸0 x2¸0x2¸0 (3,2) x1x1 x2x2 Solutions of Ax=b Feasible region x3x3 A · x b A = x b Tall, skinny A Short, fat A

Easy: Just use “Simple LP Manipulations” from Lecture 2 Trick 1: “ ¸ ” instead of “ · ” Trick 2: “=” instead of “ · ” This shows P={ x : Ax=b, x ¸ 0 } is a polyhedron. “Inequality form”“Equational form” 

Trick 1: x 2 R can be written x=y-z where y,z ¸ 0 So Trick 2: For u,v 2 R, u · v, 9 w ¸ 0 s.t. u+w=v So Rewrite it: Then “Inequality form”“Equational form” ´ ´ ´  “slack variable” This is already in equational form!

Pitfall #2: No corner points? Lemma: Consider the polyhedron P = { Ax=b, x ¸ 0 }. If P is non-empty, it has at least one corner point. Proof: Claim: P contains no line. Proof: Let L={ r+ ¸ s : ¸ 2 R } be a line, where r,s 2 R n and s  0. WLOG s i  0. Let x=r+ ¸ s, where ¸ =-r i /s i -1. Then x i = r i +(-r i /s i -1)s i = -s i < 0 ) x  P. ¤ Lemma from Lecture 3: “Any non-empty polyhedron containing no line must have a corner point.” So P has a corner point. ¥

Local-Search Algorithm: Pitfalls & Details 1.What is a corner point? 2.What if there are no corner points? 3.What are the “neighboring” corner points? 4.What if there are no neighboring corner points? 5.How can I find a starting corner point? 6.Does the algorithm terminate? 7.Does it produce the right answer? Algorithm Let x be any corner point For each corner point y that is a neighbor of x If c T y>c T x then set x=y Halt Let’s revisit #1

BFS for Equational Form LPs Recall definition: x 2 P is a BFS, rank A x = n “x has n linearly indep. tight constraints” Equational form LPs have another formulation of BFS Let P = { x : Ax=b, x ¸ 0 } µ R n, where A has size m x n (Assume rank A=m, i.e., no redundant constraints) Notation: For B µ {1,…,n} define A B = submatrix of A containing columns indexed by B Lemma: Fix x 2 P. x is a BFS, 9 B µ {1,…,n} with |B|=m s.t. A B has full rank x i = 0 8 i  B

Useful Linear Algebra Trick Lemma: Let, where W and Y square. Then det M = det W ¢ det Y. Corollary: M non-singular, W, Y both non-singular. M = WX 0Y

Let P = { x : Ax=b, x ¸ 0 }. Assume rank A=m. Fix x 2 P. Lemma: x is a BFS, 9 B µ {1,…,n} with |B|=m s.t. A B has full rank x i = 0 8 i  B Proof: ( direction. WLOG B={1,…,m}. x satisfies the constraints: Ax = b x i = 0 8 i  B Using trick: Since A B and I are non-singular, M is non-singular. So x satisfies n constraints of P with equality, and these constraints are linearly independent. ) x is a BFS. ¥ ´ A 0I x = b 0 B B ABAB ABAB 0I m mn-m M

Let P = { x : Ax=b, x ¸ 0 }. Assume rank A=m. Fix x 2 P. Lemma: x is a BFS, 9 B µ {1,…,n} with |B|=m s.t. A B has full rank x i = 0 8 i  B Proof: ) direction. x a BFS ) rank A x =n The rows of A are linearly independent (m of them) Can augment rows of A to a basis, using only tight row-vectors (i.e., add n-m more tight rows, preserving linear independence) Let S = { i : constraint “-x i · 0” was added to basis }. So |S|=n-m. WLOG, S={m+1,…,n}. x · The constraints: The tight constraints: The tight row-vectors have rank n A -A -I b -b 0 Note x i =0 8 i 2 S. S S because Ax=b

Let P = { x : Ax=b, x ¸ 0 }. Assume rank A=m. Fix x 2 P. Lemma: x is a BFS, 9 B µ {1,…,n} with |B|=m s.t. A B has full rank x i = 0 8 i  B Proof: ) direction. x a BFS ) rank A x =n The rows of A are linearly indep. (m of them) Can augment rows of A to a basis, using only tight row-vectors (i.e., add n-m more tight rows, preserving linear independence) Let S = { i : constraint “-x i · 0” was added to basis }. So |S|=n-m. WLOG, S={m+1,…,n}. Rows are basis ) M non-sing. ) A S non-sing. Take B=S. ¥ S S A 0I ASAS ASAS 0I m mn-m M = Note x i =0 8 i 2 S. rows in our basis

Bases Let P = { x : Ax=b, x ¸ 0 }. Assume rank A=m. Fix x 2 P. Lemma: x is a BFS, 9 B µ {1,…,n} with |B|=m s.t. A B has full rank x i = 0 8 i  B Let’s use B to define a vector x. Set: x B = A B -1 bandx i =0 8 i  B If x ¸ 0, B is called a feasible basis. Above lemma can be restated: If x is a BFS, then there is (at least one) feasible basis that defines it If basis B defines x and x ¸ 0 then x is a BFS Restrict x to components in B B is called a “basis” Say this x is defined by B Note: Ax = b Is x ¸ 0? Maybe not…

Our definitions: B µ {1,…,n} is a basis if |B|=m and A B has full rank Basis B defines x if A B x B =b and x i =0 8 i  B Our Lemma: If x is a BFS, then there is (at least one) basisthat defines it If basis B defines x and x ¸ 0 then x is a BFS Corollary: P={ x : Ax=b, x ¸ 0 } has at most extreme points Gives simple algorithm for solving LP max { c T x : x 2 P } Brute-Force Algorithm z = - 1 For every B µ {1,…,n} with |B|=m If A B has full rank (B is a basis) Solve A B x B = b for x; set x B =0 If x ¸ 0 and c T x>z (x is a BFS) z = c T x Gives optimal value, assuming LP is not unbounded Two Observations 1)It is natural to iterate over bases instead of BFS 2)Multiple bases can define same BFS ) algorithm can revisit same x

Revised Algorithm Let B be a feasible basis (if none, infeasible) For each feasible basis B’ that is a neighbor of B Compute BFS y defined by B’ If c T y>c T x then set x=y Halt Revised Local-Search algorithm that gives bases a more prominent role than corner points This will help us define “neighbors”

1.What is a corner point? 2.What if there are no corner points? 3.What are the “neighboring” corner points? 4.What if there are no neighboring corner points? 5.How can I find a starting corner point? 6.Does the algorithm terminate? 7.Does it produce the right answer? Local-Search Algorithm Let B be a feasible basis (if none, infeasible) For each feasible basis B’ that is a neighbor of B Compute BFS y defined by B’ If c T y>c T x then set x=y Halt

Neighboring Bases Notation: A k = k th column of A Suppose we have a feasible basis B (|B|=m, A B full rank) – It defines BFS x where x B = A B -1 b and x B = 0 Can we find a basis “similar” to B but containing some k  B? …next time…