Presentation is loading. Please wait.

Presentation is loading. Please wait.

Polyhedral Optimization Lecture 1 – Part 2 M. Pawan Kumar Slides available online

Similar presentations


Presentation on theme: "Polyhedral Optimization Lecture 1 – Part 2 M. Pawan Kumar Slides available online"— Presentation transcript:

1 Polyhedral Optimization Lecture 1 – Part 2 M. Pawan Kumar pawan.kumar@ecp.fr Slides available online http://cvn.ecp.fr/personnel/pawan/

2 Computational Complexity Convex Sets and Functions Linear Programming Outline

3 f(n)  O(g(n)) There exists k > 0 and n 0 such that f(n) ≤ k g(n) for all n ≥ n 0 f(n) = 5n 2 + 3nlog(n) g(n) = n 2 f(n) = 5n 3 + 3nlog(n) g(n) = n 2 ✔✗

4 f(n)  Ω(g(n)) There exists k > 0 and n 0 such that f(n) ≥ k g(n) for all n ≥ n 0 f(n) = 5n 2 + 3nlog(n) g(n) = n 2 f(n) = 5n 3 + 3nlog(n) g(n) = n 2 ✔✔

5 f(n)  Θ(g(n)) There exists k 1 > 0, k 2 > 0 and n 0 such that k 1 g(n) ≤ f(n) ≤ k 2 g(n) for all n ≥ n 0 f(n) = 5n 2 + 3nlog(n) g(n) = n 2 ✔

6 Computational Complexity –Decision Problems (Answered by ‘yes’ or ‘no’) –P and NP –NP-Complete –NP-Hard –Combinatorial Optimization Problems Convex Sets and Functions Linear Programming Outline

7 Finite set Σ called alphabet of size ≥ 2 –{0,1} –{a,b,c,d,e,…,x,y,z} Set Σ* of all finite length strings (called words) –0, 1, 00, 01, 10, 11, 000,…. –discrete, optimization Size of word size(w) = number of letters –size(00) = 2 –size(discrete) = 8 Decision Problem

8 Problem Π is a subset of Σ* –All words with the answer “yes” Informal problem –Given input word x  Σ*, does x  Π ? Polynomial-time solvable problem Π –There exists a polynomial-time algorithm for the informal problem –Polynomial in size(x) Decision Problem

9 Minimum Sum Subset Given a set of ‘n’ real numbers S Is there a non-empty subset X ⊆ S such that ∑ x ∈ X x ≤ C

10 Minimum Sum Subset Real numbers  Σ {  Σ }  Σ,  Σ {1, 2, 3, 4, 5, 6, 7}, -5  Σ* ∉ Π∉ Π

11 Minimum Sum Subset Real numbers  Σ {  Σ }  Σ,  Σ {1, 2, 3, 4, 5, 6, 7}, 5  Σ*  Π Π

12 Subset Sum Given a set of ‘n’ real numbers S Is there a non-empty subset X ⊆ S such that ∑ x ∈ X x = 0

13 Subset Sum Real numbers  Σ {  Σ }  Σ,  Σ {1, 2, 3, 4, 5, 6, 7}  Σ* ∉ Π∉ Π

14 Subset Sum Real numbers  Σ {  Σ }  Σ,  Σ {1, 2, 3, 4, 5, 6, -7}  Σ*  Π Π

15 Shortest Path Given graph G and and a path P from u to v Is the path a shortest u-v path, which minimizes ∑ e ∈ P length(e)

16 Shortest Path v 0,v 1,v 2 … v n  Σ {  Σ 0,1,2, … N  Σ }  Σ,  Σ {v 0,v 1,v 2,v 3,v 4,v 5 }, {{v 0,v 1 },{v 0,v 3 },{v 1,v 2 },{v 2,v 3 },{v 2,v 4 },{v 3,v 4 }}, {3,5,5,4,6,1}, v1v1 v1v1 v0v0 v0v0 v2v2 v2v2 v3v3 v3v3 v4v4 v4v4 3 5 4 51 6 {v 0,v 3,v 4,v 2 }  Σ*

