-
State-of-the-art Methods for Pseudo-Boolean Solving with SCIP
Authors:
Gioni Mexi,
Dominik Kamp,
Yuji Shinano,
Shanwen Pu,
Alexander Hoen,
Ksenia Bestuzheva,
Christopher Hojny,
Matthias Walter,
Marc E. Pfetsch,
Sebastian Pokutta,
Thorsten Koch
Abstract:
The Pseudo-Boolean problem deals with linear or polynomial constraints with integer coefficients over Boolean variables. The objective lies in optimizing a linear objective function, or finding a feasible solution, or finding a solution that satisfies as many constraints as possible. In the 2024 Pseudo-Boolean competition, solvers incorporating the SCIP framework won five out of six categories it…
▽ More
The Pseudo-Boolean problem deals with linear or polynomial constraints with integer coefficients over Boolean variables. The objective lies in optimizing a linear objective function, or finding a feasible solution, or finding a solution that satisfies as many constraints as possible. In the 2024 Pseudo-Boolean competition, solvers incorporating the SCIP framework won five out of six categories it was competing in. From a total of 1,207 instances, SCIP successfully solved 759, while its parallel version FiberSCIP solved 776. Based on the results from the competition, we further enhanced SCIP's Pseudo-Boolean capabilities. This article discusses the results and presents the winning algorithmic ideas.
△ Less
Submitted 8 January, 2025; v1 submitted 6 January, 2025;
originally announced January 2025.
-
MIP-DD: A Delta Debugger for Mixed Integer Programming Solvers
Authors:
Alexander Hoen,
Dominik Kamp,
Ambros Gleixner
Abstract:
The recent performance improvements in mixed-integer programming (MIP) have been accompanied by a significantly increased complexity of the codes of MIP solvers, which poses challenges in fixing implementation errors. In this paper, we introduce MIP-DD, a solver-independent tool, which to the best of our knowledge is the first open-source delta debugger for MIP. Delta debugging is a hypothesis-tri…
▽ More
The recent performance improvements in mixed-integer programming (MIP) have been accompanied by a significantly increased complexity of the codes of MIP solvers, which poses challenges in fixing implementation errors. In this paper, we introduce MIP-DD, a solver-independent tool, which to the best of our knowledge is the first open-source delta debugger for MIP. Delta debugging is a hypothesis-trial-result approach to isolate the cause of a solver failure. MIP-DD simplifies MIP instances while maintaining the undesired behavior. Preliminary versions already supported and motivated fixes for many bugs in the SCIP releases 8.0.1 to 8.1.1. In these versions, MIP-DD successfully contributed to 24 out of all 51 documented MIP-related bugfixes even for some long-known issues. In selected case studies we highlight that instances triggering fundamental bugs in SCIP can typically be reduced to a few variables and constraints in less than an hour. This makes it significantly easier to manually trace and check the solution process on the resulting simplified instances. A promising future application of MIP-DD is the analysis of performance bottlenecks, which could very well benefit from simple adversarial instances.
△ Less
Submitted 16 April, 2025; v1 submitted 30 May, 2024;
originally announced May 2024.
-
The SCIP Optimization Suite 9.0
Authors:
Suresh Bolusani,
Mathieu Besançon,
Ksenia Bestuzheva,
Antonia Chmiela,
João Dionísio,
Tim Donkiewicz,
Jasper van Doornmalen,
Leon Eifler,
Mohammed Ghannam,
Ambros Gleixner,
Christoph Graczyk,
Katrin Halbig,
Ivo Hedtke,
Alexander Hoen,
Christopher Hojny,
Rolf van der Hulst,
Dominik Kamp,
Thorsten Koch,
Kevin Kofler,
Jurgen Lentz,
Julian Manns,
Gioni Mexi,
Erik Mühmer,
Marc E. Pfetsch,
Franziska Schlösser
, et al. (6 additional authors not shown)
Abstract:
The SCIP Optimization Suite provides a collection of software packages for mathematical optimization, centered around the constraint integer programming (CIP) framework SCIP. This report discusses the enhancements and extensions included in the SCIP Optimization Suite 9.0. The updates in SCIP 9.0 include improved symmetry handling, additions and improvements of nonlinear handlers and primal heuris…
▽ More
The SCIP Optimization Suite provides a collection of software packages for mathematical optimization, centered around the constraint integer programming (CIP) framework SCIP. This report discusses the enhancements and extensions included in the SCIP Optimization Suite 9.0. The updates in SCIP 9.0 include improved symmetry handling, additions and improvements of nonlinear handlers and primal heuristics, a new cut generator and two new cut selection schemes, a new branching rule, a new LP interface, and several bug fixes. The SCIP Optimization Suite 9.0 also features new Rust and C++ interfaces for SCIP, new Python interface for SoPlex, along with enhancements to existing interfaces. The SCIP Optimization Suite 9.0 also includes new and improved features in the LP solver SoPlex, the presolving library PaPILO, the parallel framework UG, the decomposition framework GCG, and the SCIP extension SCIP-SDP. These additions and enhancements have resulted in an overall performance improvement of SCIP in terms of solving time, number of nodes in the branch-and-bound tree, as well as the reliability of the solver.
△ Less
Submitted 22 November, 2024; v1 submitted 27 February, 2024;
originally announced February 2024.
