๐ค AI Summary
This study addresses the long-standing absence of precise complexity characterizations for computing Nash equilibria in network congestion games and coordination games. By leveraging the Continuous Local Search (CLS) complexity framework alongside multilinear algebraic analysis techniques, this work rigorously establishes that computing Nash equilibria for these games, as well as finding KarushโKuhnโTucker (KKT) points of bilinear polynomials, are CLS-complete problems. This research provides the first proof of CLS-completeness for equilibrium computation in such game-theoretic settings, thereby determining strict complexity lower bounds for the associated problems. These findings significantly extend the complexity boundaries of algorithmic game theory and strengthen the theoretical foundations of combinatorial optimization.
๐ Abstract
We show that computing a Nash equilibrium is CLS-complete for linear network congestion and network coordination games. As a result, finding a KKT point of a bilinear polynomial is CLS-complete.