[論文レビュー] Playing With Population Protocols

Olivier Bournez, Jérémie Chalopin+2 more|Jun 17, 2009

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

ひとこと要約

本稿は、有限状態のエージェントが一対で相互作用する分散型システム、すなわちポピュレーションプロトコルが、ゲーム理論における対称ゲームとしてモデル化可能かどうかを調査する。ここでは、報酬行列から導かれる相互作用ルールを有する「パヴロヴィアン・ポピュレーションプロトコル」という概念を導入する。本稿では、すべての対称的で決定論的な2状態プロトコル（OR、AND、マジョリティ、リーダー選出を含む）がパヴロヴィアンであることを証明し、対称的プロトコルが任意の一般プロトコルをシミュレート可能であることを示し、対称性が計算能力に制限を及げないことを示している。

ABSTRACT

Population protocols have been introduced as a model of sensor networks consisting of very limited mobile agents with no control over their own movement: A collection of anonymous agents, modeled by finite automata, interact in pairs according to some rules. Predicates on the initial configurations that can be computed by such protocols have been characterized under several hypotheses. We discuss here whether and when the rules of interactions between agents can be seen as a game from game theory. We do so by discussing several basic protocols.

研究の動機と目的

• ポピュレーションプロトコルにおける相互作用ルールが、ゲーム理論の対称ゲームの結果として解釈可能かどうかを調査すること。
• 対称ゲームから導かれるルール（パヴロヴィアンプロトコル）に制限を設けると、計算表現力が制限されるかどうかを特定すること。
• 対称的プロトコルが、エージェント数の関数として述語を計算する能力において、一般ポピュレーションプロトコルと同等に強力かどうかを検討すること。
• パヴロヴィアン・ポピュレーションプロトコルによって計算可能な述語のクラスを特徴付け、論理演算における閉包性を評価すること。

提案手法

• 対称的報酬行列としきい値を用いて、相互作用ルールが導かれるパヴロヴィアン・ポピュレーションプロトコルの概念を導入する。
• エージェントが報酬を最大化する相互作用に基づいて状態を更新するゲーム理論的ダイナミクスを定義し、遷移における対称性を保証する。
• 状態のプリミング（q → q′）と双方向ルールペアを用いて、公平性と決定論を保つように、任意の一般ポピュレーションプロトコルの対称的シミュレーションを構築する。
• 公平性と状態変換ルールを用いて、元のプロトコルにおける任意の相互作用シーケンスが、対称的バージョンでもエミュレート可能であることを保証する。
• 特定のプロトコル（OR、AND、マジョリティ、リーダー選出）を分析し、しきい値に基づく報酬行列を用いてパヴロヴィアン解が存在することを証明する。
• 一般プロトコルから対称的プロトコルへの形式的還元を用い、人口サイズが3以上であれば、対称性が計算能力を制限しないことを示す。

実験結果

リサーチクエスチョン

• RQ1 ポピュレーションプロトコルにおける相互作用ルールは、ゲーム理論の対称ゲームの結果として解釈可能か？
• RQ2 パヴロヴィアン・ポピュレーションプロトコルによって計算可能な述語のクラスは、一般ポピュレーションプロトコルによって計算可能な述語のクラスよりも厳密に小さいか？
• RQ3 パヴロヴィアン・プロトコルは論理演算（論理積と論理否定）に関して閉じているか？
• RQ4 任意の一般ポピュレーションプロトコルは、対称的なものによってシミュレート可能か？ もしそうなら、どのような条件下で可能か？
• RQ5 述語「n ≡ 1 (mod 2)」は、パヴロヴィアン・ポピュレーションプロトコルによって計算可能か？

主な発見

• すべての対称的で決定論的な2状態ポピュレーションプロトコルはパヴロヴィアンであり、その相互作用ルールは、しきい値を伴う対称的報酬行列から導かれる。
• OR、AND、マジョリティ、リーダー選出の問題は、すべてパヴロヴィアン解を有する。これは、対応する報酬行列を構築することで示された。
• 等価性（n = m）を計算するプロトコルはパヴロヴィアンであり、対称的相互作用に基づくしきい値付き報酬行列を用い、エージェントがYまたはNに遷移する。
• 人口サイズが3以上であれば、対称的ポピュレーションプロトコルは任意の一般ポピュレーションプロトコルをシミュレート可能であり、対称性が計算能力に制限を及げないことを示している。
• パヴロヴィアン・プロトコルによって計算可能な述語のクラスは、否定に関して閉じている。出力関数を反転させても、元のダイナミクスに変更を加えずに済む。
• 述語「n ≡ 1 (mod 2)」や「n ≥ k」（固定されたkについて）がパヴロヴィアン・プロトコルによって計算可能かどうかは未解決であり、現在の特徴付けに限界やギャップがあることを示唆している。