LP Relaxations of Mixed Integer Programs

Similar documents
Chapter 1. Preliminaries

Computational Integer Programming Universidad de los Andes. Lecture 1. Dr. Ted Ralphs

Key Things We Learned Last Time. IE418 Integer Programming. Proving Facets Way #2 Indirect. A More Abstract Example

Linear Algebra Review: Linear Independence. IE418 Integer Programming. Linear Algebra Review: Subspaces. Linear Algebra Review: Affine Independence

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

LP Duality: outline. Duality theory for Linear Programming. alternatives. optimization I Idea: polyhedra

Integer Programming, Part 1

Cutting planes from extended LP formulations

Optimization WS 13/14:, by Y. Goldstein/K. Reinert, 9. Dezember 2013, 16: Linear programming. Optimization Problems

MAT-INF4110/MAT-INF9110 Mathematical optimization

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

THE EXISTENCE AND USEFULNESS OF EQUALITY CUTS IN THE MULTI-DEMAND MULTIDIMENSIONAL KNAPSACK PROBLEM LEVI DELISSA. B.S., Kansas State University, 2014

Solving the MWT. Recall the ILP for the MWT. We can obtain a solution to the MWT problem by solving the following ILP:

1 Maximal Lattice-free Convex Sets

A Lower Bound on the Split Rank of Intersection Cuts

The Ellipsoid Algorithm

Chapter 2: Linear Programming Basics. (Bertsimas & Tsitsiklis, Chapter 1)

Linear Programming Inverse Projection Theory Chapter 3

3. Linear Programming and Polyhedral Combinatorics

Cutting Plane Methods I

Some Relationships between Disjunctive Cuts and Cuts based on S-free Convex Sets

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

Linear and Integer Optimization (V3C1/F4C1)

CO 250 Final Exam Guide

3.7 Strong valid inequalities for structured ILP problems

Lagrangian Relaxation in MIP

Minimal Valid Inequalities for Integer Constraints

THE MIXING SET WITH FLOWS

3. Linear Programming and Polyhedral Combinatorics

3.8 Strong valid inequalities

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

Computational Integer Programming. Lecture 2: Modeling and Formulation. Dr. Ted Ralphs

On mixed-integer sets with two integer variables

Convex Sets and Minimal Sublinear Functions

The Split Closure of a Strictly Convex Body

The Strength of Multi-row Aggregation Cuts for Sign-pattern Integer Programs

Some Properties of Convex Hulls of Integer Points Contained in General Convex Sets

Math Models of OR: Branch-and-Bound

Cutting Planes and Elementary Closures for Non-linear Integer Programming

BCOL RESEARCH REPORT 07.04

Lecture 9: Dantzig-Wolfe Decomposition

Minimal inequalities for an infinite relaxation of integer programs

Introduction to Mathematical Programming IE406. Lecture 3. Dr. Ted Ralphs

Introduction to Mathematical Programming IE406. Lecture 10. Dr. Ted Ralphs

Integer Programming ISE 418. Lecture 13b. Dr. Ted Ralphs

Optimization methods NOPT048

Lattice closures of polyhedra

The master equality polyhedron with multiple rows

On the Relative Strength of Split, Triangle and Quadrilateral Cuts

The Split Closure of a Strictly Convex Body

Section Notes 9. IP: Cutting Planes. Applied Math 121. Week of April 12, 2010

Key words. Integer nonlinear programming, Cutting planes, Maximal lattice-free convex sets

On the Relative Strength of Split, Triangle and Quadrilateral Cuts

On the Value Function of a Mixed Integer Linear Optimization Problem and an Algorithm for its Construction

Lattice closures of polyhedra

Change in the State of the Art of (Mixed) Integer Programming

1. Consider the following polyhedron of an LP problem: 2x 1 x 2 + 5x 3 = 1 (1) 3x 2 + x 4 5 (2) 7x 1 4x 3 + x 4 4 (3) x 1, x 2, x 4 0

Lifted Inequalities for 0 1 Mixed-Integer Bilinear Covering Sets

Combinatorial Optimization

A Review of Linear Programming

Linear Programming. Chapter Introduction

Mixed-integer nonlinear programming, Conic programming, Duality, Cutting

Linear and Integer Programming - ideas

Nonconvex Quadratic Programming: Return of the Boolean Quadric Polytope

Minimal inequalities for an infinite relaxation of integer programs

Optimization for Communications and Networks. Poompat Saengudomlert. Session 4 Duality and Lagrange Multipliers

n-step mingling inequalities: new facets for the mixed-integer knapsack set

Tight Formulations for Some Simple Mixed Integer Programs and Convex Objective Integer Programs

