Results 1  10
of
14
Interior methods for mathematical programs with complementarity constraints
 SIAM J. Optim
, 2004
"... This paper studies theoretical and practical properties of interiorpenalty methods for mathematical programs with complementarity constraints. A framework for implementing these methods is presented, and the need for adaptive penalty update strategies is motivated with examples. The algorithm is sh ..."
Abstract

Cited by 22 (8 self)
 Add to MetaCart
This paper studies theoretical and practical properties of interiorpenalty methods for mathematical programs with complementarity constraints. A framework for implementing these methods is presented, and the need for adaptive penalty update strategies is motivated with examples. The algorithm is shown to be globally convergent to strongly stationary points, under standard assumptions. These results are then extended to an interiorrelaxation approach. Superlinear convergence to strongly stationary points is also established. Two strategies for updating the penalty parameter are proposed, and their efficiency and robustness are studied on an extensive collection of test problems.
Stochastic mathematical programs with equilibrium constraints, modeling and . . .
 SCHOOL OF INDUSTRIAL AND SYSTEM ENGINEERING, GEORGIA INSTITUTE OF TECHNOLOGY
, 2005
"... In this paper, we discuss the sample average approximation (SAA) method applied to a class of stochastic mathematical programs with variational (equilibrium) constraints. To this end, we briefly investigate the structure of both – the lower level equilibrium solution and objective integrand. We sho ..."
Abstract

Cited by 19 (5 self)
 Add to MetaCart
In this paper, we discuss the sample average approximation (SAA) method applied to a class of stochastic mathematical programs with variational (equilibrium) constraints. To this end, we briefly investigate the structure of both – the lower level equilibrium solution and objective integrand. We show almost sure convergence of optimal values, optimal solutions (both local and global) and generalized KarushKuhnTucker points of the SAA program to their true counterparts. We also study uniform exponential convergence of the sample average approximations, and as a consequence derive estimates of the sample size required to solve the true problem with a given accuracy. Finally we present some preliminary numerical test results.
Elasticmode algorithms for mathematical programs with equilibrium constraints: global convergence and stationarity properties
 Math. Program
, 2005
"... Abstract. The elasticmode formulation of the problem of minimizing a nonlinear function subject to equilibrium constraints has appealing local properties in that, for a finite value of the penalty parameter, local solutions satisfying first and secondorder necessary optimality conditions for the ..."
Abstract

Cited by 11 (1 self)
 Add to MetaCart
Abstract. The elasticmode formulation of the problem of minimizing a nonlinear function subject to equilibrium constraints has appealing local properties in that, for a finite value of the penalty parameter, local solutions satisfying first and secondorder necessary optimality conditions for the original problem are also first and secondorder points of the elasticmode formulation. Here we study global convergence properties of methods based on this formulation, which involve generating an (exact or inexact) first or secondorder point of the formulation, for nondecreasing values of the penalty parameter. Under certain regularity conditions on the active constraints, we establish finite or asymptotic convergence to points having a certain stationarity property (such as strong stationarity, Mstationarity, or Cstationarity). Numerical experience with these approaches is discussed. In particular, our analysis and the numerical evidence show that exact complementarity can be achieved finitely even when the elasticmode formulation is solved inexactly. Key words. Nonlinear programming, equilibrium constraints, complementarity constraints, elasticmode formulation, strong stationarity, Cstationarity, Mstationarity. AMS subject classifications 49M30, 49M37, 65K05, 90C30, 90C33 1.
Modeling and computing twosettlement oligopolistic equilibrium in a congested electricity network
 Operations Research
, 2008
"... A model of twosettlement electricity markets is introduced, which accounts for flow congestion, demand uncertainty, system contingencies and market power. We formulate the subgame perfect Nash equilibrium for this model as an equilibrium problem with equilibrium constraints (EPEC), in which each fi ..."
Abstract

Cited by 8 (2 self)
 Add to MetaCart
A model of twosettlement electricity markets is introduced, which accounts for flow congestion, demand uncertainty, system contingencies and market power. We formulate the subgame perfect Nash equilibrium for this model as an equilibrium problem with equilibrium constraints (EPEC), in which each firm solves a mathematical program with equilibrium constraints (MPEC). The model assumes linear demand functions, quadratic generation cost functions and a lossless DC network, resulting in equilibrium constraints as a parametric linear complementarity problem (LCP). We introduce an iterative procedure for solving this EPEC through repeated application of an MPEC algorithm. This MPEC algorithm is based on solving quadratic programming subproblems and on parametric LCP pivoting. Numerical examples demonstrate the effectiveness of the MPEC and EPEC algorithms and the tractability of the model for realistic size power systems. 1
On the Global Solution of Linear Programs with Linear Complementarity Constraints
, 2007
"... This paper presents a parameterfree integerprogramming based algorithm for the global resolution of a linear program with linear complementarity constraints (LPEC). The cornerstone of the algorithm is a minimax integer program formulation that characterizes and provides certificates for the three ..."
Abstract