17 Shortest Path v 0,v 1,v 2 … v n  Σ {  Σ 0,1,2, … N  Σ }  Σ,  Σ {v 0,v 1,v 2,v 3,v 4,v 5 }, {{v 0,v 1 },{v 0,v 3 },{v 1,v 2 },{v 2,v 3 },{v 2,v 4 },{v 3,v 4 }}, {3,5,5,4,6,1}, v1v1 v1v1 v0v0 v0v0 v2v2 v2v2 v3v3 v3v3 v4v4 v4v4 3 5 4 51 6 {v 0,v 3,v 2 }  Σ*

18 Shortest Path v 0,v 1,v 2 … v n  Σ {  Σ 0,1,2, … N  Σ }  Σ,  Σ {v 0,v 1,v 2,v 3,v 4,v 5 }, {{v 0,v 1 },{v 0,v 3 },{v 1,v 2 },{v 2,v 3 },{v 2,v 4 },{v 3,v 4 }}, {3,5,5,4,6,1}, v1v1 v1v1 v0v0 v0v0 v2v2 v2v2 v3v3 v3v3 v4v4 v4v4 3 5 4 51 6 {v 0,v 1,v 2 }  Σ*

19 Shortest Path v 0,v 1,v 2 … v n  Σ {  Σ 0,1,2, … N  Σ }  Σ,  Σ {v 0,v 1,v 2,v 3,v 4,v 5 }, {{v 0,v 1 },{v 0,v 3 },{v 1,v 2 },{v 2,v 3 },{v 2,v 4 },{v 3,v 4 }}, {3,5,5,4,6,1}, v1v1 v1v1 v0v0 v0v0 v2v2 v2v2 v3v3 v3v3 v4v4 v4v4 3 5 4 51 6 {v 0,v 1,v 2 }  Π

20 Computational Complexity –Decision Problems –P and NP –NP-Complete –NP-Hard –Combinatorial Optimization Problems Convex Sets and Functions Linear Programming Outline

21 P Polynomial-time solvable problem Π –There exists a polynomial-time algorithm that decides whether x  Σ* belongs to Π or not. –Polynomial in size(x) P = {all Π, Π is polynomial time solvable} For example –Minimum Sum Subset Problem

22 NP NP is not “not polynomial” NP stands for non-deterministic polynomial Easy to verify “yes” words

23 NP Π  NP –There exists a problem Π’  P –There exists a polynomial p –There exists an x, size(x) ≤ p(size(w)) such that –w  Π if and only if wx  Π’ Polynomial-time checkable ‘certificate’ For example –Subset Sum Problem

24 NP Relationship between P and NP? P is a subset of NP Is P = NP? –Open Problem –One of Clay Institute’s Millennium Prize problems

25 If P = NP … If P=NP, then the world would be a profoundly different place than we usually assume it to be. There would be no special value in "creative leaps," no fundamental gap between solving a problem and recognizing the solution once it's found. Everyone who could appreciate a symphony would be Mozart; everyone who could follow a step-by-step argument would be Gauss; … Scott Aaronson

26 Computational Complexity –Decision Problems –P and NP –NP-Complete –NP-Hard –Combinatorial Optimization Problems Convex Sets and Functions Linear Programming Outline

27 NP-Complete Hardest problems in NP –All problems in NP can be reduced to an NP- complete problem Π is reducible to Λ –There exists a polynomial time algorithm –Given w, returns x –w  Π if and only if x  Λ If Λ  P then Π  P

28 NP-Complete Hardest problems in NP –All problems in NP can be reduced to an NP- complete problem Π is reducible to Λ –There exists a polynomial time algorithm –Given w, returns x –w  Π if and only if x  Λ If Λ  NP then Π  NP

29 NP-Complete Hardest problems in NP –All problems in NP can be reduced to an NP- complete problem Π is reducible to Λ –There exists a polynomial time algorithm –Given w, returns x –w  Π if and only if x  Λ If Λ  NP-complete and Λ  P, then P = NP

