UWSpace is currently experiencing technical difficulties resulting from its recent migration to a new version of its software. These technical issues are not affecting the submission and browse features of the site. UWaterloo community members may continue submitting items to UWSpace. We apologize for the inconvenience, and are actively working to resolve these technical issues.
 

Computing with Multi-Row Intersection Cuts

dc.contributor.authorXavier, Alinson Santos
dc.date.accessioned2017-05-16T17:02:42Z
dc.date.available2017-05-16T17:02:42Z
dc.date.issued2017-05-16
dc.date.submitted2017-05-12
dc.description.abstractCutting planes are one of the main techniques currently used to solve large-scale Mixed-Integer Linear Programming (MIP) models. Many important cuts used in practice, such as Gomory Mixed-Integer (GMI) cuts, are obtained by solving the linear relaxation of the MIP, extracting a single row of the simplex tableau, then applying integrality arguments to it. A natural extension, which has received renewed attention, is to consider cuts that can only be generated when considering multiple rows of the simplex tableau simultaneously. Although the theoretical importance of such multi-row cutting planes has been proved in a number of works, their effective use in practice remains a challenge. Since the entire class of multi-row cuts proves challenging to separate, one approach to obtain them is the following. First, the integral non-basic variables are fixed to zero. Then, a lattice-free set, which induces an intersection cut, is generated. Finally, the cut coefficients for the integral non-basic variables are computed by the so-called trivial lifting procedure. In this thesis, we address some computational aspects of this approach, and we make three novel contributions. In our first contribution, we describe a small subset of multi-row intersection cuts based on the infinity norm, which works for relaxations with arbitrary numbers of rows. We present an algorithm to generate them and run extensive computational experiments to evaluate their effectiveness. We conclude that these cuts yield benefits comparable to using the entire class of multi-row cuts, but at a small fraction of the computational cost. In our second contribution, we describe a practical method for performing the trivial lifting step on relaxations with two rows. Unlike previous methods, our method is applicable to intersection cuts derived from any lattice-free set, and, for maximal lattice-free sets, it is guaranteed to run in constant time. Computational experiments confirm that the algorithm is at least two orders of magnitudes faster than current alternatives. In our final contribution, we revisit single-row relaxations containing a single integral non-basic variable, with the goal of obtaining inequalities that are not dominated by GMI cuts. The novelty in our approach is that we use the framework of intersection cuts and trivial lifting, which allows us to obtain a geometric interpretation of our cuts, a fast algorithm for generating them, and an upper bound on their split rank. We run computational experiments and conclude that, for a few instances, they close considerably more gap than GMI cuts alone.en
dc.identifier.urihttp://hdl.handle.net/10012/11901
dc.language.isoenen
dc.pendingfalse
dc.publisherUniversity of Waterlooen
dc.subjectmixed-integer linear programmingen
dc.subjectcutting planesen
dc.subjectoptimizationen
dc.titleComputing with Multi-Row Intersection Cutsen
dc.typeDoctoral Thesisen
uws-etd.degreeDoctor of Philosophyen
uws-etd.degree.departmentCombinatorics and Optimizationen
uws-etd.degree.disciplineCombinatorics and Optimizationen
uws-etd.degree.grantorUniversity of Waterlooen
uws.contributor.advisorFukasawa, Ricardo
uws.contributor.affiliation1Faculty of Mathematicsen
uws.peerReviewStatusUnrevieweden
uws.published.cityWaterlooen
uws.published.countryCanadaen
uws.published.provinceOntarioen
uws.scholarLevelGraduateen
uws.typeOfResourceTexten

Files

Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
Xavier_Alinson.pdf
Size:
697.07 KB
Format:
Adobe Portable Document Format
Description:
PhD Thesis (revised)
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
6.17 KB
Format:
Item-specific license agreed upon to submission
Description: