[論文レビュー] How to Meet Asynchronously at Polynomial Cost

Yoann Dieudonné, Andrzej Pelc+1 more|arXiv (Cornell University)|Jan 30, 2013

Optimization and Search Problems参考文献 33被引用数 18

ひとこと要約

この論文は、未知のネットワークにおける非同期な移動エージェントのための決定的リデューヴァスアルゴリズムを提示し、グラフのサイズと小さい方のエージェントラベルの対数に関して多項式コストを達成している。これは、従来の指数的コストの解決策に比べて指数的改善をもたらす。アルゴリズムは、ラベルに基づく調整とトークン伝達を用いた構造化された探索フェーズを採用し、エージェントが全ラベルを共同で学習し、基本的な分散問題を多項式総コストで解けるようにする。

ABSTRACT

Two mobile agents starting at different nodes of an unknown network have to meet. This task is known in the literature as rendezvous. Each agent has a different label which is a positive integer known to it, but unknown to the other agent. Agents move in an asynchronous way: the speed of agents may vary and is controlled by an adversary. The cost of a rendezvous algorithm is the total number of edge traversals by both agents until their meeting. The only previous deterministic algorithm solving this problem has cost exponential in the size of the graph and in the larger label. In this paper we present a deterministic rendezvous algorithm with cost polynomial in the size of the graph and in the length of the smaller label. Hence we decrease the cost exponentially in the size of the graph and doubly exponentially in the labels of agents. As an application of our rendezvous algorithm we solve several fundamental problems involving teams of unknown size larger than 1 of labeled agents moving asynchronously in unknown networks. Among them are the following problems: team size, in which every agent has to find the total number of agents, leader election, in which all agents have to output the label of a single agent, perfect renaming in which all agents have to adopt new different labels from the set {1, . . . , k}, where k is the number of agents, and gossiping, in which each agent has initially a piece of information (value) and all agents have to output all the values. Using our rendezvous algorithm we solve all these problems at cost polynomial in the size of the graph and in the smallest length of all labels of participating agents.

研究の動機と目的

• エージェントがネットワークや互いのラベルについて事前の知識を持たない未知の非同期ネットワークにおけるリデューヴァスの課題に対処すること。
• ネットワークサイズおよび小さいラベルの対数に関して多項式コストとなる決定的リデューヴァスアルゴリズムを設計し、従来の指数的コストの解決策を改善すること。
• リデューヴァスアルゴリズムを用いて、チームサイズの特定、リーダー選出、完全名前割り当て、およびゴーシップといった基本的な分散問題を、多項式総通信コストで解くこと。
• 悪意ある速度制御と共有クロックの欠如の下でも、エージェントが未知のネットワーク内で効率的に協調し、情報を交換できることを示すこと。

提案手法

• エージェントは状態マシンを用い、旅する者（ネットワークを探索中）、探検者（構造化された探索を実行中）、ゴースト（他のエージェントと協調中）のフェーズを持つ。
• アルゴリズムは、一意なラベルベースの優先順位システムを活用する：最大ラベル（M）を持つエージェントがコーディネータとして機能し、最終的なリデューヴァスフェーズを実行するのは唯一のエージェントとなるように保証する。
• トークン伝達メカニズムによりエージェントがラベル情報を共有できる。エージェントがより大きなラベルを持つトークンと遭遇すると、そのエージェントはゴースト状態に移行し、トークンのラベル集合を採用する。
• 探検者状態のフェーズ3では、コーディネータエージェントが深さ優先探索（DFS）木を二度走査することで、ゴースト状態の全エージェントと会合する。
• アルゴリズムは、リデューヴァスとトークンによる情報拡散、および協調的走査を組み合わせることで、すべてのエージェントが最終的に全ラベルを学習することを保証する。
• 固定長の探索シーケンス R(E(n),s) 及びその逆順列を用いることで、ゴースト状態の全エージェントが到達され、完全なラベル集合が知らされる。

実験結果

リサーチクエスチョン

• RQ1 未知のネットワークにおける非同期移動エージェントのための決定的リデューヴァスアルゴリズムを、ネットワークサイズおよび小さいラベルの対数に関して多項式コストとなるように設計できるか？
• RQ2 未知のラベルと共有知識の欠如の下で、悪意ある速度制御のもとで、エージェントが効率的に会合できるか？
• RQ3 このようなリデューヴァスアルゴリズムを用いて、リーダー選出やゴーシップといった基本的な分散問題を多項式総コストで解けるか？
• RQ4 エージェント行動およびラベル調整のどのような構造的性質が、すべてのエージェントが最終的に完全なラベル集合を学習することを保証するか？

主な発見

• 提案されたリデューヴァスアルゴリズムは、ネットワークサイズおよび小さいラベルの対数に関して多項式コストを達成しており、従来の指数的コストの解決策に比べて指数的改善をもたらす。
• アルゴリズムは、最大ラベル（M）を持つエージェントが最終的に全ラベルを学習し、リデューヴァスとトークン伝達により他の全エージェントにこの情報を広めるよう保証する。
• ゴースト状態のエージェントを含め、すべてのエージェントが最終的に完全なラベル集合を学習する。これにより、チームサイズの特定や完全名前割り当てといった問題の解決が可能になる。
• この解決策により、リーダー選出、完全名前割り当て、およびゴーシップが、ネットワークサイズおよびエージェント間の最小ラベルの対数に関して多項式総コストで実現できる。
• 悪意ある速度制御とネットワークの事前知識の欠如の下でも、アルゴリズムはすべてのエージェントが実行終了時点で会合または情報交換を完了することを保証する。
• アルゴリズムの正しさは、エージェント状態およびラベル伝搬に関する不変条件を用いて証明され、どのエージェントも完全なラベル集合を欠落しないことを保証する。