Quadratic factorization heuristics for copositive programming

Copositive optimization problems are particular conic programs: optimize linear forms over the copositive cone subject to linear constraints. Every quadratic program with linear constraints can be formulated as a copositive program, even if some of the variables are binary. So this is an NP-hard problem class. While most methods try to approximate the copositive cone from within, we propose a method which approximates this cone from outside. This is achieved by passing to the dual problem, where the feasible set is an affine subspace intersected with the cone of completely positive matrices, and this cone is approximated from within. We consider feasible descent directions in the completely positive cone, and regularized strictly convex subproblems. In essence, we replace the intractable completely positive cone with a nonnegative cone, at the cost of a series of nonconvex quadratic subproblems. Proper adjustment of the regularization parameter results in short steps for the nonconvex quadratic programs. This suggests to approximate their solution by standard linearization techniques. Preliminary numerical results on three different classes of test problems are quite promising.

[1]  László Lovász,et al.  On the Shannon capacity of a graph , 1979, IEEE Trans. Inf. Theory.

[2]  Peter J. C. Dickinson AN IMPROVED CHARACTERISATION OF THE INTERIOR OF THE COMPLETELY POSITIVE CONE , 2010 .

[3]  Franz Rendl,et al.  Copositive programming motivated bounds on the stability and the chromatic numbers , 2009, Math. Program..

[4]  Franz Rendl,et al.  Copositive and semidefinite relaxations of the quadratic assignment problem , 2009, Discret. Optim..

[5]  Mirjam Dür,et al.  Algorithmic copositivity detection by simplicial partition , 2008 .

[6]  Mirjam Dür,et al.  An Adaptive Linear Approximation Algorithm for Copositive Programs , 2009, SIAM J. Optim..

[7]  Charles R. Johnson,et al.  Constructing copositive matrices from interior matrices , 2008 .

[8]  Donald E. Knuth The Sandwich Theorem , 1994, Electron. J. Comb..

[9]  Etienne de Klerk,et al.  Approximation of the Stability Number of a Graph via Copositive Programming , 2002, SIAM J. Optim..

[10]  Samuel Burer,et al.  On the copositive representation of binary and continuous nonconvex quadratic programs , 2009, Math. Program..

[11]  Mirjam Dür,et al.  Interior points of the completely positive cone. , 2008 .

[12]  Alexander Schrijver,et al.  A comparison of the Delsarte and Lovász bounds , 1979, IEEE Trans. Inf. Theory.

[13]  Etienne de Klerk,et al.  On Copositive Programming and Standard Quadratic Optimization Problems , 2000, J. Glob. Optim..

[14]  R. McEliece,et al.  The Lovasz bound and some generalizations , 1978 .

[15]  F. Rendl,et al.  Copositive and Semidenite Relaxations of the Quadratic Assignment Problem y (appeared in Discrete Optimization 6 (2009) 231{241) , 2009 .

[16]  Gabriele Eichfelder,et al.  Copositivity detection by difference-of-convex decomposition and ω-subdivision , 2013, Math. Program..

[17]  Marco Locatelli,et al.  Gap, cosum and product properties of the θ′ bound on the clique number , 2010 .

[18]  Florian Jarre,et al.  A note on Burer’s copositive representation of mixed-binary QPs , 2010, Optim. Lett..

[19]  George L. Nemhauser,et al.  A branch-and-cut algorithm for nonconvex quadratic programs with box constraints , 2005, Math. Program..

[20]  A. Berman,et al.  Completely Positive Matrices , 2003 .

[21]  Yurii Nesterov,et al.  Interior-point polynomial algorithms in convex programming , 1994, Siam studies in applied mathematics.

[22]  P. Parrilo Structured semidefinite programs and semialgebraic geometry methods in robustness and optimization , 2000 .