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.

Slides:



Advertisements
Similar presentations
The Primal-Dual Method: Steiner Forest TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AA A A AA A A A AA A A.
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.
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 16 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.
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 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:
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.
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 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.
The Most Important Concept in Optimization (minimization)  A point is said to be an optimal solution of a unconstrained minimization if there exists no.
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
Totally Unimodular Matrices Lecture 11: Feb 23 Simplex Algorithm Elliposid Algorithm.
Duality Lecture 10: Feb 9. Min-Max theorems In bipartite graph, Maximum matching = Minimum Vertex Cover In every graph, Maximum Flow = Minimum Cut Both.
Duality Dual problem Duality Theorem Complementary Slackness
Approximation Algorithms
Computational Methods for Management and Economics Carla Gomes
7(2) THE DUAL THEOREMS Primal ProblemDual Problem b is not assumed to be non-negative.
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 Mathematical Programming Fall 2010 Lecture 1 N. Harvey TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AA A 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.
Duality Theory 對偶理論.
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.
Introduction to Operations Research
Approximation Algorithms Department of Mathematics and Computer Science Drexel University.
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.
CS38 Introduction to Algorithms Lecture 16 May 22, CS38 Lecture 16.
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.
Linear Program Set Cover. Given a universe U of n elements, a collection of subsets of U, S = {S 1,…, S k }, and a cost function c: S → Q +. Find a minimum.
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.
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.
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.
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 Chapter 9. Interior Point Methods  Three major variants  Affine scaling algorithm - easy concept, good performance  Potential.
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.
Chap 10. Sensitivity Analysis
EMGT 6412/MATH 6665 Mathematical Programming Spring 2016
Chap 9. General LP problems: Duality and Infeasibility
Analysis of Algorithms
Chapter 4. Duality Theory
Linear Programming and Approximation
Lecture 4 Part I Mohamed A. M. A..
Chapter 5. The Duality Theorem
Flow Feasibility Problems
Presentation transcript:

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 A A A A A A

Review of our Theorems Fundamental Theorem of LP: Every LP is either Infeasible, Unbounded, or has an Optimal Solution. – Not Yet Proven! Weak Duality Theorem: If x feasible for primal and y feasible for dual then c T x · b T y. Strong LP Duality Theorem: 9 x optimal for primal ) 9 y optimal for dual. Furthermore, c T x=b T y. Since the dual of the dual is the primal, we also get: 9 y optimal for dual ) 9 x optimal for primal. Primal LP:Dual LP:

Variant of Strong Duality Fundamental Theorem of LP: Every LP is either Infeasible, Unbounded, or has an Optimal Solution. Variant of Strong LP Duality Theorem: If primal is feasible and dual is feasible, then 9 x optimal for primal and 9 y optimal for dual. Furthermore, c T x=b T y. Proof: Since primal and dual are both feasible, primal cannot be unbounded. (by Weak Duality) By FTLP, primal has an optimal solution x. By Strong Duality, dual has optimal solution y and c T x=b T y. ¥ Primal LP:Dual LP:

Proof of Variant from Farkas’ Lemma Theorem: If primal is feasible and dual is feasible, then 9 x optimal for primal and 9 y optimal for dual. Furthermore, c T x=b T y. Primal LP: Dual LP: Existence of optimal solutions is equivalent to solvability of { A x · b, A T y = c, y ¸ 0, c T x ¸ b T y } We can write this as: Suppose this is unsolvable. Farkas’ Lemma: If Mp · d has no solution, then 9 q ¸ 0 such that q T M=0 and q T d < 0.

So if this is unsolvable, then there exists [ u, v 1, v 2, w, ® ] ¸ 0 s.t. [ u, v 1, v 2, w, ® ] M = 0 [ u, v 1, v 2, w, ® ] [ b, c, -c, 0, 0 ] T < 0 Equivalently, let v = v 2 -v 1. Then 9 u ¸ 0, w ¸ 0, ® ¸ 0 such that u T A - ® c T = 0 -v T A T - w T + ® b T = 0 u T b - v T c < 0 Equivalently, 9 u ¸ 0, ® ¸ 0 such that A T u = ® c A v · ® b b T u < c T v Note: ® 2 R

We’ve shown: if primal & dual have no optimal solutions, then 9 u ¸ 0, ® ¸ 0 such that A T u = ® c, Av · ® b, b T u < c T v. Case 1: ® >0. WLOG, ® =1. (Just rescale u, v and ®.) Then Av · b ) v feasible for primal. A T u = c, u ¸ 0 ) u is feasible for dual. b T u < c T v ) Weak Duality is violated. Contradiction! Case 2: ® =0. Let x be feasible for primal and y feasible for dual. Then u T b ¸ u T (Ax) = (u T A) x = 0 T x = 0 T y ¸ (v T A T ) y = v T (A T y) = v T c This contradicts b T u < c T v! So primal and dual must have optimal solutions. ¥ Primal LP: Dual LP: Since u ¸ 0 and Ax · bSince u T A = 0Since Av · 0 and y ¸ 0Since A T y=c

