[論文レビュー] Nash equilibria in Voronoi games on graphs

Christoph Dürr, Nguyễn Kim Thắng|ArXiv.org|Feb 9, 2007

Game Theory and Applications参考文献 6被引用数 8

ひとこと要約

本稿は、k人のプレイヤーが頂点を選んで顧客数を最大化する離散ボロノイゲームにおけるナッシュ均衡の存在を研究する。均衡の存在を決定することはNP困難であることを証明し、社会的コストの差異（最悪均衡社会的コストと最良均衡社会的コストの比）について、Ω(√(n/k)) と O(√(kn)) のタイトな境界を確立する。

ABSTRACT

In this paper we study a game where every player is to choose a vertex (facility) in a given undirected graph. All vertices (customers) are then assigned to closest facilities and a player's payoff is the number of customers assigned to it. We show that deciding the existence of a Nash equilibrium for a given graph is NP-hard which to our knowledge is the first result of this kind for a zero-sum game. We also introduce a new measure, the social cost discrepancy, defined as the ratio of the costs between the worst and the best Nash equilibria. We show that the social cost discrepancy in our game is Omega(sqrt(n/k)) and O(sqrt(kn)), where n is the number of vertices and k the number of players.

研究の動機と目的

• 無向グラフ上の離散ボロノイゲームにおけるナッシュ均衡の存在と計算複雑性を調査すること。
• このゲーム設定における最良反応動的戦略がナッシュ均衡に収束するかを分析すること。
• 社会的コスト差異と呼ばれる新しい指標を導入し、その特徴を特定することで、均衡間での社会的コストのばらつきを定量化すること。
• 一般のグラフおよびサイクルなどの特定のグラフタイプに対して、社会的コスト差異のタイトな漸近的境界を確立すること。

提案手法

• k人のプレイヤーが施設として頂点を選択する無向グラフ G(V,E) 上の離散ボロノイゲームをモデル化する。
• プレイヤーの報酬を、自身の施設に最も近い頂点の数として定義し、同率の場合は等分割当で処理する。
• 社会的コストを、すべての頂点から最も近い施設までの距離の合計として定義する。
• 社会的コスト差異を、すべてのナッシュ均衡における最大社会的コストと最小社会的コストの比として提案する。
• デローランの三角形分割のスターパーティションと半径に基づく解析を用いて、コスト差異を境界づける。
• 背理法と距離の境界（例：d(f_i, f'_j) ≤ 6r）を用いて、差異の上界と下界を確立する。

実験結果

リサーチクエスチョン

• RQ1 グラフ上の離散ボロノイゲームにおいて、ナッシュ均衡の存在を決定する問題はNP困難か？
• RQ2 このゲーム設定において、最良反応動的戦略はナッシュ均衡に収束するか？
• RQ3 すべてのナッシュ均衡における社会的コスト差異の漸近的範囲は何か？
• RQ4 異なる均衡間の社会的コストは、特に最適性と公平性の観点から、どのように比較できるか？

主な発見

• グラフ上の離散ボロノイゲームにおいて、ナッシュ均衡の存在を決定することはNP困難である。
• 社会的コスト差異は下限Ω(√(n/k)) と上限O(√(kn)) で抑えられ、kが定数のときタイトな境界が成立する。
• 最良反応動的戦略は一般にはナッシュ均衡に収束しないが、変更を加えたゲームの変種では収束する。
• k ≤ n/4 の場合、半径と報酬の解析を用いて、均衡間のコスト比がO(√(kn)) で抑えられる。
• k > n/4 の場合、r = O(1) であり総コストがO(n) で抑えられるため、差異はO(n) である。
• 社会的コスト差異は価格の悪化（price of anarchy）によって上界づけられるが、最適コストとの比較よりも、公平性の観点でより適切な指標を提供する。