Monomial-wise optimal separable underestimators for mixed-integer polynomial optimization
We introduce a new method for solving box-constrained mixed-integer polynomial problems to global optimality. The approach, a specialized branch-and-bound algorithm, is based on the computation of lower bounds provided by the minimization of separable underestimators of the polynomial objective function. The underestimators are the novelty of the approach because the standard approaches in global optimization are based on convex relaxations. Thanks to the fact that only simple bound constraints are present, minimizing the separable underestimator can be done very quickly. The underestimators are computed monomial-wise after the original polynomial has been shifted. We show that such valid underestimators exist and their degree can be bounded when the degree of the polynomial objective function is bounded, too. For the quartic case, all optimal monomial underestimators are determined analytically. We implemented and tested the branch-and-bound algorithm where these underestimators are hardcoded. The comparison against standard global optimization and polynomial optimization solvers clearly shows that our method outperforms the others, the only exception being the binary case where, though, it is still competitive. Moreover, our branch-and-bound approach suffers less in case of dense polynomial objective function, i.e., in case of polynomials having a large number of monomials. This paper is an extended and revised version of the preliminary paper .
KeywordsPolynomial optimization Mixed-integer nonlinear programming Separable underestimators
The work is partially supported by the EU grant FP7-PEOPLE-2012—ITN No. 316647 “Mixed-Integer Nonlinear Optimization”. The second author gratefully acknowledges the partial financial support under Grant ANR 12-JS02-009-01 “ATOMIC”.
- 4.Buchheim, C., D’Ambrosio, C.: Box-constrained mixed-integer polynomial optimization using separable underestimators. In: Integer Programming and Combinatorial Optimization—17th International Conference, IPCO 2014, LNCS, vol. 8494, pp. 198–209 (2014)Google Scholar
- 6.Buchheim, C., Traversi, E.: Separable non-convex underestimators for binary quadratic programming. In: 12th International Symposium on Experimental Algorithms—SEA 2013, LNCS, vol. 7933, pp. 236–247 (2013)Google Scholar
- 11.COUENNE (v. 0.4) projects.coin-or.org/CouenneGoogle Scholar
- 19.Parrilo, P.A., Sturmfels, B.: Minimizing polynomial functions. Algorithmic and quantitative real algebraic geometry. DIMACS Ser. Discrete Math. Theor. Comput. Sci. 60, 83–99 (2001)Google Scholar
- 21.SCIP (v. 3.0.1) http://scip.zib.de/scip.shtml