Cutting Plane Methods I

Similar documents
Chapter 1. Preliminaries

Optimization Methods in Management Science

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

Integer Programming: Cutting Planes

Cutting Plane Methods II

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

Integer Programming, Part 1

Deciding Emptiness of the Gomory-Chvátal Closure is NP-Complete, Even for a Rational Polyhedron Containing No Integer Point

Lift-and-Project Inequalities

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

Discrete Optimization 2010 Lecture 7 Introduction to Integer Programming

Optimization Exercise Set n. 4 :

Input: System of inequalities or equalities over the reals R. Output: Value for variables that minimizes cost function

Cutting planes from extended LP formulations

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

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

LP Relaxations of Mixed Integer Programs

On the Rank of Cutting-Plane Proof Systems

BBM402-Lecture 20: LP Duality

Integer Hulls of Rational Polyhedra. Rekha R. Thomas

3.7 Cutting plane methods

Optimization Exercise Set n.5 :

MAT-INF4110/MAT-INF9110 Mathematical optimization

constraints Ax+Gy» b (thus any valid inequalityforp is of the form u(ax+gy)» ub for u 2 R m + ). In [13], Gomory introduced a family of valid inequali

6.854J / J Advanced Algorithms Fall 2008

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

Problem Set 1 Solutions

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

1 Integer Decomposition Property

A packing integer program arising in two-layer network design

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

3. Linear Programming and Polyhedral Combinatorics

1 Maximal Lattice-free Convex Sets

3.7 Strong valid inequalities for structured ILP problems

CS 6820 Fall 2014 Lectures, October 3-20, 2014

3. Linear Programming and Polyhedral Combinatorics

On the knapsack closure of 0-1 Integer Linear Programs. Matteo Fischetti University of Padova, Italy

A Note on the MIR closure

On the matrix-cut rank of polyhedra

Mixed-integer linear representability, disjunctions, and variable elimination

Combinatorial Optimization

Lecture 5 January 16, 2013

6.854J / J Advanced Algorithms Fall 2008

Minimal Valid Inequalities for Integer Constraints

On the Rational Polytopes with Chvátal Rank 1

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

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

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

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

Section Notes 9. Midterm 2 Review. Applied Math / Engineering Sciences 121. Week of December 3, 2018

Linear and Integer Optimization (V3C1/F4C1)

Lectures 6, 7 and part of 8

When the Gomory-Chvátal Closure Coincides with the Integer Hull

Introduction to Integer Programming

15.083J/6.859J Integer Optimization. Lecture 10: Solving Relaxations

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.

Mixed-integer linear representability, disjunctions, and Chvátal functions modeling implications

CORC REPORT Approximate fixed-rank closures of covering problems

Asteroide Santana, Santanu S. Dey. December 4, School of Industrial and Systems Engineering, Georgia Institute of Technology

1 Overview. 2 Extreme Points. AM 221: Advanced Optimization Spring 2016

Integer Programming Methods LNMB

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

The Split Closure of a Strictly Convex Body

On mixed-integer sets with two integer variables

Lagrangian Relaxation in MIP

15.081J/6.251J Introduction to Mathematical Programming. Lecture 24: Discrete Optimization

LOWER BOUNDS FOR CHVÁTAL-GOMORY STYLE OPERATORS SEBASTIAN POKUTTA

CSC Linear Programming and Combinatorial Optimization Lecture 12: The Lift and Project Method

TRISTRAM BOGART AND REKHA R. THOMAS

Cutting Plane Separators in SCIP

On the Chvatál-Complexity of Binary Knapsack Problems. Gergely Kovács 1 Béla Vizvári College for Modern Business Studies, Hungary

Cutting Planes and Elementary Closures for Non-linear Integer Programming

Today: Linear Programming (con t.)

Appendix PRELIMINARIES 1. THEOREMS OF ALTERNATIVES FOR SYSTEMS OF LINEAR CONSTRAINTS

- Well-characterized problems, min-max relations, approximate certificates. - LP problems in the standard form, primal and dual linear programs

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

The Split Closure of a Strictly Convex Body

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

CO 250 Final Exam Guide

A Review of Linear Programming

Linear Programming. Larry Blume Cornell University, IHS Vienna and SFI. Summer 2016

Cutting Planes in SCIP

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

