constraint aggregation

Aggregated quadratic formulations and semidefinite relaxations of the stable set polytope

Categories Combinatorial Optimization, Semi-definite Programming Tags , , ,

The stable set problem admits various binary linear and quadratic formulations. The Shor relaxation of a particular quadratic formulation is the well-known theta body. We consider aggregations of quadratic constraints of this formulation, yielding exact and inexact quadratic formulations of the stable set problem, and then establish conditions under which the aggregated quadratic formulation is … Read more

Constraint aggregation for rigorous global optimization

Categories Global Optimization Tags , , , , ,

In rigorous constrained global optimization, upper bounds on the objective function help to reduce the search space. Their construction requires finding a narrow box around an approximately feasible solution, verified to contain a feasible point. Approximations are easily found by local optimization, but the verification often fails. In this paper we show that even if … Read more