March 2002, December Introduction. We investigate the facial structure of the convex hull of the mixed integer knapsack set

Integer and Combinatorial Optimization: Introduction

A notion of Total Dual Integrality for Convex, Semidefinite and Extended Formulations

AM 121: Intro to Optimization! Models and Methods! Fall 2018!

Split closure and intersection cuts

AM 121: Intro to Optimization! Models and Methods! Fall 2018!

Math Models of OR: Extreme Points and Basic Feasible Solutions

Strong Dual for Conic Mixed-Integer Programs

On the knapsack closure of 0-1 Integer Linear Programs

Spring 2017 CO 250 Course Notes TABLE OF CONTENTS. richardwu.ca. CO 250 Course Notes. Introduction to Optimization

Multi-Row Cuts in Integer Programming. Tepper School of Business Carnegie Mellon University, Pittsburgh

Math Models of OR: Some Definitions

Discrete Optimization 2010 Lecture 7 Introduction to Integer Programming

Integer and Combinatorial Optimization: The Cut Generation LP

IP Cut Homework from J and B Chapter 9: 14, 15, 16, 23, 24, You wish to solve the IP below with a cutting plane technique.

Minimizing Cubic and Homogeneous Polynomials over Integers in the Plane

EE364a Review Session 5

Constrained Optimization Theory

AN INTRODUCTION TO CONVEXITY

A geometric perspective on lifting

Numerical Optimization

Optimality of extreme points. Theorem 2.8

Integer Programming Duality

Operations that preserve the covering property of the lifting region

The Master Equality Polyhedron: Two-Slope Facets and Separation Algorithm

Branch-and-cut Approaches for Chance-constrained Formulations of Reliable Network Design Problems

Polyhedral Approach to Integer Linear Programming. Tepper School of Business Carnegie Mellon University, Pittsburgh

A geometric perspective on lifting

Unbounded Convex Semialgebraic Sets as Spectrahedral Shadows

3.7 Cutting plane methods

MEP123: Master Equality Polyhedron with one, two or three rows

Lecture 7 Duality II

Transcription:

LP Relaxations of Mixed Integer Programs John E. Mitchell Department of Mathematical Sciences RPI, Troy, NY 12180 USA February 2015 Mitchell LP Relaxations 1 / 29

LP Relaxations LP relaxations We want to solve an integer program by solving a sequence of linear programs. We can relax the integrality constraints to give an LP relaxation. Let S := {x Z n : Ax b, x 0} = Z n P where P := {x R n : Ax b, x 0}. Since we restrict x 0, the polyhedron P has extreme points if it is nonempty. Mitchell LP Relaxations 2 / 29

LP Relaxations Convex hull of S Theorem The convex hull of S is a polyhedron. The proof is in Nemhauser and Wolsey. It is important to note that the extreme rays of conv(s) are the extreme rays of P. Mitchell LP Relaxations 3 / 29

LP Relaxations Equivalent LP formulation Our integer program of interest is min{c T x : x S} (IP). We relate this to the linear program min{c T x : x conv(s)} (CIP). We don t know the constraints of the linear program (CIP) explicitly. Mitchell LP Relaxations 4 / 29

LP Relaxations (IP) and (CIP) S c T x = z Mitchell LP Relaxations 5 / 29

LP Relaxations (IP) and (CIP) S conv(s) c T x = z Mitchell LP Relaxations 5 / 29

Value of (IP) and (CIP) LP Relaxations Theorem For any c R n, we have: 1 The objective value of (IP) is unbounded below if and only if the objective value of (CIP) is unbounded below. 2 If (CIP) has a bounded optimal value then it has an optimal solution that is an optimal solution to (IP). This optimal solution is an extreme point of conv(s). 3 If x 0 is an optimal solution to (IP) then it is an optimal solution to (CIP). The proof is in the text. It relies on the fact that the minimizer of a concave function over a convex set is at an extreme point. Mitchell LP Relaxations 6 / 29

Value of (IP) and (CIP) LP Relaxations Theorem For any c R n, we have: 1 The objective value of (IP) is unbounded below if and only if the objective value of (CIP) is unbounded below. 2 If (CIP) has a bounded optimal value then it has an optimal solution that is an optimal solution to (IP). This optimal solution is an extreme point of conv(s). 3 If x 0 is an optimal solution to (IP) then it is an optimal solution to (CIP). The proof is in the text. It relies on the fact that the minimizer of a concave function over a convex set is at an extreme point. Mitchell LP Relaxations 6 / 29

