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/ .

Maximal number of mixed Nash equilibria in generic games where each player has two pure strategies

A Stable-Set Bound and Maximal Numbers of Nash Equilibria in Bimatrix Games

Strong Nash equilibria and mixed strategies

Mixed-strategy Nash equilibrium for a discontinuous symmetric $N$-player game

Randomness Requirements and Asymmetries in Nash Equilibria

Mixed extensions of generic finite games embedded into products of real projective spaces

Minimax theorem and Nash equilibrium of symmetric multi-players zero-sum game with two strategic variables

Generalized Nash Equilibrium Problems with Mixed-Integer Variables

Safe Equilibrium

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 counterexample to conjecture "Catch 22" with 3 players, and 5 outcomes: 2 terminal and 3 cyclic

Mixed Strategy Constraints in Continuous Games

Nash Equilibrium Existence without Convexity

On sustainable equilibria

Differential N-players game: Nash equilibria and Mather measures

A Game of Nontransitive Dice

On Nash-solvability of n-person graphical games under Markov's and a priori realizations

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

Polynomial algorithms computing two lexicographically safe Nash equilibria in finite two-person games with tight game forms given by oracles

Markov chain entropy games and the geometry of their Nash equilibria

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