Lecture 4: Rational IPs, Polyhedron, Decomposition Theorem

Similar documents
Lecture 6: Faces, Facets

Linear programming and duality theory

ORIE 6300 Mathematical Programming I September 2, Lecture 3

EC 521 MATHEMATICAL METHODS FOR ECONOMICS. Lecture 2: Convex Sets

Polar Duality and Farkas Lemma

In this chapter we introduce some of the basic concepts that will be useful for the study of integer programming problems.

Combinatorial Geometry & Topology arising in Game Theory and Optimization

Advanced Operations Research Techniques IE316. Quiz 2 Review. Dr. Ted Ralphs

Math 5593 Linear Programming Lecture Notes

Lecture 2 - Introduction to Polytopes

DM545 Linear and Integer Programming. Lecture 2. The Simplex Method. Marco Chiarandini

Conic Duality. yyye

POLYHEDRAL GEOMETRY. Convex functions and sets. Mathematical Programming Niels Lauritzen Recall that a subset C R n is convex if

Convex Geometry arising in Optimization

Lecture 5: Duality Theory

Lesson 17. Geometry and Algebra of Corner Points

Advanced Operations Research Techniques IE316. Quiz 1 Review. Dr. Ted Ralphs

C&O 355 Lecture 16. N. Harvey

Integer Programming ISE 418. Lecture 1. Dr. Ted Ralphs

maximize c, x subject to Ax b,

Modeling and Analysis of Hybrid Systems

Modeling and Analysis of Hybrid Systems

Lecture 5: Properties of convex sets

COMP331/557. Chapter 2: The Geometry of Linear Programming. (Bertsimas & Tsitsiklis, Chapter 2)

Discrete Optimization 2010 Lecture 5 Min-Cost Flows & Total Unimodularity

A mini-introduction to convexity

11 Linear Programming

Convexity: an introduction

4 LINEAR PROGRAMMING (LP) E. Amaldi Fondamenti di R.O. Politecnico di Milano 1

Numerical Optimization

Finite Math Linear Programming 1 May / 7

MA4254: Discrete Optimization. Defeng Sun. Department of Mathematics National University of Singapore Office: S Telephone:

On the Hardness of Computing Intersection, Union and Minkowski Sum of Polytopes

CS 473: Algorithms. Ruta Mehta. Spring University of Illinois, Urbana-Champaign. Ruta (UIUC) CS473 1 Spring / 29

Mathematical and Algorithmic Foundations Linear Programming and Matchings

College of Computer & Information Science Fall 2007 Northeastern University 14 September 2007

Integer Programming Theory

LP Geometry: outline. A general LP. minimize x c T x s.t. a T i. x b i, i 2 M 1 a T i x = b i, i 2 M 3 x j 0, j 2 N 1. where

LECTURE 10 LECTURE OUTLINE

AMS : Combinatorial Optimization Homework Problems - Week V

Integer Programming Chapter 9

What is a cone? Anastasia Chavez. Field of Dreams Conference President s Postdoctoral Fellow NSF Postdoctoral Fellow UC Davis

Introduction to Mathematical Programming IE496. Final Review. Dr. Ted Ralphs

arxiv: v1 [math.co] 15 Dec 2009

Math 414 Lecture 2 Everyone have a laptop?

Lecture 4: Linear Programming

Introduction to optimization

CS 473: Algorithms. Ruta Mehta. Spring University of Illinois, Urbana-Champaign. Ruta (UIUC) CS473 1 Spring / 36

Mathematical Programming and Research Methods (Part II)

Lecture 3. Corner Polyhedron, Intersection Cuts, Maximal Lattice-Free Convex Sets. Tepper School of Business Carnegie Mellon University, Pittsburgh

Introduction to Modern Control Systems

Advanced Linear Programming. Organisation. Lecturers: Leen Stougie, CWI and Vrije Universiteit in Amsterdam

Polyhedral Computation and their Applications. Jesús A. De Loera Univ. of California, Davis

Submodularity Reading Group. Matroid Polytopes, Polymatroid. M. Pawan Kumar

Polyhedral Computation Today s Topic: The Double Description Algorithm. Komei Fukuda Swiss Federal Institute of Technology Zurich October 29, 2010

Linear Programming Duality and Algorithms

CS599: Convex and Combinatorial Optimization Fall 2013 Lecture 14: Combinatorial Problems as Linear Programs I. Instructor: Shaddin Dughmi

6.854 Advanced Algorithms. Scribes: Jay Kumar Sundararajan. Duality

CS671 Parallel Programming in the Many-Core Era

Lecture Notes 2: The Simplex Algorithm

CS522: Advanced Algorithms

The Simplex Algorithm

FACES OF CONVEX SETS

Convex Hull Representation Conversion (cddlib, lrslib)

1 Linear Programming. 1.1 Optimizion problems and convex polytopes 1 LINEAR PROGRAMMING

Section Notes 5. Review of Linear Programming. Applied Math / Engineering Sciences 121. Week of October 15, 2017

Linear Programming. Larry Blume. Cornell University & The Santa Fe Institute & IHS

