Learning To Dive In Branch And Bound

by   Max B. Paulus, et al.
ETH Zurich

Primal heuristics are important for solving mixed integer linear programs, because they find feasible solutions that facilitate branch and bound search. A prominent group of primal heuristics are diving heuristics. They iteratively modify and resolve linear programs to conduct a depth-first search from any node in the search tree. Existing divers rely on generic decision rules that fail to exploit structural commonality between similar problem instances that often arise in practice. Therefore, we propose L2Dive to learn specific diving heuristics with graph neural networks: We train generative models to predict variable assignments and leverage the duality of linear programs to make diving decisions based on the model's predictions. L2Dive is fully integrated into the open-source solver SCIP. We find that L2Dive outperforms standard divers to find better feasible solutions on a range of combinatorial optimization problems. For real-world applications from server load balancing and neural network verification, L2Dive improves the primal-dual integral by up to 7 (35 solving time by 20


page 1

page 2

page 3

page 4


Learning Primal Heuristics for Mixed Integer Programs

This paper proposes a novel primal heuristic for Mixed Integer Programs,...

Learning to Schedule Heuristics in Branch-and-Bound

Primal heuristics play a crucial role in exact solvers for Mixed Integer...

Design and Implementation of an Heuristic-Enhanced Branch-and-Bound Solver for MILP

We present a solver for Mixed Integer Programs (MIP) developed for the M...

Searching Large Neighborhoods for Integer Linear Programs with Contrastive Learning

Integer Linear Programs (ILPs) are powerful tools for modeling and solvi...

Solving Mixed Integer Programs Using Neural Networks

Mixed Integer Programming (MIP) solvers rely on an array of sophisticate...

Learning to Compare Nodes in Branch and Bound with Graph Neural Networks

Branch-and-bound approaches in integer programming require ordering port...

Confidence Threshold Neural Diving

Finding a better feasible solution in a shorter time is an integral part...

Please sign up or login with your details

Forgot password? Click here to reset