Abstract:For mixed integer programs (MIPs) with block structures and coupling constraints, on dualizing the coupling constraints the resulting Lagrangian relaxation becomes decomposable into blocks which allows for the use of parallel computing. However, the resulting Lagrangian dual can have non-zero duality gap due to the inherent non-convexity of MIPs. In this paper, we propose two reformulations of such MIPs by adding redundant constraints, such that the Lagrangian dual obtained by dualizing the coupling constraints and the redundant constraints have zero duality gap while still remaining decomposable. One of these reformulations is similar, although not the same as the RLT hierarchy. In this case, we present multiplicative bounds on the quality of the dual bound at each level of the hierarchy for packing and covering MIPs. We show our results are applicable to general sparse MIPs, where decomposability is revealed via the tree-decomposition of the intersection graph of the constraint matrix. In preliminary experiments, we observe that the proposed Lagrangian duals give better dual bounds than classical Lagrangian dual and Gurobi in equal time, where Gurobi is not exploiting decomposability.

On Reduction of Duality Gap in Quadratic Knapsack Problems

On the Reduction of Duality Gap in Box Constrained Nonconvex Quadratic Program

On Duality Gap in Binary Quadratic Programming

Improved Estimation of Duality Gap in Binary Quadratic Programming Using a Weighted Distance Measure

Duality Gap Estimation Of Linear Equality Constrained Binary Quadratic Programming

On zero duality gap in nonconvex quadratic programming problems

Convexifiability of Continuous and Discrete Nonnegative Quadratic Programs for Gap-Free Duality

Surrogate Dual Method for Multi-Dimensional Nonlinear Knapsack Problems

A Lagrangian Decomposition and Domain Cut Algorithm for Nonseparable Convex Knapsack Problems

A note on semidefinite relaxation for 0-1 quadratic knapsack problems

Tightening a Copositive Relaxation for Standard Quadratic Optimization Problems

A Branch-and-bound Algorithm for Multi-Dimensional Quadratic 0–1 Knapsack Problems

Integrality Gaps of Linear and Semi-definite Programming Relaxations for Knapsack

An Efficient Algorithm for Multi-Dimensional Nonlinear Knapsack Problems

Convex Relaxation and Lagrangian Decomposition for Indefinite Integer Quadratic Programming

Towards Strong Duality in Integer Programming

Optimality-based domain reduction for inequality-constrained NLP and MINLP problems

Improving the Performance of MIQP Solvers for Quadratic Programs with Cardinality and Minimum Threshold Constraints: A Semidefinite Program Approach.

Separable Relaxation for Nonconvex Quadratic Integer Programming: Integer Diagonalization Approach

Convergent Lagrangian and domain cut method for nonlinear knapsack problems

Lagrangian dual with zero duality gap that admits decomposition