Theorem: (Variant of Strong Duality) If primal is feasible and dual is feasible, then 9 x optimal for primal and 9 y optimal for dual. Fundamental Theorem of LP: Every LP is either Infeasible, Unbounded, or has an Optimal Solution. Lemma: Primal feasible & Dual infeasible ) Primal unbounded. – You’ll solve this on Assignment 2. Proof of FTLP: If Primal is infeasible or unbounded, we’re done. So assume Primal is feasible but bounded. By Lemma, Dual must be feasible. By Theorem, Primal has an optimal solution. ¥ Primal LP: Dual LP:

Complementary Slackness Simple conditions showing when feasible primal & dual solutions are optimal. (Sometimes) Gives a way to construct dual optimal solution from primal optimal solution.

Duality: Geometric View We can “generate” a new constraint aligned with c by taking a conic combination (non-negative linear combination) of constraints tight at x. What if we use constraints not tight at x? x1x1 x2x2 x 1 + 6x 2 · 15 Objective Function c x -x 1 +x 2 · 1

Duality: Geometric View We can “generate” a new constraint aligned with c by taking a conic combination (non-negative linear combination) of constraints tight at x. What if we use constraints not tight at x? x1x1 x2x2 -x 1 +x 2 · 1 x 1 + 6x 2 · 15 Objective Function c x Doesn’t prove x is optimal!

Duality: Geometric View What if we use constraints not tight at x? This linear combination is a feasible dual solution, but not an optimal dual solution Complementary Slackness: To get an optimal dual solution, must only use constraints tight at x. x1x1 x2x2 -x 1 +x 2 · 1 x 1 + 6x 2 · 15 Objective Function c x Doesn’t prove x is optimal!

Weak Duality Primal LP Dual LP Theorem: “Weak Duality Theorem” If x feasible for Primal and y feasible for Dual then c T x · b T y. Proof: c T x = (A T y) T x = y T A x · y T b. ¥ Since y ¸ 0 and Ax · b

Weak Duality Primal LP Dual LP Corollary: If x and y both feasible and c T x=b T y then x and y are both optimal. Theorem: “Weak Duality Theorem” If x feasible for Primal and y feasible for Dual then c T x · b T y. Proof: When does equality hold here?

Weak Duality Primal LP Dual LP Theorem: “Weak Duality Theorem” If x feasible for Primal and y feasible for Dual then c T x · b T y. Proof: Equality holds for i th term if either y i =0 or When does equality hold here?

Weak Duality Primal LP Dual LP Theorem: “Weak Duality Theorem” If x feasible for Primal and y feasible for Dual then c T x · b T y. Proof: Theorem: “Complementary Slackness” Suppose x feasible for Primal, y feasible for dual, and for every i, either y i =0 or. Then x and y are both optimal. Proof: Equality holds here. ¥

General Complementary Slackness Conditions 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 j ¸ 0 x j · 0 x j unrestricted y i ¸ 0 y i · 0 y i unrestricted j th constraint: ¸ j th constraint: · j th constraint: = for all i, equality holds either for primal or dual for all j, equality holds either for primal or dual Let x be feasible for primal and y be feasible for dual. and, x and y are both optimal

Example Primal LP Challenge: – What is the dual? – What are CS conditions? Claim: Optimal primal solution is x=(3,0,5/3). Can you prove it?

Example CS conditions: – Either x 1 +2x 2 +3x 3 =8or y 2 =0 – Either 4x 2 +5x 3 =2or y 3 =0 – Either y 1 +2y+2+4y 3 =6or x 2 =0 – Either 3y 2 +5y 3 =-1or x 3 =0 x=(3,0,5/3) ) y must satisfy: y 1 +y 2 =5y 3 =0y 2 +5y 3 =-1 ) y = (16/3, -1/3, 0) Since y is feasible for the dual, y and x are both optimal. If y were not feasible, then x would not be optimal. Primal LP Dual LP

Complementary Slackness Summary Gives “optimality conditions” that must be satisfied by optimal primal and dual solutions (Sometimes) gives useful way to compute optimum dual from optimum primal Extremely useful in “primal-dual algorithms”. Much more of this in – C&O 351: Network Flows – C&O 450/650: Combinatorial Optimization – C&O 754: Approximation Algorithms