Some representability and duality results for convex mixed-integer programs.
|
|
- Vernon Stokes
- 8 years ago
- Views:
Transcription
1 Some representability and duality results for convex mixed-integer 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. (Representability-type result) Duality for Conic Mixed-integer 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. (Representability-type result) Duality for Conic Mixed-integer programs. Generalizing the results for integer linear program to integer convex program. But first: A simple, but interesting property of convex mixed-integer 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 lattice-free. 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 lattice-free. exists maximal lattice-free 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 Gordan-Dickson 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 mixed-integer programs 3 Duality for conic mixed-integer programs
55 37 Duality for conic mixed-integer programs Notation and basic ideas 3.1 Notation and basic ideas
56 38 Duality for conic mixed-integer 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 mixed-integer 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 mixed-integer programs Notation and basic ideas Some definitions Subadditivity, conic non-decreasing 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 mixed-integer 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 mixed-integer 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 mixed-integer 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 mixed-integer 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 mixed-integer 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 mixed-integer 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 mixed-integer 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 mixed-integer 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 mixed-integer cuts are given by dual feasible functions corresponding to 1-row Mixed integer linear programs.
67 45 Duality for conic mixed-integer 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 mixed-integer programs Main result Strong duality for (MILP) The well-known 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 mixed-integer 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 mixed-integer programs Sketch of the proof 2 Sketch of the proof.
71 49 Duality for conic mixed-integer 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 mixed-integer 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 mixed-integer 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 mixed-integer 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 mixed-integer 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 mixed-integer 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 mixed-integer 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 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 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 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 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 informationTwo-Stage Stochastic Linear Programs
Two-Stage Stochastic Linear Programs Operations Research Anthony Papavasiliou 1 / 27 Two-Stage Stochastic Linear Programs 1 Short Reviews Probability Spaces and Random Variables Convex Analysis 2 Deterministic
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 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 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 informationNonlinear Optimization: Algorithms 3: Interior-point methods
Nonlinear Optimization: Algorithms 3: Interior-point methods INSEAD, Spring 2006 Jean-Philippe Vert Ecole des Mines de Paris Jean-Philippe.Vert@mines.org Nonlinear optimization c 2006 Jean-Philippe 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 informationDuality in General Programs. Ryan Tibshirani Convex Optimization 10-725/36-725
Duality in General Programs Ryan Tibshirani Convex Optimization 10-725/36-725 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 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 Rock-Paper-Scissors
More informationDiscrete Optimization
Discrete Optimization [Chen, Batson, Dang: Applied integer Programming] Chapter 3 and 4.1-4.3 by Johan Högdahl and Victoria Svedberg Seminar 2, 2015-03-31 Todays presentation Chapter 3 Transforms using
More informationDantzig-Wolfe bound and Dantzig-Wolfe cookbook
Dantzig-Wolfe bound and Dantzig-Wolfe cookbook thst@man.dtu.dk DTU-Management Technical University of Denmark 1 Outline LP strength of the Dantzig-Wolfe The exercise from last week... The Dantzig-Wolfe
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 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 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 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 informationCan linear programs solve NP-hard problems?
Can linear programs solve NP-hard problems? p. 1/9 Can linear programs solve NP-hard problems? Ronald de Wolf Linear programs Can linear programs solve NP-hard problems? p. 2/9 Can linear programs solve
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 informationKey words. Mixed-integer programming, mixing sets, convex hull descriptions, lot-sizing.
MIXING SETS LINKED BY BI-DIRECTED PATHS MARCO DI SUMMA AND LAURENCE A. WOLSEY Abstract. Recently there has been considerable research on simple mixed-integer sets, called mixing sets, and closely related
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 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 informationProximal mapping via network optimization
L. Vandenberghe EE236C (Spring 23-4) 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 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 Zero-Sum Games
The Equivalence of Linear Programs and Zero-Sum Games Ilan Adler, IEOR Dep, UC Berkeley adler@ieor.berkeley.edu Abstract In 1951, Dantzig showed the equivalence of linear programming problems and two-person
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 2015-10-08 Combinatorial Optimization at Work, Berlin, 2015
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 informationLecture 2: August 29. Linear Programming (part I)
10-725: 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 informationDuality in Linear Programming
Duality in Linear Programming 4 In the preceding chapter on sensitivity analysis, we saw that the shadow-price interpretation of the optimal simplex multipliers is a very useful concept. First, these shadow
More informationLargest Fixed-Aspect, Axis-Aligned Rectangle
Largest Fixed-Aspect, Axis-Aligned Rectangle David Eberly Geometric Tools, LLC http://www.geometrictools.com/ Copyright c 1998-2016. All Rights Reserved. Created: February 21, 2004 Last Modified: February
More informationRobust Geometric Programming is co-np hard
Robust Geometric Programming is co-np hard André Chassein and Marc Goerigk Fachbereich Mathematik, Technische Universität Kaiserslautern, Germany Abstract Geometric Programming is a useful tool with a
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 informationCyber-Security Analysis of State Estimators in Power Systems
Cyber-Security 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, KTH-Royal Institute
More informationA Lagrangian-DNN Relaxation: a Fast Method for Computing Tight Lower Bounds for a Class of Quadratic Optimization Problems
A Lagrangian-DNN Relaxation: a Fast Method for Computing Tight Lower Bounds for a Class of Quadratic Optimization Problems Sunyoung Kim, Masakazu Kojima and Kim-Chuan Toh October 2013 Abstract. We propose
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 informationGeometrical Characterization of RN-operators between Locally Convex Vector Spaces
Geometrical Characterization of RN-operators between Locally Convex Vector Spaces OLEG REINOV St. Petersburg State University Dept. of Mathematics and Mechanics Universitetskii pr. 28, 198504 St, Petersburg
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 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 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 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 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 informationOn SDP- and CP-relaxations and on connections between SDP-, CP and SIP
On SDP- and CP-relaations and on connections between SDP-, CP and SIP Georg Still and Faizan Ahmed University of Twente p 1/12 1. IP and SDP-, CP-relaations Integer program: IP) : min T Q s.t. a T j =
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 information! Solve problem to optimality. ! Solve problem in poly-time. ! Solve arbitrary instances of the problem. #-approximation algorithm.
Approximation Algorithms 11 Approximation Algorithms Q Suppose I need to solve an NP-hard problem What should I do? A Theory says you're unlikely to find a poly-time algorithm Must sacrifice one of three
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: 0-1 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 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 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 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 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 real-life problem. algebraic expression - An expression with variables.
More informationCost Efficient Network Synthesis from Leased Lines
Konrad-Zuse-Zentrum für Informationstechnik Berlin Takustraße 7 D-14195 Berlin-Dahlem 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 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 NP-complete. Then one can conclude according to the present state of science that no
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 informationSummer course on Convex Optimization. Fifth Lecture Interior-Point Methods (1) Michel Baes, K.U.Leuven Bharath Rangarajan, U.
Summer course on Convex Optimization Fifth Lecture Interior-Point Methods (1) Michel Baes, K.U.Leuven Bharath Rangarajan, U.Minnesota Interior-Point Methods: the rebirth of an old idea Suppose that f is
More informationImprecise probabilities, bets and functional analytic methods in Łukasiewicz logic.
Imprecise probabilities, bets and functional analytic methods in Łukasiewicz logic. Martina Fedel joint work with K.Keimel,F.Montagna,W.Roth Martina Fedel (UNISI) 1 / 32 Goal The goal of this talk is to
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 informationMinimizing the Number of Machines in a Unit-Time Scheduling Problem
Minimizing the Number of Machines in a Unit-Time Scheduling Problem Svetlana A. Kravchenko 1 United Institute of Informatics Problems, Surganova St. 6, 220012 Minsk, Belarus kravch@newman.bas-net.by Frank
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 2014-1 Risk Management and Financial Engineering Lab Department of
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 informationThe Advantages and Disadvantages of Online Linear Optimization
LINEAR PROGRAMMING WITH ONLINE LEARNING TATSIANA LEVINA, YURI LEVIN, JEFF MCGILL, AND MIKHAIL NEDIAK SCHOOL OF BUSINESS, QUEEN S UNIVERSITY, 143 UNION ST., KINGSTON, ON, K7L 3N6, CANADA E-MAIL:{TLEVIN,YLEVIN,JMCGILL,MNEDIAK}@BUSINESS.QUEENSU.CA
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 informationBANACH AND HILBERT SPACE REVIEW
BANACH AND HILBET SPACE EVIEW CHISTOPHE HEIL These notes will briefly review some basic concepts related to the theory of Banach and Hilbert spaces. We are not trying to give a complete development, but
More informationBipan Hazarika ON ACCELERATION CONVERGENCE OF MULTIPLE SEQUENCES. 1. Introduction
F A S C I C U L I M A T H E M A T I C I Nr 51 2013 Bipan Hazarika ON ACCELERATION CONVERGENCE OF MULTIPLE SEQUENCES Abstract. In this article the notion of acceleration convergence of double sequences
More information1. Let X and Y be normed spaces and let T B(X, Y ).
Uppsala Universitet Matematiska Institutionen Andreas Strömbergsson Prov i matematik Funktionalanalys Kurs: NVP, Frist. 2005-03-14 Skrivtid: 9 11.30 Tillåtna hjälpmedel: Manuella skrivdon, Kreyszigs bok
More informationNoncommercial Software for Mixed-Integer Linear Programming
Noncommercial Software for Mixed-Integer Linear Programming J. T. Linderoth T. K. Ralphs December, 2004. Revised: January, 2005. Abstract We present an overview of noncommercial software tools for the
More informationSolving Linear Systems, Continued and The Inverse of a Matrix
, Continued and The of a Matrix Calculus III Summer 2013, Session II Monday, July 15, 2013 Agenda 1. The rank of a matrix 2. The inverse of a square matrix Gaussian Gaussian solves a linear system by reducing
More informationThis exposition of linear programming
Linear Programming and the Simplex Method David Gale This exposition of linear programming and the simplex method is intended as a companion piece to the article in this issue on the life and work of George
More informationAdvanced Lecture on Mathematical Science and Information Science I. Optimization in Finance
Advanced Lecture on Mathematical Science and Information Science I Optimization in Finance Reha H. Tütüncü Visiting Associate Professor Dept. of Mathematical and Computing Sciences Tokyo Institute of Technology
More informationCONTINUOUS REINHARDT DOMAINS PROBLEMS ON PARTIAL JB*-TRIPLES
CONTINUOUS REINHARDT DOMAINS PROBLEMS ON PARTIAL JB*-TRIPLES László STACHÓ Bolyai Institute Szeged, Hungary stacho@math.u-szeged.hu www.math.u-szeged.hu/ Stacho 13/11/2008, Granada László STACHÓ () CONTINUOUS
More informationSolving polynomial least squares problems via semidefinite programming relaxations
Solving polynomial least squares problems via semidefinite programming relaxations Sunyoung Kim and Masakazu Kojima August 2007, revised in November, 2007 Abstract. A polynomial optimization problem whose
More informationActually Doing It! 6. Prove that the regular unit cube (say 1cm=unit) of sufficiently high dimension can fit inside it the whole city of New York.
1: 1. Compute a random 4-dimensional polytope P as the convex hull of 10 random points using rand sphere(4,10). Run VISUAL to see a Schlegel diagram. How many 3-dimensional polytopes do you see? How many
More informationNon-Arbitrage and the Fundamental Theorem of Asset Pricing: Summary of Main Results
Proceedings of Symposia in Applied Mathematics Volume 00, 1997 Non-Arbitrage and the Fundamental Theorem of Asset Pricing: Summary of Main Results Freddy Delbaen and Walter Schachermayer Abstract. The
More informationAn Overview Of Software For Convex Optimization. Brian Borchers Department of Mathematics New Mexico Tech Socorro, NM 87801 borchers@nmt.
An Overview Of Software For Convex Optimization Brian Borchers Department of Mathematics New Mexico Tech Socorro, NM 87801 borchers@nmt.edu In fact, the great watershed in optimization isn t between linearity
More informationTransportation Polytopes: a Twenty year Update
Transportation Polytopes: a Twenty year Update Jesús Antonio De Loera University of California, Davis Based on various papers joint with R. Hemmecke, E.Kim, F. Liu, U. Rothblum, F. Santos, S. Onn, R. Yoshida,
More informationSpatial Decomposition/Coordination Methods for Stochastic Optimal Control Problems. Practical aspects and theoretical questions
Spatial Decomposition/Coordination Methods for Stochastic Optimal Control Problems Practical aspects and theoretical questions P. Carpentier, J-Ph. Chancelier, M. De Lara, V. Leclère École des Ponts ParisTech
More informationMax-Min Representation of Piecewise Linear Functions
Beiträge zur Algebra und Geometrie Contributions to Algebra and Geometry Volume 43 (2002), No. 1, 297-302. Max-Min Representation of Piecewise Linear Functions Sergei Ovchinnikov Mathematics Department,
More informationAlgebra 1 Course Title
Algebra 1 Course Title Course- wide 1. What patterns and methods are being used? Course- wide 1. Students will be adept at solving and graphing linear and quadratic equations 2. Students will be adept
More information16.3 Fredholm Operators
Lectures 16 and 17 16.3 Fredholm Operators A nice way to think about compact operators is to show that set of compact operators is the closure of the set of finite rank operator in operator norm. In this
More informationMINIMIZATION OF ENTROPY FUNCTIONALS UNDER MOMENT CONSTRAINTS. denote the family of probability density functions g on X satisfying
MINIMIZATION OF ENTROPY FUNCTIONALS UNDER MOMENT CONSTRAINTS I. Csiszár (Budapest) Given a σ-finite measure space (X, X, µ) and a d-tuple ϕ = (ϕ 1,..., ϕ d ) of measurable functions on X, for a = (a 1,...,
More informationChapter 13: Binary and Mixed-Integer Programming
Chapter 3: Binary and Mixed-Integer 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 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 information! Solve problem to optimality. ! Solve problem in poly-time. ! Solve arbitrary instances of the problem. !-approximation algorithm.
Approximation Algorithms Chapter Approximation Algorithms Q Suppose I need to solve an NP-hard problem What should I do? A Theory says you're unlikely to find a poly-time algorithm Must sacrifice one of
More informationOptimal File Sharing in Distributed Networks
Optimal File Sharing in Distributed Networks Moni Naor Ron M. Roth Abstract The following file distribution problem is considered: Given a network of processors represented by an undirected graph G = (V,
More informationIncreasing Supply Chain Robustness through Process Flexibility and Inventory
Increasing Supply Chain Robustness through Process Flexibility and Inventory David Simchi-Levi He Wang Yehua Wei This Version: January 1, 2015 Abstract We study a hybrid strategy that uses both process
More informationLecture Notes on Measure Theory and Functional Analysis
Lecture Notes on Measure Theory and Functional Analysis P. Cannarsa & T. D Aprile Dipartimento di Matematica Università di Roma Tor Vergata cannarsa@mat.uniroma2.it daprile@mat.uniroma2.it aa 2006/07 Contents
More information