Split Cuts for Convex Nonlinear Mixed Integer Programming

Size: px
Start display at page:

Download "Split Cuts for Convex Nonlinear Mixed Integer Programming"

Transcription

1 Split Cuts for Convex Nonlinear Mixed Integer Programming Juan Pablo Vielma University of Pittsburgh joint work with D. Dadush and S. S. Dey S. Modaresi and M. Kılınç Georgia Institute of Technology University of Pittsburgh NSF CMMI and ONR N Integer Programming Workshop, March 2012 Valparaiso, Chile

2 Outline Introduction Split Cut Formulas Split Closure Conclusions 2/94

3 Introduction Split Disjunctions and Split Cuts 3/94

4 Introduction Split Disjunctions and Split Cuts 3/94

5 Introduction Split Disjunctions and Split Cuts Split Disjunction 3/94

6 Introduction Split Disjunctions and Split Cuts Split Disjunction 3/94

7 Introduction Split Disjunctions and Split Cuts Split Disjunction 3/94

8 Introduction Split Disjunctions and Split Cuts Split Disjunction 3/94

9 Introduction Split Disjunctions and Split Cuts Split Disjunction 3/94

10 Introduction Split Disjunctions and Split Cuts Split Disjunction 3/94

11 Introduction Split Disjunctions and Split Cuts Split Disjunction Split Cuts 3/94

12 Introduction Split Disjunctions and Split Cuts Split Disjunction Split Cuts 3/94

13 Introduction Known Facts for Rational Polyhedra Formulas for simplicial cones: MIG (Gomory 1960) and MIR (Nemhauser and Wolsey 1988) Split Closure : Rational Polyhedron (Cook, Kannan and Shrijver 1990) Constructive Proofs: Dash, Günlük and Lodi 2007; V /94

14 Split Cuts for Simplicial Cones Formulas: (MIG: Gomory 1960 and MIR: Nemhauser and Wolsey 1988) 5/94

15 Split Cuts for Simplicial Cones Formulas: (MIG: Gomory 1960 and MIR: Nemhauser and Wolsey 1988) (e.g. V. 2007) 5/94

16 Split Cuts for Quadratic Cones Formulas: (Modaresi, Kılınç, V. 2011) (also see Atamturk and Narayanan 2010 for elementary integer splits) 6/94

17 Split Cuts for Quadratic Cones Formulas: (Modaresi, Kılınç, V. 2011) (also see Atamturk and Narayanan 2010 for elementary integer splits) 6/94

18 Split Cuts for Quadratic Cones Formulas: (Modaresi, Kılınç, V. 2011) (also see Atamturk and Narayanan 2010 for elementary integer splits) 6/94

19 Split Cuts for Quadratic Cones Formulas: (Modaresi, Kılınç, V. 2011) (also see Atamturk and Narayanan 2010 for elementary integer splits) 6/94

20 Split Cuts for Quadratic Cones Formulas: (Modaresi, Kılınç, V. 2011) (also see Atamturk and Narayanan 2010 for elementary integer splits) 6/94

21 Split Cuts for Quadratic Cones Formulas: (Modaresi, Kılınç, V. 2011) (also see Atamturk and Narayanan 2010 for elementary integer splits) 6/94

22 Split Cuts for Quadratic Cones Formulas: (Modaresi, Kılınç, V. 2011) (also see Atamturk and Narayanan 2010 for elementary integer splits) 6/94

23 Split Cuts for Quadratic Cones Formulas: (Modaresi, Kılınç, V. 2011) (also see Atamturk and Narayanan 2010 for elementary integer splits) 6/94

24 Conic MIR Atamturk and Narayanan /94

25 Conic MIR Atamturk and Narayanan 2010 Extended Formulation: 7/94

26 Conic MIR Atamturk and Narayanan 2010 Extended Formulation: Linear Part 7/94

27 Conic MIR Atamturk and Narayanan 2010 Extended Formulation: Linear Part Nonlinear Part 7/94

28 Conic MIR Atamturk and Narayanan 2010 Extended Formulation: Linear Part Nonlinear Part Aggregate: 7/94

29 Conic MIR Atamturk and Narayanan 2010 Extended Formulation: Linear Part Nonlinear Part Aggregate: Conic MIR: 7/94

30 Conic MIR and Nonlinear Split Cut Modaresi, Kılınç, V Extended Formulation: Linear Part Nonlinear Part 8/94

31 Conic MIR and Nonlinear Split Cut Modaresi, Kılınç, V Extended Formulation: Linear Part Nonlinear Part 8/94

32 Conic MIR and Nonlinear Split Cut Modaresi, Kılınç, V Extended Formulation: Linear Part Nonlinear Part Conic MIR = Split cuts for linear part Nonlinear split cut 8/94

33 Split Cuts for Ellipsoids Formulas: (Dadush, Dey and V. 2011) (also see Belotti, Góez, Polik, Ralphs, Terlaky 2011) 9/94

34 Split Cuts for P-Order Cones Formulas: (Modaresi, Kılınç, V. 2011) Elementary splits: 10/94

35 Split Closure Split Closure is Finitely Generated Theorem (Dadush, Dey, V. 2011): If C is a strictly convex set then there exists a finite such that: Does not imply polyhedrality of split closure Split Closure is not stable 11/94

36 Split Closure Split Closure Can Be Non-Polyhedral 12/94

