The New Butterfly Relaxation Method for Mathematical Programs with Complementarity Constraints

We propose a new family of relaxation schemes for mathematical program with complementarity constraints that extends the relaxations of Kadrani, Dussault, Bechakroun from 2009 and the one of Kanzow & Schwartz from 2011. We discuss the properties of the sequence of relaxed non-linear program as well as stationarity properties of limiting points. A sub-family of our relaxation schemes has the desired property of converging to an M-stationary point. We introduce a new constraint qualication to prove convergence of our method, which is the weakest known constraint qualication that ensures bounded-ness of the sequence generated by the method. A comprehensive numerical comparison between existing relaxations methods is performed on the library of test problems MacMPEC and shows promising results for our new method.

[1]  Alexey F. Izmailov,et al.  Mathematical Programs with Vanishing Constraints: Optimality Conditions, Sensitivity, and a Relaxation Method , 2009, J. Optimization Theory and Applications.

[2]  Mihai Anitescu,et al.  On Using the Elastic Mode in Nonlinear Programming Approaches to Mathematical Programs with Complementarity Constraints , 2005, SIAM J. Optim..

[3]  Michael P. Friedlander,et al.  A two-sided relaxation scheme for Mathematical Programs with Equilibrium Constraints , 2005, SIAM J. Optim..

[4]  Jean-Pierre Dussault,et al.  A globally convergent algorithm for MPCC , 2015, EURO J. Comput. Optim..

[5]  Sven Leyffer,et al.  Solving mathematical programs with complementarity constraints as nonlinear programs , 2004, Optim. Methods Softw..

[6]  Christian Kanzow,et al.  Theoretical and numerical comparison of relaxation methods for mathematical programs with complementarity constraints , 2011, Mathematical Programming.

[7]  José Mario Martínez,et al.  A Cone-Continuity Constraint Qualification and Algorithmic Consequences , 2016, SIAM J. Optim..

[8]  Michael Hintermüller,et al.  Mathematical Programs with Complementarity Constraints in Function Space: C- and Strong Stationarity and a Path-Following Algorithm , 2009, SIAM J. Optim..

[9]  J. M. Martínez,et al.  On sequential optimality conditions for smooth constrained optimization , 2011 .

[10]  Sonja Veelken,et al.  A New Relaxation Scheme for Mathematical Programs with Equilibrium Constraints: Theory and Numerical Experience , 2009 .

[11]  Sven Leyffer,et al.  Local Convergence of SQP Methods for Mathematical Programs with Equilibrium Constraints , 2006, SIAM J. Optim..

[12]  Christian Kanzow,et al.  Mathematical programs with vanishing constraints: a new regularization approach with strong convergence properties , 2012 .

[13]  M. Ulbrich,et al.  A New Relaxation Scheme for Mathematical Programs with Equilibrium Constraints , 2010, SIAM J. Optim..

[14]  M. Guignard.  Generalized Kuhn–Tucker Conditions for Mathematical Programming Problems in a Banach Space , 1969 .

[15]  J. Abadie.  ON THE KUHN-TUCKER THEOREM. , 1966 .

[16]  Christian Kanzow,et al.  Mathematical Programs with Equilibrium Constraints: Enhanced Fritz John-conditions, New Constraint Qualifications, and Improved Exact Penalty Results , 2010, SIAM J. Optim..

[17]  Christian Kanzow,et al.  On a relaxation method for mathematical programs with vanishing constraints , 2012 .

[18]  Stephan Dempe,et al.  Foundations of Bilevel Programming , 2002 .

[19]  Lorenz T. Biegler,et al.  An Interior Point Method for Mathematical Programs with Complementarity Constraints (MPCCs) , 2005, SIAM J. Optim..

[20]  Michael Ulbrich,et al.  Mathematical programs with complementarity constraints in the context of inverse optimal control for locomotion , 2017, Optim. Methods Softw..

[21]  J. Dussault,et al.  How to Compute a Local Minimum of the MPCC , 2017 .

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

[23]  Christian Kanzow,et al.  A direct proof for M-stationarity under MPEC-GCQ for mathematical programs with equilibrium constraints , 2006 .

[24]  Christian Kanzow,et al.  A New Regularization Method for Mathematical Programs with Complementarity Constraints with Strong Convergence Properties , 2013, SIAM J. Optim..

[25]  M. Haddou,et al.  An exact penalty approach for mathematical programs with equilibrium constraints. , 2013 .

[26]  Alexandra Schwartz,et al.  Mathematical Programs with Complementarity Constraints : Theory, Methods and Applications , 2011 .

[27]  C. Kanzow,et al.  On the Guignard constraint qualification for mathematical programs with equilibrium constraints , 2005 .

[28]  Christian Kanzow,et al.  Abadie-Type Constraint Qualification for Mathematical Programs with Equilibrium Constraints , 2005 .

