4 research outputs found
Polylogarithmic Supports are required for Approximate Well-Supported Nash Equilibria below 2/3
In an epsilon-approximate Nash equilibrium, a player can gain at most epsilon
in expectation by unilateral deviation. An epsilon well-supported approximate
Nash equilibrium has the stronger requirement that every pure strategy used
with positive probability must have payoff within epsilon of the best response
payoff. Daskalakis, Mehta and Papadimitriou conjectured that every win-lose
bimatrix game has a 2/3-well-supported Nash equilibrium that uses supports of
cardinality at most three. Indeed, they showed that such an equilibrium will
exist subject to the correctness of a graph-theoretic conjecture. Regardless of
the correctness of this conjecture, we show that the barrier of a 2/3 payoff
guarantee cannot be broken with constant size supports; we construct win-lose
games that require supports of cardinality at least Omega((log n)^(1/3)) in any
epsilon-well supported equilibrium with epsilon < 2/3. The key tool in showing
the validity of the construction is a proof of a bipartite digraph variant of
the well-known Caccetta-Haggkvist conjecture. A probabilistic argument shows
that there exist epsilon-well-supported equilibria with supports of cardinality
O(log n/(epsilon^2)), for any epsilon> 0; thus, the polylogarithmic cardinality
bound presented cannot be greatly improved. We also show that for any delta >
0, there exist win-lose games for which no pair of strategies with support
sizes at most two is a (1-delta)-well-supported Nash equilibrium. In contrast,
every bimatrix game with payoffs in [0,1] has a 1/2-approximate Nash
equilibrium where the supports of the players have cardinality at most two.Comment: Added details on related work (footnote 7 expanded
Large Supports are required for Well-Supported Nash Equilibria
We prove that for any constant and any , there exist bimatrix
win-lose games for which every -WSNE requires supports of cardinality
greater than . To do this, we provide a graph-theoretic characterization of
win-lose games that possess -WSNE with constant cardinality supports.
We then apply a result in additive number theory of Haight to construct
win-lose games that do not satisfy the requirements of the characterization.
These constructions disprove graph theoretic conjectures of Daskalakis, Mehta
and Papadimitriou, and Myers
An Empirical Study of Finding Approximate Equilibria in Bimatrix Games
While there have been a number of studies about the efficacy of methods to
find exact Nash equilibria in bimatrix games, there has been little empirical
work on finding approximate Nash equilibria. Here we provide such a study that
compares a number of approximation methods and exact methods. In particular, we
explore the trade-off between the quality of approximate equilibrium and the
required running time to find one. We found that the existing library GAMUT,
which has been the de facto standard that has been used to test exact methods,
is insufficient as a test bed for approximation methods since many of its games
have pure equilibria or other easy-to-find good approximate equilibria. We
extend the breadth and depth of our study by including new interesting families
of bimatrix games, and studying bimatrix games upto size .
Finally, we provide new close-to-worst-case examples for the best-performing
algorithms for finding approximate Nash equilibria
Approximate Well-supported Nash Equilibria below Two-thirds
In an epsilon-Nash equilibrium, a player can gain at most epsilon by changing
his behaviour. Recent work has addressed the question of how best to compute
epsilon-Nash equilibria, and for what values of epsilon a polynomial-time
algorithm exists. An epsilon-well-supported Nash equilibrium (epsilon-WSNE) has
the additional requirement that any strategy that is used with non-zero
probability by a player must have payoff at most epsilon less than the best
response. A recent algorithm of Kontogiannis and Spirakis shows how to compute
a 2/3-WSNE in polynomial time, for bimatrix games. Here we introduce a new
technique that leads to an improvement to the worst-case approximation
guarantee