30 NP-Complete Is there an NP-Complete problem? SAT: Is a Boolean expression satisfiable? Cook’s Theorem: SAT is NP-Complete In more detail …

31 Alphabet Σ containing variables x 1,x 2,…,x n And special symbols (, ), ∧, ∨,~ And not containing 0 and 1 A variable is a Boolean expression Boolean Expression

32 Alphabet Σ containing variables x 1,x 2,…,x n And special symbols (, ), ∧, ∨,~ And not containing 0 and 1 If v and w are Boolean expressions then –(v ∧ w) is a Boolean expression Boolean Expression

33 Alphabet Σ containing variables x 1,x 2,…,x n And special symbols (, ), ∧, ∨,~ And not containing 0 and 1 If v and w are Boolean expressions then –(v ∨ w) is a Boolean expression Boolean Expression

34 Alphabet Σ containing variables x 1,x 2,…,x n And special symbols (, ), ∧, ∨,~ And not containing 0 and 1 If v and w are Boolean expressions then –~v is a Boolean expression –~w is a Boolean expression Boolean Expression

35 Alphabet Σ containing variables x 1,x 2,…,x n And special symbols (, ), ∧, ∨,~ And not containing 0 and 1 For example, f(x 1,x 2,…,x n ) –((x 2 ∧ x 3 ) ∨ ~(x 3 ∨ x 5 ) ∧ x 2 ) ∨ ~(x 2 ∧ x 5 ) –~(~x 2 ∨ ~x 3 ) ∧ ~x 1 Boolean Expression

36 f(x 1,x 2,…,x n ) is satisfiable if –there exists an assignment x 1 = α 1, …, x n = α n –where α i  {0,1} –such that f(x 1,x 2,…,x n ) = 1 The following identities hold –0 ∧ 0 = 0, 0 ∧ 1 = 0, 1 ∧ 0 = 0, 1 ∧ 1 = 1 –0 ∨ 0 = 0, 0 ∨ 1 = 1, 1 ∨ 0 = 1, 1 ∨ 1 = 1 –~0 = 1, ~1 = 0 –(0) = 0, (1) = 1 Satisfiability

37 Given the alphabet Σ Given the identities for 0 and 1 SAT is a subset of Σ* that is satisfiable Informal Problem –Given a Boolean expression w, is w satisfiable SAT

38 Karp’s 21 NP-Complete Problems If SAT is reducible to Π, Π is NP-complete SAT, 0-1 integer programming, Clique, Set Packing, Vertex Cover, Set Covering, Feedback node set, Feedback arc set, Directed Hamilton circuit, Undirected Hamilton circuit, 3-SAT, Chromatic number, Clique cover, Exact cover, Hitting set, Steiner tree, 3- dimensional matching, Knapsack, Job sequencing, Partition, Max cut

39 A special case of SAT Given variables x 1,x 2,…,x n  Σ –B 1 consists of x 1,~x 1,…,x n,~x n –B 2 consists of (w 1 ∨ … ∨ w k ), w i  B 1, 1≤k≤3 –B 3 consists of w 1 ∧ w 2 ∧ … ∧ w m, w i  B 2 –e.g., (x 1 ∨ ~x 2 ∨ x 3 ) ∧ (x 2 ∨ ~x 3 ∨ x 4 ) ∧ (~x 1 ∨ ~x 2 ) 3-SAT is the subset of B 3 that is satisfiable 3-SAT

40 x 1 = x 2 ∨ x 3 –(x 1 ∨ ~x 2 ) ∧ (x 1 ∨ ~x 3 ) ∧ (~x 1 ∨ x 2 ∨ x 3 ) x 1 = x 2 ∧ x 3 –(~x 1 ∨ x 2 ) ∧ (~x 1 ∨ x 3 ) ∧ (x 1 ∨ ~x 2 ∨ ~x 3 ) x 1 = ~x 2 –(x 1 ∨ x 2 ) ∧ (~x 1 ∨ ~x 2 ) SAT is reducible to 3-SAT