Cited by 6 (3 self)
 Add to MetaCart
This paper presents a parameterfree integerprogramming based algorithm for the global resolution of a linear program with linear complementarity constraints (LPEC). 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 LPEC. 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 LPEC are the workhorse 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 LPECs of reasonable sizes. The results establish that the algorithm can handle infeasible, unbounded, and solvable LPECs effectively.
MATHEMATICAL PROGRAMS WITH VANISHING CONSTRAINTS: OPTIMALITY CONDITIONS, SENSITIVITY, AND A RELAXATION METHOD ∗
, 2007
"... We consider mathematical programs with vanishing constraints, which is a class of difficult optimization problems where constraints are usually degenerate at a solution. We discuss some known first and secondorder necessary optimality conditions, giving very short and direct justifications. We der ..."
Abstract

Cited by 5 (0 self)
 Add to MetaCart
We consider mathematical programs with vanishing constraints, which is a class of difficult optimization problems where constraints are usually degenerate at a solution. We discuss some known first and secondorder necessary optimality conditions, giving very short and direct justifications. We derive some new special secondorder sufficient optimality conditions for these problems, and show that these conditions are actually equivalent to the classical/standard secondorder sufficient conditions in optimization. We also provide a sensitivity analysis for problems with vanishing constraints. Finally, a relaxation method is proposed. For this method, we analyze constraints regularity and boundedness of the Lagrange multipliers in the relaxed subproblems, derive a sufficient condition for local uniqueness of solutions of subproblems, and give some convergence estimates. Key words: mathematical program with vanishing constraints, stationarity, secondorder conditions, sensitivity, relaxation.
Semismooth Newton method for the lifted reformulation of mathematical programs with complementarity constraints
, 2009
"... We consider a reformulation of mathematical programs with complementarity constraints, where by introducing an artificial variable the constraints are converted into equalities which are once but not twice differentiable. We show that the Lagrange optimality system of such a reformulation is semismo ..."
Abstract

Cited by 5 (4 self)
 Add to MetaCart
We consider a reformulation of mathematical programs with complementarity constraints, where by introducing an artificial variable the constraints are converted into equalities which are once but not twice differentiable. We show that the Lagrange optimality system of such a reformulation is semismooth and BDregular at the solution under reasonable assumptions. Thus, fast local convergence can be obtained by applying the semismooth Newton method. Moreover, it turns out that the squared residual of the Lagrange system is continuously differentiable (even though the system itself is not), which opens the way for a natural globalization of the local algorithm.
An Extended Mathematical Programming Framework
, 2009
"... Extended mathematical programs are collections of functions and variables joined together using specific optimization and complementarity primitives. This paper outlines a mechanism to describe such an extended mathematical program by means of annotating the existing relationships within a model to ..."
Abstract

Cited by 3 (1 self)
 Add to MetaCart
Extended mathematical programs are collections of functions and variables joined together using specific optimization and complementarity primitives. This paper outlines a mechanism to describe such an extended mathematical program by means of annotating the existing relationships within a model to facilitate higher level structure identification. The structures, which often involve constraints on the solution sets of other models or complementarity relationships, can be exploited by modern large scale mathematical programming algorithms for efficient solution. A specific implementation of this framework is outlined that communicates structure from the GAMS modeling system to appropriate solvers in a computationally beneficial manner. Example applications are taken from chemical engineering.
ON THE CALCULATION OF NASH EQUILIBRIUM POINTS WITH THE AID OF THE SMOOTHING APPROACH
"... Let us consider a game with n players where the set of possible strategies depend on the decision of the other player. In this case, if the players behave rationally the solution is a point of generalized Nash equilibrium (GNE). These points can be obtained as solutions of a special class of bilevel ..."
Abstract
 Add to MetaCart
Let us consider a game with n players where the set of possible strategies depend on the decision of the other player. In this case, if the players behave rationally the solution is a point of generalized Nash equilibrium (GNE). These points can be obtained as solutions of a special class of bilevel programs. In this work, the bilevel problem is substituted by a simpler model which can be solved by the so called smoothing approach for mathematical programs with complementarity constraints. We discuss if the hypothesis for the convergence of this method are generically fulfilled or not.
EXTENDING MODELING SYSTEMS: STRUCTURE AND SOLUTION
"... Keywords Some extensions of a modeling system are described that facilitate higher level structure identification within a model. These structures, which often involve complementarity relationships, can be exploited by modern large scale mathematical programming algorithms. A specific implementation ..."
Abstract
 Add to MetaCart
Keywords Some extensions of a modeling system are described that facilitate higher level structure identification within a model. These structures, which often involve complementarity relationships, can be exploited by modern large scale mathematical programming algorithms. A specific implementation of an extended mathematical programming tool is outlined that communicates structure in a computationally beneficial manner from the GAMS modeling system to an appropriate solver. Modeling, complementarity, nonlinear programming, variational inequalities