An overview of key ideas

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

Polynomiality of Linear Programming

Integer Programming Duality

Duality of LPs and Applications

Operations Research Lecture 6: Integer Programming

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

4. Algebra and Duality

Semidefinite and Second Order Cone Programming Seminar Fall 2001 Lecture 5

3.8 Strong valid inequalities

On the knapsack closure of 0-1 Integer Linear Programs

On the separation of split cuts and related inequalities

On the Chvátal-Gomory Closure of a Compact Convex Set

Mathematical Programs Linear Program (LP)

Integer Programming Chapter 15

Lattice closures of polyhedra

How tight is the corner relaxation? Insights gained from the stable set problem

Transcription:

6.859/15.083 Integer Programming and Combinatorial Optimization Fall 2009 Cutting Planes Consider max{wx : Ax b, x integer}. Cutting Plane Methods I Establishing the optimality of a solution is equivalent to proving wx t is valid for all integral solutions of Ax b, where t is the maximum value. Without the integrality restriction, we could prove the validity of wx t with the help of LP duality. Our goal is to establish a similar method for integral solutions. Consider the linear system 2x 1 + 3x 2 27 2x 1 2x 2 7 6x 1 2x 2 9 2x 1 6x 2 11 6x 1 + 8x 2 21 As can easily be seen, every integral solution satisfies x 2 5. However, we cannot derive this directly with LP duality because there is a fractional vector, (9/2, 6), with x 2 = 6. Instead, let us multiply the last inequality by 1/2: 3x 1 + 4x 2 21/2. Every integral solution satisfies the stronger inequality 3x 1 + 4x 2 10, obtained by rounding 21/2 down to the nearest integer. Multiplying this inequality by 2 and the first inequality by 3, and adding the resulting inequalities, gives: 17x 2 101. Multiplying by 1/17 and rounding down the right-hand side, we can conclude: x 2 5. 1

In general, suppose our system consists of a i x b i i = 1,..., m. Let y 1,..., y m 0 and set and m c = y i a i i=1 m d = y i b i. i=1 Trivially, every solution to Ax b satisfies cx d. If c is integral, all integral solutions to Ax b also satisfy cx d. cx d is called a Gomory-Chvátal cut (GC cut). Cut because the rounding operation cuts off part of the original polyhedron. GC cuts can also be defined directly in terms of the polyhedron P defined by Ax b: just take a valid inequality cx d for P with c integral and round down to cx d. The use of the nonnegative numbers y i is to provide a derivation of cx d. With the y i s in hand, we are easily convinced that cx d and cx d are indeed valid. Cutting-Plane Proofs A cutting-plane proof of an inequality wx t from Ax b is a sequence of inequalities a m+k x b m+k k = 1,..., M together with nonnegative numbers y ki k = 1,..., M, i = 1,..., m + k 1 such that for each k = 1,..., M, the inequality a m+k x b m+k is derived from a i x b i i = 1,..., m + k 1 using the numbers y ki, i = 1,..., m + k 1, and such that the last inequality in the sequence is wx t. Theorem 1 (Chvátal 1973, Gomory 1960). Let P = {x : Ax b} be a rational polytope and let wx t be an inequality, with w integral, satisfied by all integral vectors in P. Then there exists a cutting-plane proof of wx t from Ax b, for some t t. Proof idea: 2

Push wx l into the polytope as far as possible. Use induction to show that the face F induced by wx l contains no integral points. Push the inequality to wx l 1. Continuing this, we eventually reach wx t. Need technique to translate the cutting-plane proof on F to a proof on the entire polytope: Lemma 2. Let F be a face of a rational polytope P. If cx d is a GC cut for F, then there exists a GC cut c x d for P such that F {x : c x d } = F {x : cx d }. Let P = {x : A x b, A x b }, where A and b are integral. Let F = {x : A x b, A x = b }. We may assume that d = max{cx : x F }. By LP duality, there exist vectors y 0 and y such that y A + y A = c y b + y b = d. To obtain a GC cut for P we must replace y by a vector that is nonnegative. To this end, define c = c y A = y A + (y y )A d = d y b = y b + (y y )b Then c is integral, and c x d is a valid inequality for P. Moreover, since d = d + y b, F {x : c x d } F {x : c x d, y A x = y b } F {x : cx d }. = = 3

