4,944 research outputs found
Computing Approximate Nash Equilibria in Polymatrix Games
In an -Nash equilibrium, a player can gain at most by
unilaterally changing his behaviour. For two-player (bimatrix) games with
payoffs in , the best-known achievable in polynomial time is
0.3393. In general, for -player games an -Nash equilibrium can be
computed in polynomial time for an that is an increasing function of
but does not depend on the number of strategies of the players. For
three-player and four-player games the corresponding values of are
0.6022 and 0.7153, respectively. Polymatrix games are a restriction of general
-player games where a player's payoff is the sum of payoffs from a number of
bimatrix games. There exists a very small but constant such that
computing an -Nash equilibrium of a polymatrix game is \PPAD-hard.
Our main result is that a -Nash equilibrium of an -player
polymatrix game can be computed in time polynomial in the input size and
. Inspired by the algorithm of Tsaknakis and Spirakis, our
algorithm uses gradient descent on the maximum regret of the players. We also
show that this algorithm can be applied to efficiently find a
-Nash equilibrium in a two-player Bayesian game
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
Distributed Methods for Computing Approximate Equilibria
We present a new, distributed method to compute approximate Nash equilibria
in bimatrix games. In contrast to previous approaches that analyze the two
payoff matrices at the same time (for example, by solving a single LP that
combines the two players payoffs), our algorithm first solves two independent
LPs, each of which is derived from one of the two payoff matrices, and then
compute approximate Nash equilibria using only limited communication between
the players.
Our method has several applications for improved bounds for efficient
computations of approximate Nash equilibria in bimatrix games. First, it yields
a best polynomial-time algorithm for computing \emph{approximate well-supported
Nash equilibria (WSNE)}, which guarantees to find a 0.6528-WSNE in polynomial
time. Furthermore, since our algorithm solves the two LPs separately, it can be
used to improve upon the best known algorithms in the limited communication
setting: the algorithm can be implemented to obtain a randomized
expected-polynomial-time algorithm that uses poly-logarithmic communication and
finds a 0.6528-WSNE. The algorithm can also be carried out to beat the best
known bound in the query complexity setting, requiring payoff
queries to compute a 0.6528-WSNE. Finally, our approach can also be adapted to
provide the best known communication efficient algorithm for computing
\emph{approximate Nash equilibria}: it uses poly-logarithmic communication to
find a 0.382-approximate Nash equilibrium
Approximate well-supported Nash equilibria in symmetric bimatrix games
The -well-supported Nash equilibrium is a strong notion of
approximation of a Nash equilibrium, where no player has an incentive greater
than to deviate from any of the pure strategies that she uses in
her mixed strategy. The smallest constant currently known for
which there is a polynomial-time algorithm that computes an
-well-supported Nash equilibrium in bimatrix games is slightly
below . In this paper we study this problem for symmetric bimatrix games
and we provide a polynomial-time algorithm that gives a
-well-supported Nash equilibrium, for an arbitrarily small
positive constant
Computing Equilibria in Anonymous Games
We present efficient approximation algorithms for finding Nash equilibria in
anonymous games, that is, games in which the players utilities, though
different, do not differentiate between other players. Our results pertain to
such games with many players but few strategies. We show that any such game has
an approximate pure Nash equilibrium, computable in polynomial time, with
approximation O(s^2 L), where s is the number of strategies and L is the
Lipschitz constant of the utilities. Finally, we show that there is a PTAS for
finding an epsilo
On the Complexity of Nash Equilibria in Anonymous Games
We show that the problem of finding an {\epsilon}-approximate Nash
equilibrium in an anonymous game with seven pure strategies is complete in
PPAD, when the approximation parameter {\epsilon} is exponentially small in the
number of players.Comment: full versio
Discretized Multinomial Distributions and Nash Equilibria in Anonymous Games
We show that there is a polynomial-time approximation scheme for computing
Nash equilibria in anonymous games with any fixed number of strategies (a very
broad and important class of games), extending the two-strategy result of
Daskalakis and Papadimitriou 2007. The approximation guarantee follows from a
probabilistic result of more general interest: The distribution of the sum of n
independent unit vectors with values ranging over {e1, e2, ...,ek}, where ei is
the unit vector along dimension i of the k-dimensional Euclidean space, can be
approximated by the distribution of the sum of another set of independent unit
vectors whose probabilities of obtaining each value are multiples of 1/z for
some integer z, and so that the variational distance of the two distributions
is at most eps, where eps is bounded by an inverse polynomial in z and a
function of k, but with no dependence on n. Our probabilistic result specifies
the construction of a surprisingly sparse eps-cover -- under the total
variation distance -- of the set of distributions of sums of independent unit
vectors, which is of interest on its own right.Comment: In the 49th Annual IEEE Symposium on Foundations of Computer Science,
FOCS 200
- …