[論文レビュー] Delays Induce an Exponential Memory Gap for Rendezvous in Trees

Pierre Fraigniaud, Andrzej Pelc|arXiv (Cornell University)|Feb 2, 2011

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

ひとこと要約

この論文は、木構造において、同一の2つのエージェント間の決定的レンドヴゥーズに必要な記憶領域は、葉の数 ℓ とノード数 n の対数に強く依存することを確立している。同時に開始する場合、任意の n ノードおよび ℓ 葉を持つ木において、O(log ℓ + log log n) ビットの記憶領域で十分であることを証明しており、この上限は最適である。主な貢献は、任意の遅延がある場合（Ω(log n) ビットが必要）と遅延なしの場合（O(log ℓ + log log n) ビットで十分）の間で、特に多対数的葉数を持つ木において、記憶領域の複雑さに指数的ギャップが生じることである。

ABSTRACT

The aim of rendezvous in a graph is meeting of two mobile agents at some node of an unknown anonymous connected graph. In this paper, we focus on rendezvous in trees, and, analogously to the efforts that have been made for solving the exploration problem with compact automata, we study the size of memory of mobile agents that permits to solve the rendezvous problem deterministically. We assume that the agents are identical, and move in synchronous rounds. We first show that if the delay between the starting times of the agents is arbitrary, then the lower bound on memory required for rendezvous is Omega(log n) bits, even for the line of length n. This lower bound meets a previously known upper bound of O(log n) bits for rendezvous in arbitrary graphs of size at most n. Our main result is a proof that the amount of memory needed for rendezvous with simultaneous start depends essentially on the number L of leaves of the tree, and is exponentially less impacted by the number n of nodes. Indeed, we present two identical agents with O(log L + loglog n) bits of memory that solve the rendezvous problem in all trees with at most n nodes and at most L leaves. Hence, for the class of trees with polylogarithmically many leaves, there is an exponential gap in minimum memory size needed for rendezvous between the scenario with arbitrary delay and the scenario with delay zero. Moreover, we show that our upper bound is optimal by proving that Omega(log L + loglog n)$ bits of memory are required for rendezvous, even in the class of trees with degrees bounded by 3.

研究の動機と目的

• 匿名の木構造における同一の2つのエージェント間の決定的レンドヴゥーズに必要な最小記憶領域サイズを特定すること。
• レンドヴゥーズの記憶領域複雑度が、特に葉の数 ℓ とノード数 n の構造的特性にどのように依存するかを分析すること。
• 任意の遅延がある場合と同時に開始する場合の間で、記憶領域要件に差が生じるかを確立すること。
• O(log ℓ + log log n) の上界が、最大次数 3 の制限付き木クラスでさえも最適であることを証明すること。

提案手法

• 著者たちは、敵対的ポートラベル付けを想定し、エージェントが同一であり、ラウンド単位で同期的に移動するレンドヴゥーズプロトコルを分析している。
• エージェントの状態から状態遷移およびサイドツリー内の巡回期間を定義する行動関数に基づくフレームワークを導入している。
• 小規模な記憶領域 k ≤ 1/3 log ℓ の場合、複数の非同型なサイドツリーが同一の行動関数を持つことを示すために、鳩の巣原理を用いている。
• 偶数長の中央パスを介して2つのサイドツリーを接続することで二重ツリーを構築し、対称的なポートラベル付けによりサイドツリー内で会合が生じないようにしている。
• 十分な記憶領域がない場合、エージェントは対称的なサイドツリーを区別できず、偶奇性とタイミング制約により会合に至らない軌道が生じることを証明している。
• 背理法により下界を確立している：記憶領域が小さすぎると、非対称化不能な構成で対称性を破ることができず、レンドヴゥーズに失敗する。

実験結果

リサーチクエスチョン

• RQ1 エージェントが任意の遅延で開始する場合、木構造における決定的レンドヴゥーズに必要な最小記憶領域サイズは何か？
• RQ2 木構造におけるレンドヴゥーズの記憶領域複雑度は、葉の数 ℓ とノード数 n にどのように依存するか？
• RQ3 同時に開始する場合のレンドヴゥーズの記憶領域要件は、任意の遅延がある場合と比べて著しく小さくなるか？
• RQ4 ℓ 個の葉と n 個のノードを持つ木におけるレンドヴゥーズの記憶領域サイズに対する上界 O(log ℓ + log log n) が最適であるか？
• RQ5 最大次数 3 の木におけるレンドヴゥーズの記憶領域複雑度は何か、特に多対数的葉数を持つ木の場合にどうか？

主な発見

• 任意の遅延がある場合、任意の木においてレンドヴゥーズに Ω(log n) ビットの記憶領域が必要である。これは、長さ n の直線でも同様に成り立つ。
• 同時に開始する場合、n ノード以下および ℓ 葉以下のすべての木において、O(log ℓ + log log n) ビットの記憶領域で十分である。
• 上界 O(log ℓ + log log n) は最適であり、最大次数 3 の木クラスでさえも Ω(log ℓ + log log n) ビットが必要である。
• 無限に多くの ℓ に対して、ℓ 個の葉を持つ木は、同時に開始する場合に Ω(log ℓ) ビットの記憶領域を必要とする。
• 長さ n の直線は、最大次数 3 の制約下でも、同時に開始する場合に Ω(log log n) ビットの記憶領域を必要とする。
• 多対数的葉数を持つ木において、任意の遅延がある場合（Ω(log n)）と遅延なしの場合（O(log ℓ + log log n)）の間で、記憶領域要件に指数的ギャップが存在する。