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

Slides:



Advertisements
Similar presentations
1 LP, extended maxflow, TRW OR: How to understand Vladimirs most recent work Ramin Zabih Cornell University.
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.
1 Outline relationship among topics secrets LP with upper bounds by Simplex method basic feasible solution (BFS) by Simplex method for bounded variables.
Duality for linear programming. Illustration of the notion Consider an enterprise producing r items: f k = demand for the item k =1,…, r using s components:
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 Lecture 5 N. Harvey TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: 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.
Geometry and Theory of LP Standard (Inequality) Primal Problem: Dual Problem:
Lecture #3; Based on slides by Yinyu Ye
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 Introduction to Linear Programming. 2 Copyright © The McGraw-Hill Companies, Inc. Permission required for reproduction or display. X1X2X3X4X1X2X3X4.
Dragan Jovicic Harvinder Singh
The Simplex Method and Linear Programming Duality Ashish Goel Department of Management Science and Engineering Stanford University Stanford, CA 94305,
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 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?
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.
CSCI 3160 Design and Analysis of Algorithms Tutorial 6 Fei Chen.
UMass Lowell Computer Science Analysis of Algorithms Prof. Karen Daniels Fall, 2006 Lecture 9 Wednesday, 11/15/06 Linear Programming.
Linear Programming and Approximation
Duality Lecture 10: Feb 9. Min-Max theorems In bipartite graph, Maximum matching = Minimum Vertex Cover In every graph, Maximum Flow = Minimum Cut Both.
Approximation Algorithms
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.
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.
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.
Duality Theory LI Xiaolei.
Approximation Algorithms Department of Mathematics and Computer Science Drexel University.
Linear Programming Data Structures and Algorithms A.G. Malamos References: Algorithms, 2006, S. Dasgupta, C. H. Papadimitriou, and U. V. Vazirani Introduction.
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:
Advanced Operations Research Models Instructor: Dr. A. Seifi Teaching Assistant: Golbarg Kazemi 1.
1 System Planning 2013 Lecture 7: Optimization Appendix A Contents: –General about optimization –Formulating optimization problems –Linear Programming.
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.
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.
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.
1 Introduction to Linear Programming. 2 Copyright © The McGraw-Hill Companies, Inc. Permission required for reproduction or display. X1X2X3X4X1X2X3X4.
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.
Approximation Algorithms Duality My T. UF.
Linear Programming Piyush Kumar Welcome to CIS5930.
Approximation Algorithms based on linear 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
The Duality Theorem Primal P: Maximize
Chap 10. Sensitivity Analysis
EMGT 6412/MATH 6665 Mathematical Programming Spring 2016
Chap 9. General LP problems: Duality and Infeasibility
Analysis of Algorithms
Linear Programming and Approximation
Chapter 8. General LP Problems
Chapter 5. The Duality Theorem
Lecture 20 Linear Program Duality
Linear Programming Problem
C&O 355 Lecture 3 N. Harvey Review of Lecture 2:
Chapter 8. General LP Problems
Chapter 8. General LP Problems
Presentation transcript:

C&O 355 Lecture 7 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 Finding a starting point Two small issues Duality – Geometric view – Algebraic view – Dual LP & Weak Duality – Primal vs Dual – Strong Duality Theorem – Certificates