41 NP-Complete Problems Today, we know several such problems http://en.wikipedia.org/wiki/List_of_NP- complete_problemshttp://en.wikipedia.org/wiki/List_of_NP- complete_problems No proof if they are in P No proof if they are not in P

42 Computational Complexity –Decision Problems –P and NP –NP-Complete –NP-Hard –Combinatorial Optimization Problems Convex Sets and Functions Linear Programming Outline

43 NP-hard Need not be in NP –No polynomial-time checkable certificate –Not even a decision problem (e.g. optimization) At least as hard as NP-complete problems Λ  NP-hard –There exists Π  NP-complete –Π is reducible to Λ

44 NP-hard Image Courtesy of Wikipedia

45 Computational Complexity –Decision Problems –P and NP –NP-Complete –NP-Hard –Combinatorial Optimization Problems Convex Sets and Functions Linear Programming Outline

46 Combinatorial Optimization Problem Given a discrete set of feasible solutions And a measure of the quality of each solution Find the best quality solution

47 Combinatorial Optimization Problem I = set of instances of a problem Given an instance i ∈ I Discrete set of feasible solutions F i Measure of quality m i : F i → Real max x m i (x), x ∈ F i

48 Minimum Sum Subset Given a set of ‘n’ real numbers S Find a non-empty subset X ⊆ S that minimizes ∑ x ∈ X x

49 Minimum Sum Subset Given a set of ‘n’ real numbers S Find a non-empty subset X ⊆ S that maximizes -∑ x ∈ X x

50 Minimum Sum Subset Instance Given a set of ‘n’ real numbers S Find a non-empty subset X ⊆ S that maximizes -∑ x ∈ X x {-28, 53, -58, -99, 13, 27, -55, -31, -91, 12, -87, -68} Feasible solutions F i ? Measure m i ?

51 Subset Sum Given a set of ‘n’ real numbers S Find a non-empty subset X ⊆ S that minimizes | ∑ x ∈ X x |

52 Subset Sum Instance Given a set of ‘n’ real numbers S Find a non-empty subset X ⊆ S that minimizes | ∑ x ∈ X x | {-28, 53, -58, -99, 13, 27, -55, -31, -91, 12, -87, -68} Feasible solutions F i ? Measure m i ?

53 Shortest Path Given graph G and vertices u and v Find the path from u to v that minimizes ∑ e ∈ P length(e)

54 Shortest Path Instance v1v1 v1v1 v0v0 v0v0 v2v2 v2v2 v3v3 v3v3 v4v4 v4v4 3 5 4 51 6 Feasible solutions F i ? Measure m i ?

55 Complexity Easy problems have polynomial-time solution P optimization problems Hard problems ∉ P optimization problems NP-hard problems

56 Computational Complexity Convex Sets and Functions –Convex Set –Convex Hull and Convex Cone –Polyhedron and Polytope –Convex Function Linear Programming Outline

57 Convex Set x1x1 x2x2 λ x 1 + (1 - λ) x 2 λ  [0,1] Line Segment Endpoints

58 Convex Set x1x1 x2x2 All points on the line segment lie within the set For all line segments with endpoints in the set

59 Non-Convex Set x1x1 x2x2

60 Examples of Convex Sets x1x1 x2x2 Line Segment

61 Examples of Convex Sets x1x1 x2x2 Line

62 Examples of Convex Sets Hyperplane a T x - b = 0

63 Examples of Convex Sets Halfspace a T x - b ≤ 0

64 Examples of Convex Sets Second-order Cone ||x|| ≤ t t x2x2 x1x1

65 Examples of Convex Sets Semidefinite Matrices {X | X 0} a T Xa ≥ 0, for all a  R n All eigenvalues of X are non-negative a T X 1 a ≥ 0 a T X 2 a ≥ 0 a T (λX 1 + (1-λ)X 2 )a ≥ 0

66 Operations that Preserve Convexity Intersection

67 Operations that Preserve Convexity Affine Transformation x  Ax + b

