[論文レビュー] Efficient Local Search in Coordination Games on Graphs

Sunil Simon, Dominik Wojtczak|arXiv (Cornell University)|Apr 16, 2016

Game Theory and Applications参考文献 18被引用数 5

ひとこと要約

本稿は、重み付き有向グラフの自然なクラス—例えば重み付き開放鎖状のサイクル、分割サイクル、および特定の重み付きDAG—を同定し、その中で協調ゲームが多項式時間長の有限改善パスまたは連携改善パスを有することが示され、純粋ナッシュ均衡や強均衡が多項式時間で計算可能である。主な貢献は、これらの構造的クラスが局所探索の収束を保証することを証明することであり、それらの自然な拡張は根本的に均衡を有しない可能性があることである。

ABSTRACT

We study strategic games on weighted directed graphs, where the payoff of a player is defined as the sum of the weights on the edges from players who chose the same strategy augmented by a fixed non-negative bonus for picking a given strategy. These games capture the idea of coordination in the absence of globally common strategies. Prior work shows that the problem of determining the existence of a pure Nash equilibrium for these games is NP-complete already for graphs with all weights equal to one and no bonuses. However, for several classes of graphs (e.g. DAGs and cliques) pure Nash equilibria or even strong equilibria always exist and can be found by simply following a particular improvement or coalition-improvement path, respectively. In this paper we identify several natural classes of graphs for which a finite improvement or coalition-improvement path of polynomial length always exists, and, as a consequence, a Nash equilibrium or strong equilibrium in them can be found in polynomial time. We also argue that these results are optimal in the sense that in natural generalisations of these classes of graphs, a pure Nash equilibrium may not even exist.

研究の動機と目的

• 重み付き有向グラフ上の協調ゲームが多項式時間長の有限改善パスを有するようなグラフクラスを同定すること。
• 純粋ナッシュ均衡または強均衡が局所探索によって多項式時間で計算可能となる条件を確立すること。
• このようなパスの存在が最適であることを示すこと。すなわち、これらのクラスの自然な拡張ではナッシュ均衡が存在しない可能性があること。
• 協調ゲームにおける弱無環性と有限収束を保証するグラフの構造的性質を調査すること。

提案手法

• 著者たちは、プレイヤーの報酬が近傍内での戦略の一致に依存し、各戦略に対して固定ボーナスが与えられる重み付き有向グラフ上の協調ゲームを分析する。
• 頂点が上部集合と下部集合にトップロジカル順序で分割可能な「分割サイクル」という有向グラフのクラスを導入し、そのグラフが有限改善パスを有することを証明する。
• 分割サイクルを認識し、必要な頂点順序を計算する線形時間アルゴリズムを開発し、効率的なパス構築を可能にする。
• 一般化されたポテンシャル関数とグラフの構造的分解を用いて、多項式時間長の改善パスの存在を証明する。
• トポロジカルソートと部分グラフ内のサイクル検出を用いて、有限改善パスに必要な構造的制約を検証する。
• 結果は、重み付き開放鎖状のサイクルおよび重み付きDAGに対しても拡張され、これらのケースでも有限改善パスが存在することが示される。

実験結果

リサーチクエスチョン

• RQ1 どの有向グラフクラスにおいて、協調ゲームが多項式時間長の有限改善パスを有するか？
• RQ2 特定のグラフ構造上で、協調ゲームにおいて純粋ナッシュ均衡を効率的に計算できるか？
• RQ3 ベースクラスでは均衡が存在するが、自然なグラフ拡張ではナッシュ均衡が存在しない可能性があるクラスは存在するか？
• RQ4 一般化されたポテンシャル関数を用いて、構造的グラフ上の協調ゲームにおける弱無環性を証明できるか？
• RQ5 複数のグラフクラスにわたる収束を捉える共通の進行測度は存在するか？

主な発見

• 重み付き開放鎖状のサイクル上の協調ゲームは、多項式時間長の有限改善パスを有し、ナッシュ均衡が多項式時間で計算可能である。
• 上部集合と下部集合にトップロジカル順序で分割可能な「分割サイクル」—このようなグラフは有限改善パスを有し、その構造は線形時間で同定可能である。
• ナッシュ均衡の存在を決定する問題は一般にはNP完全であるが、DAG、クリーク、サイクルなどの特定のグラフクラスでは tractable になる。
• 強い連結性を持つ未重み付きグラフですら、改善パスが無限に続く可能性があり、特定の初期戦略からは自明な強均衡に到達できない場合がある。
• 整数ボーナスに対しても結果は頑健であり、すべてのボーナスに同じ定数を加えてもプレイヤーのインcentiveとパスの性質は保たれる。
• 著者らは、入次数が2以下である未重み付きグラフがc-弱無環であると予想しており、広範なシミュレーションによって裏付けられている。