TY - GEN

T1 - On the Existence of Nash Equilibrium in Games with Resource-Bounded Players

AU - Halpern, Joseph Y.

AU - Pass, Rafael

AU - Reichman, Daniel

N1 - Publisher Copyright:
© 2019, Springer Nature Switzerland AG.

PY - 2019

Y1 - 2019

N2 - We consider computational games, sequences of games (Formula Presented) where, for all n, (Formula Presented) has the same set of players. Computational games arise in electronic money systems such as Bitcoin, in cryptographic protocols, and in the study of generative adversarial networks in machine learning. Assuming that one-way functions exist, we prove that there is 2-player zero-sum computational game (Formula Presented) such that, for all n, the size of the action space in (Formula Presented) is polynomial in n and the utility function in (Formula Presented) is computable in time polynomial in n, and yet there is no (Formula Presented) -Nash equilibrium if players are restricted to using strategies computable by polynomial-time Turing machines, where we use a notion of Nash equilibrium that is tailored to computational games. We also show that an (Formula Presented) -Nash equilibrium may not exist if players are constrained to perform at most T computational steps in each of the games in the sequence. On the other hand, we show that if players can use arbitrary Turing machines to compute their strategies, then every computational game has an (Formula Presented) -Nash equilibrium. These results may shed light on competitive settings where the availability of more running time or faster algorithms can lead to a “computational arms race”, precluding the existence of equilibrium. They also point to inherent limitations of concepts such as “best response” and Nash equilibrium in games with resource-bounded players.

AB - We consider computational games, sequences of games (Formula Presented) where, for all n, (Formula Presented) has the same set of players. Computational games arise in electronic money systems such as Bitcoin, in cryptographic protocols, and in the study of generative adversarial networks in machine learning. Assuming that one-way functions exist, we prove that there is 2-player zero-sum computational game (Formula Presented) such that, for all n, the size of the action space in (Formula Presented) is polynomial in n and the utility function in (Formula Presented) is computable in time polynomial in n, and yet there is no (Formula Presented) -Nash equilibrium if players are restricted to using strategies computable by polynomial-time Turing machines, where we use a notion of Nash equilibrium that is tailored to computational games. We also show that an (Formula Presented) -Nash equilibrium may not exist if players are constrained to perform at most T computational steps in each of the games in the sequence. On the other hand, we show that if players can use arbitrary Turing machines to compute their strategies, then every computational game has an (Formula Presented) -Nash equilibrium. These results may shed light on competitive settings where the availability of more running time or faster algorithms can lead to a “computational arms race”, precluding the existence of equilibrium. They also point to inherent limitations of concepts such as “best response” and Nash equilibrium in games with resource-bounded players.

KW - Bounded rationality

KW - Nash equilibrium

KW - Turing machines

UR - http://www.scopus.com/inward/record.url?scp=85075229466&partnerID=8YFLogxK

U2 - 10.1007/978-3-030-30473-7_10

DO - 10.1007/978-3-030-30473-7_10

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:85075229466

SN - 9783030304720

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 139

EP - 152

BT - Algorithmic Game Theory - 12th International Symposium, SAGT 2019, Proceedings

A2 - Fotakis, Dimitris

A2 - Markakis, Evangelos

PB - Springer

T2 - 12th International Symposium on Algorithmic Game Theory, SAGT 2019

Y2 - 30 September 2019 through 3 October 2019

ER -