Value of (IP) and (CIP) LP Relaxations Theorem For any c R n, we have: 1 The objective value of (IP) is unbounded below if and only if the objective value of (CIP) is unbounded below. 2 If (CIP) has a bounded optimal value then it has an optimal solution that is an optimal solution to (IP). This optimal solution is an extreme point of conv(s). 3 If x 0 is an optimal solution to (IP) then it is an optimal solution to (CIP). The proof is in the text. It relies on the fact that the minimizer of a concave function over a convex set is at an extreme point. Mitchell LP Relaxations 6 / 29

Value of (IP) and (CIP) LP Relaxations Theorem For any c R n, we have: 1 The objective value of (IP) is unbounded below if and only if the objective value of (CIP) is unbounded below. 2 If (CIP) has a bounded optimal value then it has an optimal solution that is an optimal solution to (IP). This optimal solution is an extreme point of conv(s). 3 If x 0 is an optimal solution to (IP) then it is an optimal solution to (CIP). The proof is in the text. It relies on the fact that the minimizer of a concave function over a convex set is at an extreme point. Mitchell LP Relaxations 6 / 29

LP Relaxations Possible cases for an integer linear program Corollary (IP) is either unbounded or infeasible or has an optimal solution. Mitchell LP Relaxations 7 / 29

Set up LP relaxation LP Relaxations So in principle, could solve (IP) by solving the linear program (CIP). But we don t know a polyhedral description of conv(s). Look at the LP relaxation min {c T x : Ax b, x 0} = min {c T x : x P}. (LP) Mitchell LP Relaxations 8 / 29

LP Relaxations Compare (IP) to LP relaxation We can relate (LP) to (IP) in the following theorem. The proof exploits the fact that S P. Theorem Let z LP and z IP be the optimal values of (LP) and (IP) respectively. 1 If P = then S =. 2 If z LP is finite then either S = or z IP is finite. If S then z IP z LP. 3 If x LP is optimal for (LP) and if x LP Z n then x LP is optimal for (IP). Mitchell LP Relaxations 9 / 29

LP Relaxations Compare (IP) to LP relaxation We can relate (LP) to (IP) in the following theorem. The proof exploits the fact that S P. Theorem Let z LP and z IP be the optimal values of (LP) and (IP) respectively. 1 If P = then S =. 2 If z LP is finite then either S = or z IP is finite. If S then z IP z LP. 3 If x LP is optimal for (LP) and if x LP Z n then x LP is optimal for (IP). Mitchell LP Relaxations 9 / 29

LP Relaxations Compare (IP) to LP relaxation We can relate (LP) to (IP) in the following theorem. The proof exploits the fact that S P. Theorem Let z LP and z IP be the optimal values of (LP) and (IP) respectively. 1 If P = then S =. 2 If z LP is finite then either S = or z IP is finite. If S then z IP z LP. 3 If x LP is optimal for (LP) and if x LP Z n then x LP is optimal for (IP). Mitchell LP Relaxations 9 / 29

LP Relaxations Compare (IP) to LP relaxation We can relate (LP) to (IP) in the following theorem. The proof exploits the fact that S P. Theorem Let z LP and z IP be the optimal values of (LP) and (IP) respectively. 1 If P = then S =. 2 If z LP is finite then either S = or z IP is finite. If S then z IP z LP. 3 If x LP is optimal for (LP) and if x LP Z n then x LP is optimal for (IP). Mitchell LP Relaxations 9 / 29

LP Relaxations Cutting plane algorithm illustration Solve linear program relaxation {x R n + : Ax b} Soln to LP relaxation conv(s) Mitchell LP Relaxations 10 / 29

LP Relaxations Cutting plane algorithm illustration Solve linear program relaxation {x R n + : Ax b} Cutting plane a1 T x = b 1 Soln to LP relaxation conv(s) Mitchell LP Relaxations 10 / 29

LP Relaxations Cutting plane algorithm illustration Solve linear program relaxation {x R n + : Ax b, a1 T x b 1} Soln to LP relaxation conv(s) Mitchell LP Relaxations 10 / 29

LP Relaxations Cutting plane algorithm illustration Solve linear program relaxation {x R n + : Ax b, a T 1 x b 1} Cutting plane a 2 T x = b 2 Soln to LP relaxation conv(s) Mitchell LP Relaxations 10 / 29

LP Relaxations Cutting plane algorithm illustration Solve linear program relaxation {y R n + : Ax b, a1 T x b 1, a2 T x b 2} Solution to LP relaxation conv(s) Mitchell LP Relaxations 10 / 29

LP Relaxations Cutting plane algorithm illustration Solve linear program relaxation {x R n + : Ax b, a1 T x b 1, a2 T x b 2} Solution to LP relaxation conv(s) Solution is integral, so optimal to IP Mitchell LP Relaxations 10 / 29

LP Relaxations A cutting plane approach An integer program has many LP relaxations. The aim of a cutting plane approach is to add linear constraints to the original LP relaxation in order to tighten up the LP relaxation. These linear constraints are satisfied by every point in S but they might not be satisfied by every point in P. Adding these constraints gives an improved LP relaxation of the integer program. We would like to improve the relaxation so that it resembles conv(s) in some sense, at least in the neighborhood of an optimal solution to (IP). Mitchell LP Relaxations 11 / 29

Polyhedral description of conv(s) We would like to get a polyhedral description of conv(s). We d like as compact a description as possible. We first set up some notation. Given a matrix A R m n and a vector b R m, we construct the polyhedron Q := {x R n : Ax b}. Note: We have changed notation from Section 1. In particular, any nonnegativity constraints are included in the system Ax b. Mitchell LP Relaxations 12 / 29

Example 0 Full-dimensional example Q := x R 2 : x 1 + x 2 6 x 2 6 x 1 x 2 2 2x 1 + x 2 10 x 1 0 x 2 0 Mitchell LP Relaxations 13 / 29

Example 1 First example with implicit equality in R 2 Q := x R 2 : x 1 + x 2 3 x 1 + x 2 3 3x 1 + x 2 3 x 1 0 x 2 0 Mitchell LP Relaxations 14 / 29

Example 2 Second example with implicit equality in R 2 Q := x R 2 : 2x 1 + x 2 4 x 1 + x 2 4 x 1 0 x 2 0 Mitchell LP Relaxations 15 / 29

Implicit equality constraints We construct three sets of indices: M := {1,..., m} M = := {i M : A T i x = b i x Q} M := M \ M = = {i M : A T i x > b i for some x Q}. We also use the notation A =, A, b = and b in an analogous way. Mitchell LP Relaxations 16 / 29

Example 0 Full-dimensional example Q := x R 2 : x 1 + x 2 6 M x 2 6 M x 1 x 2 2 M 2x 1 + x 2 10 M x 1 0 M x 2 0 M Mitchell LP Relaxations 17 / 29

Example 1 First example with implicit equality in R 2 Q := x R 2 : x 1 + x 2 3 M = x 1 + x 2 3 M = 3x 1 + x 2 3 M x 1 0 M x 2 0 M Mitchell LP Relaxations 18 / 29

Example 2 Second example with implicit equality in R 2 Q := x R 2 : 2x 1 + x 2 4 M = x 1 + x 2 4 M = x 1 0 M = x 2 0 M Mitchell LP Relaxations 19 / 29

Valid inequalities Describing Polyhedra by Facets Definition The inequality π T x π 0 is a valid inequality for Q if it is satisfied by all points in Q. We also represent the inequality using the pair (π, π 0 ). Definition Let π T x π 0 be a valid inequality for Q. Let H = {x R n : π T x = π 0 } so F := Q H is a face of Q. Then (π, π 0 ) represents F. If F then (π, π 0 ) supports Q. We extend the notation M =, M to the face F using the notation M = F, M F. Mitchell LP Relaxations 20 / 29

Valid inequalities Describing Polyhedra by Facets Definition The inequality π T x π 0 is a valid inequality for Q if it is satisfied by all points in Q. We also represent the inequality using the pair (π, π 0 ). Definition Let π T x π 0 be a valid inequality for Q. Let H = {x R n : π T x = π 0 } so F := Q H is a face of Q. Then (π, π 0 ) represents F. If F then (π, π 0 ) supports Q. We extend the notation M =, M to the face F using the notation M = F, M F. Mitchell LP Relaxations 20 / 29

Impicit equalities for faces Proposition If F is a nonempty face of Q then F is a polyhedron and F = {x R n : ai T x = b i i M F =, at i x b i i M F }, where M F = M= and M F M. Mitchell LP Relaxations 21 / 29

Facets Proposition If F is a facet of Q then there exists some inequality a T k x b k with k M that represents F. Proof. Now dim(f) = dim(p)-1, so rank(a = F, b= F ) = rank(a=, b = ) + 1. Therefore, we only need one inequality in M that is in M F =, and this inequality represents the facet. Mitchell LP Relaxations 22 / 29

Facets Proposition If F is a facet of Q then there exists some inequality a T k x b k with k M that represents F. Proof. Now dim(f) = dim(p)-1, so rank(a = F, b= F ) = rank(a=, b = ) + 1. Therefore, we only need one inequality in M that is in M F =, and this inequality represents the facet. Mitchell LP Relaxations 22 / 29

