421 research outputs found
Nash Equilibria in Symmetric Graph Games with Partial Observation
International audienceWe investigate a model for representing large multiplayer games, which satisfy strong symmetry properties. This model is made of multiple copies of an arena; each player plays in his own arena, and can partially observe what the other players do. Therefore, this game has partial information and symmetry constraints, which make the computation of Nash equilibria difficult. We show several undecidability results, and for bounded-memory strategies, we precisely characterize the complexity of computing pure Nash equilibria for qualitative objectives in this game model
Learning Convex Partitions and Computing Game-theoretic Equilibria from Best Response Queries
Suppose that an -simplex is partitioned into convex regions having
disjoint interiors and distinct labels, and we may learn the label of any point
by querying it. The learning objective is to know, for any point in the
simplex, a label that occurs within some distance from that point.
We present two algorithms for this task: Constant-Dimension Generalised Binary
Search (CD-GBS), which for constant uses queries, and Constant-Region Generalised Binary
Search (CR-GBS), which uses CD-GBS as a subroutine and for constant uses
queries.
We show via Kakutani's fixed-point theorem that these algorithms provide
bounds on the best-response query complexity of computing approximate
well-supported equilibria of bimatrix games in which one of the players has a
constant number of pure strategies. We also partially extend our results to
games with multiple players, establishing further query complexity bounds for
computing approximate well-supported equilibria in this setting.Comment: 38 pages, 7 figures, second version strengthens lower bound in
Theorem 6, adds footnotes with additional comments and fixes typo
Finding Any Nontrivial Coarse Correlated Equilibrium Is Hard
One of the most appealing aspects of the (coarse) correlated equilibrium
concept is that natural dynamics quickly arrive at approximations of such
equilibria, even in games with many players. In addition, there exist
polynomial-time algorithms that compute exact (coarse) correlated equilibria.
In light of these results, a natural question is how good are the (coarse)
correlated equilibria that can arise from any efficient algorithm or dynamics.
In this paper we address this question, and establish strong negative
results. In particular, we show that in multiplayer games that have a succinct
representation, it is NP-hard to compute any coarse correlated equilibrium (or
approximate coarse correlated equilibrium) with welfare strictly better than
the worst possible. The focus on succinct games ensures that the underlying
complexity question is interesting; many multiplayer games of interest are in
fact succinct. Our results imply that, while one can efficiently compute a
coarse correlated equilibrium, one cannot provide any nontrivial welfare
guarantee for the resulting equilibrium, unless P=NP. We show that analogous
hardness results hold for correlated equilibria, and persist under the
egalitarian objective or Pareto optimality.
To complement the hardness results, we develop an algorithmic framework that
identifies settings in which we can efficiently compute an approximate
correlated equilibrium with near-optimal welfare. We use this framework to
develop an efficient algorithm for computing an approximate correlated
equilibrium with near-optimal welfare in aggregative games.Comment: 21 page
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
Efficient Energy Distribution in a Smart Grid using Multi-Player Games
Algorithms and models based on game theory have nowadays become prominent
techniques for the design of digital controllers for critical systems. Indeed,
such techniques enable automatic synthesis: given a model of the environment
and a property that the controller must enforce, those techniques automatically
produce a correct controller, when it exists. In the present paper, we consider
a class of concurrent, weighted, multi-player games that are well-suited to
model and study the interactions of several agents who are competing for some
measurable resources like energy. We prove that a subclass of those games
always admit a Nash equilibrium, i.e. a situation in which all players play in
such a way that they have no incentive to deviate. Moreover, the strategies
yielding those Nash equilibria have a special structure: when one of the agents
deviate from the equilibrium, all the others form a coalition that will enforce
a retaliation mechanism that punishes the deviant agent. We apply those results
to a real-life case study in which several smart houses that produce their own
energy with solar panels, and can share this energy among them in micro-grid,
must distribute the use of this energy along the day in order to avoid
consuming electricity that must be bought from the global grid. We demonstrate
that our theory allows one to synthesise an efficient controller for these
houses: using penalties to be paid in the utility bill as an incentive, we
force the houses to follow a pre-computed schedule that maximises the
proportion of the locally produced energy that is consumed.Comment: In Proceedings Cassting'16/SynCoP'16, arXiv:1608.0017
- âŠ