Branching via Cutting Plane Selection: Improving Hybrid Branching

06/09/2023
by   Mark Turner, et al.
0

Cutting planes and branching are two of the most important algorithms for solving mixed-integer linear programs. For both algorithms, disjunctions play an important role, being used both as branching candidates and as the foundation for some cutting planes. We relate branching decisions and cutting planes to each other through the underlying disjunctions that they are based on, with a focus on Gomory mixed-integer cuts and their corresponding split disjunctions. We show that selecting branching decisions based on quality measures of Gomory mixed-integer cuts leads to relatively small branch-and-bound trees, and that the result improves when using cuts that more accurately represent the branching decisions. Finally, we show how the history of previously computed Gomory mixed-integer cuts can be used to improve the performance of the state-of-the-art hybrid branching rule of SCIP. Our results show a 4 affected instances of MIPLIB 2017.

READ FULL TEXT
research
11/11/2020

Face Dimensions of General-Purpose Cutting Planes for Mixed-Integer Linear Programs

Cutting planes are a key ingredient to successfully solve mixed-integer ...
research
07/14/2023

A Context-Aware Cutting Plane Selection Algorithm for Mixed-Integer Programming

The current cut selection algorithm used in mixed-integer programming so...
research
03/10/2020

Complexity of cutting planes and branch-and-bound in mixed-integer optimization

We investigate the theoretical complexity of branch-and-bound (BB) and c...
research
04/22/2022

Learning for Spatial Branching: An Algorithm Selection Approach

The use of machine learning techniques to improve the performance of bra...
research
11/01/2021

Mixed-Integer Programming for the ROADEF/EURO 2020 challenge

The ROADEF 2020 challenge presents a maintenance scheduling problem from...
research
07/11/2022

On SOCP-based disjunctive cuts for solving a class of integer bilevel nonlinear programs

We study a class of integer bilevel programs with second-order cone cons...
research
11/09/2021

Helly systems and certificates in optimization

Inspired by branch-and-bound and cutting plane proofs in mixed-integer o...

Please sign up or login with your details

Forgot password? Click here to reset