[論文レビュー] On Dynamics in Selfish Network Creation

Bernd Kawald, Pascal Lenzner|arXiv (Cornell University)|Dec 19, 2012

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

ひとこと要約

本稿は、自己中心的ネットワーク作成ゲームの動的収束を調査し、エージェントが協力的でない局所的な改善行動を取った際に均衡に収束するかを検討する。木構造のネットワーク上では収束が保証されるが、サイクルが存在する場合には完全に収束が失敗する。たとえ1つの非木辺が存在するだけで収束は破綻し、非木ネットワーク上ではいかなる移動方針でも収束を保証できないことが示されている。

ABSTRACT

We consider the dynamic behavior of several variants of the Network Creation Game, introduced by Fabrikant et al. [PODC'03]. Equilibrium networks in these models have desirable properties like low social cost and small diameter, which makes them attractive for the decentralized creation of overlay-networks. Unfortunately, due to the non-constructiveness of the Nash equilibrium, no distributed algorithm for finding such networks is known. We treat these games as sequential-move games and analyze whether (uncoordinated) selfish play eventually converges to an equilibrium state. Thus, we shed light on one of the most natural algorithms for this problem: distributed local search, where in each step some agent performs a myopic selfish improving move. We show that fast convergence is guaranteed for all versions of Swap Games, introduced by Alon et al. [SPAA'10], if the initial network is a tree, and show that this process can be sped up to an almost optimal number of moves. For non-tree networks we show the surprising result that even one non-tree edge suffices to destroy the convergence guarantee and no move policy can enforce convergence. This answers an open problem from Ehsani et al. [SPAA'11] in the negative. We extend our negative results to the well-studied original version and prove that there is no convergence guarantee -- even if all agents play optimally. Furthermore, we show the quite surprising result that employing cost-sharing yields even worse dynamic behavior. Finally, we contrast our mostly negative theoretical results by a careful empirical study. Our simulations indicate two positive facts: (1) The non-convergent behavior seems to be confined to a small set of pathological instances and is unlikely to show up in practice. (2) In all our simulations we observed a remarkably fast convergence towards a stable network in O(n) steps, where n is the number of agents.

研究の動機と目的

• 協力的でない自己中心的な局所探索がネットワーク作成ゲームにおいて安定均衡に収束するかどうかを理解すること。
• 特にサイクルの有無が収束保証に与える影響を分析すること。
• コスト共有メカニズムがネットワーク作成ゲームの動的挙動を改善するかを評価すること。
• 最適戦略や特定の移動方針が、さまざまなネットワーク作成ゲームの変種において収束を強制できるかを同定すること。
• 理論的否定的結果と実際の収束挙動の経験的観察との対比をとること。

提案手法

• エージェントが短絡的で自己中心的な改善行動を取る逐次手番ゲームとしてネットワーク作成をモデル化する。
• エージェントがエッジを交換する『スワップゲーム』の変種を分析し、木構造の初期状態からの収束に注目する。
• 木ベースのネットワークにおける収束を加速する自然な移動方針を導入・評価する。
• ベストリスポンスダイナミクスを用いてエージェント行動をシミュレートし、サイクルや収束の有無を同定する。
• 非木ネットワーク上での収束不能を示す病理的例を構築する。最適戦略下でも収束しない。
• 元のネットワーク作成ゲーム（エッジの購入・削除）および双方向合意を要するコスト共有変種への分析を拡張する。

実験結果

リサーチクエスチョン

• RQ1 初期状態が木構造の場合、スワップゲームにおける協力的でない自己中心的プレーはナッシュ均衡に収束するか？
• RQ2 非木ネットワーク上では、スワップゲームにおいていかなる移動方針でも収束を強制できるか？
• RQ3 エッジの購入・削除を伴う元のネットワーク作成ゲームでは、最適プレー下でも収束が保証されるか？
• RQ4 双方向合意を要するコスト共有を導入することで、ネットワーク作成ゲームの収束挙動が改善されるか？
• RQ5 経験的シミュレーションは、実際の理論的収束保証とどのように対比されるか？

主な発見

• 初期ネットワークが木構造の場合、スワップゲームではO(n)ステップで均衡への高速収束が保証される。
• 自然な移動方針により、木ベースのスワップゲームにおける収束が近似的に最適性能にまで加速される。
• 初期ネットワークに1つの非木辺が存在するだけで、スワップゲームにおける収束保証が破綻する。
• 非木ネットワーク上では、病理的反例によりいかなる移動方針でも収束を強制できないことが示された。
• 元のネットワーク作成ゲームでは、最適プレー下でも収束が保証されず、安定化への改善列が存在しない例もある。
• 驚くべきことに、コスト共有変種では元のゲームよりも悪い動的挙動を示し、収束保証がない。