Split Cuts for Convex Nonlinear Mixed Integer Programming
|
|
- Liliana Bradford
- 5 years ago
- Views:
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 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 informationCutting 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 informationSplit 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 informationThe 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 informationDisjunctive 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 informationSome 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 informationThe 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 informationConvex 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 informationA 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 informationStructure 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 informationThe 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 informationVALID 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 informationOn 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 informationIntersection 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 informationIntersection 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 informationA 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 informationStructure 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 informationBCOL 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 informationSome 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 informationconstraints 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 informationTwo-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 informationDisjunctive 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 informationA 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 informationMulti-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 informationLifting 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 informationCutting 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 informationOn 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 informationOn 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 informationMinimal 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 informationPolyhedral 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 informationInteger 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 informationLattice 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 informationInteger 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 informationLattice 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 informationBCOL 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 informationOn 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 informationA 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 informationOn 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 informationAdvances 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 informationA 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 informationMixed 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 informationLecture 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 informationOn 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 informationKey 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 informationA 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 informationDisjunctive 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 informationMixed-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 informationStrong 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 information1 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 informationMIR 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 informationSplit 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 informationComputational 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 informationAsteroide 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 informationThe 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 informationLift-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 informationCarnegie 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 informationSplit 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 informationarxiv: 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 informationComputational 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 informationMarch 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 informationOn 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 informationDisjunctive 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 informationHow 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 informationCuts 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 informationn-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 informationComputational 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 informationCorner 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 informationA 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 informationHow 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 informationThe 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 informationCutting 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 informationA 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 informationMinimal 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 informationOn 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 informationTamá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 informationHow 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 informationThe 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 informationInteger 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 informationIncremental 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 informationTamá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 informationON 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 informationFUNDAMENTAL 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 informationIntersection 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 informationDeciding 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 informationProjected 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 informationIBM 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 informationOn 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 informationLow-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 informationLift-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 informationSINGLE-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 informationOn 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 informationLOWER 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 informationTight 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 informationBCOL 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 informationValid 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 informationMEP123: 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 informationLocation 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 informationLP 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 informationConic 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 informationWhen 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