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 Massachusetts Institute of Technology 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 International Symposium on Mathematical Programming, August 2012 Berlin, Germany

2 Outline Introduction Split Cut Formulas Summary 2/13

3 Introduction Split Disjunctions and Split Cuts 3/13

4 Introduction Split Disjunctions and Split Cuts 3/13

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

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

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

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

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

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

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

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

13 Introduction Split Cuts for Simplicial Cones Formulas: (MIG: Gomory 1960 and MIR: Nemhauser and Wolsey 1988) 4/13

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

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

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

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

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

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

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

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

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

23 Formulas Split Cuts for Paraboloids Formulas: (Modaresi, Kılınç, V. 2012) C := (x, t 0 ) 2 R n R : ka(x c)k 2 2 apple t 0 C 0, 1 := {(x, t 0 ) 2 R n R : ka(x c)k 2 2 apple t 0, kb(x d)k 2 2 apple t 0 + ha, xi + b} (also see Belotti, Góez, Polik, Ralphs, Terlaky 2012 for bounded case) 7/13

24 Formulas Message: Use the Right Split Cut Cone Paraboloid Ellipsoid 8/13

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

26 Atamturk and Narayanan /13

27 Atamturk and Narayanan 2010 Extended Formulation: 10/13

28 Atamturk and Narayanan 2010 Extended Formulation: Linear Part 10/13

29 Atamturk and Narayanan 2010 Extended Formulation: Linear Part Nonlinear Part 10/13

30 Atamturk and Narayanan 2010 Extended Formulation: Linear Part Nonlinear Part Aggregate: 10/13

31 Atamturk and Narayanan 2010 Extended Formulation: Linear Part Nonlinear Part Aggregate: : 10/13

32 and Nonlinear Split Cut Modaresi, Kılınç, V Extended Formulation: Linear Part Nonlinear Part 11/13

33 and Nonlinear Split Cut Modaresi, Kılınç, V Extended Formulation: Linear Part Nonlinear Part 11/13

34 and Nonlinear Split Cut Modaresi, Kılınç, V Extended Formulation: Linear Part Nonlinear Part = Split cuts for linear part Nonlinear split cut 11/13

35 Nonlinear Split Cut v/s MIR Strength Single Split Cut is Stronger than MIR 12/13

36 Nonlinear Split Cut v/s MIR Strength Single Split Cut is Stronger than MIR 12/13

37 Nonlinear Split Cut v/s MIR Strength Single Split Cut is Stronger than MIR MIR Closure 12/13

38 Nonlinear Split Cut v/s MIR Strength Single Split Cut is Stronger than MIR Feasible for Nonlinear Split Closure MIR Closure 12/13

39 Nonlinear Split Cut v/s MIR Strength Single Split Cut is Stronger than MIR Feasible for Nonlinear Split Closure Nonlinear Split Cut MIR Closure 12/13

40 Summary and Open Questions Formulas for nonlinear split cuts Quadratic cones, ellipsoids and others. Strong ties to conic MIR. Future: Computation (INFORMS Phoenix). Extended Formulations (INFORMS Phoenix). More formulas. 13/13

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 University of Pittsburgh joint work with D. Dadush and S. S. Dey S. Modaresi and M. Kılınç Georgia Institute of Technology University

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

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

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

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

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 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

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 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Mixed Integer Programming (MIP) for Causal Inference and Beyond

Mixed Integer Programming (MIP) for Causal Inference and Beyond Mixed Integer Programming (MIP) for Causal Inference and Beyond Juan Pablo Vielma Massachusetts Institute of Technology Columbia Business School New York, NY, October, 2016. Traveling Salesman Problem

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

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

Monoidal Cut Strengthening and Generalized Mixed-Integer Rounding for Disjunctions and Complementarity Constraints

Monoidal Cut Strengthening and Generalized Mixed-Integer Rounding for Disjunctions and Complementarity Constraints Monoidal Cut Strengthening and Generalized Mixed-Integer Rounding for Disjunctions and Complementarity Constraints Tobias Fischer and Marc E. Pfetsch Department of Mathematics, TU Darmstadt, Germany {tfischer,pfetsch}@opt.tu-darmstadt.de

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

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

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