68 Separating Hyperplane Closed Convex Set C z ∉ C

69 Property For any closed convex set C, and z ∉ C There exists a separating hyperplane Proof?

70 Proof Sketch Let y = argmin x ∈ C ||z-x|| Define a = z - yb = (||z|| 2 - ||y|| 2 )/2 We can show that a T z > b We can show that a T x < b, for all x ∈ C

71 Proof Sketch a T z = (z-y) T z > (z-y) T z - ||z-y|| 2 /2 = b

72 Proof Sketch Let a T x ≥ b, for all x ∈ C a T y < a T y + ||a|| 2 /2 = b Therefore, there exists 0 < λ ≤ 1 λ < 2a T (x-y)/||x-y|| 2 Let w = λx + (1-λ)y We can show ||w-z|| 2 < ||y-z|| 2 Contradiction

73 Closed Convex Set C is a closed convex set C is an intersection of halfspaces The two statements are equivalent Proof?

74 Computational Complexity Convex Sets and Functions –Convex Set –Convex Hull and Convex Cone –Polyhedron and Polytope –Convex Function Linear Programming Outline

75 Convex Hull Intersection preserves convexity Given a set X Smallest convex set containing X exists Convex Hull

76 Convex Hull of a Convex Set

77 Convex Hull of Vectors

78 Convex Hull x belongs to the convex hull of X There exists a natural number t x = λ 1 x 1 + λ 2 x 2 + … + λ t x t xi ∈ Xxi ∈ X λ 1 + λ 2 + … + λ t = 1λ i > 0 Proof?

79 Convex Cone Convex Set C If x 1 and x 2 belong to C λ 1 x 1 + λ 2 x 2 ∈ C For all λ 1, λ 2 ≥ 0

80 Cone x belongs to the cone(X) There exists a natural number t x = λ 1 x 1 + λ 2 x 2 + … + λ t x t xi ∈ Xxi ∈ X λ i > 0 Given a set X cone(X): Smallest convex cone containing X

81 Computational Complexity Convex Sets and Functions –Convex Set –Convex Hull and Convex Cone –Polyhedron and Polytope –Convex Function Linear Programming Outline

82 Polyhedron a 1 T x ≤ b 1 a 2 T x ≤ b 2 a m T x ≤ b m......

83 Polyhedron Ax ≤ b A : m x n matrix b: n x 1 vector

84 Bounded Polyhedron

85 Vertex Formal definition?

86 Vertex z is a vertex of P = {x, Ax ≤ b} z is not a convex combination of two points in P There does not exist x, y ∈ P and 0 < λ < 1 x ≠ z and y ≠ z such that z = λ x + (1-λ) y

87 Vertex z is a vertex of P = {x, Ax ≤ b} A z is a submatrix of A Contains all rows of A such that a i T z = b i Recall A is an m x n matrix

88 Vertex z is a vertex of P Rank of A z = n Proof?

89 Proof Sketch: Necessity Let z be a vertex of P Suppose rank(A z ) < nA z c = 0 for some c ≠ 0 Then there exists a d > 0 such that z - dc ∈ Pz + dc ∈ P Contradiction

90 Proof Sketch: Sufficiency Suppose rank(A z ) = n but z is not a vertex of P z = (x+y)/2 for some x, y ∈ P, x ≠ y ≠ z For each a in A z Implies A z (x-z) = 0Contradiction a T x ≤ b = a T za T y ≤ b = a T z

91 Polytope Convex hull of a finite number of vectors

92 Polytope and Polyhedron P is a polytope P is a bounded polyhedron Skipping the proof (available on webpage)

93 Computational Complexity Convex Sets and Functions –Convex Set –Convex Hull and Convex Cone –Polyhedron and Polytope –Convex Function Linear Programming Outline

94 Convex Function x g(x) Blue point always lies above red point x1x1 x2x2

95 Convex Function x g(x) g( c x 1 + (1 - c) x 2 ) ≤ c g(x 1 ) + (1 - c) g(x 2 ) x1x1 x2x2 Domain of g(.) has to be convex

