MacEPEC

From Svenleyffer
Revision as of 14:31, 5 March 2009 by Leyffer (talk | contribs)
Jump to navigation Jump to search

This page contains Sven and Todd's small collection or equilibrium problems with equilibrium constraints (EPECs). All models are written in AMPL. Each model has several formulations that are distinguished by their filename extensions:

Filename Extension Formulation Type
GJ Gauss-Jacobi formulation
GS Gauss-Seidel formulation
MPEC minimum multiplier formulation; mathematical program with equlilibrium constraints
NCP nonlinear complementarity problem formulation
NCPa alternative NCP formulation (complementarity between multipliers)
NCPt parametric NCP formulation
NLP elastic mode formulation; minimize complementarity
PC price-consistent (square) NCP formulation
PCa alternative price-consistent (square) NCP formulation

Updates:

  1. 2006-04-27: corrected mistake in outrata4-GS/outrata4-GJ objective definition (now 10*y[4]^2)
  2. 2006-08-23: added data electric-004.dat which is a better conditioned example than electric-003.

electricity

A set of problems arising in the modeling of electricity markets.

There are three data files for different networks:

  1. electric-001.dat a small 3 node infeasible problem
  2. electric-002.dat a small 3 node feasible problem
  3. electric-003.dat derived from an 18 node real example of the PJM market from the eastern United States
  4. electric-004.dat a made up example from the PJM example above that is better conditioned.

epecgen

A set of randomly generated EPECs. The random generator is written in matlab, see epecgen.m *

Sample data files are in three groups (different sizes):

  1. Size 1: rand-0001.dat rand-0002.dat rand-0003.dat rand-0004.dat rand-0005.dat rand-0006.dat rand-0007.dat rand-0008.dat rand-0009.dat rand-0010.dat
  2. Size 2: rand-0011.dat rand-0012.dat rand-0013.dat rand-0014.dat rand-0015.dat rand-0016.dat rand-0017.dat rand-0018.dat rand-0019.dat rand-0020.dat
  3. Size 3: rand-0021.dat rand-0022.dat rand-0023.dat rand-0024.dat rand-0025.dat rand-0026.dat rand-0027.dat rand-0028.dat rand-0029.dat rand-0030.dat

ex-001

A small EPEC for which with a price-consistent formulations exists:

[ex-001-GJ.mod ex-001-GJ.mod
][ex-001-GS.mod ex-001.GS.mod]Â [ex-001-MPEC.mod
ex-001-MPEC.mod]Â [ex-001-NCP.mod
ex-001-NCP.mod]Â [ex-001-NCPa.mod
ex-001-NCPa.mod]Â [ex-001-NCPt.mod
ex-001-NCPt.mod]Â [ex-001-NLP.mod
ex-001-NLP.mod]Â [ex-001-PC.mod
ex-001-PC.mod]Â
ex-001-PCa.mod


ex-4 small EPEC from Fukushima and Pang which does not have a solution.

[ex-4-GJ.mod ex-4-GJ.mod
][ex-4-GS.mod ex-4.GS.mod]Â [ex-4-MPEC.mod
ex-4-MPEC.mod]Â [ex-4-NCP.mod
ex-4-NCP.mod]Â [ex-4-NCPa.mod
ex-4-NCPa.mod]Â [ex-4-NCPt.mod
ex-4-NCPt.mod]Â [ex-4-NLP.mod
ex-4-NLP.mod]Â [ex-4-PC.mod
ex-4-PC.mod]Â
ex-4-PCa.mod


outrata3 an EPEC generated from the outrata3*.mod MPEC models. The control variables from all leaders enter the lower-level problem by averaging over the leaders. This trick ensures that the EPEC does not separate into individual MPECs. This problem has no solution and illustrates the behavior of the solvers when tackling a problem without solution. All Stackelberg players have the same constraints but different objective functions, so the problem has no price-consistent solution.

[outrata3-GJ.mod outrata3-GJ.mod
][outrata3-GS.mod outrata3.GS.mod]Â [outrata3-MPEC.mod
outrata3-MPEC.mod]Â [outrata3-NCP.mod
outrata3-NCP.mod]Â [outrata3-NCPa.mod
outrata3-NCPa.mod]Â [outrata3-NCPt.mod
outrata3-NCPt.mod]Â [outrata3-NLP.mod
outrata3-NLP.mod]Â [outrata3-PC.mod
outrata3-PC.mod]Â
outrata3-PCa.mod


outrata4 is derived from outrata3 so that a price-consistent solution to this model exists.

[outrata4-GJ.mod outrata4-GJ.mod
][outrata4-GS.mod outrata4.GS.mod] [outrata4-MPEC.mod
outrata4-MPEC.mod]Â [outrata4-NCP.mod
outrata4-NCP.mod]Â [outrata4-NCPa.mod
outrata4-NCPa.mod]Â [outrata4-NCPt.mod
outrata4-NCPt.mod]Â [outrata4-NLP.mod
outrata4-NLP.mod]Â [outrata4-PC.mod
outrata4-PC.mod]Â
outrata4-PCa.mod