37 Split Closure Split Closure Can Be Non-Polyhedral 12/94

38 Summary and Open Questions Formulas for nonlinear split cuts Quadratic cones, ellipsoids and others. Strong ties to conic MIR Split closure: Finitely generated, not polyhedral Future: More formulas Computation More general/constructive split closure 13/94

Split Cuts for Convex Nonlinear Mixed Integer Programming

Split Cuts for Convex Nonlinear Mixed Integer Programming Split Cuts for Convex Nonlinear Mixed Integer Programming Juan Pablo Vielma Massachusetts Institute of Technology joint work with D. Dadush and S. S. Dey S. Modaresi and M. Kılınç Georgia Institute of

More information

Cutting Planes and Elementary Closures for Non-linear Integer Programming

Cutting Planes and Elementary Closures for Non-linear Integer Programming Cutting Planes and Elementary Closures for Non-linear Integer Programming Juan Pablo Vielma University of Pittsburgh joint work with D. Dadush and S. S. Dey S. Modaresi and M. Kılınç Georgia Institute

More information

Split cuts and extended formulations for Mixed Integer Conic Quadratic Programming

Split cuts and extended formulations for Mixed Integer Conic Quadratic Programming Split cuts and extended formulations for Mixed Integer Conic Quadratic Programming The MIT Faculty has made this article openly available. Please share how this access benefits you. Your story matters.

More information

The Split Closure of a Strictly Convex Body

The Split Closure of a Strictly Convex Body The Split Closure of a Strictly Convex Body D. Dadush a, S. S. Dey a, J. P. Vielma b,c, a H. Milton Stewart School of Industrial and Systems Engineering, Georgia Institute of Technology, 765 Ferst Drive

More information

Disjunctive Cuts for Cross-Sections of the Second-Order Cone

Disjunctive Cuts for Cross-Sections of the Second-Order Cone Disjunctive Cuts for Cross-Sections of the Second-Order Cone Sercan Yıldız Gérard Cornuéjols June 10, 2014 Abstract In this paper we provide a unified treatment of general two-term disjunctions on crosssections

More information

Some cut-generating functions for second-order conic sets

Some cut-generating functions for second-order conic sets Some cut-generating functions for second-order conic sets Asteroide Santana 1 and Santanu S. Dey 1 1 School of Industrial and Systems Engineering, Georgia Institute of Technology June 1, 2016 Abstract

More information

The Split Closure of a Strictly Convex Body

The Split Closure of a Strictly Convex Body The Split Closure of a Strictly Convex Body D. Dadush a, S. S. Dey a, J. P. Vielma b,c, a H. Milton Stewart School of Industrial and Systems Engineering, Georgia Institute of Technology, 765 Ferst Drive

More information

Convex hull of two quadratic or a conic quadratic and a quadratic inequality

Convex hull of two quadratic or a conic quadratic and a quadratic inequality Noname manuscript No. (will be inserted by the editor) Convex hull of two quadratic or a conic quadratic and a quadratic inequality Sina Modaresi Juan Pablo Vielma the date of receipt and acceptance should

More information

A Constructive Characterization of the Split Closure of a Mixed Integer Linear Program. Juan Pablo Vielma