96 Convex Function x g(x) x1x1 x2x2 -g(.) is concave g( c x 1 + (1 - c) x 2 ) ≤ c g(x 1 ) + (1 - c) g(x 2 )

97 Convex Function Once-differentiable functions g(y) +  g(y) T (x - y) ≤ g(x) x g(x) (y,g(y)) g(y) +  g(y) T (x - y) Twice-differentiable functions  2 g(x) 0

98 Convex Function and Convex Sets x g(x) Epigraph of a convex function is a convex set

99 Examples of Convex Functions Linear function a T x p-Norm functions (x 1 p + x 2 p + x n p ) 1/p, p ≥ 1 Quadratic functions x T Q x Q 0

100 Operations that Preserve Convexity Non-negative weighted sum x g 1 (x) w1w1 x g 2 (x) + w 2 + …. x T Q x + a T x + b Q 0

101 Operations that Preserve Convexity Pointwise maximum x g 1 (x) max x g 2 (x), Pointwise minimum of concave functions is concave

102 Computational Complexity Convex Sets and Functions Linear Programming Outline Examples taken from the slides of Ziv Bar-Yossef (Technion)

103 Linear Program Maximize a linear function Over a polyhedral feasible region s.t. A x ≤ b max x c T x A: m x n matrix b: m x 1 vector c: n x 1 vector Objective function Constraints x: n x 1 vector

104 Example 4x 1 – x 2 ≤ 8 max x x 1 + x 2 2x 1 + x 2 ≤ 10 5x 1 - 2x 2 ≥ -2 x 1 ≥ 0 x 2 ≥ 0 s.t. What is c? A?b?

105 Example x 1 ≥ 0 x 2 ≥ 0

106 Example 4x 1 – x 2 = 8 x 1 ≥ 0 x 2 ≥ 0

107 Example 4x 1 – x 2 ≤ 8 x 1 ≥ 0 x 2 ≥ 0

108 Example 4x 1 – x 2 ≤ 8 2x 1 + x 2 ≤ 10 x 1 ≥ 0 x 2 ≥ 0

109 Example 4x 1 – x 2 ≤ 8 2x 1 + x 2 ≤ 10 5x 1 - 2x 2 ≥ -2 x 1 ≥ 0 x 2 ≥ 0

110 Example 4x 1 – x 2 ≤ 8 2x 1 + x 2 ≤ 10 5x 1 - 2x 2 ≥ -2 x 1 ≥ 0 x 2 ≥ 0 max x x 1 + x 2 x 1 + x 2 = 0

111 Example 4x 1 – x 2 ≤ 8 2x 1 + x 2 ≤ 10 5x 1 - 2x 2 ≥ -2 x 1 ≥ 0 x 2 ≥ 0 max x x 1 + x 2 x 1 + x 2 = 8 Optimal solution

112 Computational Complexity Convex Sets and Functions Linear Programming –Duality –Complementary Slackness –Solving the LP Outline

113 Example 2x 1 + 2x 2 + 5x 3 ≤ 24 max x 3x 1 + x 2 + 2x 3 4x 1 + x 2 + 2x 3 ≤ 36 -x 1 ≤ 0, -x 2 ≤ 0, -x 3 ≤ 0 x 1 + x 2 + 3x 3 ≤ 30 s.t. 3 x 2 x 7 x Scale the constraints, add them up 3x 1 + x 2 + 2x 3 ≤ 90 Upper bound on solution

114 Example 2x 1 + 2x 2 + 5x 3 ≤ 24 max x 3x 1 + x 2 + 2x 3 4x 1 + x 2 + 2x 3 ≤ 36 -x 1 ≤ 0, -x 2 ≤ 0, -x 3 ≤ 0 x 1 + x 2 + 3x 3 ≤ 30 s.t. 1 x Scale the constraints, add them up 3x 1 + x 2 + 2x 3 ≤ 36 Upper bound on solution

