Abstract:Nash equilibrium is arguably the most fundamental concept in game theory, which is used to analyze and predict the behavior of the players. In many games, there exist multiple equilibria, with different expected payoffs for the players, which in turn raises the question of equilibrium selection. In this paper, we study the [Formula: see text]-hard problem of identifying a socially optimal Nash equilibrium in two-player normal-form games (called bimatrix games), which may be represented by a mixed integer linear program (MILP). We characterize the properties of the equilibria and develop several classes of valid inequalities accordingly. We use these theoretical results to provide a decomposition-based reformulation of the MILP, which we solve by a branch-and-cut algorithm. Our extensive computational experiments demonstrate superiority of our approach over solving the MILP formulation through feeding it into a commercial solver or through the “traditional” Benders’ decomposition. Of note, our proposed approach can find provably optimal solutions for many instances. History: Accepted by Andrea Lodi, Area Editor for Design & Analysis of Algorithms. Funding: This work was supported by the National Institute of Dental and Craniofacial Research [Grant R01DE028283]. The content is solely the responsibility of the authors and does not necessarily represent the official views of the National Institutes of Health. The funding agreements ensured the authors’ independence in designing the study, interpreting the data, writing, and publishing the report. Supplemental Material: The software that supports the findings of this study is available within the paper and its Supplemental Information ( https://pubsonline.informs.org/doi/suppl/10.1287/ijoc.2022.0072 ) as well as from the IJOC GitHub software repository ( https://github.com/INFORMSJoC/2022.0072 ). The complete IJOC Software and Data Repository is available at https://informsjoc.github.io/ .

A Mixed 0-1 Linear Programming Approach to the Computation of All Pure-Strategy Nash Equilibria of A Finite N-Person Game in Normal Form

A survey on algorithms for Nash equilibria in finite normal-form games

Generalized Nash Equilibrium Problems with Mixed-Integer Variables

Finding Mixed Strategy Nash Equilibrium for Continuous Games through Deep Learning

Multilinear formulations for computing Nash equilibrium of multi-player matrix games

New Algorithm for Solving Equilibria of Two-Player Sequential Games.

Identifying Socially Optimal Equilibria Using Combinatorial Properties of Nash Equilibria in Bimatrix Games

Finding the Nash Equilibria of $ N $-Person Noncooperative Games Via Solving the System of Equations

The Weihrauch degree of finding Nash equilibria in multiplayer games

Computing Approximate Nash Equilibria for Integer Programming Games

A Method for Solving Nash Equilibrium of the Game Oriented to Multi-agent Interactions

Analysis and Computation of the Outcomes of Pure Nash Equilibria in Two-Player Extensive-Form Games

A Neural-Network based Approach for Nash Equilibrium Seeking in Mixed-order Multi-player Games

Strong Nash equilibria and mixed strategies

Matrix Games with Missing, Interval, and Ambiguous Lottery Payoffs of Pure Strategy Profiles and Compound Strategy Profiles.

Equilibrium modeling and solution approaches inspired by nonconvex bilevel programming

Computing All Nash Equilibria of Multiplayer Games in Electricity Markets by Solving Polynomial Equations

Mixed nash equilibrium and its application in two-player zero-Sum games

The Zero Regrets Algorithm: Optimizing over Pure Nash Equilibria via Integer Programming

Distributed Generalized Nash Equilibria Computation of Monotone Games Via Double-Layer Preconditioned Proximal-Point Algorithms.