From feasibility to improvement to proof: three phases of solving mixed-integer programs

  • Modern mixed-integer programming (MIP) solvers employ dozens of auxiliary algorithmic components to support the branch-and-bound search in finding and improving primal solutions and in strengthening the dual bound. Typically, all components are tuned to minimize the average running time to prove optimality. In this article, we take a different look at the run of a MIP solver. We argue that the solution process consists of three distinct phases, namely achieving feasibility, improving the incumbent solution, and proving optimality. We first show that the entire solving process can be improved by adapting the search strategy with respect to the phase-specific aims using different control tunings. Afterwards, we provide criteria to predict the transition between the individual phases and evaluate the performance impact of altering the algorithmic behaviour of the non-commercial MIP solver Scip at the predicted phase transition points.
Metadaten
Author:Timo Berthold, Gregor Hendel, Thorsten Koch
Document Type:Article
Parent Title (English):Optimization Methods and Software
Volume:33
Issue:3
First Page:499
Last Page:517
Publisher:Taylor & Francis
Date of first Publication:2017/10/10
Preprint:urn:nbn:de:0297-zib-61607
DOI:https://doi.org/10.1080/10556788.2017.1392519