Theorem 3. Let P = {x : Ax b} be a rational polytope that contains no integral vectors. Then there exists a cutting-plane proof of 0x 1 from Ax b. Induction on the dimension of P. Theorem trivial if dim(p ) = 0. So assume dim(p ) 1. Let wx l be an inequality, with w integral, that induces a proper face of P. Let P = {x P : wx l }. If P =, then we can use Farkas Lemma to deduce 0x 1 from Ax b, wx l. Suppose P =, and let F = {x P : wx = l }. Note that dim(f ) < dim(p ). By the induction hypothesis, there exists a cutting-plane proof of 0x 1 from Ax b, wx = l. Using the lemma, we get a cutting-plane proof, from Ax b, wx l of an inequality cx d such that P {x : cx d, wx = l } =. Thus, after applying this sequence of cuts to P, we have wx l 1 as a GC cut. As P is bounded, min{wx : x P } is finite. Continuing in the above manner, letting P = {x P : wx l 1}, and so on, we eventually obtain a cutting-plane proof of some wx t such that P {x : wx t} =. With Farkas Lemma we then derive 0x 1 from Ax b, wx t. Theorem 4 (Chvátal 1973, Gomory 1960). Let P = {x : Ax b} be a rational polytope and let wx t be an inequality, with w integral, satisfied by all integral vectors in P. Then there exists a cutting-plane proof of wx t from Ax b, for some t t. Let l = max{wx : x P }, and let P = {x P : wx l }. If l t, we are done, so suppose not. Consider the face F = {x P : wx = l }. Since t < l, F contains no integral points. By the previous theorem, there exists a cuting-plane proof of 0x 1 from Ax b, wx = l. 4

Using the lemma, we get a cutting-plane proof, from Ax b, wx l of an inequality cx d such that P {x : cx d, wx = l } =. Thus, after applying this sequence of cuts to P, we have wx l 1 as a GC cut. Continuing in this fashion, we finally derive an inequality wx t with t t. Chvátal Rank GC cuts have an interesting connection with the problem of finding linear descriptions of combinatorial convex hulls. In this context, we do not think of cuts coming sequentially, as in cutting-plane proofs, but rather in waves that provide successively tighter approximations to P I, the convex hull of integral points in P. Let P be the set of all points in P that satisfy every GC cut for P. Theorem 5 (Schrijver 1980). If P is a rational polyhedron, then P is also a rational polyhedron. Let P = {x : Ax b} with A and b integral. Claim: P is defined by Ax b and all inequalities that can be written as (ya)x yb for some vector y such that 0 y < 1 and ya is integral. Note that this would give the result. So let wx t be a GC cut, derived from Ax b with the nonnegative vector y. Let y = y y. Then w = y A = w y A is integral. Moreover, t = y b = t y b differs from t by an integral amount. So the cut w x t derived with y, together with the valid inequality ( y A)x y b sum to wx t. Letting P (0) = P and P (i) = (P (i 1) ), we have P = P (0) P (1) P (2) P I. Theorem 6. If P is a rational polyhedron, then P (k) = P I for some integer k. 5

The least k for which P (k) = P I is called the Chvátal rank of P. In general, there is no upper bound on the Chvátal rank in terms of the dimension of the polyhedron. For polytopes P [0, 1] n, the Chvátal rank is O(n 2 log n). If for a family of polyhedra P the problem max{wx : x P I } is NP-complete, then, assuming NP = co-np, there is no fixed k such that P (k) = P I for all P. Gomory s Cutting-Plane Procedure Consider max{cx : Ax = b, x Z n +}. Given an (optimal) LP basis B, write the IP as max c B B 1 b + c j x j s.t. x Bi + ā ij x j = b i x j Z i = 1,..., m j = 1,..., n c j 0 for all j N; b i 0 for all i = 1,..., m. If the LP solution is not integral, then there exists row i with b i Z. The GC cut for row i is x Bi + ā ij x j b i. Substitute for x Bi to get (ā ij ā ij )x j b i b i. Or if f ij = ā ij ā ij, f i = b i b i, then f ij x ij f i. 6

MIT OpenCourseWare http://ocw.mit.edu 15.083J / 6.859J Integer Programming and Combinatorial Optimization Fall 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms.