Norm bounds and underestimators for unconstrained polynomial integer minimization

From MaRDI portal



Abstract: We consider the problem of minimizing a polynomial function over the integer lattice. Though impossible in general, we use a known sufficient condition for the existence of continuous minimizers to guarantee the existence of integer minimizers as well. In case this condition holds, we use sos programming to compute the radius of a p-norm ball which contains all integer minimizers. We prove that this radius is smaller than the radius known from the literature. Furthermore, we derive a new class of underestimators of the polynomial function. Using a Stellensatz from real algebraic geometry and again sos programming, we optimize over this class to get a strong lower bound on the integer minimum. Our radius and lower bounds are evaluated experimentally. They show a good performance, in particular within a branch and bound framework.


This paper presents a new way of finding underestimators for integer polynomial optimization and improves the bounds on the norm of integer and continuous minimizers. Both ideas are implemented within a branch \& bound approach showing how they improve its performance. Currently, one can compute one underestimator at the beginning of the branch and bound process which is used for generating lower bounds throughout the whole algorithm. Instead, one could also compute a new underestimator at each node of the branch and bound tree. This would improve the bounds but due to the comparatively large computation time for solving an sos-program does not pay off in terms of overall efficiency. The authors analyze in which nodes the computation of a new underestimator improves the procedure and analyze how to find an underestimator which is likely to be a good one for all subnodes. It is shown that the norm bound \(R\) obtained by them is drastically smaller than the norm bound \(R_{lit}\) available in the literature. The proposed procedure can be extended to mixed integer polynomial optimization. The radius and lower bounds are evaluated experimentally. They show a good performance, in particular within a branch and bound framework.



Cites work



Describes a project that uses

Uses Software






This page was built for publication: Norm bounds and underestimators for unconstrained polynomial integer minimization

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q684153)