[論文レビュー] Network bargaining with general capacities

Linda Farczadi, Konstantinos Georgiou+1 more|arXiv (Cornell University)|Jun 18, 2013

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

ひとこと要約

本稿では、一般のエージェント容量をもつネットワークバラツキングゲームにおけるバランス型解を計算する最初の多項式時間アルゴリズムを提示する。これは、補助的ユニット容量ゲームへの新しい還元に基づく。主な貢献は、バランス型解が存在するための必要十分条件が、安定解が存在することであることを証明し、ネットワークバラツキング理論における長年の未解決問題を解決したことである。

ABSTRACT

We study balanced solutions for network bargaining games with general capacities, where agents can participate in a fixed but arbitrary number of contracts. We provide the first polynomial time algorithm for computing balanced solutions for these games. In addition, we prove that an instance has a balanced solution if and only if it has a stable one. Our methods use a new idea of reducing an instance with general capacities to a network bargaining game with unit capacities defined on an auxiliary graph. This represents a departure from previous approaches, which rely on computing an allocation in the intersection of the core and prekernel of a corresponding cooperative game, and then proving that the solution corresponding to this allocation is balanced. In fact, we show that such cooperative game methods do not extend to general capacity games, since contrary to the case of unit capacities, there exist allocations in the intersection of the core and prekernel with no corresponding balanced solution. Finally, we identify two sufficient conditions under which the set of balanced solutions corresponds to the intersection of the core and prekernel, thereby extending the class of games for which this result was previously known.

研究の動機と目的

• エージェントが任意の容量制限を持つネットワークバラツキングゲームにおいて、バランス型解を効率的に計算するアルゴリズムの開発。
• 一般容量をもつネットワークバラツキングゲームにおけるバランス型解の存在を特徴づけるという未解決問題の解決。
• 一般容量下でのネットワークバラツキングにおいて、安定性とバランスの間の明確な形式的関係の確立。
• 従来の協力ゲーム理論的手法（コアとプレカーネルの共通部分）が一般容量設定に一般化されないことを示すこと。
• バランス型解の集合がコアとプレカーネルの共通部分と一致する十分条件の同定。

提案手法

• 各エージェントをその容量に応じて複製することで、補助的ユニット容量ネットワークを構築し、一般容量ゲームをユニット容量ゲームに変換する。
• 元のグラフと補助グラフにおける解の間で一対一の対応関係を定義し、契約価値と外部選択肢を保持する。
• KleinbergとTardos（2008）が提示した既知の多項式時間アルゴリズムを用いて、補助ユニット容量ゲームにおけるバランス型解を計算する。
• 元のインスタンスと補助インスタンス間の解の写像において、安定性とバランスが保存されることを証明する。
• 線形計画法の双対性を活用し、最大重みcマッチング問題の整数最適解を用いて安定解の存在を特徴づける。
• 両者が同じ整数線形計画法の条件に依存することを示すことにより、バランス型解と安定解の存在が等価であることを確立する。

実験結果

リサーチクエスチョン

• RQ1 一般エージェント容量をもつネットワークバラツキングゲームにおいて、バランス型解を計算する多項式時間アルゴリズムは存在するか？
• RQ2 一般容量をもつネットワークバラツキングゲームにおいて、バランス型解の存在が安定解の存在と等価であるか？
• RQ3 従来の協力ゲーム理論的手法（コアとプレカーネルの共通部分）は、一般容量設定におけるバランス型解を特徴づけるために用いられるか？
• RQ4 どのような条件下で、一般容量ゲームにおけるバランス型解の集合がコアとプレカーネルの共通部分と一致するか？
• RQ5 一般容量ネットワークバラツキング問題は、安定性やバランスなどの解の性質を保持したまま、ユニット容量問題に還元可能か？

主な発見

• 一般容量をもつネットワークバラツキングゲームにおいて、バランス型解が存在するための必要十分条件は、安定解が存在することである。
• 本稿では、一般容量をもつネットワークバラツキングゲームにおけるバランス型解を計算する最初の多項式時間アルゴリズムを提供する。
• 補助ユニット容量グラフを介した解の写像は、安定性とバランスの両方を保存するため、変換されたインスタンス上で既存のアルゴリズムを適用可能である。
• 従来のコアとプレカーネルの共通部分に基づく協力ゲーム手法は、一般容量ゲームに一般化されない。なぜなら、そのような割り当ては、必ずしもバランス型解に対応しないからである。
• バランス型解の存在は、最大重みcマッチング線形計画法の最適解の整数性によって完全に特徴づけられる。
• バランス型解の集合がコアとプレカーネルの共通部分と一致する2つの十分条件が同定され、それらは先行研究をより広いクラスのゲームへと拡張する。