Results 1  10
of
79
The complexity of computing a Nash equilibrium
, 2006
"... We resolve the question of the complexity of Nash equilibrium by showing that the problem of computing a Nash equilibrium in a game with 4 or more players is complete for the complexity class PPAD. Our proof uses ideas from the recentlyestablished equivalence between polynomialtime solvability of n ..."
Abstract

Cited by 287 (16 self)
 Add to MetaCart
(Show Context)
We resolve the question of the complexity of Nash equilibrium by showing that the problem of computing a Nash equilibrium in a game with 4 or more players is complete for the complexity class PPAD. Our proof uses ideas from the recentlyestablished equivalence between polynomialtime solvability of normalform games and graphical games, and shows that these kinds of games can implement arbitrary members of a PPADcomplete class of Brouwer functions. 1
X.: Settling the complexity of twoplayer Nash equilibrium
 In: Proceedings of 47th Annual IEEE Symposium on Foundations of Computer Science (FOCS’06
, 2006
"... ..."
(Show Context)
On the Complexity of Nash Equilibria and Other Fixed Points (Extended Abstract)
 IN PROC. FOCS
, 2007
"... We reexamine what it means to compute Nash equilibria and, more generally, what it means to compute a fixed point of a given Brouwer function, and we investigate the complexity of the associated problems. Specifically, we study the complexity of the following problem: given a finite game, Γ, with 3 ..."
Abstract

Cited by 50 (5 self)
 Add to MetaCart
We reexamine what it means to compute Nash equilibria and, more generally, what it means to compute a fixed point of a given Brouwer function, and we investigate the complexity of the associated problems. Specifically, we study the complexity of the following problem: given a finite game, Γ, with 3 or more players, and given ɛ> 0, compute an approximation within ɛ of some (actual) Nash equilibrium. We show that approximation of an actual Nash Equilibrium, even to within any nontrivial constant additive factor ɛ < 1/2 in just one desired coordinate, is at least as hard as the long standing squareroot sum problem, as well as a more general arithmetic circuit decision problem that characterizes Ptime in a unitcost model of computation with arbitrary precision rational arithmetic; thus placing the approximation problem in P, or even NP, would resolve major open problems in the complexity of numerical computation. We show similar results for market equilibria: it is hard to estimate with any nontrivial accuracy the equilibrium prices in an exchange economy with a unique equilibrium, where the economy is given by explicit algebraic formulas for the excess demand functions. We define a class, FIXP, which captures search problems that can be cast as fixed point
A note on approximate Nash equilibria
 IN WINE ’06
, 2006
"... In view of the intractability of finding a Nash equilibrium, it is important to understand the limits of approximation in this context. A subexponential approximation scheme is known [LMM03], and no approximation better than 1 is possible by any algorithm that examines 4 equilibria involving fewer ..."
Abstract

Cited by 48 (7 self)
 Add to MetaCart
(Show Context)
In view of the intractability of finding a Nash equilibrium, it is important to understand the limits of approximation in this context. A subexponential approximation scheme is known [LMM03], and no approximation better than 1 is possible by any algorithm that examines 4 equilibria involving fewer than log n strategies [Alt94]. We give a simple, lineartime algorithm examining just two strategies per player and resulting in a 1approximate Nash equilibrium in any 2player game. For the 2 more demanding notion of wellsupported approximate equilibrium due to [DGP06] no nontrivial bound is known; we show that the problem can be reduced to the case of winlose games (games with all utilities 0 − 1), and that an approximation of 5 is possible contingent upon a 6 graphtheoretic conjecture.
An optimization approach for approximate Nash equilibria
 In 3rd international Workshop on Internet and Network Economics, Proceedings of
, 2007
"... Abstract. In this paper we propose a new methodology for determining approximate Nash equilibria of noncooperative bimatrix games and, based on that, we provide an efficient algorithm that computes 0.3393approximate equilibria, the best approximation till now. The methodology is based on the formul ..."
Abstract

Cited by 35 (5 self)
 Add to MetaCart
(Show Context)
Abstract. In this paper we propose a new methodology for determining approximate Nash equilibria of noncooperative bimatrix games and, based on that, we provide an efficient algorithm that computes 0.3393approximate equilibria, the best approximation till now. The methodology is based on the formulation of an appropriate function of pairs of mixed strategies reflecting the maximum deviation of the players ’ payoffs from the best payoff each player could achieve given the strategy chosen by the other. We then seek to minimize such a function using descent procedures. As it is unlikely to be able to find global minima in polynomial time, given the recently proven intractability of the problem, we concentrate on the computation of stationary points and prove that they can be approximated arbitrarily close in polynomial time and that they have the above mentioned approximation property. Our result provides the best ɛ till now for polynomially computable ɛapproximate Nash equilibria of bimatrix games. Furthermore, our methodology for computing approximate Nash equilibria has not been used by others. 1
The complexity of game dynamics: Bgp oscillations, sink equilibria, and beyond
 In SODA ’08: Proceedings of the nineteenth annual ACMSIAM symposium on Discrete algorithms
, 2008
"... We settle the complexity of a wellknown problem in networking by establishing that it is PSPACEcomplete to tell whether a system of path preferences in the BGP protocol [25] can lead to oscillatory behavior; one key insight is that the BGP oscillation question is in fact one about Nash dynamics. W ..."
Abstract

Cited by 31 (4 self)
 Add to MetaCart
(Show Context)
We settle the complexity of a wellknown problem in networking by establishing that it is PSPACEcomplete to tell whether a system of path preferences in the BGP protocol [25] can lead to oscillatory behavior; one key insight is that the BGP oscillation question is in fact one about Nash dynamics. We show that the concept of sink equilibria proposed recently in [11] is also PSPACEcomplete to analyze and approximate for graphical games. Finally, we propose a new equilibrium concept inspired by game dynamics, unit recall equilibria, which we show to be close to universal (exists with high probability in a random game) and algorithmically promising. We also give a relaxation thereof, called componentwise unit recall equilibria, which we show to be both tractable and universal (guaranteed to exist in every game).
Computing equilibria in anonymous games
 in 48th Annual IEEE Symposium on Foundations of Computer Science (FOCS
, 2007
"... 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 gam ..."
Abstract

Cited by 27 (5 self)
 Add to MetaCart
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 λ), where s is the number of strategies and λ is the Lipschitz constant of the utilities. Finally, we show that there is a PTAS for finding an ɛapproximate Nash equilibrium when the number of strategies is two. 1
GAMES OF FIXED RANK: A HIERARCHY OF BIMATRIX GAMES
, 2007
"... We propose and investigate a hierarchy of bimatrix games (A, B), whose (entrywise) sum of the payoff matrices of the two players is of rank k, where k is a constant. We will say the rank of such a game is k. For every fixed k, the class of rank kgames strictly generalizes the class of zerosum ga ..."
Abstract

Cited by 25 (1 self)
 Add to MetaCart
We propose and investigate a hierarchy of bimatrix games (A, B), whose (entrywise) sum of the payoff matrices of the two players is of rank k, where k is a constant. We will say the rank of such a game is k. For every fixed k, the class of rank kgames strictly generalizes the class of zerosum games, but is a very special case of general bimatrix games. We study both the expressive power and the algorithmic behavior of these games. Specifically, we show that even for k = 1 the set of Nash equilibria of these games can consist of an arbitrarily large number of connected components. While the question of exact polynomial time algorithms to find a Nash equilibrium remains open for games of fixed rank, we present polynomial time algorithms for finding an εapproximation.
Polynomial algorithms for approximating Nash equilibria of bimatrix games
 In: Proceedings of the 2nd Workshop on Internet and Network Economics (WINE’06
, 2006
"... 1 PROBLEM DEFINITION Nash [13] introduced the concept of Nash equilibria in noncooperative games and proved that any game possesses at least one such equilibrium. A wellknown algorithm for computing a Nash equilibrium of a 2player game is the LemkeHowson algorithm [11], however it has exponentia ..."
Abstract

Cited by 23 (6 self)
 Add to MetaCart
(Show Context)
1 PROBLEM DEFINITION Nash [13] introduced the concept of Nash equilibria in noncooperative games and proved that any game possesses at least one such equilibrium. A wellknown algorithm for computing a Nash equilibrium of a 2player game is the LemkeHowson algorithm [11], however it has exponential worstcase running time in the number of available pure strategies [15]. Recently, Daskalakis et al [4] showed that the problem of computing a Nash equilibrium in a game with 4 or more players is PPADcomplete; this result was later extended to games with 3 players [7]. Eventually, Chen and Deng [2] proved that the problem is PPADcomplete for 2player games as well. This fact emerged the computation of approximate Nash equilibria. There are several versions of approximate Nash equilibria that have been defined in the literature; however the focus of this entry is on the notions of ɛNash equilibrium and ɛwellsupported Nash equilibrium. An ɛNash equilibrium is a strategy profile such that no deviating player could achieve a payoff higher than the one that the specific profile gives her, plus ɛ. A stronger notion of approximate Nash equilibria is the ɛwellsupported Nash equilibria; these are strategy profiles such that each player plays only