[論文レビュー] Inapproximability Results for Approximate Nash Equilibria

Argyrios Deligkas, John Fearnley+1 more|arXiv (Cornell University)|Aug 11, 2016

Game Theory and Applications参考文献 20被引用数 4

ひとこと要約

この論文は、指数時間仮説（ETH）の下で、双行列ゲームにおける制約付き社会的福祉を伴う近似ナッシュ均衡を計算するための条件付き準多項式時間下界を確立する。 (1/8 − O(δ))-NE O(δ)-SW 問題を解くには n~Ω(log n) 時間を要することを証明し、報酬最大化、サポート制約、ε < 1/8 の ε-NE における福祉近似を含む複数の意思決定問題への難易度の拡張を示す。

ABSTRACT

We study the problem of finding approximate Nash equilibria that satisfy certain conditions, such as providing good social welfare. In particular, we study the problem $ε$-NE $δ$-SW: find an $ε$-approximate Nash equilibrium ($ε$-NE) that is within $δ$ of the best social welfare achievable by an $ε$-NE. Our main result is that, if the exponential-time hypothesis (ETH) is true, then solving $\left(\frac{1}{8} - \mathrm{O}(δ) ight)$-NE $\mathrm{O}(δ)$-SW for an $n imes n$ bimatrix game requires $n^{\mathrm{\widetilde Ω}(\log n)}$ time. Building on this result, we show similar conditional running time lower bounds on a number of decision problems for approximate Nash equilibria that do not involve social welfare, including maximizing or minimizing a certain player's payoff, or finding approximate equilibria contained in a given pair of supports. We show quasi-polynomial lower bounds for these problems assuming that ETH holds, where these lower bounds apply to $ε$-Nash equilibria for all $ε&lt; \frac{1}{8}$. The hardness of these other decision problems has so far only been studied in the context of exact equilibria.

研究の動機と目的

• 特定の制約（高い社会的福祉など）を満たす近似ナッシュ均衡を求める計算の難易度を調査すること。
• 正確な均衡からの近似不可能性結果を、社会的福祉の偏差が制限された ε-NE にまで拡張すること。
• 指数時間仮説（ETH）の下で、近似均衡を含む意思決定問題の条件付き時間下界を確立すること。
• 正確な均衡の PPAD-完全性を超えて、望ましい性質を持つ近似均衡ですら計算が困難であることを示すこと。
• ETH と隠れたクリーク問題に結びつけることで、従来の近似不可能性結果を統一的かつ強化すること。

提案手法

• ランダムグラフにおける隠れたクリーク問題に、(1/8 − O(δ))-NE が最適社会的福祉から δ 以内にある問題を還元する。
• 行プレーヤーのサポート内に特定の戦略が存在するかどうかが、ハイパーグラフ F の最大独立集合のサイズに依存する双行列ゲーム G'' を構築する。
• 指数時間仮説（ETH）を用いて、G(n,1/2) における隠れたクリーク問題を解くには n~Ω(log n) 時間を要すると主張する。
• ω(F) = 1（最大独立集合サイズが最大）であれば、G'' は目的の戦略をサポートに含む ε*-WSNE を許容するが、そうでなければ許容しないことを証明する。
• Lipton-Markakis-Mehta（LMM）アルゴリズムフレームワークを用いて、ε-NE および ε-WSNE におけるサポートサイズと報酬の上限を分析する。
• 隠れたクリーク問題からの還元を用いて、ε-NE δ-SW を解くには ETH の下で準多項式時間が必要であることを示す。

実験結果

リサーチクエスチョン

• RQ1 社会的福祉の偏差が制限された近似ナッシュ均衡を計算するための条件付き時間下界を確立できるか？
• RQ2 ε < 1/8 の場合に、最高の達成可能な社会的福祉から δ 以内の ε-NE を求める問題は、ETH の下で困難か？
• RQ3 近似均衡における報酬最大化やサポート制約を含む意思決定問題についても、準多項式時間の難易度が見られるか？
• RQ4 ETH の下で、制約付き近似均衡の難易度を隠れたクリーク問題に結びつけることができるか？
• RQ5 近似均衡の計算の難易度は、正確な均衡の計算の難易度と比べて、計算複雑性の観点からどのように異なるか？

主な発見

• 指数時間仮説（ETH）の下で、n×n の双行列ゲームにおける (1/8 − O(δ))-NE O(δ)-SW 問題を解くには n~Ω(log n) 時間を要する。
• この難易度結果は、報酬を最大化または最小化する ε-NE における問題、または指定されたサポートペア内での ε-NE を求める問題といった意思決定問題にも拡張される。
• すべての ε < 1/8 に対して、ETH の下でこれらの意思決定問題は準多項式時間が必要であり、条件付き下界を確立する。
• 還元により、ε-NE δ-SW を解くことは、G(n,1/2) におけるサイズ O(log n) の隠れたクリークを見つける問題ほど困難であることが示され、この問題は準多項式時間が必要であると仮定されている。
• ETH と隠れたクリーク問題に結びつけることで、従来の近似不可能性結果を強化し、良好な福祉を持つ近似均衡ですら計算が困難であることを示している。
• 本論文は、LMM アルゴリズムの準多項式時間の複雑性が、ETH の下では ε-NE に対して本質的に最適であることを確立しており、ETH が成り立たない限り、より速いアルゴリズムは存在しない。