Mixed Integer Programming Models for Non-Separable Piecewise Linear Cost Functions

Mixed Integer Programming Models for Non-Separable Piecewise Linear Cost Functions Mixed Integer Programming Models for Non-Separable Piecewise Linear Cost Functions Juan Pablo Vielma H. Milton Stewart School of Industrial and Systems Engineering Georgia Institute of Technology Joint

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

A packing integer program arising in two-layer network design

A packing integer program arising in two-layer network design A packing integer program arising in two-layer network design Christian Raack Arie M.C.A Koster Zuse Institute Berlin Takustr. 7, D-14195 Berlin Centre for Discrete Mathematics and its Applications (DIMAP)

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

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

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

Two-stage stochastic (and distributionally robust) p-order conic mixed integer programs: Tight second stage formulations

Two-stage stochastic (and distributionally robust) p-order conic mixed integer programs: Tight second stage formulations Two-stage stochastic (and distributionally robust p-order conic mixed integer programs: Tight second stage formulations Manish Bansal and Yingqiu Zhang Department of Industrial and Systems Engineering

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

Encodings in Mixed Integer Linear Programming

Encodings in Mixed Integer Linear Programming Encodings in Mixed Integer Linear Programming Juan Pablo Vielma Sloan School of usiness, Massachusetts Institute of Technology Universidad de hile, December, 23 Santiago, hile. Mixed Integer er inary Formulations

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

Lifting 2-integer knapsack inequalities

Lifting 2-integer knapsack inequalities Lifting 2-integer knapsack inequalities A. Agra University of Aveiro and C.I.O. aagra@mat.ua.pt M.F. Constantino D.E.I.O., University of Lisbon and C.I.O. miguel.constantino@fc.ul.pt October 1, 2003 Abstract

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

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

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

Ellipsoidal Methods for Adaptive Choice-based Conjoint Analysis (CBCA)

Ellipsoidal Methods for Adaptive Choice-based Conjoint Analysis (CBCA) Ellipsoidal Methods for Adaptive Choice-based Conjoint Analysis (CBCA) Juan Pablo Vielma Massachusetts Institute of Technology Joint work with Denis Saure Operations Management Seminar, Rotman School of

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

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

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

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

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

Advanced Mixed Integer Programming Formulations for Non-Convex Optimization Problems in Statistical Learning

Advanced Mixed Integer Programming Formulations for Non-Convex Optimization Problems in Statistical Learning Advanced Mixed Integer Programming Formulations for Non-Convex Optimization Problems in Statistical Learning Juan Pablo Vielma Massachusetts Institute of Technology 2016 IISA International Conference on

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

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

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

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

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

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

Sufficiency of Cut-Generating Functions

Sufficiency of Cut-Generating Functions Sufficiency of Cut-Generating Functions Gérard Cornuéjols 1, Laurence Wolsey 2, and Sercan Yıldız 1 1 Tepper School of Business, Carnegie Mellon University, 5000 Forbes Ave, Pittsburgh, PA 15213, United

More information

3.7 Cutting plane methods

3.7 Cutting plane methods 3.7 Cutting plane methods Generic ILP problem min{ c t x : x X = {x Z n + : Ax b} } with m n matrix A and n 1 vector b of rationals. According to Meyer s theorem: There exists an ideal formulation: conv(x

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

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

Mixed-Integer Programming with a Class of Nonlinear Convex Constraints

Mixed-Integer Programming with a Class of Nonlinear Convex Constraints Mixed-Integer Programming with a Class of Nonlinear Convex Constraints Alexander Vinel Pavlo A. Krokhmal Abstract We study solution approaches to a class of mixed-integer nonlinear programming problems

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

Advanced Mixed Integer Programming (MIP) Formulation Techniques

Advanced Mixed Integer Programming (MIP) Formulation Techniques Advanced Mixed Integer Programming (MIP) Formulation Techniques Juan Pablo Vielma Massachusetts Institute of Technology Center for Nonlinear Studies, Los Alamos National Laboratory. Los Alamos, New Mexico,

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

Rank-one Generated Spectral Cones Defined by Two Homogeneous Linear Matrix Inequalities

Rank-one Generated Spectral Cones Defined by Two Homogeneous Linear Matrix Inequalities Rank-one Generated Spectral Cones Defined by Two Homogeneous Linear Matrix Inequalities C.J. Argue Joint work with Fatma Kılınç-Karzan October 22, 2017 INFORMS Annual Meeting Houston, Texas C. Argue, F.

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

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

Mixed Integer Linear Programming Formulations for Probabilistic Constraints

Mixed Integer Linear Programming Formulations for Probabilistic Constraints Mixed Integer Linear Programming Formulations for Probabilistic Constraints J. P. Vielma a,, S. Ahmed b, G. Nemhauser b a Department of Industrial Engineering, University of Pittsburgh 1048 Benedum Hall,

More information

Solving Mixed-Integer Nonlinear Programs

Solving Mixed-Integer Nonlinear Programs Solving Mixed-Integer Nonlinear Programs (with SCIP) Ambros M. Gleixner Zuse Institute Berlin MATHEON Berlin Mathematical School 5th Porto Meeting on Mathematics for Industry, April 10 11, 2014, Porto

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

Integer programming (part 2) Lecturer: Javier Peña Convex Optimization /36-725

Integer programming (part 2) Lecturer: Javier Peña Convex Optimization /36-725 Integer programming (part 2) Lecturer: Javier Peña Convex Optimization 10-725/36-725 Last time: integer programming Consider the problem min x subject to f(x) x C x j Z, j J where f : R n R, C R n are

More information

Cutting planes from two rows of simplex tableau

Cutting planes from two rows of simplex tableau Cutting planes from two rows of simplex tableau Based on talk by Andersen et al, IPCO-2007 Ashutosh Mahajan 1 1 Lehigh University Department of Industrial and Systems Engineering Cor@l Seminar Series -

More information

Integer Quadratic Programming is in NP

Integer Quadratic Programming is in NP Alberto Del Pia 1 Santanu S. Dey 2 Marco Molinaro 2 1 IBM T. J. Watson Research Center, Yorktown Heights. 2 School of Industrial and Systems Engineering, Atlanta Outline 1 4 Program: Definition Definition

More information

An E cient A ne-scaling Algorithm for Hyperbolic Programming

An E cient A ne-scaling Algorithm for Hyperbolic Programming An E cient A ne-scaling Algorithm for Hyperbolic Programming Jim Renegar joint work with Mutiara Sondjaja 1 Euclidean space A homogeneous polynomial p : E!R is hyperbolic if there is a vector e 2E such

More information

CSCI 1951-G Optimization Methods in Finance Part 10: Conic Optimization

CSCI 1951-G Optimization Methods in Finance Part 10: Conic Optimization CSCI 1951-G Optimization Methods in Finance Part 10: Conic Optimization April 6, 2018 1 / 34 This material is covered in the textbook, Chapters 9 and 10. Some of the materials are taken from it. Some of

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

Reduce-and-split cuts: Improving the performance of mixed integer Gomory cuts 1

Reduce-and-split cuts: Improving the performance of mixed integer Gomory cuts 1 Reduce-and-split cuts: Improving the performance of mixed integer Gomory cuts Kent Andersen 2 Gérard Cornuéjols 2 Yanjun Li 3 January 20, 2005 Abstract Mixed integer Gomory cuts have become an integral

More information

Strong-Branching Inequalities for Convex Mixed Integer Nonlinear Programs

Strong-Branching Inequalities for Convex Mixed Integer Nonlinear Programs Computational Optimization and Applications manuscript No. (will be inserted by the editor) Strong-Branching Inequalities for Convex Mixed Integer Nonlinear Programs Mustafa Kılınç Jeff Linderoth James

More information