115 Example 2x 1 + 2x 2 + 5x 3 ≤ 24 max x 3x 1 + x 2 + 2x 3 4x 1 + x 2 + 2x 3 ≤ 36 -x 1 ≤ 0, -x 2 ≤ 0, -x 3 ≤ 0 x 1 + x 2 + 3x 3 ≤ 30 s.t. 1 x Scale the constraints, add them up 3x 1 + x 2 + 2x 3 ≤ 36 Tightest upper bound?

116 Example 2x 1 + 2x 2 + 5x 3 ≤ 24 max x 3x 1 + x 2 + 2x 3 4x 1 + x 2 + 2x 3 ≤ 36 -x 1 ≤ 0, -x 2 ≤ 0, -x 3 ≤ 0 x 1 + x 2 + 3x 3 ≤ 30 s.t. y4y4 y1y1 y2y2 y3y3 y5y5 y6y6 y 1, y 2, y 3, y 4, y 5, y 6 ≥ 0 We should be able to add up the inequalities

117 Example 2x 1 + 2x 2 + 5x 3 ≤ 24 max x 3x 1 + x 2 + 2x 3 4x 1 + x 2 + 2x 3 ≤ 36 -x 1 ≤ 0, -x 2 ≤ 0, -x 3 ≤ 0 x 1 + x 2 + 3x 3 ≤ 30 s.t. y4y4 y1y1 y2y2 y3y3 y5y5 y6y6 -y 1 + y 4 + 2y 5 + 4y 6 = 3 Coefficient of x 1 should be 3

118 Example 2x 1 + 2x 2 + 5x 3 ≤ 24 max x 3x 1 + x 2 + 2x 3 4x 1 + x 2 + 2x 3 ≤ 36 -x 1 ≤ 0, -x 2 ≤ 0, -x 3 ≤ 0 x 1 + x 2 + 3x 3 ≤ 30 s.t. y4y4 y1y1 y2y2 y3y3 y5y5 y6y6 -y 2 + y 4 + 2y 5 + y 6 = 1 Coefficient of x 2 should be 1

119 Example 2x 1 + 2x 2 + 5x 3 ≤ 24 max x 3x 1 + x 2 + 2x 3 4x 1 + x 2 + 2x 3 ≤ 36 -x 1 ≤ 0, -x 2 ≤ 0, -x 3 ≤ 0 x 1 + x 2 + 3x 3 ≤ 30 s.t. y4y4 y1y1 y2y2 y3y3 y5y5 y6y6 -y 3 + 3y 4 + 5y 5 + 2y 6 = 2 Coefficient of x 3 should be 2

120 Example 2x 1 + 2x 2 + 5x 3 ≤ 24 max x 3x 1 + x 2 + 2x 3 4x 1 + x 2 + 2x 3 ≤ 36 -x 1 ≤ 0, -x 2 ≤ 0, -x 3 ≤ 0 x 1 + x 2 + 3x 3 ≤ 30 s.t. y4y4 y1y1 y2y2 y3y3 y5y5 y6y6 min y 30y 4 + 24y 5 + 36y 6 Upper bound should be tightest

121 Dual min y 30y 4 + 24y 5 + 36y 6 s.t. y 1, y 2, y 3, y 4, y 5, y 6 ≥ 0 -y 1 + y 4 + 2y 5 + 4y 6 = 3 -y 2 + y 4 + 2y 5 + y 6 = 1 -y 3 + 3y 4 + 5y 5 + 2y 6 = 2 Original problem is called primal Dual of dual is primal

122 Dual s.t. A x ≤ b max x c T x

123 Dual - y T (A x – b)max x c T x min y≥0 KKT Condition?A T y = c min y≥0 bTybTy s.t. A T y = c

124 min y≥0 bTybTy s.t. A T y = c s.t. A x ≤ b max x c T x Primal Dual

125 Strong Duality min y≥0 bTybTy s.t. A T y = c s.t. A x ≤ b max x c T x Primal Dual p = d = If p ≠ ∞ or d ≠ ∞, then p = d. Skipping the proof (available on webpage) Think back to the intuition of dual

