Stabilized optimization via an NCL algorithm

For optimization problems involving many nonlinear inequality constraints, we extend the bound-constrained (BCL) and linearly constrained (LCL) augmented Lagrangian approaches of LANCELOT and MINOS to an algorithm that solves a sequence of nonlinearly constrained augmented Lagrangian subproblems whose nonlinear constraints satisfy the LICQ everywhere. The NCL algorithm is implemented in AMPL and tested on large instances of a tax policy model that could not be solved directly by the state-of-the-art solvers that we tested, because of singularity in the Jacobian of the active constraints. Algorithm NCL with IPOPT as subproblem solver proves to be effective, with IPOPT using second derivatives and successfully warm starting each subproblem.

[1]  S. M. Robinson,et al.  A quadratically-convergent algorithm for general nonlinear programming problems , 1972, Math. Program..

[2]  Michael A. Saunders,et al.  A projected Lagrangian algorithm and its implementation for sparse nonlinear constraints , 1982 .

[3]  P. Toint,et al.  A globally convergent augmented Lagrangian algorithm for optimization with general constraints and simple bounds , 1991 .

[4]  P. Toint,et al.  Lancelot: A FORTRAN Package for Large-Scale Nonlinear Optimization (Release A) , 1992 .

[5]  Brian W. Kernighan,et al.  AMPL: A Modeling Language for Mathematical Programming , 1993 .

[6]  Stephen J. Wright Superlinear Convergence of a Stabilized SQP Method to a Degenerate Solution , 1998, Comput. Optim. Appl..

[7]  Patrick Amestoy,et al.  A Fully Asynchronous Multifrontal Solver Using Distributed Dynamic Scheduling , 2001, SIAM J. Matrix Anal. Appl..

[8]  Michael A. Saunders,et al.  SNOPT: An SQP Algorithm for Large-Scale Constrained Optimization , 2002, SIAM J. Optim..

[9]  Michael P. Friedlander,et al.  A Globally Convergent Linearly Constrained Lagrangian Method for Nonlinear Optimization , 2005, SIAM J. Optim..

[10]  Lorenz T. Biegler,et al.  On the implementation of an interior-point filter line-search algorithm for large-scale nonlinear programming , 2006, Math. Program..

[11]  Che-Lin Su,et al.  Optimal Income Taxation with Multidimensional Taxpayer Types , 2006 .

[12]  Jorge Nocedal,et al.  Knitro: An Integrated Package for Nonlinear Optimization , 2006 .

[13]  Michael P. Friedlander,et al.  A primal–dual regularized interior-point method for convex quadratic programs , 2010, Mathematical Programming Computation.

[14]  Daniel P. Robinson,et al.  A stabilized SQP method: global convergence , 2017 .

[15]  Daniel P. Robinson,et al.  A stabilized SQP method: superlinear convergence , 2017, Math. Program..

[16]  Dominique Orban,et al.  A Regularized Factorization-Free Method for Equality-Constrained Optimization , 2018, SIAM J. Optim..