The Complexity of Exact and Approximate Nash Equilibria in Anonymous Games

概要

We prove that, for every fixed rational $c>0$, computing a $2^{-n^c}$-approximate Nash equilibrium in an $n$-player two-strategy anonymous game is $\mathsf{PPAD}$-complete. This holds even when one strategy always pays $1/2$ and, for all but two players, the other is constant outside at most five opponent counts. The reduction uses coefficient estimates to simulate circuit constraints approximately. Exact computation requires eliminating the simulation error: with three strategies, a separate construction uses polynomial roots to implement circuit gates exactly. This yields $\mathsf{FIXP}$-completeness of exact equilibrium computation under separable-linear reductions and $\mathsf{FIXP}_a$-completeness of approximation in distance to an exact equilibrium.

参考リンク

• Paper ↗

リンク先のライセンス・再現性・データ条件をご確認ください。自動分類や実装の目安は保証ではありません。

実装を始めるプロンプト

参考リンクを確認したうえで、次の内容をコピーして利用できます。

# 論文・記事
The Complexity of Exact and Approximate Nash Equilibria in Anonymous Games

# 概要
We prove that, for every fixed rational $c>0$, computing a $2^{-n^c}$-approximate Nash equilibrium in an $n$-player two-strategy anonymous game is $\mathsf{PPAD}$-complete. This holds even when one…

# 原典
https://arxiv.org/abs/2610.16848

上記の手法を実装してください。実行前に依存関係とライセンスを確認してください。