CS675: Convex and Combinatorial Optimization Spring 2018 Convex Sets. Instructor: Shaddin Dughmi

Applied Integer Programming

Linear Optimization. Andongwisye John. November 17, Linkoping University. Andongwisye John (Linkoping University) November 17, / 25

4 Linear Programming (LP) E. Amaldi -- Foundations of Operations Research -- Politecnico di Milano 1

4 Integer Linear Programming (ILP)

CAT(0)-spaces. Münster, June 22, 2004

3. The Simplex algorithmn The Simplex algorithmn 3.1 Forms of linear programs

Lecture 12: Feasible direction methods

1. Lecture notes on bipartite matching February 4th,

Lecture 12 March 4th

Outline. Combinatorial Optimization 2. Finite Systems of Linear Inequalities. Finite Systems of Linear Inequalities. Theorem (Weyl s theorem :)

Lecture 2 September 3

Polytopes Course Notes

Lecture 7: Asymmetric K-Center

Some Advanced Topics in Linear Programming

CS675: Convex and Combinatorial Optimization Spring 2018 The Simplex Algorithm. Instructor: Shaddin Dughmi

Chapter 15 Introduction to Linear Programming

15-451/651: Design & Analysis of Algorithms October 11, 2018 Lecture #13: Linear Programming I last changed: October 9, 2018

Lecture 10,11: General Matching Polytope, Maximum Flow. 1 Perfect Matching and Matching Polytope on General Graphs

15.082J and 6.855J. Lagrangian Relaxation 2 Algorithms Application to LPs

The simplex method and the diameter of a 0-1 polytope

Linear Programming: Introduction

Lecture 9: Pipage Rounding Method

This lecture: Convex optimization Convex sets Convex functions Convex optimization problems Why convex optimization? Why so early in the course?

Introduction to Operations Research

3 No-Wait Job Shops with Variable Processing Times

Chapter 4 Concepts from Geometry

Lecture 2 Convex Sets

CS599: Convex and Combinatorial Optimization Fall 2013 Lecture 4: Convex Sets. Instructor: Shaddin Dughmi

arxiv: v1 [math.co] 12 Dec 2017

Dual-fitting analysis of Greedy for Set Cover

R n a T i x = b i} is a Hyperplane.

Optimality certificates for convex minimization and Helly numbers

Transcription:

IE 5: Integer Programming, Spring 29 24 Jan, 29 Lecture 4: Rational IPs, Polyhedron, Decomposition Theorem Lecturer: Karthik Chandrasekaran Scribe: Setareh Taki Disclaimer: These notes have not been subjected to the usual scrutiny reserved for formal publications. 4. Rational Values Let us see an example to understand the importance of rational values in IPs. Example: max 3x + y s.t. 3x + y x (4.) y x, y Z The polyhedron related to this problem is P = {(x, y) : x, y, 3x + y } (Figure 4.). Figure 4.: Example of an irrational IP The IP (4.) is feasible and bounded in objective value. Possible candidates for optimal solutions are integral points which are closest to the line 3x + y =. However, the IP has no optimal solution. One can get arbitrarily close to the line 3x + y = by picking large non-negative integer x and setting y = 3 but can never hit the line because no integral solution satisfies y = 3x. Observation: IPs with irrational inputs can be feasible, bounded but without an optimal solution. Throughout this course we only use rational inputs because IPs with irrational values behave unpredictably (as seen by the above example). Secondly, in real-world problems the values are mostly rational. Thirdly, computers work only with rationals as they are finite-precision machines. 4-

Next, let us formalize rationality in the definitions of cones and state Weyl-Minkowski s theorem for rational cones. Definition. A polyhedral cone {x : Ax } is a rational polyhedral if A is rational. Definition 2. A finitely generated cone{a,..., a m } is rational if a,..., a m are rational. Note: A finitely generated rational cone can be assumed to be generated by integral vectors because the cone generated by scaling the generators by positive scalars is the same cone. Theorem 3 (Farkas, Weyl-Minkowski). The following are equivalent:. C is a rational polyhedral cone 2. C is generated by a finite set of rational vectors 3. C is generated by a finite set of integral vectors. Recall that this result allows us to move between linear-inequality and linear-combination descriptions. 4.2 Polyhedra and Structure Techniques for IP depend heavily on the theory of polyhedra. To understand polyhedra, we started with cones. Cones are fundamental geometric tools which are helpful to understand polyhedra. A polyhedron is a slice of a cone as illustrated by the examples below. Figure 4.2: Two polyhedra shown as a slice of a cone We will next formalize this intuition that a polyhedron is a slice of a cone. Recall the definition of a polyhedron. Definition 4. A polyhedron P R n is a set of points that satisfy a finite number of linear inequalities, i.e., P = {x R n : Ax b}. 4-2

