[論文レビュー] Assignment Games with Conflicts: Price of Total Anarchy and Convergence Results via Semi-Smoothness

Elliot Anshelevich, John Postl+1 more|arXiv (Cornell University)|Apr 18, 2013

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

ひとこと要約

本稿は、ジョブの競合とフレンドシップを伴う割り当てゲームを導入し、同じマシンに割り当てられたジョブペアが追加コストまたは追加利益を生じる相互作用をモデル化する。半滑らかさ（滑らかさの一般化）を用いて、総アナーキーの価格（約2に近づく）のタイトな境界を確立し、最良応答ダイナミクスの収束を証明することで、これらのゲームにおける相関的・ナッシュ的・強い均衡の新たな効率保証を提供する。

ABSTRACT

We study assignment games in which jobs select machines, and in which certain pairs of jobs may conflict, which is to say they may incur an additional cost when they are both assigned to the same machine, beyond that associated with the increase in load. Questions regarding such interactions apply beyond allocating jobs to machines: when people in a social network choose to align themselves with a group or party, they typically do so based upon not only the inherent quality of that group, but also who amongst their friends (or enemies) choose that group as well. We show how semi-smoothness, a recently introduced generalization of smoothness, is necessary to find tight or near-tight bounds on the price of total anarchy, and thus on the quality of correlated and Nash equilibria, for several natural job-assignment games with interacting jobs. For most cases, our bounds on the price of total anarchy are either exactly 2 or approach 2. We also prove new convergence results implied by semi-smoothness for our games. Finally we consider coalitional deviations, and prove results about the existence and quality of Strong equilibrium.

研究の動機と目的

• 特定のジョブペアが同じマシンに割り当てられた際に追加コストまたは追加利益を生じるジョブ割り当てゲームをモデル化・分析すること。
• このような相互作用制約下での均衡の効率性——特に相関的・ナッシュ的・強い均衡——を理解すること。
• 標準的滑らかさの限界を克服するため、これらのゲームにおけるタイトな境界を達成するための必須枠組みとして、半滑らかさを導入すること。
• これらの相互作用に配慮した割り当てゲームにおける最良応答ダイナミクスの収束速度を確立すること。

提案手法

• ジョブの競合とフレンドシップのグラフを用いてジョブ間のペアワイズ相互作用を表現する割り当てゲームをモデル化する。
• 半滑らかさ——滑らかさの一般化——を適用して、総アナーキーの価格の境界を導出する。
• 混合戦略の半滑らかさを用いて、特に相関的および混合ナッシュ均衡における均衡非効率性のタイトな境界を達成する。
• 半滑らかさを用いて最良応答ダイナミクスの収束結果を証明し、近似的最適解への到達時間の境界を確立する。
• 強い均衡の存在性と品質を分析し、一部のケースでは存在しないことを示し、強いアナーキーの価格の境界を導出する。
• ゲームの和（例：負荷バランス、マーケットシェア、カットゲームなど）としてゲームを再構成することで、ゲーム合成下での構造的性質を探索する。

実験結果

リサーチクエスチョン

• RQ1 ジョブの競合とフレンドシップを伴う割り当てゲームにおける総アナーキーの価格は何か？ そして、半滑らかさを用いてタイトに境界を定められるか？
• RQ2 これらのゲームにおける最良応答ダイナミクスはどのように収束するのか？ そして、近似的最適解への収束速度は何か？
• RQ3 これらのゲームには強いナッシュ均衡が存在するのか？ また、最適解に対するその品質はどの程度か？
• RQ4 ペアワイズジョブ相互作用を伴うゲームにおいて、半滑らかさは標準的滑らかさよりもタイトな境界を提供できるか？
• RQ5 和演算によってゲームを合成する際、滑らかさや均衡効率性といった性質はどの程度保存されるか？

主な発見

• バランスング・コンフリクト（Balancing with Conflicts）およびシェアイング・コンフリクト（Sharing with Conflicts）において、総アナーキーの価格は最大2であり、これはタイトである。
• バランスング・フレンドシップ（Balancing with Friendship）では、総アナーキーの価格は正確に $ 2 - rac{1}{m} $ であり、これもタイトである。
• バランスング・コンフリクト・フレンドシップ（Balancing with Conflicts and Friendship）では、マシン数が増加するにつれて、総アナーキーの価格は2に近づく。
• シェアイング・フレンドシップ（Sharing with Friendship）では、総アナーキーの価格は $ m $ で抑えられ、この境界もタイトである。
• 最良応答ダイナミクスは、$ Oig(rac{n}{ heta} \\-log u( olimits^*)ig) $ ステップで $ rac{1}{m(1+ heta)} $-近似解に収束し、対数因子の下で改善された境界が得られる。
• シェアイング・フレンドシップゲームでは、$ m=2 $ であっても、強いナッシュ均衡が必ずしも存在しない。また、強いアナーキーの価格は少なくとも2である。