[29]  Christian Kanzow,et al.  A smoothing-regularization approach to mathematical programs with vanishing constraints , 2013, Comput. Optim. Appl..

[30]  Lei Guo,et al.  Second-Order Optimality Conditions for Mathematical Programs with Equilibrium Constraints , 2013, J. Optim. Theory Appl..

[31]  M. Bergounioux,et al.  A new relaxation method for a discrete image restoration problem , 2008 .

[32]  Paulo J. S. Silva,et al.  Two New Weak Constraint Qualifications and Applications , 2012, SIAM J. Optim..

[33]  J. J. Ye,et al.  Necessary Optimality Conditions for Optimization Problems with Variational Inequality Constraints , 1997, Math. Oper. Res..

[34]  M. Teresa T. Monteiro,et al.  A penalty method and a regularization strategy to solve MPCC , 2011, Int. J. Comput. Math..

[35]  R. Janin.  Directional derivative of the marginal function in nonlinear programming , 1984 .

[36]  Michael A. Saunders,et al.  SNOPT: An SQP Algorithm for Large-Scale Constrained Optimization , 2005, SIAM Rev..

[37]  Christian Kanzow,et al.  Convergence of a local regularization approach for mathematical programmes with complementarity or vanishing constraints , 2012, Optim. Methods Softw..

[38]  Bethany L. Nicholson,et al.  Mathematical Programs with Equilibrium Constraints , 2021, Pyomo — Optimization Modeling in Python.

[39]  Dominique Orban,et al.  An 1 Elastic Interior-Point Method for Mathematical Programs with Complementarity Constraints , 2012, SIAM J. Optim..

[40]  Jie Sun,et al.  Generalized stationary points and an interior-point method for mathematical programs with equilibrium constraints , 2004, Math. Program..

[41]  R. Fletcher,et al.  Numerical experience with solving MPECs as NLPs , 2002 .

[42]  Stefan Scholtes,et al.  Convergence Properties of a Regularization Scheme for Mathematical Programs with Complementarity Constraints , 2000, SIAM J. Optim..

[43]  J. Pang,et al.  Convergence of a Smoothing Continuation Method for Mathematical Progams with Complementarity Constraints , 1999 .

[44]  Michael A. Saunders,et al.  MINOS 5. 0 user's guide , 1983 .

[45]  Gui-Hua Lin,et al.  A Modified Relaxation Scheme for Mathematical Programs with Complementarity Constraints , 2002, Ann. Oper. Res..

[46]  Jane J. Ye,et al.  Necessary and sufficient optimality conditions for mathematical programs with equilibrium constraints , 2005 .

[47]  Christian Kanzow,et al.  The Price of Inexactness: Convergence Properties of Relaxation Methods for Mathematical Programs with Complementarity Constraints Revisited , 2015, Math. Oper. Res..

[48]  Mounir Haddou.  A new class of smoothing methods for mathematical programs with equilibrium constraints , 2007 .

[49]  D. Ralph,et al.  Convergence of a Penalty Method for Mathematical Programming with Complementarity Constraints , 2004 .

[50]  Christian Kanzow,et al.  Convergence properties of the inexact Lin-Fukushima relaxation method for mathematical programs with complementarity constraints , 2014, Comput. Optim. Appl..

[51]  Christian Kanzow,et al.  On M-stationary points for mathematical programs with equilibrium constraints , 2005 .

[52]  Nataliya I. Kalashnykova,et al.  Bilevel Programming Problems: Theory, Algorithms and Applications to Energy Networks , 2015 .

[53]  Christian Kanzow,et al.  Mathematical programs with vanishing constraints: optimality conditions and constraint qualifications , 2008, Math. Program..

[54]  Jiří V. Outrata,et al.  Mathematical Programs with Equilibrium Constraints: Theory and Numerical Methods , 2006 .

[55]  Jean-Pierre Dussault,et al.  A New Regularization Scheme for Mathematical Programs with Complementarity Constraints , 2009, SIAM J. Optim..

[56]  Stefan Scholtes,et al.  Mathematical Programs with Complementarity Constraints: Stationarity, Optimality, and Sensitivity , 2000, Math. Oper. Res..

[57]  Benjamin Pfaff,et al.  Perturbation Analysis Of Optimization Problems , 2016 .

[58]  Lei Guo,et al.  Solving Mathematical Programs with Equilibrium Constraints , 2015, J. Optim. Theory Appl..

[59]  Jorge Nocedal,et al.  Interior Methods for Mathematical Programs with Complementarity Constraints , 2006, SIAM J. Optim..

[60]  Stefan Scholtes,et al.  How Stringent Is the Linear Independence Assumption for Mathematical Programs with Complementarity Constraints? , 2001, Math. Oper. Res..