Figure 4.3: Two examples of polyhedra: A bounded polyhedron (left) and an unbounded polyhedron (right) Definition 5. A set K is bounded if there exists w R such that K {x R n : x j w, j [n]}. In Figure 4.3, note that the left-side polyhedron is bounded while the right-side polyhedron is unbounded. We will see an alternative viewpoint of bounded polyhedron shortly. A polyhedron is convex. Recall the definition of convexity: Definition 6. A set Q R n is convex if x, x 2 Q, λ [, ], we have λx + ( λ)x 2 Q. Note : The set Z n in not convex. Note 2: Every polyhedron is convex. Recall the definition of convex-hull of a set. Definition 7. Convex-hull(S) = Set of convex combinations of finitely many points of S. Definition 8. A polytope is the convex hull of finitely many vectors. The left figure in Figure 4.2 is a polytope as it is a convex combination of finitely many vectors whereas the right figure is not a polytope. Note that the convex-hull of finitely many points is always bounded and hence we have the following proposition: Proposition 9. Every polytope is bounded. Polyhedron and polytope are closely related. To understand this connection, we need the notion of sum of sets. Definition. For sets S, T R n, define S + T := {s + t : s S, t T }. Example: 4-3

(i) Let a, v R n and C = Cone{v}. Then C + {a} is shown in Figure 4.4. Figure 4.4: Left: C = Cone{v}, Right: C + {a} (ii) Let C = Cone{v, v 2 }, a R n. Then C + {a} is shown in Figure 4.5. Figure 4.5: Left: C = Cone{v, v 2 }, Right: C + {a} (iii) Generally, Figure 4.6: The sum of a cone and a polytope is a polyhedron Note that the figures on the right side of examples (i) and (ii) are polyhedra because they can be written as a set of points satisfying a finite number of linear inequalities. Thus, it appears like the sum of a polytope and a cone is a polyhedron. We now formally prove this. Theorem (Minkowski). [Decomposition theorem for polyhedron] Let P R n. Then, P is a polyhedron if and only if P = Q + C for some polytope Q and some polyhedral cone C. 4-4

Proof. We will show that it follows from Weyl-Minkowski by treating a polyhedron as a slice of a cone. We prove the two directions now. = : Let P = {x : Ax b} be a polyhedron. We need to find a polytope Q and a cone C with P = Q+C. Let {( ) } x T := : x R n, λ R, Ax λb, λ,. λ T is a polyhedral cone. By Weyl-Mikowski s theorem, T is finitely generated. Let the generators be ( x ) ( λ,..., ) { (x ) ( λm. Then, we have that T = Cone λ,..., ) } λm. We may assume that λ i {, } i [m] by scaling because all λs are non-negative rationals. We have that ) ( x x P T ) ( ) ( ) ( x x = γ + + γ m for some γ,..., γ m λ λ m m x = γ i x i for some γ,..., γ m with γ i = By taking i= x = i:λ i = γ i x i + i:λ i = γ i x i i:λ i = for some γ,..., γ m with C := Cone{x i : λ i = } and Q := Convex-hull{x i : λ i = }, statement (4.2) implies that P = Q + C. = : i:λ i = γ i = (4.2) Let P = Q+C for a polytope Q and a polyhedral cone C. We need to show that P is a polyhedron. Let C = Cone{y,..., y t } and Q = Convex-hull{x,..., x m }. We have that x P x = ) ( x t λ i y i + i= = λ ( y ) ( x Cone m γ i x i i= ) ( ym + + λ m {( ) x,..., for some λ i i [t], γ i i [m], ( ) xt, ) ( ) ( ) x + γ + + γ m ( x m γ i = i= for some λ i i [t], γ i i [m] ) ( )},..., =: S By Weyl-Minkowski s Theorem, the finitely generated cone S is also a polyhedral cone. Hence, S = Cone {( } x λ) : Ax + λb for some constraint matrix [A b]. Therefore, ) ) } x P ( x A x b Cone {( x λ Therefore, P = {x : A x b} and hence P is a polyhedron. : Ax + λb 4-5

The decomposition Theorem will allow us to move between the inequality description of a feasible set and linear combination description. An important corollary of Theorem is that polytopes are bounded polyhedra. Corollary 2. Let P R n. Then, P is a polytope iff P is a bounded polyhedron. Proof. = : P is a polyhedron implies that P = Q + C for a polytope Q and a polyhedral cone C by the decomposition theorem. If C {}, then Q+C is unbounded which implies that P is unbounded, which is a contradiction. Therefore, C = {} and hence P = Q + {} = Q. Therefore, P is a polytope. = : P is a polytope = P = convex-hull{x,..., X m } for some points X,..., X m R n = P = convex-hull{x,..., X m } + {} = P = Q + C for the polytope Q = convex-hull{x,..., X m } and Cone C = {} = P is a polyhedron (by the decomposition theorem) Moreover, P is bounded by definition of a polytope. Corollary 2 is a remarkable result telling us that if P is a polytope then convex-hull(p Z n ) (which is also a polytope) is indeed a polyhedron, i.e., it has an inequality description: convex-hull(p Z n ) = {x R n : Ax b} for some A, b. Knowing this inequality description reduces the optimization problem: max{c T x : x convex-hull(p Z n )} max{c T x : Ax b}. We know how to solve the RHS problem since it is an LP. We will later see that in order to solve the IP max{c T x : x P Z n } it is sufficient to solve the LHS problem. 4-6