A Branch and Bound algorithm for general mixed-integer quadratic programs based on quadratic convex relaxation
Résumé
Let (MQP) be a general mixed-integer quadratic program that consists of minimizing a quadratic function f(x) = x^TQx +c^Tx subject to linear constraints. Our approach to solve (MQP) is first to consider an equivalent general mixed-integer quadratic problem. This equivalent problem has additional variables y_{ij}, additional quadratic constraints y_{ij}=x_ix_j, a convex objective function, and a set of valid inequalities. Contrarily to the reformulation proposed in MIQCR, the equivalent problem cannot be directly solved by a standard solver. Here, we propose a new Branch and Bound process based on the relaxation of the non-convex constraints y_{ij}=x_ix_j to solve $(MQP)$. Computational experiences are carried out on pure- and mixed-integer quadratic instances. The results show that the solution time of most of the considered instances with up to 60 variables is improved by our Branch and Bound algorithm in comparison with MIQCR and with the general mixed-integer nonlinear solver BARON.