Overview Statistic: PDF-Downloads (blue) and Frontdoor-Views (gray)

A hybrid branch-and-bound approach for exact rational mixed-integer programming

  • We present an exact rational solver for mixed-integer linear programming that avoids the numerical inaccuracies inherent in the floating-point computations used by existing software. This allows the solver to be used for establishing theoretical results and in applications where correct solutions are critical due to legal and financial consequences. Our solver is a hybrid symbolic/numeric implementation of LP-based branch-and-bound, using numerically-safe methods for all binding computations in the search tree. Computing provably accurate solutions by dynamically choosing the fastest of several safe dual bounding methods depending on the structure of the instance, our exact solver is only moderately slower than an inexact floating-point branch-and-bound solver. The software is incorporated into the SCIP optimization framework, using the exact LP solver QSopt_ex and the GMP arithmetic library. Computational results are presented for a suite of test instances taken from the MIPLIB and Mittelmann libraries and for a new collection of numerically difficult instances.
Metadaten
Author:William Cook, Thorsten KochORCiD, Daniel SteffyORCiD, Kati Wolter
Document Type:Article
Parent Title (English):Mathematical Programming Computation
Volume:5
Issue:3
First Page:305
Last Page:344
Year of first publication:2013
Preprint:urn:nbn:de:0297-zib-17171
DOI:https://doi.org/10.1007/s12532-013-0055-6
Accept ✔
Diese Webseite verwendet technisch erforderliche Session-Cookies. Durch die weitere Nutzung der Webseite stimmen Sie diesem zu. Unsere Datenschutzerklärung finden Sie hier.