126 Question s.t. A 1 x ≤ b 1 max x c T x A 2 x ≥ b 2 A 3 x = b 3 Dual?

127 Computational Complexity Convex Sets and Functions Linear Programming –Duality –Complementary Slackness –Solving the LP Outline

128 Weak Duality Let x be a feasible solution of the primal c T x ≤ b T y Objective of any primal ≤ Objective of any dual Think back to the intuition of dual Proof? Let y be a feasible solution of the dual

129 Proof Sketch cTxcTx = (A T y) T x When does equality hold? Optimal primal and dual solutions: x* and y* = y T Ax ≤ y T b = b T y

130 Equality (y*) T Ax* - (y*) T b = 0 Recall that y* ≥ 0 Recall that Ax* ≤ b If y* j > 0 a j T x* = b j Complementary slackness Necessary and sufficient for optimality

131 Computational Complexity Convex Sets and Functions Linear Programming –Duality –Complementary Slackness –Solving the LP Outline

132 Graphical Solution 4x 1 – x 2 ≤ 8 2x 1 + x 2 ≤ 10 5x 1 - 2x 2 ≥ -2 x 1 ≥ 0 x 2 ≥ 0 max x x 1 + x 2 x 1 + x 2 = 8 Optimal solution at a vertex

133 Graphical Solution 4x 1 – x 2 ≤ 8 2x 1 + x 2 ≤ 10 5x 1 - 2x 2 ≥ -2 x 1 ≥ 0 x 2 ≥ 0 max x x 1 x 1 = 3 Optimal solution at a vertex

134 Graphical Solution 4x 1 – x 2 ≤ 8 2x 1 + x 2 ≤ 10 5x 1 - 2x 2 ≥ -2 x 1 ≥ 0 x 2 ≥ 0 max x x 2 x 2 = 6 Optimal solution at a vertex

135 Graphical Solution 4x 1 – x 2 ≤ 8 2x 1 + x 2 ≤ 10 5x 1 - 2x 2 ≥ -2 x 1 ≥ 0 x 2 ≥ 0 An optimal solution always at a vertex Proof? max x c T x

136 Dantzig (1951): Simplex Method –Search over vertices of the polyhedra –Worst-case complexity is exponential –Smoothed complexity is polynomial Khachiyan (1979, 1980): Ellipsoid Method –Polynomial time complexity –LP is a P optimization problem Karmarkar (1984): Interior-point Method –Polynomial time complexity –Competitive with Simplex Method Solving the LP

137 Optimization vs. Feasibility s.t. A x ≤ b max x c T x Optimization Feasibility asks if there exists an x such that c T x ≥ K A x ≤ b Optimization via binary search on K Feasible solution For a given K

138 Feasibility via Ellipsoid Method Feasible region of LP

139 Feasibility via Ellipsoid Method Ellipsoid containing feasible region of LP

140 Feasibility via Ellipsoid Method Centroid of ellipsoid

141 Feasibility via Ellipsoid Method Separating hyperplane for centroid

142 Feasibility via Ellipsoid Method Smallest ellipsoid containing “truncated” ellipsoid

143 Feasibility via Ellipsoid Method Centroid of ellipsoid

144 Feasibility via Ellipsoid Method Separating hyperplane for centroid

145 Feasibility via Ellipsoid Method Smallest ellipsoid containing “truncated” ellipsoid

146 Feasibility via Ellipsoid Method Centroid of ellipsoid

147 Feasibility via Ellipsoid Method Terminate when feasible solution is found

148 Separating hyperplane in polynomial time –Check each of the ‘m’ LP constraints in O(n) time New ellipsoid in polynomial time –Shor (1971), Nemirovsky and Yudin (1972) Polynomial iterations (Khachiyan) –Volume of ellipsoid reduces exponentially Only requires a separation oracle –Constraint matrix A can be very large Ellipsoid Method Useful Fact !!

149 Questions?


Download ppt "Polyhedral Optimization Lecture 1 – Part 2 M. Pawan Kumar Slides available online"

Similar presentations


Ads by Google