Entropic perturbation method for solving a system of linear inequalities

  • Authors:
  • Shyh-Huei Chen;Shu-Cherng Fang;H.-S. Jacob Tsao

  • Affiliations:
  • Department of Industrial Management, National University of Science and Technology, Yunlin 640, Taiwan, ROC;Operations Research and Industrial Engineering, North Carolina State University, Raleigh, NC;Department of Industrial and Systems Engineering, San Jose State University, San Jose, CA

  • Venue:
  • Journal of Computational and Applied Mathematics
  • Year:
  • 2002

Quantified Score

Hi-index 7.30

Visualization

Abstract

The problem of finding an x ∈ Rn such that Ax ≤ b and x ≥ 0 arises in numerous contexts. We propose a new optimization method for solving this feasibility problem. After converting Ax ≤ b into a system of equations by introducing a slack variable for each of the linear inequalities, the method imposes an entropy function over both the original and the slack variables as the objective function. The resulting entropy optimization problem is convex and has an unconstrained convex dual. If the system is consistent and has an interior solution, then a closed-form formula converts the dual optimal solution to the primal optimal solution, which is a feasible solution for the original system of linear inequalities. An algorithm based on the Newton method is proposed for solving the unconstrained dual problem. The proposed algorithm enjoys the global convergence property with a quadratic rate of local convergence. However, if the system is inconsistent, the unconstrained dual is shown to be unbounded. Moreover, the same algorithm can detect possible inconsistency of the system. Our numerical examples reveal the insensitivity of the number of iterations to both the size of the problem and the distance between the initial solution and the feasible region. The performance of the proposed algorithm is compared to that of the surrogate constraint algorithm recently developed by Yang and Murty. Our comparison indicates that the proposed method is particularly suitable when the number of constraints is larger than that of the variables and the initial solution is not close to the feasible region.