[論文レビュー] Strategic Cooperation in Cost Sharing Games

Martin Hoefer|arXiv (Cornell University)|Mar 16, 2010

Game Theory and Voting Systems参考文献 36被引用数 4

ひとこと要約

この論文は、戦略的コスト配分ゲームにおける強い均衡と連合的コスト配分ゲームにおけるコアの間のきつい関係を確立し、強い均衡の存在が基礎となる線形計画法（LP）定式化の整数性ギャップによって特徴づけられることを示している。本稿は、原単位法に基づくプライマル・デュアルアルゴリズムを用いて、集合被覆、施設配置、ネットワーク設計ゲームの正確かつ近似された強い均衡を統一的に導出するフレームワークを提供し、強いアナーキー価格が常に1であることを証明している。

ABSTRACT

In this paper we consider strategic cost sharing games with so-called arbitrary sharing based on various combinatorial optimization problems, such as vertex and set cover, facility location, and network design problems. We concentrate on the existence and computational complexity of strong equilibria, in which no coalition can improve the cost of each of its members. Our main result reveals a connection between strong equilibrium in strategic games and the core in traditional coalitional cost sharing games studied in economics. For set cover and facility location games this results in a tight characterization of the existence of strong equilibrium using the integrality gap of suitable linear programming formulations. Furthermore, it allows to derive all existing results for strong equilibria in network design cost sharing games with arbitrary sharing via a unified approach. In addition, we are able to show that in general the strong price of anarchy is always 1. This should be contrasted with the price of anarchy of Θ(n) for Nash equilibria. Finally, we indicate that the LP-approach can also be used to compute near-optimal and near-stable approximate strong equilibria.

研究の動機と目的

• 組合せ最適化問題に基づく戦略的コスト配分ゲームにおける強い均衡の存在を特徴づけること。
• 戦略的ゲームにおける強い均衡と従来の連合的コスト配分ゲームにおけるコアとの間の明確な関係を確立すること。
• 集合被覆、施設配置、ネットワーク設計などのゲームにおける近似強い均衡を計算するための統一的LPベースのアプローチを開発すること。
• 強いアナーキー価格を分析し、それが常に1であることを示すこと。これは、ネッシュ均衡におけるΘ(n)のアナーキー価格とは対照的である。
• プライマル・デュアルアルゴリズムの適用範囲を拡張し、多項式時間内で定数倍近似の強い均衡を導出可能とする

提案手法

• 線形計画法の双対性と整数性ギャップ分析を活用し、戦略的コスト配分ゲームにおける強い均衡の存在を特徴づける。
• 連合的コスト配分ゲームのコアを基準として、戦略的設定における強い均衡の存在を判定する。
• プライマル・デュアルアルゴリズムを適用し、LP近似比に基づく性能保証を伴う近似強い均衡を計算する。
• 強い均衡の探索問題を、基礎となる組合せ最適化問題をLP定式化によって解く問題に還元する。
• 連合による逸脱が、単一プレイヤーの部分ゲームにおける単一の逸脱と等価に分析可能であることを示し、安定性の保証を維持する。
• 一般化線形生産モデルの構造を活用し、現在のゲームクラスを超えたより広範な適用可能性を検討する。

実験結果

リサーチクエスチョン

• RQ1 組合せ最適化問題に基づく戦略的コスト配分ゲームにおいて、強い均衡が存在する条件は何か？
• RQ2 強い均衡の存在は、基礎となるLP定式化の整数性ギャップとどのように関係しているか？
• RQ3 連合的コスト配分ゲームのコアを、戦略的設定における強い均衡の特徴づけや計算に用いることができるか？
• RQ4 戦略的コスト配分ゲームにおける強いアナーキー価格は何か？また、ネッシュ均衡におけるアナーキー価格と比べてどう異なるか？
• RQ5 プライマル・デュアルアルゴリズムを変更して、有界な近似比を持つ近似強い均衡を計算可能か？

主な発見

• 集合被覆および施設配置ゲームにおける強い均衡の存在は、それぞれのLP定式化の整数性ギャップによってきっちり特徴づけられる。
• 戦略的コスト配分ゲームにおける強いアナーキー価格は常に1であり、ネッシュ均衡におけるΘ(n)のアナーキー価格と比べて顕著な改善である。
• 頂点被覆ゲームでは、整数性ギャップが1でコアが空でない場合でも、戦略的インcentiveのため、強い均衡が存在しない可能性がある。
• プライマル・デュアルアルゴリズムを用いることで、頂点被覆に対して(2,2)-強い均衡、集合被覆に対して(f,f)-強い均衡（fは最大頻度）、メトリック非容量制限施設配置ゲームに対して(3,3)-強い均衡を多項式時間で計算可能である。
• 強い均衡とコア解の等価性により、ネットワーク設計ゲームを含む複数のゲームクラスにわたる結果を統一的に導出可能である。
• LPベースのフレームワークは、正確な強い均衡が存在しない設定においても、安定性と効率性を保証する近似強い均衡の拡張が可能である。