Epsilon-equilibrium · Lablypedia

Definition

There is more than one alternative definition.

The standard definition

Given a game and a real non-negative parameter $ε$ , a strategy profile is said to be an $ε$ -equilibrium if it is not possible for any player to gain more than $ε$ in expected payoff by unilaterally deviating from his strategy. Every Nash Equilibrium is equivalent to an $ε$ -equilibrium where $ε = 0$ .

Formally, let $G = (N, A = A_{1} \times \dots \times A_{N}, u : A \to R^{N})$ be an $N$ -player game with action sets $A_{i}$ for each player $i$ and utility function $u$ . Let $u_{i} (s)$ denote the payoff to player $i$ when strategy profile $s$ is played. Let $Δ_{i}$ be the space of probability distributions over $A_{i}$ . A vector of strategies $σ \in Δ = Δ_{1} \times \dots \times Δ_{N}$ is an $ε$ -Nash Equilibrium for $G$ if

u_{i} (σ) \geq u_{i} (σ_{i}^{^{'}}, σ_{- i}) - ε

for all

σ_{i}^{^{'}} \in Δ_{i}, i \in N .

Well-supported approximate equilibrium

The following definition imposes the stronger requirement that a player may only assign positive probability to a pure strategy $a$ if the payoff of $a$ has expected payoff at most $ε$ less than the best response payoff. Let $x_{s}$ be the probability that strategy profile $s$ is played. For player $p$ let $S_{- p}$ be strategy profiles of players other than $p$ ; for $s \in S_{- p}$ and a pure strategy $j$ of $p$ let $j s$ be the strategy profile where $p$ plays $j$ and other players play $s$ . Let $u_{p} (s)$ be the payoff to $p$ when strategy profile $s$ is used. The requirement can be expressed by the formula

\sum_{s \in S_{- p}} u_{p} (j s) x_{s} > ε + \sum_{s \in S_{- p}} u_{p} (j^{'} s) x_{s} ⟹ x_{j^{'}}^{p} = 0.

2 more chapters are free with a Lably account.

Results

The existence of a polynomial-time approximation scheme (PTAS) for ε-Nash equilibria is equivalent to the question of whether there exists one for ε-well-supported approximate Nash equilibria, but the existence of a PTAS remains an open problem. For constant values of ε, polynomial-time algorithms for approximate equilibria are known for lower values of ε than are known for well-supported approximate equilibria. For games with payoffs in the range [0,1] and ε=0.3393, ε-Nash equilibria can be computed in polynomial time. For games with payoffs in the range [0,1] and ε=2/3, ε-well-supported equilibria can be computed in polynomial time.

Example

The notion of ε-equilibria is important in the theory of stochastic games of potentially infinite duration. There are simple examples of stochastic games with no Nash equilibrium but with an ε-equilibrium for any ε strictly bigger than 0.

Perhaps the simplest such example is the following variant of Matching Pennies, suggested by Everett. Player 1 hides a penny and Player 2 must guess if it is heads up or tails up. If Player 2 guesses correctly, he wins the penny from Player 1 and the game ends. If Player 2 incorrectly guesses that the penny is heads up, the game ends with payoff zero to both players. If he incorrectly guesses that it is tails up, the game repeats. If the play continues forever, the payoff to both players is zero.

Given a parameter ε > 0, any strategy profile where Player 2 guesses heads up with probability ε and tails up with probability 1 − ε (at every stage of the game, and independently from previous stages) is an ε-equilibrium for the game. The expected payoff of Player 2 in such a strategy profile is at least 1 − ε. However, it is easy to see that there is no strategy for Player 2 that can guarantee an expected payoff of exactly 1. Therefore, the game has no Nash equilibrium.

Another simple example is the finitely repeated prisoner's dilemma for T periods, where the payoff is averaged over the T periods. The only Nash equilibrium of this game is to choose Defect in each period. Now consider the two strategies tit-for-tat and grim trigger. Although neither tit-for-tat nor grim trigger are Nash equilibria for the game, both of them are $ϵ$ -equilibria for some positive $ϵ$ . The acceptable values of $ϵ$ depend on the payoffs of the constituent game and on the number T of periods.

In economics, the concept of a pure strategy epsilon-equilibrium is used when the mixed-strategy approach is seen as unrealistic. In a pure-strategy epsilon-equilibrium, each player chooses a pure-strategy that is within epsilon of its best pure-strategy. For example, in the Bertrand–Edgeworth model, where no pure-strategy equilibrium exists, a pure-strategy epsilon equilibrium may exist.

Definition

The standard definition

Well-supported approximate equilibrium

Results

Example

More in Applied mathematics