A Constructive Characterization of the Split Closure of a Mixed Integer Linear Program. Juan Pablo Vielma A Constructive Characterization of the Split Closure of a Mixed Integer Linear Program Juan Pablo Vielma June 26, 2006 Review: MIP and Relaxation We study the MIP feasible region P I := {x P R n : x j

More information

Structure in Mixed Integer Conic Optimization: From Minimal Inequalities to Conic Disjunctive Cuts

Structure in Mixed Integer Conic Optimization: From Minimal Inequalities to Conic Disjunctive Cuts Structure in Mixed Integer Conic Optimization: From Minimal Inequalities to Conic Disjunctive Cuts Fatma Kılınç-Karzan Tepper School of Business Carnegie Mellon University Joint work with Sercan Yıldız

More information

The Chvátal-Gomory Closure of an Ellipsoid is a Polyhedron

The Chvátal-Gomory Closure of an Ellipsoid is a Polyhedron The Chvátal-Gomory Closure of an Ellipsoid is a Polyhedron Santanu S. Dey 1 and Juan Pablo Vielma 2,3 1 H. Milton Stewart School of Industrial and Systems Engineering, Georgia Institute of Technology,

More information

VALID INEQUALITIES AND REFORMULATION TECHNIQUES FOR MIXED INTEGER NONLINEAR PROGRAMMING

VALID INEQUALITIES AND REFORMULATION TECHNIQUES FOR MIXED INTEGER NONLINEAR PROGRAMMING VALID INEQUALITIES AND REFORMULATION TECHNIQUES FOR MIXED INTEGER NONLINEAR PROGRAMMING by Sina Modaresi B.S., Sharif University of Technology, 2010 M.S., University of Pittsburgh, 2012 Submitted to the

More information

On Sublinear Inequalities for Mixed Integer Conic Programs

On Sublinear Inequalities for Mixed Integer Conic Programs Noname manuscript No. (will be inserted by the editor) On Sublinear Inequalities for Mixed Integer Conic Programs Fatma Kılınç-Karzan Daniel E. Steffy Submitted: December 2014; Revised: July 7, 2015 Abstract

More information

Intersection cuts for nonlinear integer programming: convexification techniques for structured sets

Intersection cuts for nonlinear integer programming: convexification techniques for structured sets Noname manuscript No. (will be inserted by the editor Intersection cuts for nonlinear integer programming: convexification techniques for structured sets Sina Modaresi Mustafa R. Kılınç Juan Pablo Vielma

More information

Intersection cuts for nonlinear integer programming: convexification techniques for structured sets

Intersection cuts for nonlinear integer programming: convexification techniques for structured sets Noname manuscript No. (will be inserted by the editor) Intersection cuts for nonlinear integer programming: convexification techniques for structured sets Sina Modaresi Mustafa R. Kılınç Juan Pablo Vielma

More information

A Note on the MIR closure

A Note on the MIR closure A Note on the MIR closure Pierre Bonami Tepper School of Business, Carnegie Mellon University, Pittsburgh PA 53, USA. Gérard Cornuéjols Tepper School of Business, Carnegie Mellon University, Pittsburgh

More information

Structure of Valid Inequalities for Mixed Integer Conic Programs

Structure of Valid Inequalities for Mixed Integer Conic Programs Structure of Valid Inequalities for Mixed Integer Conic Programs Fatma Kılınç-Karzan Tepper School of Business Carnegie Mellon University 18 th Combinatorial Optimization Workshop Aussois, France January

More information

BCOL RESEARCH REPORT 07.04

BCOL RESEARCH REPORT 07.04 BCOL RESEARCH REPORT 07.04 Industrial Engineering & Operations Research University of California, Berkeley, CA 94720-1777 LIFTING FOR CONIC MIXED-INTEGER PROGRAMMING ALPER ATAMTÜRK AND VISHNU NARAYANAN

More information

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

Some Relationships between Disjunctive Cuts and Cuts based on S-free Convex Sets Some Relationships between Disjunctive Cuts and Cuts based on S-free Convex Sets Sanjeeb Dash a Santanu S. Dey b Oktay Günlük a a Business Analytics and Mathematical Sciences Department, IBM T. J. Watson

More information

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

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 On the Rank of Mixed 0,1 Polyhedra Λ Gérard Cornuéjols Yanjun Li Graduate School of Industrial Administration Carnegie Mellon University, Pittsburgh, USA (corresponding author: gc0v@andrew.cmu.edu) February

More information

Two-Term Disjunctions on the Second-Order Cone

Two-Term Disjunctions on the Second-Order Cone Noname manuscript No. (will be inserted by the editor) Two-Term Disjunctions on the Second-Order Cone Fatma Kılınç-Karzan Sercan Yıldız the date of receipt and acceptance should be inserted later Abstract

More information

Disjunctive conic cuts: The good, the bad, and implementation

Disjunctive conic cuts: The good, the bad, and implementation Disjunctive conic cuts: The good, the bad, and implementation MOSEK workshop on Mixed-integer conic optimization Julio C. Góez January 11, 2018 NHH Norwegian School of Economics 1 Motivation Goals! Extend

More information

A Lower Bound on the Split Rank of Intersection Cuts

A Lower Bound on the Split Rank of Intersection Cuts A Lower Bound on the Split Rank of Intersection Cuts Santanu S. Dey H. Milton Stewart School of Industrial and Systems Engineering, Georgia Institute of Technology. 200 Outline Introduction: split rank,

More information

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

Multi-Row Cuts in Integer Programming. Tepper School of Business Carnegie Mellon University, Pittsburgh Multi-Row Cuts in Integer Programming Gérard Cornuéjols Tepper School o Business Carnegie Mellon University, Pittsburgh March 2011 Mixed Integer Linear Programming min s.t. cx Ax = b x j Z or j = 1,...,

More information

Lifting for conic mixed-integer programming

Lifting for conic mixed-integer programming Math. Program., Ser. A DOI 1.17/s117-9-282-9 FULL LENGTH PAPER Lifting for conic mixed-integer programming Alper Atamtürk Vishnu Narayanan Received: 13 March 28 / Accepted: 28 January 29 The Author(s)

More information

Cutting planes from extended LP formulations

Cutting planes from extended LP formulations Cutting planes from extended LP formulations Merve Bodur University of Wisconsin-Madison mbodur@wisc.edu Sanjeeb Dash IBM Research sanjeebd@us.ibm.com March 7, 2016 Oktay Günlük IBM Research gunluk@us.ibm.com

More information

On the Relative Strength of Split, Triangle and Quadrilateral Cuts

On the Relative Strength of Split, Triangle and Quadrilateral Cuts On the Relative Strength of Split, Triangle and Quadrilateral Cuts Amitabh Basu Pierre Bonami Gérard Cornuéjols François Margot Abstract Integer programs defined by two equations with two free integer

More information

On the Relative Strength of Split, Triangle and Quadrilateral Cuts

On the Relative Strength of Split, Triangle and Quadrilateral Cuts On the Relative Strength of Split, Triangle and Quadrilateral Cuts Amitabh Basu Tepper School of Business, Carnegie Mellon University, Pittsburgh, PA 53 abasu@andrew.cmu.edu Pierre Bonami LIF, Faculté

More information

Minimal Valid Inequalities for Integer Constraints

Minimal Valid Inequalities for Integer Constraints Minimal Valid Inequalities for Integer Constraints Valentin Borozan LIF, Faculté des Sciences de Luminy, Université de Marseille, France borozan.valentin@gmail.com and Gérard Cornuéjols Tepper School of

More information

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

Polyhedral Approach to Integer Linear Programming. Tepper School of Business Carnegie Mellon University, Pittsburgh Polyhedral Approach to Integer Linear Programming Gérard Cornuéjols Tepper School of Business Carnegie Mellon University, Pittsburgh 1 / 30 Brief history First Algorithms Polynomial Algorithms Solving

More information

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

Integer Programming ISE 418. Lecture 13. Dr. Ted Ralphs Integer Programming ISE 418 Lecture 13 Dr. Ted Ralphs ISE 418 Lecture 13 1 Reading for This Lecture Nemhauser and Wolsey Sections II.1.1-II.1.3, II.1.6 Wolsey Chapter 8 CCZ Chapters 5 and 6 Valid Inequalities

More information

Lattice closures of polyhedra

Lattice closures of polyhedra Lattice closures of polyhedra Sanjeeb Dash IBM Research sanjeebd@us.ibm.com Oktay Günlük IBM Research gunluk@us.ibm.com April 10, 2017 Diego A. Morán R. Universidad Adolfo Ibañez diego.moran@uai.cl Abstract

More information

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

Integer Programming ISE 418. Lecture 13b. Dr. Ted Ralphs Integer Programming ISE 418 Lecture 13b Dr. Ted Ralphs ISE 418 Lecture 13b 1 Reading for This Lecture Nemhauser and Wolsey Sections II.1.1-II.1.3, II.1.6 Wolsey Chapter 8 CCZ Chapters 5 and 6 Valid Inequalities

More information

Lattice closures of polyhedra

Lattice closures of polyhedra Lattice closures of polyhedra Sanjeeb Dash IBM Research sanjeebd@us.ibm.com Oktay Günlük IBM Research gunluk@us.ibm.com October 27, 2016 Diego A. Morán R. Universidad Adolfo Ibañez diego.moran@uai.cl Abstract

More information

BCOL RESEARCH REPORT 14.02

BCOL RESEARCH REPORT 14.02 BCOL RESEARCH REPORT 14.02 Industrial Engineering & Operations Research University of California, Berkeley, CA 94720 1777 SUPERMODULAR COVERING KNAPSACK POLYTOPE ALPER ATAMTÜRK AND AVINASH BHARDWAJ Abstract.

More information

On mixed-integer sets with two integer variables

On mixed-integer sets with two integer variables On mixed-integer sets with two integer variables Sanjeeb Dash IBM Research sanjeebd@us.ibm.com Santanu S. Dey Georgia Inst. Tech. santanu.dey@isye.gatech.edu September 8, 2010 Oktay Günlük IBM Research

More information

A note on : A Superior Representation Method for Piecewise Linear Functions by Li, Lu, Huang and Hu

A note on : A Superior Representation Method for Piecewise Linear Functions by Li, Lu, Huang and Hu A note on : A Superior Representation Method for Piecewise Linear Functions by Li, Lu, Huang and Hu Juan Pablo Vielma, Shabbir Ahmed and George Nemhauser H. Milton Stewart School of Industrial and Systems

More information

On the Relative Strength of Split, Triangle and Quadrilateral Cuts

On the Relative Strength of Split, Triangle and Quadrilateral Cuts On the Relative Strength of Split, Triangle and Quadrilateral Cuts Amitabh Basu Tepper School of Business, Carnegie Mellon University, Pittsburgh, PA 53 abasu@andrew.cmu.edu Pierre Bonami LIF, Faculté

More information

Advances in CPLEX for Mixed Integer Nonlinear Optimization

Advances in CPLEX for Mixed Integer Nonlinear Optimization Pierre Bonami and Andrea Tramontani IBM ILOG CPLEX ISMP 2015 - Pittsburgh - July 13 2015 Advances in CPLEX for Mixed Integer Nonlinear Optimization 1 2015 IBM Corporation CPLEX Optimization Studio 12.6.2

More information

A conic representation of the convex hull of disjunctive sets and conic cuts for integer second order cone optimization

A conic representation of the convex hull of disjunctive sets and conic cuts for integer second order cone optimization A conic representation of the convex hull of disjunctive sets and conic cuts for integer second order cone optimization Pietro Belotti Xpress Optimizer Team, FICO, Birmingham, UK. Julio C. Góez Dept of

More information

Mixed Integer Nonlinear Programming

Mixed Integer Nonlinear Programming Mixed Integer Nonlinear Programming IMA New Directions Short Course on Mathematical Optimization Jeff Linderoth and Jim Luedtke Department of Industrial and Systems Engineering University of Wisconsin-Madison

More information

Lecture 2. Split Inequalities and Gomory Mixed Integer Cuts. Tepper School of Business Carnegie Mellon University, Pittsburgh

Lecture 2. Split Inequalities and Gomory Mixed Integer Cuts. Tepper School of Business Carnegie Mellon University, Pittsburgh Lecture 2 Split Inequalities and Gomory Mixed Integer Cuts Gérard Cornuéjols Tepper School of Business Carnegie Mellon University, Pittsburgh Mixed Integer Cuts Gomory 1963 Consider a single constraint

More information

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

On the Chvátal-Gomory Closure of a Compact Convex Set On the Chvátal-Gomory Closure of a Compact Convex Set Daniel Dadush 1, Santanu S. Dey 1, and Juan Pablo Vielma 2 1 H. Milton Stewart School of Industrial and Systems Engineering, Georgia Institute of Technology,

More information

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

Key words. Integer nonlinear programming, Cutting planes, Maximal lattice-free convex sets ON MAXIMAL S-FREE CONVEX SETS DIEGO A. MORÁN R. AND SANTANU S. DEY Abstract. Let S Z n satisfy the property that conv(s) Z n = S. Then a convex set K is called an S-free convex set if int(k) S =. A maximal

More information

A note on : A Superior Representation Method for Piecewise Linear Functions

A note on : A Superior Representation Method for Piecewise Linear Functions A note on : A Superior Representation Method for Piecewise Linear Functions Juan Pablo Vielma Business Analytics and Mathematical Sciences Department, IBM T. J. Watson Research Center, Yorktown Heights,

More information

Disjunctive Cuts for Mixed Integer Nonlinear Programming Problems

Disjunctive Cuts for Mixed Integer Nonlinear Programming Problems Disjunctive Cuts for Mixed Integer Nonlinear Programming Problems Pierre Bonami, Jeff Linderoth, Andrea Lodi December 29, 2012 Abstract We survey recent progress in applying disjunctive programming theory

More information

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

Mixed-integer nonlinear programming, Conic programming, Duality, Cutting A STRONG DUAL FOR CONIC MIXED-INTEGER PROGRAMS DIEGO A. MORÁN R., SANTANU S. DEY, AND JUAN PABLO VIELMA Abstract. Mixed-integer conic programming is a generalization of mixed-integer linear programming.

More information

Strong Dual for Conic Mixed-Integer Programs

Strong Dual for Conic Mixed-Integer Programs Strong Dual for Conic Mixed-Integer Programs Diego A. Morán R. Santanu S. Dey Juan Pablo Vielma July 14, 011 Abstract Mixed-integer conic programming is a generalization of mixed-integer linear programming.

More information

1 Solution of a Large-Scale Traveling-Salesman Problem... 7 George B. Dantzig, Delbert R. Fulkerson, and Selmer M. Johnson

1 Solution of a Large-Scale Traveling-Salesman Problem... 7 George B. Dantzig, Delbert R. Fulkerson, and Selmer M. Johnson Part I The Early Years 1 Solution of a Large-Scale Traveling-Salesman Problem............ 7 George B. Dantzig, Delbert R. Fulkerson, and Selmer M. Johnson 2 The Hungarian Method for the Assignment Problem..............

More information

MIR Closures of Polyhedral Sets

MIR Closures of Polyhedral Sets MIR Closures of Polyhedral Sets Sanjeeb Dash IBM Research Oktay Günlük IBM Research Andrea Lodi Univ. Bologna February 28, 2007 Abstract We study the mixed-integer rounding (MIR) closures of polyhedral

More information

Split Rank of Triangle and Quadrilateral Inequalities

Split Rank of Triangle and Quadrilateral Inequalities Split Rank of Triangle and Quadrilateral Inequalities Santanu Dey 1 Quentin Louveaux 2 June 4, 2009 Abstract A simple relaxation of two rows of a simplex tableau is a mixed integer set consisting of two

More information

Computational Experiments with Cross and Crooked Cross Cuts

Computational Experiments with Cross and Crooked Cross Cuts Submitted to INFORMS Journal on Computing manuscript (Please, provide the mansucript number!) Authors are encouraged to submit new papers to INFORMS journals by means of a style file template, which includes

More information

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

Asteroide Santana, Santanu S. Dey. December 4, School of Industrial and Systems Engineering, Georgia Institute of Technology for Some for Asteroide Santana, Santanu S. Dey School of Industrial Systems Engineering, Georgia Institute of Technology December 4, 2016 1 / 38 1 1.1 Conic integer programs for Conic integer programs

More information

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

The Strength of Multi-row Aggregation Cuts for Sign-pattern Integer Programs The Strength of Multi-row Aggregation Cuts for Sign-pattern Integer Programs Santanu S. Dey 1, Andres Iroume 1, and Guanyi Wang 1 1 School of Industrial and Systems Engineering, Georgia Institute of Technology

More information

Lift-and-Project Inequalities

Lift-and-Project Inequalities Lift-and-Project Inequalities Q. Louveaux Abstract The lift-and-project technique is a systematic way to generate valid inequalities for a mixed binary program. The technique is interesting both on the

More information

Carnegie Mellon University, Pittsburgh, USA. April Abstract

Carnegie Mellon University, Pittsburgh, USA. April Abstract Elementary Closures for Integer Programs Gerard Cornuejols Yanjun Li Graduate School of Industrial Administration Carnegie Mellon University, Pittsburgh, USA April 2000 (revised October 2000) Abstract

More information

Split closure and intersection cuts

Split closure and intersection cuts Math. Program., Ser. A 102: 457 493 (2005) Digital Object Identifier (DOI) 10.1007/s10107-004-0558-z Kent Andersen Gérard Cornuéjols Yanjun Li Split closure and intersection cuts Received: February 4,

More information

arxiv: v3 [math.oc] 24 May 2016

arxiv: v3 [math.oc] 24 May 2016 Mathematical Programming manuscript No. (will be inserted by the editor) How to Convexify the Intersection of a Second Order Cone and a Nonconvex Quadratic Samuel Burer Fatma Kılınç-Karzan arxiv:1406.1031v3

More information

Computational Experiments with Cross and Crooked Cross Cuts

Computational Experiments with Cross and Crooked Cross Cuts Computational Experiments with Cross and Crooked Cross Cuts Sanjeeb Dash IBM Research sanjeebd@us.ibm.com Oktay Günlük IBM Research gunluk@us.ibm.com Juan Pablo Vielma Massachusetts Institute of Technology

More information

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

March 2002, December Introduction. We investigate the facial structure of the convex hull of the mixed integer knapsack set ON THE FACETS OF THE MIXED INTEGER KNAPSACK POLYHEDRON ALPER ATAMTÜRK Abstract. We study the mixed integer knapsack polyhedron, that is, the convex hull of the mixed integer set defined by an arbitrary

More information

On Subadditive Duality for Conic Mixed-Integer Programs

On Subadditive Duality for Conic Mixed-Integer Programs arxiv:1808.10419v1 [math.oc] 30 Aug 2018 On Subadditive Duality for Conic Mixed-Integer Programs Diego A. Morán R. Burak Kocuk Abstract It is known that the subadditive dual of a conic mixed-integer program

More information

Disjunctive Inequalities: Applications and Extensions

Disjunctive Inequalities: Applications and Extensions Disjunctive Inequalities: Applications and Extensions Pietro Belotti Leo Liberti Andrea Lodi Giacomo Nannicini Andrea Tramontani 1 Introduction A general optimization problem can be expressed in the form

More information

How to convexify the intersection of a second order cone and a nonconvex quadratic

How to convexify the intersection of a second order cone and a nonconvex quadratic Math. Program., Ser. A (217 162:393 429 DOI 1.17/s117-16-145-z FULL LENGTH PAPER How to convexify the intersection of a second order cone and a nonconvex quadratic Samuel Burer 1 Fatma Kılınç-Karzan 2

More information

Cuts for Conic Mixed-Integer Programming

Cuts for Conic Mixed-Integer Programming Cuts for Conic Mixed-Integer Programming Alper Atamtürk and Vishnu Narayanan Department of Industrial Engineering and Operations Research, University of California, Berkeley, CA 94720-1777 USA atamturk@berkeley.edu,

More information

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

n-step mingling inequalities: new facets for the mixed-integer knapsack set Math. Program., Ser. A (2012) 132:79 98 DOI 10.1007/s10107-010-0382-6 FULL LENGTH PAPER n-step mingling inequalities: new facets for the mixed-integer knapsack set Alper Atamtürk Kiavash Kianfar Received:

More information

Computational Experiments with Cross and Crooked Cross Cuts

Computational Experiments with Cross and Crooked Cross Cuts Computational Experiments with Cross and Crooked Cross Cuts Sanjeeb Dash IBM Research sanjeebd@us.ibm.com Oktay Günlük IBM Research gunluk@us.ibm.com June 22, 2011 Juan Pablo Vielma University of Pittsburgh

More information

Corner Polyhedron and Intersection Cuts

Corner Polyhedron and Intersection Cuts Corner Polyhedron and Intersection Cuts Michele Conforti 1,5, Gérard Cornuéjols 2,4 Giacomo Zambelli 3,5 August 2010 Revised March 2011 Abstract Four decades ago, Gomory introduced the corner polyhedron

More information

A geometric perspective on lifting

A geometric perspective on lifting A geometric perspective on lifting Michele Conforti Università di Padova, conforti@math.unipd.it Gérard Cornuéjols Carnegie Mellon University and Université d Aix-Marseille, gc0v@andrew.cmu.edu Giacomo

More information

How to Convexify the Intersection of a Second Order Cone and a Nonconvex Quadratic

How to Convexify the Intersection of a Second Order Cone and a Nonconvex Quadratic How to Convexify the Intersection of a Second Order Cone and a Nonconvex Quadratic arxiv:1406.1031v2 [math.oc] 5 Jun 2014 Samuel Burer Fatma Kılınç-Karzan June 3, 2014 Abstract A recent series of papers

More information

The structure of the infinite models in integer programming

The structure of the infinite models in integer programming The structure of the infinite models in integer programming January 10, 2017 Not Again! Well, Aussois is partly responsible... Some years ago: Not Again! Well, Aussois is partly responsible... Some years

More information

Cutting Planes for Mixed-Integer Programming: Theory and Practice

Cutting Planes for Mixed-Integer Programming: Theory and Practice Cutting Planes for Mixed-Integer Programming: Theory and Practice Oktay Günlük Math Sciences, IBM Research April 2018 ORF523, Princeton Mathematical optimization 1 A generic mathematical optimization problem:

More information

A geometric perspective on lifting

A geometric perspective on lifting A geometric perspective on lifting Michele Conforti Università di Padova, conforti@math.unipd.it Gérard Cornuéjols Carnegie Mellon University and Université d Aix-Marseille, gc0v@andrew.cmu.edu Giacomo

More information

Minimal inequalities for an infinite relaxation of integer programs

Minimal inequalities for an infinite relaxation of integer programs Minimal inequalities for an infinite relaxation of integer programs Amitabh Basu Carnegie Mellon University, abasu1@andrew.cmu.edu Michele Conforti Università di Padova, conforti@math.unipd.it Gérard Cornuéjols

More information

On the Exact Separation of Mixed Integer Knapsack Cuts

On the Exact Separation of Mixed Integer Knapsack Cuts On the Exact Separation of Mixed Integer Knapsack Cuts Ricardo Fukasawa 1 and Marcos Goycoolea 2 1 H. Milton Stewart School of Industrial and Systems Engineering Georgia Institute of Technology rfukasaw@isye.gatech.edu

More information

Tamás Terlaky George N. and Soteria Kledaras 87 Endowed Chair Professor. Chair, Department of Industrial and Systems Engineering Lehigh University

Tamás Terlaky George N. and Soteria Kledaras 87 Endowed Chair Professor. Chair, Department of Industrial and Systems Engineering Lehigh University 5th SJOM Bejing, 2011 Cone Linear Optimization (CLO) From LO, SOCO and SDO Towards Mixed-Integer CLO Tamás Terlaky George N. and Soteria Kledaras 87 Endowed Chair Professor. Chair, Department of Industrial

More information

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

How tight is the corner relaxation? Insights gained from the stable set problem How tight is the corner relaxation? Insights gained from the stable set problem Gérard Cornuéjols a,1, Carla Michini b,,, Giacomo Nannicini c,3 a Tepper School of Business, Carnegie Mellon University,

More information

The strength of multi-row models 1

The strength of multi-row models 1 The strength of multi-row models 1 Quentin Louveaux 2 Laurent Poirrier 3 Domenico Salvagnin 4 October 6, 2014 Abstract We develop a method for computing facet-defining valid inequalities for any mixed-integer

More information

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

Integer Programming ISE 418. Lecture 12. Dr. Ted Ralphs Integer Programming ISE 418 Lecture 12 Dr. Ted Ralphs ISE 418 Lecture 12 1 Reading for This Lecture Nemhauser and Wolsey Sections II.2.1 Wolsey Chapter 9 ISE 418 Lecture 12 2 Generating Stronger Valid

More information

Incremental Formulations for SOS1 Variables

Incremental Formulations for SOS1 Variables Incremental Formulations for SOS Variables Juan Pablo Vielma Massachusetts Institute of Technology joint work with Sercan Yıldız arnegie Mellon University INFORMS nnual Meeting, October 22 Phoenix, rizona

More information

Tamás Terlaky George N. and Soteria Kledaras 87 Endowed Chair Professor. Chair, Department of Industrial and Systems Engineering Lehigh University

Tamás Terlaky George N. and Soteria Kledaras 87 Endowed Chair Professor. Chair, Department of Industrial and Systems Engineering Lehigh University BME - 2011 Cone Linear Optimization (CLO) From LO, SOCO and SDO Towards Mixed-Integer CLO Tamás Terlaky George N. and Soteria Kledaras 87 Endowed Chair Professor. Chair, Department of Industrial and Systems

More information

ON MIXING SETS ARISING IN CHANCE-CONSTRAINED PROGRAMMING

ON MIXING SETS ARISING IN CHANCE-CONSTRAINED PROGRAMMING ON MIXING SETS ARISING IN CHANCE-CONSTRAINED PROGRAMMING Abstract. The mixing set with a knapsack constraint arises in deterministic equivalent of chance-constrained programming problems with finite discrete

More information

FUNDAMENTAL PROPERTIES OF CONVEX MIXED-INTEGER PROGRAMS

FUNDAMENTAL PROPERTIES OF CONVEX MIXED-INTEGER PROGRAMS FUNDAMENTAL PROPERTIES OF CONVEX MIXED-INTEGER PROGRAMS A Thesis Presented to The Academic Faculty by Diego A. Morán R. In Partial Fulfillment of the Requirements for the Degree Doctor of Philosophy in

More information

Intersection cuts for factorable MINLP

Intersection cuts for factorable MINLP Zuse Institute Berlin Takustr. 7 14195 Berlin Germany FELIPE SERRANO 1 Intersection cuts for factorable MINLP 1 0000-0002-7892-3951 This work has been supported by the Research Campus MODAL Mathematical

More information

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

Deciding Emptiness of the Gomory-Chvátal Closure is NP-Complete, Even for a Rational Polyhedron Containing No Integer Point Deciding Emptiness of the Gomory-Chvátal Closure is NP-Complete, Even for a Rational Polyhedron Containing No Integer Point Gérard Cornuéjols 1 and Yanjun Li 2 1 Tepper School of Business, Carnegie Mellon

More information

Projected Chvátal-Gomory cuts for Mixed Integer Linear Programs. Pierre Bonami CMU, USA. Gerard Cornuéjols CMU, USA and LIF Marseille, France

Projected Chvátal-Gomory cuts for Mixed Integer Linear Programs. Pierre Bonami CMU, USA. Gerard Cornuéjols CMU, USA and LIF Marseille, France Projected Chvátal-Gomory cuts for Mixed Integer Linear Programs Pierre Bonami CMU, USA Gerard Cornuéjols CMU, USA and LIF Marseille, France Sanjeeb Dash IBM T.J. Watson, USA Matteo Fischetti University

More information

IBM Research Report. Lattice-Free Sets, Branching Disjunctions, and Mixed-Integer Programming

IBM Research Report. Lattice-Free Sets, Branching Disjunctions, and Mixed-Integer Programming RC25212 (W1109-107) September 21, 2011 Mathematics IBM Research Report Lattice-Free Sets, Branching Disjunctions, and Mixed-Integer Programming Sanjeeb Dash, Neil B. Dobbs, Oktay Günlük, Tomasz J. Nowicki,

More information

On the separation of split cuts and related inequalities

On the separation of split cuts and related inequalities Math. Program., Ser. B 94: 279 294 (2003) Digital Object Identifier (DOI) 10.1007/s10107-002-0320-3 Alberto Caprara Adam N. Letchford On the separation of split cuts and related inequalities Received:

More information

Low-Complexity Relaxations and Convex Hulls of Disjunctions on the Positive Semidefinite Cone and General Regular Cones

Low-Complexity Relaxations and Convex Hulls of Disjunctions on the Positive Semidefinite Cone and General Regular Cones Low-Complexity Relaxations and Convex Hulls of Disjunctions on the Positive Semidefinite Cone and General Regular Cones Sercan Yıldız and Fatma Kılınç-Karzan Tepper School of Business, Carnegie Mellon

More information

Lift-and-Project Cuts for Mixed Integer Convex Programs

Lift-and-Project Cuts for Mixed Integer Convex Programs Lift-and-Project Cuts for Mixed Integer Convex Programs Pierre Bonami LIF, CNRS Aix-Marseille Université, 163 avenue de Luminy - Case 901 F-13288 Marseille Cedex 9 France pierre.bonami@lif.univ-mrs.fr

More information

SINGLE-ROW MIXED-INTEGER PROGRAMS: THEORY AND COMPUTATIONS

SINGLE-ROW MIXED-INTEGER PROGRAMS: THEORY AND COMPUTATIONS SINGLE-ROW MIXED-INTEGER PROGRAMS: THEORY AND COMPUTATIONS A Thesis Presented to The Academic Faculty by Ricardo Fukasawa In Partial Fulfillment of the Requirements for the Degree Doctor of Philosophy

More information

On Sublinear Inequalities for Mixed Integer Conic Programs

On Sublinear Inequalities for Mixed Integer Conic Programs Noname manuscript No. (will be inserted by the editor) On Sublinear Inequalities for Mixed Integer Conic Programs Fatma Kılınç-Karzan Daniel E. Steffy Submitted: December 2014; Revised: July 2015 Abstract

More information

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

LOWER BOUNDS FOR CHVÁTAL-GOMORY STYLE OPERATORS SEBASTIAN POKUTTA LOWER BOUNDS FOR CHVÁTAL-GOMORY STYLE OPERATORS SEBASTIAN POKUTTA Friedrich-Alexander-University of Erlangen-Nürnberg Am Weichselgarten 9 91058 Erlangen Germany ABSTRACT. Valid inequalities or cutting

More information

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

Tight Formulations for Some Simple Mixed Integer Programs and Convex Objective Integer Programs Tight Formulations for Some Simple Mixed Integer Programs and Convex Objective Integer Programs Andrew J. Miller 1 Laurence A. Wolsey 2 March 19, 2008 Abstract We study the polyhedral structure of simple

More information

BCOL RESEARCH REPORT 06.03

BCOL RESEARCH REPORT 06.03 BCOL RESEARCH REPORT 06.03 Industrial Engineering & Operations Research University of California, Berkeley, CA CONIC MIXED-INTEGER ROUNDING CUTS ALPER ATAMTÜRK AND VISHNU NARAYANAN Abstract. A conic integer

More information

Valid inequalities based on simple mixed-integer sets

Valid inequalities based on simple mixed-integer sets Valid inequalities based on simple mixed-integer sets Sanjeeb Dash and Oktay Günlük Mathematical Sciences Department, IBM T J Watson Research Center,Yorktown Heights, NY 10598 (sanjeebd@usibmcom, oktay@watsonibmcom)

More information

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

MEP123: Master Equality Polyhedron with one, two or three rows 1/17 MEP123: Master Equality Polyhedron with one, two or three rows Oktay Günlük Mathematical Sciences Department IBM Research January, 29 joint work with Sanjeeb Dash and Ricardo Fukasawa 2/17 Master

More information

Location and Capacity Planning of Facilities with General Service-Time Distributions Using Conic Optimization

Location and Capacity Planning of Facilities with General Service-Time Distributions Using Conic Optimization Location and Capacity Planning of Facilities with General Service-Time Distributions Using Conic Optimization Amir Ahmadi-Javid, Oded Berman *, Pooya Hoseinpour Department of Industrial Engineering & Management

More information

LP Relaxations of Mixed Integer Programs

LP Relaxations of Mixed Integer Programs 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

More information

Conic mixed-integer rounding cuts

Conic mixed-integer rounding cuts Math. Program., Ser. A (2010) 122:1 20 DOI 10.1007/s10107-008-0239-4 FULL LENGTH PAPER Conic mixed-integer rounding cuts Alper Atamtürk Vishnu Narayanan Received: 24 March 2007 / Accepted: 6 May 2008 /

More information

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

When the Gomory-Chvátal Closure Coincides with the Integer Hull Date for Revised Manuscript: December 19, 2017 When the Gomory-Chvátal Closure Coincides with the Integer Hull Gérard Cornuéjols Yanjun Li Abstract Gomory-Chvátal cuts are prominent in integer programming.

More information