On the Global Solution of Linear Programs with Linear Complementarity Constraints

  • Authors:
  • Jing Hu;John E. Mitchell;Jong-Shi Pang;Kristin P. Bennett;Gautam Kunapuli

  • Affiliations:
  • huj@rpi.edu and mitchj@rpi.edu and bennek@rpi.edu and kunapg@rpi.edu;-;jspang@uiuc.edu;-;-

  • Venue:
  • SIAM Journal on Optimization
  • Year:
  • 2008

Quantified Score

Hi-index 0.01

Visualization

Abstract

This paper presents a parameter-free integer-programming-based algorithm for the global resolution of a linear program with linear complementarity constraints (LPCCs). The cornerstone of the algorithm is a minimax integer program formulation that characterizes and provides certificates for the three outcomes—infeasibility, unboundedness, or solvability—of an LPCC. An extreme point/ray generation scheme in the spirit of Benders decomposition is developed, from which valid inequalities in the form of satisfiability constraints are obtained. The feasibility problem of these inequalities and the carefully guided linear-programming relaxations of the LPCC are the workhorses of the algorithm, which also employs a specialized procedure for the sparsification of the satifiability cuts. We establish the finite termination of the algorithm and report computational results using the algorithm for solving randomly generated LPCCs of reasonable sizes. The results establish that the algorithm can handle infeasible, unbounded, and solvable LPCCs effectively.