1.What is a corner point? (BFS and bases) 2.What if there are no corner points? (Infeasible) 3.What are the “neighboring” bases? (Increase one coordinate) 4.What if no neighbors are strictly better? (Might move to a basis that isn’t strictly better (if ± =0), but whenever x changes it’s strictly better) 5.How can I find a starting feasible basis? 6.Does the algorithm terminate? (If Bland’s rule used) 7.Does it produce the right answer? (Yes) Local-Search Algorithm Let B be a feasible basis (If none, Halt: LP is infeasible) For each entering coordinate k  B If “benefit” of coordinate k is > 0 Compute y( ± ) (If ± = 1, Halt: LP is unbounded) Find leaving coordinate h 2 B (y( ± ) h =0) Set x=y( ± ) and B’=B n {h} [ {k} Halt: return x

Finding a starting point Consider LP max { c T x : x 2 P } where P={ x : Ax=b, x ¸ 0 } How can we find a feasible point? Trick: Just solve a different LP! – Note: c is irrelevant. We can introduce a new objective function – WLOG, b ¸ 0 (Can multiply constraints by -1) – Allow “Ax=b” constraint to be violated via “artificial variables”: Q = { (x,y) : Ax+y=b, x ¸ 0, y ¸ 0 } – Note: (x,0) 2 Q, x 2 P. Can we find such a point? – Solve the new LP min { § i y i : (x,y) 2 Q } – If the optimal value is 0, then x 2 P. If not, P is empty! – How do we find feasible point for the new LP? (x,y)=(0,b) is a trivial solution!

1.What is a corner point? (BFS and bases) 2.What if there are no corner points? (Infeasible) 3.What are the “neighboring” bases? (Increase one coordinate) 4.What if no neighbors are strictly better? (Might move to a basis that isn’t strictly better (if ± =0), but whenever x changes it’s strictly better) 5.How can I find a starting feasible basis? (Solve an easier LP) 6.Does the algorithm terminate? (If Bland’s rule used) 7.Does it produce the right answer? (Yes) Local-Search Algorithm Let B be a feasible basis (If none, Halt: LP is infeasible) For each entering coordinate k  B If “benefit” of coordinate k is > 0 Compute y( ± ) (If ± = 1, Halt: LP is unbounded) Find leaving coordinate h 2 B (y( ± ) h =0) Set x=y( ± ) and B’=B n {h} [ {k} Halt: return x

Two Small Issues Our discussion of equational form LPs assumed that A has full row rank – If A has contradictory constraints, LP is infeasible – If A has redundant constraints, delete them – See textbook p41 To start the algorithm, we need a BFS. Our trick found a feasible point, but maybe not a BFS. – Given any feasible point x, it is easy to find a BFS y with c T y ¸ c T x (unless LP is unbounded). Very similar to our argument that polyhedra containing no line have an extreme point. – See textbook p47-48

Duality “Another key visit took place in October 1947 at the Institute for Advanced Study (IAS) where Dantzig met with John von Neumann. Dantzig recalls, “I began by explaining the formulation of the linear programming model… I described it to him as I would to an ordinary mortal. ‘Get to the point,’ he snapped. In less than a minute, I slapped the geometric and algebraic versions of my problem on the blackboard. He stood up and said, ‘Oh that.’” Just a few years earlier von Neumann had co-authored his landmark monograph on game theory. Dantzig goes on, “for the next hour and a half he proceeded to give me a lecture on the mathematical theory of linear programs.” Dantzig credited von Neumann with edifying him on Farkas’ lemma and the duality theorem (of linear programming).” from

Duality: Geometric View If c=[-1,1] then c T x=-x 1 +x 2 · 1 x is feasible and constraint is tight ) x is optimal x1x1 x2x2 -x 1 +x 2 · 1 x 1 + 6x 2 · 15 Objective Function c

Duality: Geometric View If c=[1,6] then c T x=x 1 +6x 2 · 15 x is feasible and constraint is tight ) x is optimal x1x1 x2x2 -x 1 +x 2 · 1 x 1 + 6x 2 · 15 Objective Function c

Duality: Geometric View If c= ® ¢ [1,6] and ® >0 then c T x= ® ¢ ( x 1 +6x 2 ) · 15 ® x is feasible and constraint is tight ) x is optimal x1x1 x2x2 -x 1 +x 2 · 1 x 1 + 6x 2 · 15 Objective Function c

Duality: Geometric View What if c does not align with any constraint? Can we “generate” a new constraint aligned with c? x1x1 x2x2 -x 1 +x 2 · 1 x 1 + 6x 2 · 15 Objective Function c

Duality: Geometric View Can we “generate” a new constraint aligned with c? One way is to “average” the tight constraints Maybe u+v = c? Then c T x = (u+v) T x = (-x 1 +x 2 ) + (x 1 +6x 2 ) · = 16 x is feasible and both constraints tight ) x is optimal x1x1 x2x2 -x 1 +x 2 · 1 x 1 +6x 2 · 15 Objective Function c u=[-1,1] v=[1,6]

Duality: Geometric View Can we “generate” a new constraint aligned with c? One way is to “average” the tight constraints Maybe ® u+ ¯ v = c for ®, ¯ >0? Then c T x = ( ® u+ ¯ v) T x = ® (-x 1 +x 2 ) + ¯ (x 1 +6x 2 ) · ® +15 ¯ x is feasible and both constraints tight ) x is optimal x1x1 x2x2 -x 1 +x 2 · 1 x 1 +6x 2 · 15 Objective Function c u=[-1,1] v=[1,6]

Duality: Geometric View Can we “generate” a new constraint aligned with c? One way is to “average” the tight constraints Definition: cone(u,v)={ ® u+ ¯ v : ®, ¯ ¸ 0 } “cone generated by u & v” Conclusion: For any c in cone(u,v), x is optimal x1x1 x2x2 -x 1 +x 2 · 1 x 1 +6x 2 · 15 Objective Function c u=[-1,1] v=[1,6] x

