Global Optimality Conditions for Discrete and Nonconvex OptimizationWith Applications to Lagrangian Heuristics and Column Generation

  • Authors:
  • Torbjrn Larsson;Michael Patriksson

  • Affiliations:
  • Department of Mathematics, Linkping University, SE-581 83 Linkping, Sweden;Department of Mathematics, Chalmers University of Technology, SE-412 96 Gothenburg, Sweden

  • Venue:
  • Operations Research
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

Abstract

The well-known and established global optimality conditions based on the Lagrangian formulation of an optimization problem are consistent if and only if the duality gap is zero. We develop a set of global optimality conditions that are structurally similar but are consistent for any size of the duality gap. This system characterizes a primaldual optimal solution by means of primal and dual feasibility, primal Lagrangian É聸-optimality, and, in the presence of inequality constraints, a relaxed complementarity condition analogously called -complementarity. The total size É聸 of those two perturbations equals the size of the duality gap at an optimal solution. Further, the characterization is equivalent to a near-saddle point condition which generalizes the classic saddle point characterization of a primaldual optimal solution in convex programming. The system developed can be used to explain, to a large degree, when and why Lagrangian heuristics for discrete optimization are successful in reaching near-optimal solutions. Further, experiments on a set-covering problem illustrate how the new optimality conditions can be utilized as a foundation for the construction of new Lagrangian heuristics. Finally, we outline possible uses of the optimality conditions in column generation algorithms and in the construction of core problems.