One inequality per facet Proposition For each facet F of Q, one of the inequalities representing F is necessary in the description of Q. Proposition Every inequality a T i x b i for i M that represents a face of Q of dimension less than dim(q) 1 is irrelevant to the description of Q. Thus, later we will emphasize finding facets of the convex hull of S. Mitchell LP Relaxations 23 / 29

One inequality per facet Proposition For each facet F of Q, one of the inequalities representing F is necessary in the description of Q. Proposition Every inequality a T i x b i for i M that represents a face of Q of dimension less than dim(q) 1 is irrelevant to the description of Q. Thus, later we will emphasize finding facets of the convex hull of S. Mitchell LP Relaxations 23 / 29

Minimal representation of polyhedron With these propositions, we can now state two theorems showing how a polyhedron can be minimally represented using linear equalities and inequalities. Theorem (full dimensional case) A full dimensional polyhedron Q has a unique (to within scalar multiplication) minimal representation by a finite set of linear inequalities. In particular, for each facet F i of Q with i = 1,..., t, there is an inequality a T i x b i (unique to within scalar multiplication) representing F i and Q = {x R n : a T i x b i, i = 1,..., t}. Mitchell LP Relaxations 24 / 29

Example 0 Full-dimensional example Q := x R 2 : x 1 + x 2 6 M x 2 6 M x 1 x 2 2 M 2x 1 + x 2 10 M x 1 0 M x 2 0 M Mitchell LP Relaxations 25 / 29

Example 0 Full-dimensional example Q := x R 2 : x 1 + x 2 6 M x 2 6 M x 1 x 2 2 M 2x 1 + x 2 10 M x 1 0 M x 2 0 M Mitchell LP Relaxations 25 / 29

Minimal representation of polyhedron Theorem (not full dimensional) If dim(q) = n k with k > 0 then let t be the number of facets F i of Q, and we have Q = {x R n : a T i x = b i for i = 1,..., k, a T i x b i for i = k + 1,..., k + t}. The set {(a i, b i ) : i = 1,..., k} is a maximal set of linearly independent rows of (A =, b = ). For i = k + 1,..., k + t, (a i, b i ) is any inequality from the equivalence class of inequalities representing the facet F i of Q. Mitchell LP Relaxations 26 / 29

Example 1 First example with implicit equality in R 2 Q := x R 2 : x 1 + x 2 3 M = x 1 + x 2 3 M = 3x 1 + x 2 3 M x 1 0 M x 2 0 M Mitchell LP Relaxations 27 / 29

Example 1 First example with implicit equality in R 2 Q := x R 2 : x 1 + x 2 = 3 M = x 1 + x 2 3 M = 3x 1 + x 2 3 M x 1 0 M x 2 0 M Mitchell LP Relaxations 27 / 29

Example 1 First example with implicit equality in R 2 Q := x R 2 : x 1 + x 2 3 M = x 1 + x 2 = 3 M = 3x 1 + x 2 3 M x 1 0 M x 2 0 M Mitchell LP Relaxations 27 / 29

Example 1 First example with implicit equality in R 2 Q := x R 2 : x 1 + x 2 3 M = x 1 + x 2 = 3 M = 3x 1 + x 2 3 M x 1 0 M x 2 0 M Mitchell LP Relaxations 27 / 29

Example 2 Second example with implicit equality in R 2 Q := x R 2 : 2x 1 + x 2 4 M = x 1 + x 2 4 M = x 1 0 M = x 2 0 M Mitchell LP Relaxations 28 / 29

Example 2 Second example with implicit equality in R 2 Q := x R 2 : 2x 1 + x 2 4 M = x 1 + x 2 = 4 M = x 1 = 0 M = x 2 0 M Mitchell LP Relaxations 28 / 29

Example 2 Second example with implicit equality in R 2 Q := x R 2 : 2x 1 + x 2 = 4 M = x 1 + x 2 4 M = x 1 = 0 M = x 2 0 M Mitchell LP Relaxations 28 / 29

Example 2 Second example with implicit equality in R 2 Q := x R 2 : 2x 1 + x 2 = 4 M = x 1 + x 2 = 4 M = x 1 0 M = x 2 0 M Mitchell LP Relaxations 28 / 29

Summary The aim in a cutting plane approach is to try to develop a minimal description of the polyhedron conv(s), at least in the neighborhood of an optimal point to (IP). This pair of theorems tells us that it is enough to determine all the facets of conv(s), as well as a description of the affine hull of conv(s). Mitchell LP Relaxations 29 / 29