Combining Discrete Ellipsoid-Based Search and Branch-and-Cut for Binary Quadratic Programming Problems

We propose a hybrid algorithm that combines discrete ellipsoid-based search (DEBS) and a branch-and-cut (B&C) MIP solver to solve binary quadratic programming (BQP) problems, an important class of optimization problems with a number of practical applications. We perform experiments on benchmark instances for the BQP problem and compare the performance of two B&C based solvers, the DEBS method that is commonly used in the communications community, and the new hybrid algorithm. Our experimental results demonstrate that the new hybrid algorithm outperforms both the well-known MIP solvers and the DEBS approach. Further comparison against two state-of-the-art special-purpose algorithms in the literature demonstrates that the hybrid approach is competitive: achieving the same or better performance on six of seven benchmark sets against one algorithm and performing competitively against the semi-definite programming (SDP) based algorithm for moderate size problems and some dense problems, while under-performing on larger problems.

[1]  E. Lawler The Quadratic Assignment Problem , 1963 .

[2]  Louis Anthony Cox,et al.  Wiley encyclopedia of operations research and management science , 2011 .

[3]  Michael R. Bussieck,et al.  MINLP Solver Software , 2011 .

[4]  Lawrence J. Watters Letter to the Editor - Reduction of Integer Polynomial Programming Problems to Zero-One Linear Programming Problems , 1967, Oper. Res..

[5]  A. M. Geoffrion Generalized Benders decomposition , 1972 .

[6]  Peter Teunissen,et al.  GPS for geodesy , 1996 .

[7]  Claus-Peter Schnorr,et al.  Lattice Basis Reduction: Improved Practical Algorithms and Solving Subset Sum Problems , 1991, FCT.

[8]  Omprakash K. Gupta,et al.  Branch and Bound Experiments in Convex Nonlinear Integer Programming , 1985 .

[9]  Willard Miller,et al.  The IMA volumes in mathematics and its applications , 1986 .

[10]  Duan Li,et al.  An exact solution method for unconstrained quadratic 0–1 programming: a geometric approach , 2012, J. Glob. Optim..

[11]  Michael W. Carter,et al.  The indefinite zero-one quadratic problem , 1984, Discret. Appl. Math..

[12]  Sven Leyffer,et al.  Mixed Integer Nonlinear Programming , 2011 .

[13]  J. Christopher Beck,et al.  Combining Discrete Ellipsoid-based Search and Branch-and-Cut for Integer Least Squares Problems , 2014 .

[14]  Qing Han,et al.  Solving Box-Constrained Integer Least Squares Problems , 2008, IEEE Transactions on Wireless Communications.

[15]  Xiao-Wen Chang,et al.  Lattice preconditioning for the real relaxation branch-and-bound approach for integer least squares problems , 2014, Journal of Global Optimization.

[16]  Tobias Achterberg,et al.  Constraint integer programming , 2007 .

[17]  John E. Mitchell,et al.  A computational comparison of branch and bound and outer approximation algorithms for 0-1 mixed integer nonlinear programs , 1997, Comput. Oper. Res..

[18]  Ignacio E. Grossmann,et al.  An outer-approximation algorithm for a class of mixed-integer nonlinear programs , 1987, Math. Program..

[19]  G. Finke Quadratic Assignment Problems , 1987 .

[20]  Franz Rendl,et al.  Solving Max-Cut to optimality by intersecting semidefinite and polyhedral relaxations , 2009, Math. Program..

[21]  Alain Billionnet,et al.  Using a Mixed Integer Quadratic Programming Solver for the Unconstrained Quadratic 0-1 Problem , 2007, Math. Program..

[22]  Mark W. Lewis,et al.  Using xQx to model and solve the uncapacitated task allocation problem , 2005, Oper. Res. Lett..

[23]  Lawrence J. Watters,et al.  REDUCTION OF INTEGER POLYNOMIAL PROGRAMMING PROBLEMS TO ZERO-ONE LINEAR PROGRAMMING PROBLEMS , 2016 .

[24]  Frédéric Roupin,et al.  Improved semidefinite bounding procedure for solving Max-Cut problems to optimality , 2014, Math. Program..

[25]  T. Westerlund,et al.  An extended cutting plane method for solving convex MINLP problems , 1995 .

[26]  Xiao-Wen Chang,et al.  Solving Ellipsoid-Constrained Integer Least Squares Problems , 2009, SIAM J. Matrix Anal. Appl..

[27]  Sven Leyffer,et al.  FilMINT: An Outer Approximation-Based Solver for Convex Mixed-Integer Nonlinear Programs , 2010, INFORMS J. Comput..

[28]  Timo Berthold,et al.  Extending a CIP framework to solve MIQCPs , 2012 .