[論文レビュー] ETH-Hardness for Symmetric Signaling in Zero-Sum Games

Aviad Rubinstein|arXiv (Cornell University)|Oct 16, 2015

Complexity and Algorithms in Graphs参考文献 11被引用数 3

ひとこと要約

本稿では、指数時間仮説（ETH）のもとで、2人零和ゲームにおけるϵ-近似的に最適な対称信号提示スキームを計算することは、準多項式時間が必要であることが示され、Dughmi (2014) が提起した未解決問題が解決された。さらに、乗法的近似を達成することはNP困難であることが証明され、零和ゲームにおける対称信号提示の複雑さに強い複雑さの下限が確立された。

ABSTRACT

We prove that, assuming the exponential time hypothesis, finding an \epsilon-approximately optimal symmetric signaling scheme in a two-player zero-sum game requires quasi-polynomial time. This is tight by [CCDEHT'15] and resolves an open question of [Dughmi'14]. We also prove that finding a multiplicative approximation is NP-hard.

研究の動機と目的

• 2人零和ゲームにおける近似的に最適な対称信号提示スキームの計算複雑性を解明すること。
• 標準的な複雑さの仮定のもとで、対称信号提示スキームが効率的に計算可能かどうかを特定すること。
• Dughmi (2014) が提起した、零和ゲームにおける対称信号提示の難易度に関する長年の未解決問題を閉じること。
• 対称信号提示における加法的および乗法的近似の両方のタイトな複雑さの下限を確立すること。

提案手法

• 著者たちは、ϵ-近似的に最適な対称信号提示スキームを計算するのに要する時間の下限を導くために、指数時間仮説（ETH）を基礎的な複雑さの仮定として用いた。
• 既知の難問から対称信号提示問題への還元を構築し、その問題を準多項式時間未満で解けるならばETHに反する、と示した。
• 著者たちは、零和ゲームの構造的性質と、信号提示スキームと均衡結果との間の双対性を利用した。
• 乗法的近似についての分析を拡張し、既知のNP完全問題からの還元により、NP困難性を証明した。
• 彼らは [CCDEHT'15] の結果に依拠して、準多項式時間の下限がタイトであることを示した。
• この方法は、複雑さ理論的推論と、零和設定における信号提示のゲーム理論的モデル化を組み合わせた。

実験結果

リサーチクエスチョン

• RQ1 指数時間仮説のもとで、2人零和ゲームにおけるϵ-近似的に最適な対称信号提示スキームの計算は多項式時間で可能か？
• RQ2 加法的誤差ϵ内で最適なスキームを近似する際、対称信号提示の正確な複雑さの閾値は何か？
• RQ3 最適な対称信号提示スキームに対する乗法的近似は効率的に計算可能か、それともNP困難か？
• RQ4 [CCDEHT'15] が確立した準多項式時間の下限は、零和ゲームにおける対称信号提示のタイトな限界を表しているか？
• RQ5 零和ゲームにおける対称信号提示と非対称信号提示の複雑さの間にギャップはあるか？

主な発見

• 2人零和ゲームにおけるϵ-近似的に最適な対称信号提示スキームを求めるには、指数時間仮説のもとで準多項式時間が必要である。
• [CCDEHT'15] の先行研究により確認されたように、準多項式時間の下限はタイトである。
• 最適な対称信号提示スキームに対する乗法的近似を計算することはNP困難である。
• この結果により、Dughmi (2014) が提起した、零和ゲームにおける対称信号提示の複雑さに関する未解決問題が解決された。
• 本稿は、対称信号提示における加法的および乗法的近似の両方について、強い非効率性の結果を確立した。