[论文解读] 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

一句话总结

本文证明，在树结构中，两个相同代理进行确定性会面所需的内存大小，关键取决于叶节点数 ℓ 和节点数 n 的对数。研究证明，在同步启动的情况下，O(log ℓ + log log n) 位内存足以在任意具有 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.

研究动机与目标

• 确定在匿名树中，两个相同代理进行确定性会面所需的最小内存大小。
• 分析会面内存复杂度如何依赖于树的结构特性，特别是叶节点数 ℓ 和节点数 n。
• 在存在任意延迟与同步启动两种情形之间，建立内存需求的分离。
• 证明在最大度为 3 的树类中，上界 O(log ℓ + log log n) 仍为最优。

提出的方法

• 作者在对抗性端口标记假设下分析会面协议，假设代理相同且以同步轮次移动。
• 他们提出一种基于行为函数的框架，该函数将代理状态映射为状态转移和子树中的巡游时长。
• 他们使用鸽巢原理论证：当内存 k ≤ 1/3 log ℓ 时，多个非同构的子树必须具有相同的行为函数。
• 他们通过在中心路径（长度为偶数）上连接两个子树，构造出双侧树，并采用对称的端口标记以防止代理在子树中相遇。
• 他们证明，若内存不足，代理将无法区分对称的子树，从而因奇偶性与时间约束导致轨迹不相遇。
• 他们通过反证法建立下界：若内存过小，代理将无法在不可对称化的配置中打破对称性，导致会面失败。

实验结果

研究问题

• 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 ℓ) 位内存。
• 即使在度为 3 的约束下，长度为 n 的路径在同步启动下会面仍需 Ω(log log n) 位内存。
• 在叶节点数为对数多项式量级的树中，会面的内存需求在存在任意延迟时（Ω(log n)）与零延迟时（O(log ℓ + log log n)）之间存在指数级差距。