Settling the complexity of Nash equilibrium in congestion games

Yakov Babichenko, Aviad Rubinstein

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

We consider (i) the problem of finding a (possibly mixed) Nash equilibrium in congestion games, and (ii) the problem of finding an (exponential precision) fixed point of the gradient descent dynamics of a smooth function f:[0,1]n ? R. We prove that these problems are equivalent. Our result holds for various explicit descriptions of f, ranging from (almost general) arithmetic circuits, to degree-5 polynomials. By a very recent result of [Fearnley et al., STOC 2021], this implies that these problems are PPAD PLS-complete. As a corollary, we also obtain the following equivalence of complexity classes: CCLS = PPAD PLS.

Original languageEnglish
Title of host publicationSTOC 2021 - Proceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing
EditorsSamir Khuller, Virginia Vassilevska Williams
Pages1426-1437
Number of pages12
ISBN (Electronic)9781450380539
DOIs
StatePublished - 15 Jun 2021
Event53rd Annual ACM SIGACT Symposium on Theory of Computing, STOC 2021 - Virtual, Online, Italy
Duration: 21 Jun 202125 Jun 2021

Publication series

NameProceedings of the Annual ACM Symposium on Theory of Computing
ISSN (Print)0737-8017

Conference

Conference53rd Annual ACM SIGACT Symposium on Theory of Computing, STOC 2021
Country/TerritoryItaly
CityVirtual, Online
Period21/06/2125/06/21

Keywords

  • Equilibrium computation
  • computational complexity
  • congestion games
  • gradient descent
  • potential games

ASJC Scopus subject areas

  • Software

Fingerprint

Dive into the research topics of 'Settling the complexity of Nash equilibrium in congestion games'. Together they form a unique fingerprint.

Cite this