Faster exact solution of sparse MaxCut and QUBO problems

02/04/2022
by   Daniel Rehfeldt, et al.
0

The maximum-cut problem is one of the fundamental problems in combinatorial optimization. With the advent of quantum computers, both the maximum-cut and the equivalent quadratic unconstrained binary optimization problem have experienced much interest in recent years. This article aims to advance the state of the art in the exact solution of both problems – by using mathematical programming techniques on digital computers. The main focus lies on sparse problem instances, although also dense ones can be solved. We enhance several algorithmic components such as reduction techniques and cutting-plane separation algorithms, and combine them in an exact branch-and-cut solver. Furthermore, we provide a parallel implementation. The new solver is shown to significantly outperform existing state-of-the-art software for sparse MaxCut and QUBO instances. Furthermore, we improve the best known bounds for several instances from the 7th DIMACS Challenge and the QPLIB, and solve some of them (for the first time) to optimality.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
04/24/2020

Faster Parallel Multiterminal Cuts

We give an improved branch-and-bound solver for the multiterminal cut pr...
research
11/05/2020

A revisited branch-and-cut algorithm for large-scale orienteering problems

The orienteering problem is a route optimization problem which consists ...
research
06/29/2023

A Neural Separation Algorithm for the Rounded Capacity Inequalities

The cutting plane method is a key technique for successful branch-and-cu...
research
09/17/2019

Preprocessing and Cutting Planes with Conflict Graphs

This paper addresses the implementation of conflict graph-based routines...
research
04/30/2020

On Solving Cycle Problems with Branch-and-Cut: Extending Shrinking and Exact Subcycle Elimination Separation Algorithms

In this paper, we extend techniques developed in the context of the Trav...
research
10/28/2022

Parallel Self-Avoiding Walks for a Low-Autocorrelation Binary Sequences Problem

A low-autocorrelation binary sequences problem with a high figure of mer...
research
07/11/2019

State-of-The-Art Sparse Direct Solvers

In this chapter we will give an insight into modern sparse elimination m...

Please sign up or login with your details

Forgot password? Click here to reset