[论文解读] Brief Announcement: Self-Stabilizing Graph Exploration by a Single Agent

Yuichi Sudo, Fukuhito Ooshita+1 more|arXiv (Cornell University)|Oct 18, 2020

Optimization and Search Problems参考文献 11被引用 1

一句话总结

本文提出两种自稳定算法，用于单个移动代理在无唯一节点标识符的无向连通图中进行探索。随机化算法在期望覆盖时间达到最优的 O(m) 的同时，仅需 O(log c) 的代理内存和每个节点 O(log(c + δv)) 的存储空间；而确定性算法则确保在 O(m + nD) 的覆盖时间内完成探索，仅使用 O(log k) 的内存，两种算法均可从任意初始配置开始运行，且仅依赖本地端口编号和白板读写访问。

ABSTRACT

In this paper, we present two self-stabilizing algorithms that enable a single (mobile) agent to explore graphs. The agent visits all nodes starting from any configuration, i.e., regardless of the initial state of the agent, the initial states of all nodes, and the initial location of the agent. We evaluate the algorithms using two metrics: cover time, which is the number of moves required to visit all nodes, and memory usage, which includes the storage needed for the state of the agent and the state of each node. The first algorithm is randomized. Given an integer c = Ω(n), the cover time of this algorithm is optimal, i.e., O(m) in expectation, and the memory requirements for the agent and each node v are O(log c) and O(log (c+δ_v)) bits, respectively, where n and m are the numbers of nodes and edges, respectively, and δ_v is the degree of v. The second algorithm is deterministic. It requires an input integer k ≥ max(D,δ_max), where D and δ_max are the diameter and the maximum degree of the graph, respectively. The cover time of this algorithm is O(m + nD), and it uses O(log k) bits both for agent memory and each node.

研究动机与目标

• 设计适用于无唯一节点标识符的匿名无向图中单个移动代理的自稳定探索算法。
• 确保代理能从任意初始配置（包括不一致的代理状态和白板内容）访问所有节点。
• 最小化覆盖时间（访问所有节点所需的移动次数）和内存使用量（代理与节点存储空间）。
• 在自稳定约束下，提供具有可证明性能边界的随机化与确定性解决方案。
• 使系统能够在存在瞬态故障的场景中实际部署，例如机器人网络或分布式传感器场。

提出的方法

• 随机化算法 Rc 基于邻居度数的偏差随机游走，转移概率与 δu^(-1/2) 成正比，当 c = Ω(n) 时可实现最优覆盖时间。
• 代理维护 O(log c) 位状态，每个节点 v 存储 O(log(c + δv)) 位，利用本地端口编号和白板访问。
• 确定性算法 Dk 采用基于阶段的、类似广度优先搜索的树扩展策略，从根节点开始，当检测到层级不一致时触发阶段重置。
• 每个阶段通过最短路径树结构逐跳扩展探索树，确保在 D 步内覆盖所有节点。
• 代理通过层级差异检测不一致性，当遇到层级异常偏低的节点时，将阶段计数器重置为零。
• 两种算法均依赖局部信息和白板更新，确保对瞬态故障的鲁棒性，并能从任意初始状态实现自稳定。

实验结果

研究问题

• RQ1 单个代理能否在任意初始配置下，使用最小内存和覆盖时间，在匿名无向图中探索所有节点？
• RQ2 自稳定随机化算法所能达到的最佳覆盖时间是多少？需要多大的内存开销？
• RQ3 能否设计一种确定性自稳定探索算法，实现 O(m + nD) 的覆盖时间，且每个节点的内存使用为次线性？
• RQ4 对直径 D 和最大度 δmax 的先验知识如何影响确定性自稳定探索算法的设计与性能？
• RQ5 能否在不依赖唯一节点标识符的前提下，仅依靠本地端口编号和白板存储实现自稳定探索？

主要发现

• 当 c = Ω(n) 时，随机化算法 Rc 实现了 O(m) 的期望覆盖时间，这是图探索的最优结果。
• 对于一般情况 c ≥ 2，覆盖时间被限制在 O(m · min{D, n/c + 1, D/c + log n}) 内，显示出对不同图结构的适应性。
• 确定性算法 Dk 确保覆盖时间为 O(m + nD)，且代理与每个节点仅使用 O(log k) 位内存，其中 k ≥ max(D, δmax)。
• 两种算法均具备自稳定特性：可从任意初始配置恢复，包括任意代理状态和损坏的白板内容。
• 确定性算法采用基于层级不一致的阶段重置机制，确保最终收敛到正确的探索行为。
• 两种算法仅需本地端口编号和白板读写操作，适用于实际的机器人系统或分布式系统。