[論文レビュー] Anonymous Meeting in Networks

Yoann Dieudonné, Andrzej Pelc|arXiv (Cornell University)|Nov 1, 2011

Optimization and Search Problems参考文献 58被引用数 6

ひとこと要約

この論文は、任意のネットワークにおける匿名移動エージェントの決定的集約問題を、すべての集約可能な構成の特定と、2つのユニバーサルアルゴリズムの提示によって解決する。1つはネットワークサイズの上界が既知である場合の検出機能付きで、もう1つはそのような上界が存在しない場合の検出なし。主な貢献は、集約可能な構成の完全な特徴付けと、任意のグラフにおける匿名エージェントのリーダー選出を可能にするユニバーサルな解決策である。

ABSTRACT

A team consisting of an unknown number of mobile agents, starting from different nodes of an unknown network, possibly at different times, have to meet at the same node. Agents are anonymous (identical), execute the same deterministic algorithm and move in synchronous rounds along links of the network. Which configurations are gatherable and how to gather all of them deterministically by the same algorithm? We give a complete solution of this gathering problem in arbitrary networks. We characterize all gatherable configurations and give two universal deterministic gathering algorithms, i.e., algorithms that gather all gatherable configurations. The first algorithm works under the assumption that an upper bound n on the size of the network is known. In this case our algorithm guarantees gathering with detection, i.e., the existence of a round for any gatherable configuration, such that all agents are at the same node and all declare that gathering is accomplished. If no upper bound on the size of the network is known, we show that a universal algorithm for gathering with detection does not exist. Hence, for this harder scenario, we construct a second universal gathering algorithm, which guarantees that, for any gatherable configuration, all agents eventually get to one node and stop, although they cannot tell if gathering is over. The time of the first algorithm is polynomial in the upper bound n on the size of the network, and the time of the second algorithm is polynomial in the (unknown) size itself. Our results have an important consequence for the leader election problem for anonymous agents in arbitrary graphs. For anonymous agents in graphs, leader election turns out to be equivalent to gathering with detection. Hence, as a by-product, we obtain a complete solution of the leader election problem for anonymous agents in arbitrary graphs.

研究の動機と目的

• ネットワーク内における匿名移動エージェントの初期構成のうち、決定的集約が可能なものをすべて特徴付けること。
• 任意のネットワークにおいてすべての集約可能な構成を扱うユニバーサルな決定的アルゴリズムを設計すること。
• ネットワークサイズの事前知識がない状況における集約の課題に取り組むこと、その際、完成の検出が不可能である。
• 検出機能付き集約と、任意のグラフにおける匿名エージェントのリーダー選出との間の同等性を確立すること。
• 集約フレームワークを用いて、任意のネットワークにおける匿名エージェントのリーダー選出問題に対する完全な解決策を提供すること。

提案手法

• エージェントの移動パターンとネットワークの対称性に基づいて、集約可能な構成の特徴付けを提案し、主な基準として条件Gを導入する。
• ネットワークサイズの上界 $N$ が既知である状況を想定し、アルゴリズム Gathering-with-Detection を設計する。これにより、エージェントは共通のノードに集約され、完成を検出できる。
• 上界が不明な状況を想定し、アルゴリズム Gathering-without-Detection を設計する。これにより、最終的には集約が保証されるが、完成の検出は不可能である。
• 2段階アプローチを採用する：まず、修正された EXPLO(n) 手順を用いてエージェントがネットワークを探索し、トークン（リーダー）を特定する。次に、EST を用いて地図とサイズを学習する。
• 会合地点におけるエージェントの記憶の違いを利用し、会合後のラウンドで記憶比較によって対称性を破ることで、リーダー選出を可能にする。
• 検出機能付き集約とリーダー選出の間の同等性を証明する。これには、両問題の間で往復変換を用いる。

実験結果

リサーチクエスチョン

• RQ1 任意のネットワークにおける匿名移動エージェントの初期構成のうち、決定的アルゴリズムによって集約可能なものはどれか？
• RQ2 エージェントの初期位置やネットワークトポロジーにかかわらず、すべての集約可能な構成を扱う1つのユニバーサルアルゴリズムが、任意のネットワークで構築可能か？
• RQ3 ネットワークサイズの上界が不明な状況において、検出機能付きのユニバーサル集約アルゴリズムを設計可能か？
• RQ4 任意のグラフにおける匿名エージェントの集約とリーダー選出の計算量的複雑度は何か？
• RQ5 集約フレームワークを用いて、任意のグラフにおける匿名エージェントのリーダー選出を決定的に実現する方法は何か？

主な発見

• 条件Gを満たすすべての初期構成は集約可能であり、本論文はそのような構成の完全な特徴付けを提供する。
• ネットワークサイズの上界 $N$ が既知である場合、検出機能付きのユニバーサル集約アルゴリズムが存在し、$N$ の多項式時間で終了する。
• ネットワークサイズの上界が不明な場合、完成の検出が不可能であるという本質的制限のため、検出機能付きのユニバーサル集約アルゴリズムは存在しない。
• 上記とは別に、サイズが不明な場合を想定した検出なしの第二のユニバーサル集約アルゴリズムが存在し、実際のネットワークサイズの多項式時間で終了する。
• 検出機能付き集約とリーダー選出の同等性が正式に証明された：両問題は同じクラスの構成に対して解ける。
• ネットワークサイズの上界が既知である場合、検出後のラウンドで記憶比較を用いることで、検出機能付きアルゴリズムからユニバーサルリーダー選出アルゴリズムを導出可能である。