Abstract:The Quadratic Unconstrained Binary Optimization problem (QUBO) has become a unifying model for representing a wide range of combinatorial optimization problems, and for linking a variety of disciplines that face these problems. A new class of quantum annealing computer that maps QUBO onto a physical qubit network structure with specific size and edge density restrictions is generating a growing interest in ways to transform the underlying QUBO structure into an equivalent graph having fewer nodes and edges. In this article, we present rules for reducing the size of the QUBO matrix by identifying variables whose value at optimality can be predetermined. We verify that the reductions improve both solution quality and time to solution and, in the case of metaheuristic methods where optimal solutions cannot be guaranteed, the quality of solutions obtained within reasonable time limits. We discuss the general QUBO structural characteristics that can take advantage of these reduction techniques and perform careful experimental design and analysis to identify and quantify the specific characteristics most affecting reduction. The rules make it possible to dramatically improve solution times on a new set of problems using both the exact Cplex solver and a tabu search metaheuristic. © 2017 Wiley Periodicals, Inc. NETWORKS, Vol. 70(2), 79–97 2017

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

Lower Bound Improvement and Forcing Rule for Quadratic Binary Programming.

Conic Approximation to Quadratic Optimization with Linear Complementarity Constraints.

Conic approximation to nonconvex quadratic programming with convex quadratic constraints

An Eigenvalue Decomposition Based Branch-and-bound Algorithm for Nonconvex Quadratic Programming Problems with Convex Quadratic Constraints

An exact solution method for unconstrained quadratic 0–1 programming: a geometric approach

Quadratic unconstrained binary optimization problem preprocessing: Theory and empirical analysis

A Conic Approximation Method for the 0-1 Quadratic Knapsack Problem

Parametric Lagrangian Dual for the Binary Quadratic Programming Problem

Approximating Quadratic 0-1 Programming via SOCP

An Algorithm for the Lower Bounds of Semivectorial Bilevel Programming Problem

A Mixed-Binary Convex Quadratic Reformulation for Box-Constrained Nonconvex Quadratic Integer Program

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

A new bound-and-reduce approach of nonconvex quadratic programming problems

Convex Relaxations for Nonconvex Quadratically Constrained Quadratic Programming: Matrix Cone Decomposition and Polyhedral Approximation

Exact Computable Representation of Some Second-Order Cone Constrained Quadratic Programming Problems

Adaptive computable approximation to cones of nonnegative quadratic functions

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

ON SUBSPACE PROPERTIES OF THE QUADRATICALLY CONSTRAINED QUADRATIC PROGRAM

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

An Eigenvalue Decomposition Method for Low-rank and Non-convex Quadratically Constrained Quadratic Programming