pdf icon
Volume 13 (2017) Article 13 pp. 1-31
Nash Equilibria in Perturbation-Stable Games
Received: November 23, 2012
Revised: August 30, 2017
Published: November 13, 2017
Download article from ToC site:
[PDF (325K)] [PS (2072K)] [Source ZIP]
Keywords: algorithmic game theory, approximation algorithms, Nash equilibrium, beyond worst-case analysis, perturbation stability
ACM Classification: F.2.2., F.1.3, G.1.6
AMS Classification: 68Q17, 68W25, 91A05, 91A10

Abstract: [Plain Text Version]

$ \newcommand{\poly}{\mathrm{poly}} $

Motivated by the fact that in many game-theoretic settings, the game analyzed is only an approximation to the game being played, in this work we analyze equilibrium computation for the broad and natural class of bimatrix games that are stable under perturbations. We specifically focus on games with the property that small changes in the payoff matrices do not cause the Nash equilibria of the game to fluctuate wildly. For such games we show how one can compute approximate Nash equilibria more efficiently than the general result of Lipton et al. (EC'03), by an amount that depends on the degree of stability of the game and that reduces to their bound in the worst case. Additionally, we show that for stable games, the approximate equilibria found will be close in variation distance to true equilibria, and moreover this holds even if we are given as input only a perturbation of the actual underlying stable game.

For uniformly stable games, where the equilibria fluctuate at most quasi-linearly in the extent of the perturbation, we get a particularly dramatic improvement. Here, we achieve a fully quasi-polynomial-time approximation scheme, that is, we can find $1/\poly(n)$-approximate equilibria in quasi-polynomial time. This is in marked contrast to the general class of bimatrix games for which finding such approximate equilibria is PPAD-hard. In particular, under the (widely believed) assumption that PPAD is not contained in quasi-polynomial time, our results imply that such uniformly stable games are inherently easier for computation of approximate equilibria than general bimatrix games.