Abstract:Indefinite quadratic programs (QPs) are known to be very difficult to be solved to global optimality, so are linear programs with linear complementarity constraints. Treating the former as a subclass of the latter, this paper presents a progressive mixed integer linear programming method for solving a general linear program with linear complementarity constraints (LPCC). Instead of solving the LPCC with a full set of integer variables expressing the complementarity conditions, the presented method solves a finite number of mixed integer subprograms by starting with a small fraction of integer variables and progressively increasing this fraction. After describing the PIP (for progressive integer programming) method and its various implementations, we demonstrate, via an extensive set of computational experiments, the superior performance of the progressive approach over the direct solution of the full-integer formulation of the LPCCs. It is also shown that the solution obtained at the termination of the PIP method is a local minimizer of the LPCC, a property that cannot be claimed by any known non-enumerative method for solving this nonconvex program. In all the experiments, the PIP method is initiated at a feasible solution of the LPCC obtained from a nonlinear programming solver, and with high likelihood, can successfully improve it. Thus, the PIP method can improve a stationary solution of an indefinite QP, something that is not likely to be achievable by a nonlinear programming method. Finally, some analysis is presented that provides a better understanding of the roles of the LPCC suboptimal solutions in the local optimality of the indefinite QP.

Mathematical Programs with Complementarity Constraints and a Non-Lipschitz Objective: Optimality and Approximation.

Convergence Properties of Modified and Partially-Augmented Lagrangian Methods for Mathematical Programs with Complementarity Constraints

Solving mathematical programs with complementarity constraints arising in nonsmooth optimal control

Stochastic Nonlinear Complementarity Problems: Stochastic Programming Reformulation and Penalty-Based Approximation Method

Nonlinearly Constrained Best Approximation in Hilbert Spaces: the Strong CHIP and the Basic Constraint Qualification.

Penalty Methods for a Class of Non-Lipschitz Optimization Problems

On Best Approximation by Nonconvex Sets and Perturbation of Nonconvex Inequality Systems in Hilbert Spaces.

On some optimality conditions for a class of problems in mathematical programming with equilibrium constraints

Constraint Qualification, the Strong CHIP, and Best Approximation with Convex Constraints in Banach Spaces.

Optimality Conditions for Problems over Symmetric Cones and a Simple Augmented Lagrangian Method

Constraint Qualifications and Optimality Conditions for Nonsmooth Semidefinite Multiobjective Programming Problems with Mixed Constraints Using Convexificators

A Minimization Approach for Minimax Optimization with Coupled Constraints

Extended Newton Methods for Multiobjective Optimization: Majorizing Function Technique and Convergence Analysis

Constraint Qualifications for Convex Inequality Systems with Applications in Constrained Optimization

Second-Order Necessary Conditions, Constraint Qualifications and Exact Penalty for Mathematical Programs with Switching Constraints

Improving the Solution of Indefinite Quadratic Programs and Linear Programs with Complementarity Constraints by a Progressive MIP Method

Cardinality-Constrained Multi-Objective Optimization: Novel Optimality Conditions and Algorithms

Globally Solving Quadratic Programs with Convex Objective and Complementarity Constraints Via Completely Positive Programming

Nonconvex and Nonsmooth Optimization with Generalized Orthogonality Constraints: an Approximate Augmented Lagrangian Method

The sparse(st) optimization problem: reformulations, optimality, stationarity, and numerical results