We introduce an extended mathematical programming framework for specifying equilibrium problems and their variational representations, such as generalized Nash equilibrium, multiple optimization problems with equilibrium constraints, and (quasi-) variational inequalities, and computing solutions of them from modeling languages. We define a new set of constructs with which users annotate variables and equations of the model to describe equilibrium and variational problems. Our constructs enable a natural translation of the model from one formulation to another more computationally tractable form without requiring the modeler to supply derivatives. In the context of many independent agents in the equilibrium, we facilitate expression of sophisticated structures such as shared constraints and additional constraints on their solutions. We define shared variables and demonstrate their uses for sparse reformulation, economic equilibrium problems sharing economic states, mixed pricing behavior of agents, and so on. We give some equilibrium and variational examples from the literature and describe how to formulate them using our framework. Experimental results comparing performance of various complementarity formulations for shared variables are provided. Our framework has been implemented and is available within GAMS/EMP.
This is a preview of subscription content, log in to check access.
This material is based upon work supported by the U.S. Department of Energy, Office of Science, Office of Advanced Scientific Computing Research, Applied Mathematics program under contract number DE-AC02-06CH11357.
Aguiar, A., Narayanan, B., Mcdougall, R.: An overview of the GTAP 9 data base. J. Glob. Econ. Anal. 1(1), 181–208 (2016)Google Scholar
Bezanson, J., Edelman, A., Karpinski, S., Shah, V.B.: Julia: a fresh approach to numerical computing. SIAM Rev. 59(1), 65–98 (2017)MathSciNetzbMATHGoogle Scholar
Britz, W., Ferris, M., Kuhn, A.: Modeling water allocating institutions based on multiple optimization problems with equilibrium constraints. Environ. Model. Softw. 46, 196–207 (2013)Google Scholar
Brook, A., Kendrick, D., Meeraus, A.: GAMS: A User’s Guide. The Scientific Press, South San Francisco (1988)Google Scholar
Ferris, M.C., Fourer, R., Gay, D.M.: Expressing complementarity problems in an algebraic modeling language and communicating them to solvers. SIAM J. Optim. 9(4), 991–1009 (1999)MathSciNetzbMATHGoogle Scholar
Ferris, M.C., Munson, T.S.: Interfaces to PATH 3.0: design, implementation and usage. Comput. Optim. Appl. 12(1), 207–227 (1999)MathSciNetzbMATHGoogle Scholar
Fourer, R., Gay, D.M., Kernighan, B.W.: AMPL: A Modeling Language for Mathematical Programming, 2nd edn. Cengage Learning, Boston (2002)zbMATHGoogle Scholar
Harker, P.T.: A variational inequality approach for the determination of oligopolistic market equilibrium. Math. Program. 30, 105–111 (1984)MathSciNetzbMATHGoogle Scholar
Harker, P.T.: Generalized Nash games and quasi-variational inequalities. Eur. J. Oper. Res. 54, 81–94 (1991)zbMATHGoogle Scholar
Haurie, A., Krawczyk, J.B.: Optimal charges on river effluent from lumped and distributed sources. Environ. Model. Assess. 2(3), 177–189 (1997)Google Scholar
Kim, Y., Ferris, M.C.: SELKIE: a model transformation and distributed solver for structured equilibrium problems. Technical Report, University of Wisconsin-Madison, Department of Computer Sciences (2017)Google Scholar
Krawczyk, J.B., Uryasev, S.: Relaxation algorithms to find Nash equilibria with economic applications. Environ. Model. Assess. 5(1), 63–73 (2000)Google Scholar