Some representability and duality results for convex mixedinteger programs.


 Vernon Stokes
 2 years ago
 Views:
Transcription
1 Some representability and duality results for convex mixedinteger programs. Santanu S. Dey Joint work with Diego Morán and Juan Pablo Vielma December 17, 2012.
2 Introduction About Motivation Mixed integer linear program min c T x s.t. Ax b, x Z n 1 R n 2, A, b are rational. A number of structural results are known about Integer Linear Programs: 1. Representability results of integer hulls ( Fundamental Theorem of Integer programming") 2. Subaddtive dual 3. Cutting plane closure, ranks, lengths, etc
3 3 Introduction About Motivation Mixed integer convex program min c T x s.t. x B, x Z n 1 R n 2, where B R n 1+n 2 is a closed convex set. In this case: 1. Representability results? 2. Dual? 3. Cutting plane closures?
4 Introduction About Motivation Mixed integer linear program min c T x A, b are rational. Results hold usually because: s.t. Ax b, x Z n 1 R n 2, 1. Finite number of extreme points of the LP relaxation each of which is rational, existence of basic feasible solutions for LPs. 2. Strong duality results for the Linear Programming (LP) relaxation, 3. Existence of finite generator of the Hilbert basis of a rational polyhedral cone.
5 Introduction About Motivation Mixed integer convex program min c T x s.t. x B, x Z n 1 R n 2, where B R n 1+n 2 is a closed convex set. In this case: 1. Finite number of extreme points of the LP relaxation each of which is rational, existence of basic feasible solutions for LPs. Does not hold 2. Strong duality results for the Linear Programming (LP) relaxation. 3. Existence of finite generator of the Hilbert basis of a rational polyhedral cone. Not always relevant in the convex case 5
6 6 Introduction About About this talk In this talk: Polyhedrality of integer hulls. (Representabilitytype result) Duality for Conic Mixedinteger programs. Generalizing the results for integer linear program to integer convex program.
7 6 Introduction About About this talk In this talk: Polyhedrality of integer hulls. (Representabilitytype result) Duality for Conic Mixedinteger programs. Generalizing the results for integer linear program to integer convex program. But first: A simple, but interesting property of convex mixedinteger programs: Finiteness Property.
8 7 An interesting property 1 Finiteness Property.
9 8 An interesting property Finiteness property Fact inf x B ct x > inf x B (Z n 1 R n 2) c T x >.
10 8 An interesting property Finiteness property Fact inf x B ct x > inf x B (Z n 1 R n 2) c T x >. Question ( ) inf x B ct x > inf x B (Z n 1 R n 2 ) c T x >???
11 8 An interesting property Finiteness property Fact inf x B ct x > inf x B (Z n 1 R n 2) c T x >. Question ( ) inf x B ct x > inf x B (Z n 1 R n 2 ) c T x >??? We know: B is polyhedron with rational data ( ) is true.
12 9 An interesting property Example 1: polyderal set with irrational data B is a line with irrational slope c Figure: ( ) is not true.
13 10 An interesting property Example 2: Second order conic representable (SOCR) set with rational data We will show a convex set B R 3 such that: conv(b Z 3 ) is a polyhedron. B is conic representable with rational data. There exists A Q m n, b Q m such that { ( } B = x R 3 x : u, A b L, u) where L is direct product of Lorentz cones. However, B does not satisfies the finiteness property ( ).
14 11 An interesting property Example: (SOCP) (cont.) B = conv(b 1 B 2 B 3 )
15 12 An interesting property Main result 1.1 Main result: A sufficient condition for the finiteness property.
16 13 An interesting property Main result A sufficient condition (for the finiteness property) Let B R n 1+n 2 be a closed convex set. Proposition If int(b) (Z n 1 R n 2), then ( ) is true, that is inf x B ct x > inf c T x >. x B (Z n 1 R n 2 )
17 14 An interesting property Sketch of the proof 1.3 Sketch of the proof. (In the pure integer case (n 2 = 0).)
18 15 An interesting property Sketch of the proof The convex set B. B
19 15 An interesting property Sketch of the proof The convex set B. Integer program is finite (z > ). z* c B
20 15 An interesting property Sketch of the proof The convex set B. Integer program is finite (z > ). Yellow set B + is latticefree. z* B + c B
21 15 An interesting property Sketch of the proof The convex set B. Integer program is finite (z > ). Yellow set B + is latticefree. exists maximal latticefree convex set Q containing B +. Q = Polytope + Linear subspace. z* B + B c
22 16 An interesting property Sketch of the proof Assume there exists {x 1, x 2, x 3... } B +, with c T x n. z* x 3 x 2 x 1 B + c B
23 16 An interesting property Sketch of the proof Assume there exists {x 1, x 2, x 3... } B +, with c T x n. B is contains integer point in the interior B Q. x 0 x N x 3 x 2 x 1 B
24 16 An interesting property Sketch of the proof Assume there exists {x 1, x 2, x 3... } B +, with c T x n. B is contains integer point in the interior B Q. B + Q x 0 x N x 3 x 2 x 1 B
25 16 An interesting property Sketch of the proof Assume there exists {x 1, x 2, x 3... } B +, with c T x n. B is contains integer point in the interior B Q. B + Q x 0 x N x 3 x 2 x 1 for large N we obtain Contradiction! B
26 17 Polyhedrality of integer hulls 2 Polyhedrality of integer hulls.
27 18 Polyhedrality of integer hulls Integer hulls Theorem (Meyer, 1974) Let K R n be a polyhedron with rational polyhedral recession cone, then conv(k Z n ) is a rational polyhedron. This motivates the following questions:
28 18 Polyhedrality of integer hulls Integer hulls Theorem (Meyer, 1974) Let K R n be a polyhedron with rational polyhedral recession cone, then conv(k Z n ) is a rational polyhedron. This motivates the following questions: 1. Let K be a closed convex set. When is conv(k Z n ) a polyhedron?
29 19 Polyhedrality of integer hulls Examples of conv(k Z n ) being polyhedral
30 20 Polyhedrality of integer hulls Ex 1: K is a bounded convex set The easy case Figure: Polytope Figure: Bounded convex set
31 Polyhedrality of integer hulls Ex 2: K is an hyperbola
32 22 Polyhedrality of integer hulls Examples of conv(k Z n ) not being polyhedral
33 23 Polyhedrality of integer hulls Ex 1: K is a nonrational polyhedral cone Figure: conv(k Z n ) is not even closed
34 24 Polyhedrality of integer hulls Ex 2: K is a nonrational polyhedron Figure: conv(k Z n ) is not a polyhedron
35 25 Polyhedrality of integer hulls Ex 3: K has a rational polyhedral recession cone Figure: conv(k Z n ) is not a polyhedron
36 26 Polyhedrality of integer hulls Some remarks Based on the pictures What conditions on K led to a polyhedral conv(k Z n )? 1. Recession cone of K plays a fundamental role. Rational polyhedra recession cone.
37 26 Polyhedrality of integer hulls Some remarks Based on the pictures What conditions on K led to a polyhedral conv(k Z n )? 1. Recession cone of K plays a fundamental role. Rational polyhedra recession cone. 2. K needs to be similar to a polyhedron. Ex: Parabola vs Hyperbola.
38 Polyhedrality of integer hulls Developing intuition about kind of unboundedness Consider z = sup{c t x : x K } We have z =. u rec.cone(k ) = {λd, λ 0}. c d.
39 Polyhedrality of integer hulls Developing intuition about kind of unboundedness Consider z = sup{c t x : x K } We have z =. u rec.cone(k ) = {λd, λ 0}. c d.
40 28 Polyhedrality of integer hulls Main result 2.1 Main result Sufficient and necessary conditions for polyhedrality.
41 29 Polyhedrality of integer hulls Main result Definition Thin convex sets We say that a closed convex set K R n is thin if min{c T x x K } = d rec.cone(k ) c T d < 0. Every polyhedron is a thin convex set. Hyperbola is a thin convex set.
42 30 Polyhedrality of integer hulls Main result Necessary and sufficient conditions For polyhedrality Let K R n be a closed convex set. Theorem 1. If K is thin and rec.cone(k ) is a rational polyhedral cone, then conv(k Z n ) is a polyhedron.
43 30 Polyhedrality of integer hulls Main result Necessary and sufficient conditions For polyhedrality Let K R n be a closed convex set. Theorem 1. If K is thin and rec.cone(k ) is a rational polyhedral cone, then conv(k Z n ) is a polyhedron. 2. If int(k ) Z n and conv(k Z n ) is a polyhedron, then K is thin and rec.cone(k ) is a rational polyhedral cone.
44 31 Polyhedrality of integer hulls Sketch of the proof 2.2 Sketch of the proof.
45 32 Polyhedrality of integer hulls Sketch of the proof GordanDickson Lemma (GDL) Lemma Let m N and S Z m and assume that s 0 Z m such that for all s S s s 0. Then there exists T S, finite set, satisfying for all s S t T such that s t.
46 33 Polyhedrality of integer hulls Sketch of the proof Sufficient condition Sketch of Proof 1. rec.cone(k ) = {d R n : Ad 0} for some A Z m n. rec.cone(conv(k Z n )) = {d R n : Ad 0}
47 33 Polyhedrality of integer hulls Sketch of the proof Sufficient condition Sketch of Proof 1. rec.cone(k ) = {d R n : Ad 0} for some A Z m n. rec.cone(conv(k Z n )) = {d R n : Ad 0} 2. We want to show polyhedrality conv(k Z n ) = conv(y ) + rec.cone(k ), for a finite set Y K Z n.
48 33 Polyhedrality of integer hulls Sketch of the proof Sufficient condition Sketch of Proof 1. rec.cone(k ) = {d R n : Ad 0} for some A Z m n. rec.cone(conv(k Z n )) = {d R n : Ad 0} 2. We want to show polyhedrality conv(k Z n ) = conv(y ) + rec.cone(k ), for a finite set Y K Z n. 3. It suffices to show that for a finite set Y K Z n. K Z n Y + rec.cone(k ),
49 34 Polyhedrality of integer hulls Sketch of the proof Sufficient condition Sketch of Proof 4. Let S = {Ax : x K Z n } Z m.
50 34 Polyhedrality of integer hulls Sketch of the proof Sufficient condition Sketch of Proof 4. Let S = {Ax : x K Z n } Z m. 5. K is thin and rec.cone(k ) = {d R n : Ad 0} s 0 Z m such that Ax s 0 x K Z n. s 0 Z m such that s s 0 s S.
51 34 Polyhedrality of integer hulls Sketch of the proof Sufficient condition Sketch of Proof 4. Let S = {Ax : x K Z n } Z m. 5. K is thin and rec.cone(k ) = {d R n : Ad 0} s 0 Z m such that Ax s 0 x K Z n. s 0 Z m such that s s 0 s S. 6. We can apply GDL to S to obtain a finite set T S. Y K Z n, finite set, such that T = AY. for all x K Z n y Y such that Ax Ay. K Z n Y + rec.cone(k ).
52 35 Polyhedrality of integer hulls Sketch of the proof Necessary condition Sketch of Proof 1. We know that conv(k Z n ) = {x R n : Ax b}, for some A Z m n, b Z m. 2. Since int(k ) Z n, by finiteness property, b Z m such that K {x R n : Ax b }. 3. We obtain that {x R n : Ax b} K {x R n : Ax b }
53 Polyhedrality of integer hulls Sketch of the proof Necessary condition Sketch of Proof 1. We know that conv(k Z n ) = {x R n : Ax b}, for some A Z m n, b Z m. 2. Since int(k ) Z n, by finiteness property, b Z m such that K {x R n : Ax b }. 3. We obtain that {x R n : Ax b} K {x R n : Ax b } rec.cone(k ) = {x Z n : Ax 0}, a rational polyhedral cone. K is a thin set. 35
54 36 Duality for conic mixedinteger programs 3 Duality for conic mixedinteger programs
55 37 Duality for conic mixedinteger programs Notation and basic ideas 3.1 Notation and basic ideas
56 38 Duality for conic mixedinteger programs Notation and basic ideas The primal problems Let A R m n, c R n, b R m and I {1,..., n}. (MILP): inf c T x (P MILP ) s.t. Ax b x i Z, i I. (u v u v R n +)
57 38 Duality for conic mixedinteger programs Notation and basic ideas The primal problems Let A R m n, c R n, b R m and I {1,..., n}. (MILP): inf c T x (P MILP ) s.t. Ax b x i Z, i I. (MICP): inf c T x (P) s.t. Ax K b x i Z, i I. (u v u v R n +) (u K v u v K )
58 39 Duality for conic mixedinteger programs Notation and basic ideas Some definitions Subadditivity, conic nondecreasing Let Ω R m, and g : Ω R { } be a function. Definition (Subadditive function) g is said to be subadditive if for all u, v Ω u + v Ω g(u + v) g(u) + g(v). Definition (Nondecreasing w.r.t K ) g is said to be nondecreasing w.r.t. K if for u, v Ω u K v g(u) g(v).
59 40 Duality for conic mixedinteger programs Notation and basic ideas The dual problem (D MILP ) The Subadditive dual for (P MILP ) sup g(b) ( s.t. g A i) ( = g A i) = c i, ( (D MILP ) ḡ A i) ( = ḡ A i) = c i, i I i / I g(0) = 0 g : R m R, subadditive, nondecreasing w.r.t. R n +. where A i is the ith column of A, and g(d) = lim sup δ 0 + g(δd) δ.
60 41 Duality for conic mixedinteger programs Notation and basic ideas The dual problem (D) The Subadditive dual for (P) sup g(b) ( s.t. g A i) ( = g A i) = c i, ( (D) ḡ A i) ( = ḡ A i) = c i, i I i / I g(0) = 0 g : R m R, subadditive, nondecreasing w.r.t. to K. Remark When K = R m + we retrieve the subadditive dual for (P MILP ).
61 Duality for conic mixedinteger programs Notation and basic ideas Properties of a nice dual Correct lower bounds: for all x R n feasible for (P) and for all g : R m R feasible for (D), we have g(b) c T x (Weak duality).
62 Duality for conic mixedinteger programs Notation and basic ideas Properties of a nice dual Correct lower bounds: for all x R n feasible for (P) and for all g : R m R feasible for (D), we have g(b) c T x (Weak duality). Similar behavior: (P) is feasible and bounded (D) is feasible and bounded
63 Duality for conic mixedinteger programs Notation and basic ideas Properties of a nice dual Correct lower bounds: for all x R n feasible for (P) and for all g : R m R feasible for (D), we have g(b) c T x (Weak duality). Similar behavior: (P) is feasible and bounded (D) is feasible and bounded Best possible lower bounds: (P) is feasible and bounded, then there exists g : R m R feasible for (D) such that g (b) = inf{c T x : Ax K b, x i Z, i I} (Strong duality).
64 43 Duality for conic mixedinteger programs MILP case Theorem Let A Q m n, b Q m (data is rational). Then (D MILP ) is a nice dual for (P MILP ).
65 43 Duality for conic mixedinteger programs MILP case Theorem Let A Q m n, b Q m (data is rational). Then (D MILP ) is a nice dual for (P MILP ).
66 Duality for conic mixedinteger programs MILP case Some applications (of subadditive duality for (P MILP )) Dual feasible functions give ALL valid linear inequalities for (P MILP ): g(a i )x i + g(a i )x i g(b), i I i C where g is a feasible dual function. Example Gomory mixedinteger cuts are given by dual feasible functions corresponding to 1row Mixed integer linear programs.
67 45 Duality for conic mixedinteger programs Main result 3.2 Main result: Extension of the Subadditive duality theory for (MILP) to the case of (MICP).
68 46 Duality for conic mixedinteger programs Main result Strong duality for (MILP) The wellknown result: Theorem (Strong duality for (MILP)) If A Q m n, b Q m (data is rational), then 1. (P MILP ) is feasible and bounded if and only if (D MILP ) is feasible and bounded. 2. If (P MILP ) is feasible and bounded, then there exists a function g feasible for (D MILP ) such that g (b) = inf{c T x : Ax b, x i Z, i I}.
69 Duality for conic mixedinteger programs Main result Strong duality for (MICP) The new result: Theorem (Strong duality for (MICP)) If there exists ˆx Z n 1 R n 2 s.t. Aˆx K b, then 1. (P) is feasible and bounded if and only if (D) is feasible and bounded. 2. If (P) is feasible and bounded, then there exists a function g feasible for (D) such that g (b) = inf{c T x : Ax K b, x i Z, i I}.
70 48 Duality for conic mixedinteger programs Sketch of the proof 2 Sketch of the proof.
71 49 Duality for conic mixedinteger programs Sketch of the proof Basic proof steps P R : continuous relaxation of the primal. D R : dual of P R.
72 49 Duality for conic mixedinteger programs Sketch of the proof Basic proof steps P R : continuous relaxation of the primal. D R : dual of P R. 1. (P) is feasible and bounded (D) is feasible and bounded. ( ): (P) is feasible and bounded (P R ) is feasible and bounded. (D R ) is feasible. (D) is feasible. Weak duality (D) bounded. ( ): basically same proof as (MILP) case.
73 50 Duality for conic mixedinteger programs Sketch of the proof Basic proof steps If (P MILP ) is feasible and bounded, then there exists a function g feasible for (D MILP ) such that g (b) = inf{c T x : Ax b, x i Z, i I}. 1. Properties of value function f Definition: f : Ω R { }, defined as Domain of f : f (u) = inf{c T x : Ax K u, x i Z, i I}. u Ω (P) with r.h.s. u is feasible. Property of f : In general, f satisfies all constraints of (D), except by Ω = R m.
74 51 Duality for conic mixedinteger programs Sketch of the proof Basic proof steps 2. If (P) is feasible and bounded, then there exists a function g feasible for (D) such that g (b) = z. If Ω = R m, we just can take g = f. Because f (b) = inf{c T x : Ax K b, x i Z, i I}.
75 51 Duality for conic mixedinteger programs Sketch of the proof Basic proof steps 2. If (P) is feasible and bounded, then there exists a function g feasible for (D) such that g (b) = z. If Ω = R m, we just can take g = f. Because f (b) = inf{c T x : Ax K b, x i Z, i I}. Otherwise, if Ω R m we extend f to a function g such that g is feasible for the dual (D). g (b) = f (b). This extension is very technical and uses the fact that there exists ˆx Z n 1 R n 2 s.t. Aˆx K b.
76 52 Duality for conic mixedinteger programs Sketch of the proof Final remarks The sufficient condition for strong duality is: In (MILP): rational data. In (MICP): int(b) (Z n 1 R n 2).
77 52 Duality for conic mixedinteger programs Sketch of the proof Final remarks The sufficient condition for strong duality is: In (MILP): rational data. In (MICP): int(b) (Z n 1 R n 2). The condition: ˆx Z n 1 R n 2 s.t. Aˆx K b is used in: Strong duality for Conic programming. Finiteness property. Extension of value function.
78 53 Thanks Acknowledgement Many thanks to Diego Morán to help prepare these slides.
On Minimal Valid Inequalities for Mixed Integer Conic Programs
On Minimal Valid Inequalities for Mixed Integer Conic Programs Fatma Kılınç Karzan June 27, 2013 Abstract We study mixed integer conic sets involving a general regular (closed, convex, full dimensional,
More information2.3 Convex Constrained Optimization Problems
42 CHAPTER 2. FUNDAMENTAL CONCEPTS IN CONVEX OPTIMIZATION Theorem 15 Let f : R n R and h : R R. Consider g(x) = h(f(x)) for all x R n. The function g is convex if either of the following two conditions
More informationDuality of linear conic problems
Duality of linear conic problems Alexander Shapiro and Arkadi Nemirovski Abstract It is well known that the optimal values of a linear programming problem and its dual are equal to each other if at least
More information3. Linear Programming and Polyhedral Combinatorics
Massachusetts Institute of Technology Handout 6 18.433: Combinatorial Optimization February 20th, 2009 Michel X. Goemans 3. Linear Programming and Polyhedral Combinatorics Summary of what was seen in the
More informationDUAL METHODS IN MIXED INTEGER LINEAR PROGRAMMING
DUAL METHODS IN MIXED INTEGER LINEAR PROGRAMMING by Menal Guzelsoy Presented to the Graduate and Research Committee of Lehigh University in Candidacy for the Degree of Doctor of Philosophy in Industrial
More informationCHAPTER 9. Integer Programming
CHAPTER 9 Integer Programming An integer linear program (ILP) is, by definition, a linear program with the additional constraint that all variables take integer values: (9.1) max c T x s t Ax b and x integral
More informationTwoStage Stochastic Linear Programs
TwoStage Stochastic Linear Programs Operations Research Anthony Papavasiliou 1 / 27 TwoStage Stochastic Linear Programs 1 Short Reviews Probability Spaces and Random Variables Convex Analysis 2 Deterministic
More informationA NEW LOOK AT CONVEX ANALYSIS AND OPTIMIZATION
1 A NEW LOOK AT CONVEX ANALYSIS AND OPTIMIZATION Dimitri Bertsekas M.I.T. FEBRUARY 2003 2 OUTLINE Convexity issues in optimization Historical remarks Our treatment of the subject Three unifying lines of
More information1 Introduction. Linear Programming. Questions. A general optimization problem is of the form: choose x to. max f(x) subject to x S. where.
Introduction Linear Programming Neil Laws TT 00 A general optimization problem is of the form: choose x to maximise f(x) subject to x S where x = (x,..., x n ) T, f : R n R is the objective function, S
More information4.6 Linear Programming duality
4.6 Linear Programming duality To any minimization (maximization) LP we can associate a closely related maximization (minimization) LP. Different spaces and objective functions but in general same optimal
More informationInternational Doctoral School Algorithmic Decision Theory: MCDA and MOO
International Doctoral School Algorithmic Decision Theory: MCDA and MOO Lecture 2: Multiobjective Linear Programming Department of Engineering Science, The University of Auckland, New Zealand Laboratoire
More information. P. 4.3 Basic feasible solutions and vertices of polyhedra. x 1. x 2
4. Basic feasible solutions and vertices of polyhedra Due to the fundamental theorem of Linear Programming, to solve any LP it suffices to consider the vertices (finitely many) of the polyhedron P of the
More information1 Norms and Vector Spaces
008.10.07.01 1 Norms and Vector Spaces Suppose we have a complex vector space V. A norm is a function f : V R which satisfies (i) f(x) 0 for all x V (ii) f(x + y) f(x) + f(y) for all x,y V (iii) f(λx)
More information(Basic definitions and properties; Separation theorems; Characterizations) 1.1 Definition, examples, inner description, algebraic properties
Lecture 1 Convex Sets (Basic definitions and properties; Separation theorems; Characterizations) 1.1 Definition, examples, inner description, algebraic properties 1.1.1 A convex set In the school geometry
More informationFurther Study on Strong Lagrangian Duality Property for Invex Programs via Penalty Functions 1
Further Study on Strong Lagrangian Duality Property for Invex Programs via Penalty Functions 1 J. Zhang Institute of Applied Mathematics, Chongqing University of Posts and Telecommunications, Chongqing
More informationRi and. i=1. S i N. and. R R i
The subset R of R n is a closed rectangle if there are n nonempty closed intervals {[a 1, b 1 ], [a 2, b 2 ],..., [a n, b n ]} so that R = [a 1, b 1 ] [a 2, b 2 ] [a n, b n ]. The subset R of R n is an
More informationWeek 5 Integral Polyhedra
Week 5 Integral Polyhedra We have seen some examples 1 of linear programming formulation that are integral, meaning that every basic feasible solution is an integral vector. This week we develop a theory
More informationOptimization in R n Introduction
Optimization in R n Introduction Rudi Pendavingh Eindhoven Technical University Optimization in R n, lecture Rudi Pendavingh (TUE) Optimization in R n Introduction ORN / 4 Some optimization problems designing
More informationNonlinear Optimization: Algorithms 3: Interiorpoint methods
Nonlinear Optimization: Algorithms 3: Interiorpoint methods INSEAD, Spring 2006 JeanPhilippe Vert Ecole des Mines de Paris JeanPhilippe.Vert@mines.org Nonlinear optimization c 2006 JeanPhilippe Vert,
More informationLecture 3. Linear Programming. 3B1B Optimization Michaelmas 2015 A. Zisserman. Extreme solutions. Simplex method. Interior point method
Lecture 3 3B1B Optimization Michaelmas 2015 A. Zisserman Linear Programming Extreme solutions Simplex method Interior point method Integer programming and relaxation The Optimization Tree Linear Programming
More informationIntroduction to Convex Optimization for Machine Learning
Introduction to Convex Optimization for Machine Learning John Duchi University of California, Berkeley Practical Machine Learning, Fall 2009 Duchi (UC Berkeley) Convex Optimization for Machine Learning
More informationDuality in General Programs. Ryan Tibshirani Convex Optimization 10725/36725
Duality in General Programs Ryan Tibshirani Convex Optimization 10725/36725 1 Last time: duality in linear programs Given c R n, A R m n, b R m, G R r n, h R r : min x R n c T x max u R m, v R r b T
More informationMathematical finance and linear programming (optimization)
Mathematical finance and linear programming (optimization) Geir Dahl September 15, 2009 1 Introduction The purpose of this short note is to explain how linear programming (LP) (=linear optimization) may
More informationInverse Optimization by James Orlin
Inverse Optimization by James Orlin based on research that is joint with Ravi Ahuja Jeopardy 000  the Math Programming Edition The category is linear objective functions The answer: When you maximize
More informationDefinition of a Linear Program
Definition of a Linear Program Definition: A function f(x 1, x,..., x n ) of x 1, x,..., x n is a linear function if and only if for some set of constants c 1, c,..., c n, f(x 1, x,..., x n ) = c 1 x 1
More informationChapter 4. Duality. 4.1 A Graphical Example
Chapter 4 Duality Given any linear program, there is another related linear program called the dual. In this chapter, we will develop an understanding of the dual linear program. This understanding translates
More informationAlgebra II: Strand 7. Conic Sections; Topic 1. Intersection of a Plane and a Cone; Task 7.1.2
1 TASK 7.1.2: THE CONE AND THE INTERSECTING PLANE Solutions 1. What is the equation of a cone in the 3dimensional coordinate system? x 2 + y 2 = z 2 2. Describe the different ways that a plane could intersect
More informationLinear Programming: Chapter 11 Game Theory
Linear Programming: Chapter 11 Game Theory Robert J. Vanderbei October 17, 2007 Operations Research and Financial Engineering Princeton University Princeton, NJ 08544 http://www.princeton.edu/ rvdb RockPaperScissors
More informationDiscrete Optimization
Discrete Optimization [Chen, Batson, Dang: Applied integer Programming] Chapter 3 and 4.14.3 by Johan Högdahl and Victoria Svedberg Seminar 2, 20150331 Todays presentation Chapter 3 Transforms using
More informationDantzigWolfe bound and DantzigWolfe cookbook
DantzigWolfe bound and DantzigWolfe cookbook thst@man.dtu.dk DTUManagement Technical University of Denmark 1 Outline LP strength of the DantzigWolfe The exercise from last week... The DantzigWolfe
More informationAbsolute Value Programming
Computational Optimization and Aplications,, 1 11 (2006) c 2006 Springer Verlag, Boston. Manufactured in The Netherlands. Absolute Value Programming O. L. MANGASARIAN olvi@cs.wisc.edu Computer Sciences
More informationLinear Programming. Widget Factory Example. Linear Programming: Standard Form. Widget Factory Example: Continued.
Linear Programming Widget Factory Example Learning Goals. Introduce Linear Programming Problems. Widget Example, Graphical Solution. Basic Theory:, Vertices, Existence of Solutions. Equivalent formulations.
More informationLECTURE 5: DUALITY AND SENSITIVITY ANALYSIS. 1. Dual linear program 2. Duality theory 3. Sensitivity analysis 4. Dual simplex method
LECTURE 5: DUALITY AND SENSITIVITY ANALYSIS 1. Dual linear program 2. Duality theory 3. Sensitivity analysis 4. Dual simplex method Introduction to dual linear program Given a constraint matrix A, right
More information26 Linear Programming
The greatest flood has the soonest ebb; the sorest tempest the most sudden calm; the hottest love the coldest end; and from the deepest desire oftentimes ensues the deadliest hate. Th extremes of glory
More informationSome Optimization Fundamentals
ISyE 3133B Engineering Optimization Some Optimization Fundamentals Shabbir Ahmed Email: sahmed@isye.gatech.edu Homepage: www.isye.gatech.edu/~sahmed Basic Building Blocks min or max s.t. objective as
More informationMinimize subject to. x S R
Chapter 12 Lagrangian Relaxation This chapter is mostly inspired by Chapter 16 of [1]. In the previous chapters, we have succeeded to find efficient algorithms to solve several important problems such
More informationApplied Algorithm Design Lecture 5
Applied Algorithm Design Lecture 5 Pietro Michiardi Eurecom Pietro Michiardi (Eurecom) Applied Algorithm Design Lecture 5 1 / 86 Approximation Algorithms Pietro Michiardi (Eurecom) Applied Algorithm Design
More informationCan linear programs solve NPhard problems?
Can linear programs solve NPhard problems? p. 1/9 Can linear programs solve NPhard problems? Ronald de Wolf Linear programs Can linear programs solve NPhard problems? p. 2/9 Can linear programs solve
More informationCost Minimization and the Cost Function
Cost Minimization and the Cost Function Juan Manuel Puerta October 5, 2009 So far we focused on profit maximization, we could look at a different problem, that is the cost minimization problem. This is
More informationDate: April 12, 2001. Contents
2 Lagrange Multipliers Date: April 12, 2001 Contents 2.1. Introduction to Lagrange Multipliers......... p. 2 2.2. Enhanced Fritz John Optimality Conditions...... p. 12 2.3. Informative Lagrange Multipliers...........
More informationALMOST COMMON PRIORS 1. INTRODUCTION
ALMOST COMMON PRIORS ZIV HELLMAN ABSTRACT. What happens when priors are not common? We introduce a measure for how far a type space is from having a common prior, which we term prior distance. If a type
More informationKey words. Mixedinteger programming, mixing sets, convex hull descriptions, lotsizing.
MIXING SETS LINKED BY BIDIRECTED PATHS MARCO DI SUMMA AND LAURENCE A. WOLSEY Abstract. Recently there has been considerable research on simple mixedinteger sets, called mixing sets, and closely related
More informationProximal mapping via network optimization
L. Vandenberghe EE236C (Spring 234) Proximal mapping via network optimization minimum cut and maximum flow problems parametric minimum cut problem application to proximal mapping Introduction this lecture:
More informationx a x 2 (1 + x 2 ) n.
Limits and continuity Suppose that we have a function f : R R. Let a R. We say that f(x) tends to the limit l as x tends to a; lim f(x) = l ; x a if, given any real number ɛ > 0, there exists a real number
More informationScheduling and (Integer) Linear Programming
Scheduling and (Integer) Linear Programming Christian Artigues LAAS  CNRS & Université de Toulouse, France artigues@laas.fr Master Class CPAIOR 2012  Nantes Christian Artigues Scheduling and (Integer)
More informationConvex Programming Tools for Disjunctive Programs
Convex Programming Tools for Disjunctive Programs João Soares, Departamento de Matemática, Universidade de Coimbra, Portugal Abstract A Disjunctive Program (DP) is a mathematical program whose feasible
More informationThe Equivalence of Linear Programs and ZeroSum Games
The Equivalence of Linear Programs and ZeroSum Games Ilan Adler, IEOR Dep, UC Berkeley adler@ieor.berkeley.edu Abstract In 1951, Dantzig showed the equivalence of linear programming problems and twoperson
More informationMATHEMATICS (CLASSES XI XII)
MATHEMATICS (CLASSES XI XII) General Guidelines (i) All concepts/identities must be illustrated by situational examples. (ii) The language of word problems must be clear, simple and unambiguous. (iii)
More informationAn Introduction on SemiDefinite Program
An Introduction on SemiDefinite Program from the viewpoint of computation Hayato Waki Institute of Mathematics for Industry, Kyushu University 20151008 Combinatorial Optimization at Work, Berlin, 2015
More informationGeometrical Characterization of RNoperators between Locally Convex Vector Spaces
Geometrical Characterization of RNoperators between Locally Convex Vector Spaces OLEG REINOV St. Petersburg State University Dept. of Mathematics and Mechanics Universitetskii pr. 28, 198504 St, Petersburg
More informationLecture 2: August 29. Linear Programming (part I)
10725: Convex Optimization Fall 2013 Lecture 2: August 29 Lecturer: Barnabás Póczos Scribes: Samrachana Adhikari, Mattia Ciollaro, Fabrizio Lecci Note: LaTeX template courtesy of UC Berkeley EECS dept.
More informationNotes on metric spaces
Notes on metric spaces 1 Introduction The purpose of these notes is to quickly review some of the basic concepts from Real Analysis, Metric Spaces and some related results that will be used in this course.
More informationError Bound for Classes of Polynomial Systems and its Applications: A Variational Analysis Approach
Outline Error Bound for Classes of Polynomial Systems and its Applications: A Variational Analysis Approach The University of New South Wales SPOM 2013 Joint work with V. Jeyakumar, B.S. Mordukhovich and
More informationLargest FixedAspect, AxisAligned Rectangle
Largest FixedAspect, AxisAligned Rectangle David Eberly Geometric Tools, LLC http://www.geometrictools.com/ Copyright c 19982016. All Rights Reserved. Created: February 21, 2004 Last Modified: February
More informationDuality in Linear Programming
Duality in Linear Programming 4 In the preceding chapter on sensitivity analysis, we saw that the shadowprice interpretation of the optimal simplex multipliers is a very useful concept. First, these shadow
More informationRobust Geometric Programming is conp hard
Robust Geometric Programming is conp hard André Chassein and Marc Goerigk Fachbereich Mathematik, Technische Universität Kaiserslautern, Germany Abstract Geometric Programming is a useful tool with a
More information{f 1 (U), U F} is an open cover of A. Since A is compact there is a finite subcover of A, {f 1 (U 1 ),...,f 1 (U n )}, {U 1,...
44 CHAPTER 4. CONTINUOUS FUNCTIONS In Calculus we often use arithmetic operations to generate new continuous functions from old ones. In a general metric space we don t have arithmetic, but much of it
More informationGLOBAL OPTIMIZATION METHOD FOR SOLVING MATHEMATICAL PROGRAMS WITH LINEAR COMPLEMENTARITY CONSTRAINTS. 1. Introduction
GLOBAL OPTIMIZATION METHOD FOR SOLVING MATHEMATICAL PROGRAMS WITH LINEAR COMPLEMENTARITY CONSTRAINTS N.V. THOAI, Y. YAMAMOTO, AND A. YOSHISE Abstract. We propose a method for finding a global optimal solution
More informationCyberSecurity Analysis of State Estimators in Power Systems
CyberSecurity Analysis of State Estimators in Electric Power Systems André Teixeira 1, Saurabh Amin 2, Henrik Sandberg 1, Karl H. Johansson 1, and Shankar Sastry 2 ACCESS Linnaeus Centre, KTHRoyal Institute
More informationEquilibrium computation: Part 1
Equilibrium computation: Part 1 Nicola Gatti 1 Troels Bjerre Sorensen 2 1 Politecnico di Milano, Italy 2 Duke University, USA Nicola Gatti and Troels Bjerre Sørensen ( Politecnico di Milano, Italy, Equilibrium
More informationA LagrangianDNN Relaxation: a Fast Method for Computing Tight Lower Bounds for a Class of Quadratic Optimization Problems
A LagrangianDNN Relaxation: a Fast Method for Computing Tight Lower Bounds for a Class of Quadratic Optimization Problems Sunyoung Kim, Masakazu Kojima and KimChuan Toh October 2013 Abstract. We propose
More informationWhat is Linear Programming?
Chapter 1 What is Linear Programming? An optimization problem usually has three essential ingredients: a variable vector x consisting of a set of unknowns to be determined, an objective function of x to
More informationPractical Guide to the Simplex Method of Linear Programming
Practical Guide to the Simplex Method of Linear Programming Marcel Oliver Revised: April, 0 The basic steps of the simplex algorithm Step : Write the linear programming problem in standard form Linear
More informationJeux finiment répétés avec signaux semistandards
Jeux finiment répétés avec signaux semistandards P. ContouCarrère 1, T. Tomala 2 CEPNLAGA, Université Paris 13 7 décembre 2010 1 Université Paris 1, Panthéon Sorbonne 2 HEC, Paris Introduction Repeated
More information! Solve problem to optimality. ! Solve problem in polytime. ! Solve arbitrary instances of the problem. #approximation algorithm.
Approximation Algorithms 11 Approximation Algorithms Q Suppose I need to solve an NPhard problem What should I do? A Theory says you're unlikely to find a polytime algorithm Must sacrifice one of three
More informationFRACTIONAL COLORINGS AND THE MYCIELSKI GRAPHS
FRACTIONAL COLORINGS AND THE MYCIELSKI GRAPHS By G. Tony Jacobs Under the Direction of Dr. John S. Caughman A math 501 project submitted in partial fulfillment of the requirements for the degree of Master
More informationFirst Welfare Theorem
First Welfare Theorem Econ 2100 Fall 2015 Lecture 17, November 2 Outline 1 First Welfare Theorem 2 Preliminaries to Second Welfare Theorem Last Class Definitions A feasible allocation (x, y) is Pareto
More informationReconnect 04 Solving Integer Programs with Branch and Bound (and Branch and Cut)
Sandia is a ultiprogra laboratory operated by Sandia Corporation, a Lockheed Martin Copany, Reconnect 04 Solving Integer Progras with Branch and Bound (and Branch and Cut) Cynthia Phillips (Sandia National
More informationLinear Programming Notes V Problem Transformations
Linear Programming Notes V Problem Transformations 1 Introduction Any linear programming problem can be rewritten in either of two standard forms. In the first form, the objective is to maximize, the material
More informationUniversità degli Studi di Bologna. On Intervalsubgradient and Nogood Cuts
Università degli Studi di Bologna Dipartimento di Elettronica Informatica e Sistemistica viale Risorgimento, 2 40136  Bologna (Italy) phone : + 390512093001 fax : + 390512093073 On Intervalsubgradient
More informationConvex analysis and profit/cost/support functions
CALIFORNIA INSTITUTE OF TECHNOLOGY Division of the Humanities and Social Sciences Convex analysis and profit/cost/support functions KC Border October 2004 Revised January 2009 Let A be a subset of R m
More informationOn SDP and CPrelaxations and on connections between SDP, CP and SIP
On SDP and CPrelaations and on connections between SDP, CP and SIP Georg Still and Faizan Ahmed University of Twente p 1/12 1. IP and SDP, CPrelaations Integer program: IP) : min T Q s.t. a T j =
More informationPYTHAGOREAN TRIPLES KEITH CONRAD
PYTHAGOREAN TRIPLES KEITH CONRAD 1. Introduction A Pythagorean triple is a triple of positive integers (a, b, c) where a + b = c. Examples include (3, 4, 5), (5, 1, 13), and (8, 15, 17). Below is an ancient
More informationLecture 11: 01 Quadratic Program and Lower Bounds
Lecture :  Quadratic Program and Lower Bounds (3 units) Outline Problem formulations Reformulation: Linearization & continuous relaxation Branch & Bound Method framework Simple bounds, LP bound and semidefinite
More informationCanonical Heights, Nef Divisors, and Arithmetic Degrees Joseph H. Silverman
Canonical Heights, Nef Divisors, and Arithmetic Degrees Joseph H. Silverman Brown University Joint work with Shu Kawaguchi Conference on Diophantine Problems and Arithmetic Dynamics Academia Sinica, Taipei,
More informationMinimizing the Number of Machines in a UnitTime Scheduling Problem
Minimizing the Number of Machines in a UnitTime Scheduling Problem Svetlana A. Kravchenko 1 United Institute of Informatics Problems, Surganova St. 6, 220012 Minsk, Belarus kravch@newman.basnet.by Frank
More informationMinimally Infeasible Set Partitioning Problems with Balanced Constraints
Minimally Infeasible Set Partitioning Problems with alanced Constraints Michele Conforti, Marco Di Summa, Giacomo Zambelli January, 2005 Revised February, 2006 Abstract We study properties of systems of
More information24. The Branch and Bound Method
24. The Branch and Bound Method It has serious practical consequences if it is known that a combinatorial problem is NPcomplete. Then one can conclude according to the present state of science that no
More informationCHAPTER II THE LIMIT OF A SEQUENCE OF NUMBERS DEFINITION OF THE NUMBER e.
CHAPTER II THE LIMIT OF A SEQUENCE OF NUMBERS DEFINITION OF THE NUMBER e. This chapter contains the beginnings of the most important, and probably the most subtle, notion in mathematical analysis, i.e.,
More information9 More on differentiation
Tel Aviv University, 2013 Measure and category 75 9 More on differentiation 9a Finite Taylor expansion............... 75 9b Continuous and nowhere differentiable..... 78 9c Differentiable and nowhere monotone......
More informationNo: 10 04. Bilkent University. Monotonic Extension. Farhad Husseinov. Discussion Papers. Department of Economics
No: 10 04 Bilkent University Monotonic Extension Farhad Husseinov Discussion Papers Department of Economics The Discussion Papers of the Department of Economics are intended to make the initial results
More informationThe Multiplicative Weights Update method
Chapter 2 The Multiplicative Weights Update method The Multiplicative Weights method is a simple idea which has been repeatedly discovered in fields as diverse as Machine Learning, Optimization, and Game
More informationAlgebra 2 Chapter 1 Vocabulary. identity  A statement that equates two equivalent expressions.
Chapter 1 Vocabulary identity  A statement that equates two equivalent expressions. verbal model A word equation that represents a reallife problem. algebraic expression  An expression with variables.
More informationLecture 3: Linear Programming Relaxations and Rounding
Lecture 3: Linear Programming Relaxations and Rounding 1 Approximation Algorithms and Linear Relaxations For the time being, suppose we have a minimization problem. Many times, the problem at hand can
More informationMOSEK modeling manual
MOSEK modeling manual August 12, 2014 Contents 1 Introduction 1 2 Linear optimization 3 2.1 Introduction....................................... 3 2.1.1 Basic notions.................................. 3
More informationGROUPS SUBGROUPS. Definition 1: An operation on a set G is a function : G G G.
Definition 1: GROUPS An operation on a set G is a function : G G G. Definition 2: A group is a set G which is equipped with an operation and a special element e G, called the identity, such that (i) the
More informationA central problem in network revenue management
A Randomized Linear Programming Method for Computing Network Bid Prices KALYAN TALLURI Universitat Pompeu Fabra, Barcelona, Spain GARRETT VAN RYZIN Columbia University, New York, New York We analyze a
More informationCost Efficient Network Synthesis from Leased Lines
KonradZuseZentrum für Informationstechnik Berlin Takustraße 7 D14195 BerlinDahlem Germany DIMITRIS ALEVRAS ROLAND WESSÄLY MARTIN GRÖTSCHEL Cost Efficient Network Synthesis from Leased Lines Preprint
More informationDecentralization and Private Information with Mutual Organizations
Decentralization and Private Information with Mutual Organizations Edward C. Prescott and Adam Blandin Arizona State University 09 April 2014 1 Motivation Invisible hand works in standard environments
More informationMultiplicity. Chapter 6
Chapter 6 Multiplicity The fundamental theorem of algebra says that any polynomial of degree n 0 has exactly n roots in the complex numbers if we count with multiplicity. The zeros of a polynomial are
More informationCURVES WHOSE SECANT DEGREE IS ONE IN POSITIVE CHARACTERISTIC. 1. Introduction
Acta Math. Univ. Comenianae Vol. LXXXI, 1 (2012), pp. 71 77 71 CURVES WHOSE SECANT DEGREE IS ONE IN POSITIVE CHARACTERISTIC E. BALLICO Abstract. Here we study (in positive characteristic) integral curves
More informationNonArbitrage and the Fundamental Theorem of Asset Pricing: Summary of Main Results
Proceedings of Symposia in Applied Mathematics Volume 00, 1997 NonArbitrage and the Fundamental Theorem of Asset Pricing: Summary of Main Results Freddy Delbaen and Walter Schachermayer Abstract. The
More informationChapter 13: Binary and MixedInteger Programming
Chapter 3: Binary and MixedInteger Programming The general branch and bound approach described in the previous chapter can be customized for special situations. This chapter addresses two special situations:
More informationContinued Fractions and the Euclidean Algorithm
Continued Fractions and the Euclidean Algorithm Lecture notes prepared for MATH 326, Spring 997 Department of Mathematics and Statistics University at Albany William F Hammond Table of Contents Introduction
More informationSummer course on Convex Optimization. Fifth Lecture InteriorPoint Methods (1) Michel Baes, K.U.Leuven Bharath Rangarajan, U.
Summer course on Convex Optimization Fifth Lecture InteriorPoint Methods (1) Michel Baes, K.U.Leuven Bharath Rangarajan, U.Minnesota InteriorPoint Methods: the rebirth of an old idea Suppose that f is
More informationIntegrating Benders decomposition within Constraint Programming
Integrating Benders decomposition within Constraint Programming Hadrien Cambazard, Narendra Jussien email: {hcambaza,jussien}@emn.fr École des Mines de Nantes, LINA CNRS FRE 2729 4 rue Alfred Kastler BP
More information! Solve problem to optimality. ! Solve problem in polytime. ! Solve arbitrary instances of the problem. !approximation algorithm.
Approximation Algorithms Chapter Approximation Algorithms Q Suppose I need to solve an NPhard problem What should I do? A Theory says you're unlikely to find a polytime algorithm Must sacrifice one of
More informationx if x 0, x if x < 0.
Chapter 3 Sequences In this chapter, we discuss sequences. We say what it means for a sequence to converge, and define the limit of a convergent sequence. We begin with some preliminary results about the
More informationBuered Probability of Exceedance: Mathematical Properties and Optimization Algorithms
Buered Probability of Exceedance: Mathematical Properties and Optimization Algorithms Alexander Mafusalov, Stan Uryasev RESEARCH REPORT 20141 Risk Management and Financial Engineering Lab Department of
More informationChapter 11. 11.1 Load Balancing. Approximation Algorithms. Load Balancing. Load Balancing on 2 Machines. Load Balancing: Greedy Scheduling
Approximation Algorithms Chapter Approximation Algorithms Q. Suppose I need to solve an NPhard problem. What should I do? A. Theory says you're unlikely to find a polytime algorithm. Must sacrifice one
More information