x feasible ) a 1 T x · b 1 and a 2 T x · b 2 ) (a 1 +a 2 ) T x · b 1 +b 2 (new valid constraint) More generally, for any ¸ 1,…, ¸ m ¸ 0 x feasible ) ( § i ¸ i a i ) T x · § i ¸ i b i (new valid constraint) “Any non-negative linear combination of the constraints gives a new valid constraint” Definition: A new constraint a T x · b is valid if it is satisfied by all feasible points To get upper bound on objective function c T x, need ( § i ¸ i a i ) = c Want best upper bound ) want to minimize § i ¸ i b i Duality: Algebraic View

To get upper bound on objective function c T x, need ( § i ¸ i a i ) = c Want best upper bound ) want to minimize § i ¸ i b i We can write this as an LP too! Primal LP ´ Theorem: “Weak Duality Theorem” If x feasible for Primal and ¸ feasible for Dual then c T x · b T ¸. Proof: c T x = (A T ¸ ) T x = ¸ T A x · ¸ T b. ¥ Since ¸ ¸ 0 and Ax · b Dual LP

´ new variables (non-negative) transpose Dual LPInequality Form Dual of Dual ´ Let x = v-u w is a “slack variable” Primal Conclusion: “Dual of Dual is Primal!” Dual of Dual

Dual of Equality Form LP For any ¸ 2 R m, x feasible ) ¸ T Ax = ¸ T b (new valid constraint) “Any linear combination of the constraints gives a new valid constraint” Get upper bound on objective function c T x if ¸ T A ¸ c T Want best upper bound ) want to minimize ¸ T b Note! using x ¸ 0 Primal LP Dual LP Similar arguments show: “Weak Duality Theorem” If x feasible for Primal and ¸ feasible for Dual then c T x · b T ¸. “Dual of Dual is Primal”

Rules for Duals PrimalDual Objectivemax c T xmin b T y Variablesx 1, …, x n y 1,…, y m Constraint matrixAATAT Right-hand vectorbc Constraints versus Variables i th constraint: · i th constraint: ¸ i th constraint: = x i ¸ 0 x i · 0 x i unrestricted y i ¸ 0 y i · 0 y i unrestricted j th constraint: ¸ j th constraint: · j th constraint: = Note: Not symmetric Useful Mnemonic “Natural” bound on a variable is ¸ 0 “Natural” constraint for a maximization problem is · 0 “Natural” constraint for a minimization problem is ¸ 0 “Natural”

Example: Bipartite Matching (from Lecture 2) Given bipartite graph G=(V, E) Find a maximum size matching – A set M µ E s.t. every vertex has at most one incident edge in M But we don’t know how to solve IPs. Try an LP instead. (LP) Write an integer program (IP)

Example: Bipartite Matching (from Lecture 2) The LP formulation is: (Primal) Using “Rules for Duals”: (Dual)

Primal vs Dual Weak Duality Theorem: If x feasible for Primal and ¸ feasible for Dual then c T x · b T ¸. InfeasibleUnboundedOpt. Exists Infeasible Unbounded Opt. Exists Primal Dual Impossible Fundamental Theorem of LP: For any LP, the outcome is either: Infeasible, Unbounded, Optimum Point Exists. Possible Strong Duality Theorem: If Primal has an opt. solution x, then Dual has an opt. solution ¸. Furthermore, optimal values are same: c T x = b T ¸. Impossible Possible Exercise!

Strong Duality (for equational form LP) Suppose LP is not infeasible and not unbounded. Algorithm terminates with BFS x defined by basis B. Define:. Claim: ¸ feasible for Dual LP. Proof: alg terminates ) benefits vector. So ¸ feasible. ¤ Claim: c T x = b T ¸. Proof:. ¤ So x and ¸ are both optimal! ¥ Primal LP:Dual LP: since B defines x since x B = 0

Certificates For any LP, I can convince you that optimal value is… ¸ k: by giving a primal feasible x with obj. value ¸ k. · k: by giving a dual feasible ¸ with obj. value · k. Theorem: Such certificates always exists. (stated in Lecture 2) Proof: Immediate from strong duality theorem. ¥ Theorems like this are very strong and useful. Other famous examples: Konig / Hall’s Theorem (Graph theory) Max-flow Min-cut Theorem (Network flow theory) Hilbert’s Nullstellensatz (Algebraic geometry)