Table of Contents
Fetching ...

Game Transformations That Preserve Nash Equilibria or Best-Response Sets

Emanuel Tewolde, Vincent Conitzer

TL;DR

This paper shows that it is NP-hard to decide whether a given strategy is a best response to some strategy profile of the opponents, and proves that positive affine transformations with property (ii) must be positive affine.

Abstract

In this paper, we investigate under which conditions normal-form games are (guaranteed to be) strategically equivalent. First, we show for N-player games (N >= 3) that (A) it is NP-hard to decide whether a given strategy is a best response to some strategy profile of the opponents, and that (B) it is co-NP-hard to decide whether two games have the same best-response sets. Combining that with known results from the literature, we move our attention to equivalence-preserving game transformations. It is a widely used fact that a positive affine (linear) transformation of the utility payoffs neither changes the best-response sets nor the Nash equilibrium set. We investigate which other game transformations also possess either of the following two properties when being applied to an arbitrary N-player game (N >= 2): (i) The Nash equilibrium set stays the same; (ii) The best-response sets stay the same. For game transformations that operate player-wise and strategy-wise, we prove that (i) implies (ii) and that transformations with property (ii) must be positive affine. The resulting equivalence chain highlights the special status of positive affine transformations among all the transformation procedures that preserve key game-theoretic characteristics.

Game Transformations That Preserve Nash Equilibria or Best-Response Sets

TL;DR

This paper shows that it is NP-hard to decide whether a given strategy is a best response to some strategy profile of the opponents, and proves that positive affine transformations with property (ii) must be positive affine.

Abstract

In this paper, we investigate under which conditions normal-form games are (guaranteed to be) strategically equivalent. First, we show for N-player games (N >= 3) that (A) it is NP-hard to decide whether a given strategy is a best response to some strategy profile of the opponents, and that (B) it is co-NP-hard to decide whether two games have the same best-response sets. Combining that with known results from the literature, we move our attention to equivalence-preserving game transformations. It is a widely used fact that a positive affine (linear) transformation of the utility payoffs neither changes the best-response sets nor the Nash equilibrium set. We investigate which other game transformations also possess either of the following two properties when being applied to an arbitrary N-player game (N >= 2): (i) The Nash equilibrium set stays the same; (ii) The best-response sets stay the same. For game transformations that operate player-wise and strategy-wise, we prove that (i) implies (ii) and that transformations with property (ii) must be positive affine. The resulting equivalence chain highlights the special status of positive affine transformations among all the transformation procedures that preserve key game-theoretic characteristics.

Paper Structure

This paper contains 32 sections, 29 theorems, 69 equations, 1 figure.

Key Result

Proposition 3.2

CheckIfEverBR is $\mathbf{NP}$-hard.

Figures (1)

  • Figure 1: The utility payoffs of each pure strategy $1,2,3$ of PL1 in response to the mixed strategy of PL2 that plays $1$ with probability $x$. Plots correspond to matrices $A$ and $A'$ from (\ref{['matrix ex equal BR sets but not PAT eqvl']}). The best-response set to a strategy $(x,1-x)$ of PL2 will be all convex combinations of pure strategies of PL1 that are maximal at $x$ in the respective plot.

Theorems & Definitions (65)

  • Definition 2.1
  • Definition 2.2
  • Definition 3.1: CheckIfEverBR
  • Proposition 3.2
  • proof : Proof sketch of Proposition \ref{['checkifeverbr']}
  • Definition 3.3: CheckIfSameBRs
  • Theorem 1
  • proof : Proof sketch
  • Lemma 4.1
  • Definition 4.2
  • ...and 55 more