[論文レビュー] On the Hardness of Signaling

Shaddin Dughmi|arXiv (Cornell University)|Feb 18, 2014

Game Theory and Applications参考文献 35被引用数 13

ひとこと要約

この論文は、ベイジアン零和ゲームにおける最適な情報構造（シグナリング）を設計することは、均衡が効率的に計算可能であっても、計算的に困難であることを確立している。著者らは、最適なシグナリングスキームを求める問題が、ランダムグラフにおけるプラントドクリークを回復するのと同程度に難しいことを証明しており、標準的な複雑性仮定のもとで強い近似不能性の結果を示している。

ABSTRACT

There has been a recent surge of interest in the role of information in strategic interactions. Much of this work seeks to understand how the realized equilibrium of a game is influenced by uncertainty in the environment and the information available to players in the game. Lurking beneath this literature is a fundamental, yet largely unexplored, algorithmic question: how should a "market maker" who is privy to additional information, and equipped with a specified objective, inform the players in the game? This is an informational analogue of the mechanism design question, and views the information structure of a game as a mathematical object to be designed, rather than an exogenous variable. We initiate a complexity-theoretic examination of the design of optimal information structures in general Bayesian games, a task often referred to as signaling. We focus on one of the simplest instantiations of the signaling question: Bayesian zero-sum games, and a principal who must choose an information structure maximizing the equilibrium payoff of one of the players. In this setting, we show that optimal signaling is computationally intractable, and in some cases hard to approximate, assuming that it is hard to recover a planted clique from an Erdos-Renyi random graph. This is despite the fact that equilibria in these games are computable in polynomial time, and therefore suggests that the hardness of optimal signaling is a distinct phenomenon from the hardness of equilibrium computation. Necessitated by the non-local nature of information structures, en-route to our results we prove an "amplification lemma" for the planted clique problem which may be of independent interest.

研究の動機と目的

• 情報の設計変数として扱う一方で、外生的であると見なされる情報の最適な情報構造（シグナリング）の設計における計算複雑性を調査すること。
• 2人零和ゲームにおける不完全情報の下で、戦略的な情報公開によってプレイヤーの均衡配分を最大化する問題の難易度を検討すること。
• 均衡が多項式時間で効率的に計算可能であっても、最適なシグナリングが計算的に困難であることを確立し、均衡計算とは別個の困難要因を浮き彫りにすること。
• Erdős-Rényiグラフに多数の小さなクリークがプラントドされた場合でも、それらのうち定数倍の割合を回復することが、標準的なプラントドクリーク問題と同等に難しいことを示す、新しい拡張補題を構築すること。
• 最適なシグナリングと密度の高い部分グラフ検出との関係を探索し、オークションやメカニズム設計への応用におけるアルゴリズム的含意を示唆すること。

提案手法

• ベイジアン零和ゲームにおける最適なシグナリング問題を、プラントドクリーク問題に還元することで、計算的困難性を複雑性理論的還元によって確立する。
• 「拡張補題」として、多数の小さなクリークがプラントドされた（ノードの定数倍をカバーする）状況でも、それらのうち定数倍の割合を回復することは、標準的なプラントドクリーク問題と同等に難しいことを示す。
• スペクトル法および半定値計画法の技術を用いて、情報設計問題の構造を分析し、特にプラントドクリークの指示関数の外積の和に注目する。
• 凸緩和アプローチを用いて、各プラントドクリークが目的関数に与える寄与を束縛し、集中法と平均化の議論を活用する。
• 数え上げ的議論を用いて、ある集合のコレクションにおいて、プラントドクリークとその平均的な重なりが下限で与えられるならば、定数倍のクリークが少なくとも1つの集合に対して、定数倍の頂点数で重なる必要があることを示す。
• このような良いシグナリングスキームが存在すると仮定すると、矛盾が生じることを示す。なぜなら、そのようなスキームは定数倍のプラントドクリークを回復可能であることを意味し、これはおそらく不可能であるとされている。

実験結果

リサーチクエスチョン

• RQ1 ベイジアン零和ゲームにおける最適な情報構造（シグナリング）の設計問題は、計算的に容易か？
• RQ2 最適なシグナリングは、定数倍の近似、あるいは $1/\operatorname{polylog} n$ のオーダーの加法的誤差内に近似可能か？
• RQ3 最適なシグナリングの困難さは、均衡を計算するのが難しいことに起因するのか、それとも別個の計算現象なのか？
• RQ4 プラントドクリーク問題は、多数の小さなクリークがプラントドされた状況においても、それらのうち定数倍の割合を回復することが、元の問題と同等に難しいように拡張可能か？
• RQ5 この困難さは、オークション設計やメカニズム設計への応用において、どのようなアルゴリズム的含意を持つのか？

主な発見

• Erdős-Rényiランダムグラフにおけるプラントドクリークの回復が困難であるという仮定のもとで、ベイジアン零和ゲームにおける最適なシグナリングは計算的に困難である。
• 標準的なプラントドクリーク予想が成り立つ限り、問題は定数倍の近似可能性でない。
• 均衡の計算が困難であることに起因するのではなく、この設定では均衡が多項式時間で計算可能であるため、最適なシグナリングの困難さは別個の計算現象である。
• 著者らは、ノードの定数倍をカバーする多数の小さなプラントドクリークが存在する場合でも、それらのうち定数倍の割合を回復することは、標準的なプラントドクリーク問題と同等に難しいことを示す拡張補題を証明した。
• 注意深く構築されたコレクション内の集合とプラントドクリークとの平均的な重なりは、クリークのサイズの $\Omega(\epsilon)$ 以上であることが示され、これは定数倍のクリークが少なくとも1つの集合に対して、定数倍の頂点数で重なることを意味する。
• この結果は、最適なシグナリングに完全多項式時間近似スキーム（FPTAS）が存在しない可能性が高いことを示唆しているが、プラントドクリーク問題に対してはこのようなアルゴリズムが存在するため、準多項式時間近似スキーム（QPTAS）はまだ可能かもしれない。