Abstract:Binary quadratic programming (BQP) is a class of combinatorial optimization problems comprising binary variables, quadratic objective functions, and linear/nonlinear constraints. This paper examines a unified framework to reformulate a BQP problem with linear constraints to a new BQP with an exponential number of variables defined on a graph. This framework relies on the concept of stars in the graph to split the quadratic costs into adjacent and nonadjacent components indicating in-star and out-of-star interactions. We exploit the star-based structure of the new reformulation to develop a decomposition-based column generation algorithm. In our computational experiments, we evaluate the performance of our methodology on different applications with different quadratic structures. The quadratic component of the problem is dealt with in the column generation master problem and its subproblem. Results indicate the superiority of the framework over one of the state-of-the-art solvers, GUROBI, when applied to various benchmark reformulations with adjacent-only or sparse quadratic cost matrices. The framework outperforms GUROBI in terms of both dual bound and computational time in almost all instances. History: Accepted by Andrea Lodi, Area Editor for Design & Analysis of Algorithms—Discrete. Funding: The authors thank the Mitacs Accelerate Program for providing funding for this project. In addition, B. Rostami gratefully acknowledges the funding provided by the Canadian Natural Sciences and Engineering Research Council (NSERC) under a Discovery Grant [Grant RGPIN-2020-05395]. Supplemental Material: The online appendix is available at https://doi.org/10.1287/ijoc.2021.0186 .

Improved Estimation of Duality Gap in Binary Quadratic Programming Using a Weighted Distance Measure

Duality Gap Estimation Of Linear Equality Constrained Binary Quadratic Programming

On Duality Gap in Binary Quadratic Programming

On Reduction of Duality Gap in Quadratic Knapsack Problems

On the Reduction of Duality Gap in Box Constrained Nonconvex Quadratic Program

A Method for Dynamic Locally Weighting Based on Sequential Quadratic Programming

Parametric Lagrangian Dual for the Binary Quadratic Programming Problem

On zero duality gap in nonconvex quadratic programming problems

Tightening a Copositive Relaxation for Standard Quadratic Optimization Problems

An Improved Lower Bound and Approximation Algorithm for Binary Constrained Quadratic Programming Problem

Convexifiability of Continuous and Discrete Nonnegative Quadratic Programs for Gap-Free Duality

Towards Strong Duality in Integer Programming

An Improved Linear Programming Bound on the Average Distance of a Binary Code

A Dual Bounding Framework Through Cost Splitting for Binary Quadratic Optimization

The Smoothed Duality Gap as a Stopping Criterion

An Entropy-Regularized ADMM for Binary Quadratic Programming

Polynomially Solvable Cases Of Binary Quadratic Programs

An Improved Analysis of Semidefinite Approximation Bound for Nonconvex Nonhomogeneous Quadratic Optimization with Ellipsoid Constraints

An approach to duality via image space analysis and applications to linear vector optimization problems

Constructing Tight Quadratic Relaxations for Global Optimization: II. Underestimating Difference-of-Convex (D.C.) Functions

A New Algorithm for Finding Global Solution of Indefinite Quadratic Programming Problems