[论文解读] Lock-in Problem for Parallel Rotor-router Walks

Jérémie Chalopin, Shantanu Das+4 more|arXiv (Cornell University)|Jul 10, 2014

Cellular Automata and Applications参考文献 24被引用 5

一句话总结

本文通过证明并行旋转路由器行走的稳定化周期在图大小上可以是超多项式时间，从而解决了长期存在的猜想：即并行旋转路由器行走的稳定化周期在 O(2m) 步内。本文引入了一种子循环分解方法来表征周期性行为，并提供了稳定化时间的多项式上界，从而实现了对确定性并行旋转路由器系统长期动态行为的高效预测。

ABSTRACT

The rotor-router model, also called the Propp machine, was introduced as a deterministic alternative to the random walk. In this model, a group of identical tokens are initially placed at nodes of the graph. Each node maintains a cyclic ordering of the outgoing arcs, and during consecutive turns the tokens are propagated along arcs chosen according to this ordering in round-robin fashion. The behavior of the model is fully deterministic. Yanovski et al.(2003) proved that a single rotor-router walk on any graph with m edges and diameter $D$ stabilizes to a traversal of an Eulerian circuit on the set of all 2m directed arcs on the edge set of the graph, and that such periodic behaviour of the system is achieved after an initial transient phase of at most 2mD steps. The case of multiple parallel rotor-routers was studied experimentally, leading Yanovski et al. to the conjecture that a system of $k extgreater{} 1$ parallel walks also stabilizes with a period of length at most $2m$ steps. In this work we disprove this conjecture, showing that the period of parallel rotor-router walks can in fact, be superpolynomial in the size of graph. On the positive side, we provide a characterization of the periodic behavior of parallel router walks, in terms of a structural property of stable states called a subcycle decomposition. This property provides us the tools to efficiently detect whether a given system configuration corresponds to the transient or to the limit behavior of the system. Moreover, we provide polynomial upper bounds of $O(m^4 D^2 + mD \log k)$ and $O(m^5 k^2)$ on the number of steps it takes for the system to stabilize. Thus, we are able to predict any future behavior of the system using an algorithm that takes polynomial time and space. In addition, we show that there exists a separation between the stabilization time of the single-walk and multiple-walk rotor-router systems, and that for some graphs the latter can be asymptotically larger even for the case of $k = 2$ walks.

研究动机与目标

• 解决关于 k>1 个并行旋转路由器行走是否在 O(2m) 步内稳定化的开放猜想。
• 通过一种称为子循环分解的新型结构特性，表征并行旋转路由器系统的周期性行为。
• 建立并行旋转路由器系统稳定化时间的多项式上界。
• 利用多项式时间与空间算法，实现对系统未来状态的高效预测。
• 展示单行走与多行走旋转路由器系统在稳定化时间上的分离，即使在 k=2 的情况下也是如此。

提出的方法

• 引入一种称为子循环分解的结构表征方法，用于描述并行旋转路由器系统中稳定周期状态的特性。
• 使用压缩的旋转路由器演化表示法，以支持对令牌位置和访问次数的高效查询操作。
• 在压缩序列上使用前驱数据结构，以 O(log log m) 时间回答位置和访问次数查询。
• 设计一种预处理算法，运行时间为 O(n + m)，以支持对系统在 T 步后状态的快速查询。
• 利用旋转路由器遍历模式的周期性以及欧拉回路遍历的一致性，来建模长期行为。
• 应用探索阶段和边访问次数的概念，以限制随时间推移对节点和边的访问次数。

实验结果

研究问题

• RQ1 k>1 个并行旋转路由器行走的稳定化周期是否如 Yanovski 等人所猜想的那样，始终被 O(2m) 步所限制？
• RQ2 能否通过一种结构不变量来表征并行旋转路由器系统的长期周期性行为？
• RQ3 对于具有 k 个令牌的并行旋转路由器行走，其稳定化时间的最紧致多项式上界是什么？
• RQ4 单行走与多行走旋转路由器系统之间是否存在可证明的稳定化时间分离？
• RQ5 能否设计出在多项式时间与空间内，高效预测 T 步后令牌位置或节点访问次数的算法？

主要发现

• 并行旋转路由器行走的稳定化周期可以是图大小的超多项式时间，从而证伪了其被 O(2m) 步所限制的猜想。
• 系统在 O(m⁴D² + mD log k) 步内稳定，其中 m 为边数，D 为直径。
• 为稳定化时间建立了另一种 O(m⁵k²) 的上界，两者均在图大小上为多项式时间。
• 引入了子循环分解作为结构不变量，可完全表征稳定旋转路由器状态的周期性行为。
• 提供了高效的算法，在 O(n + m) 预处理后，可在 O(log log m) 时间内回答位置和访问次数查询。
• 证明了单行走与多行走旋转路由器系统在稳定化时间上存在分离，即使在 k=2 时，后者也具有渐近更大的稳定化时间。