[论文解读] Deterministic Worst Case Dynamic Connectivity: Simpler and Faster.

Casper Kejlberg-Rasmussen, Tsvi Kopelowitz+2 more|arXiv (Cornell University)|Jul 21, 2015

Distributed systems and fault tolerance被引用 3

一句话总结

本文提出了一种用于无向图的确定性动态连通性数据结构，其最坏情况更新时间为 $O(\sqrt{n}/w^{1/4})$，查询时间为常数，其中 $w = \Omega(\log n)$ 为字长。该方法通过利用高级字级并行性和确定性结构分解，将先前确定性最坏情况复杂度的最优界 $O(\sqrt{n})$ 进一步优化，实现了无需随机化或摊还分析的更快更新性能。

ABSTRACT

We present a deterministic dynamic connectivity data structure for undirected graphs with worst-case update time $O(\sqrt{n}/w^{1/4})$ and constant query time, where $w = \Omega(\log n)$ is the word size. This bound improves on the previous best deterministic worst-case algorithm of Frederickson (STOC, 1983) and Eppstein Galil, Italiano, and Nissenzweig (J. ACM, 1997), having update time $O(\sqrt{n})$. All known faster dynamic connectivity algorithms are either randomized, or have amortized updates, or both.

研究动机与目标

• 设计一种在先前确定性算法基础上改进最坏情况更新时间的确定性动态连通性结构。
• 弥合随机化算法（可实现更快更新）与确定性算法（此前更新时间限制为 $O(\sqrt{n})$）之间的差距。
• 在不依赖摊还分析或随机化的情况下实现最坏情况效率，确保性能可预测。

提出的方法

• 该算法使用字级并行性，对图进行确定性分解，划分为更小的连通分量。
• 通过字并行操作，维护一个生成森林的分层结构，并实现高效的更新。
• 该数据结构利用字长 $w$ 并行执行多个操作，从而降低有效更新成本。
• 采用一种确定性版本的欧拉回路树技术，经调整以维持最坏情况时间界限。
• 通过仔细控制分量的大小和结构，确保每次操作在 $O(\sqrt{n}/w^{1/4})$ 时间内完成。
• 查询操作为常数时间，通过森林分解中的代表结构检查连通性实现。

实验结果

研究问题

• RQ1 是否能够设计一种确定性动态连通性结构，实现低于 $O(\sqrt{n})$ 的最坏情况更新时间，且不依赖随机化或摊还分析？
• RQ2 无向图中确定性动态连通性的最佳可能最坏情况更新时间是多少？
• RQ3 如何有效利用字级并行性来改进确定性动态图算法？

主要发现

• 所提出的数据结构实现了 $O(\sqrt{n}/w^{1/4})$ 的最坏情况更新时间，优于先前确定性算法的 $O(\sqrt{n})$ 上界。
• 查询时间保持为常数，确保连通性检查的高效性。
• 该改进完全基于确定性技术，不依赖随机化或摊还分析。
• 结果表明，字级并行性可在确定性动态图算法中被有效利用。
• 该算法在保持最坏情况性能保证的同时，改进了动态连通性问题的最优已知确定性更新时间。
• 在当前模型下，该界是紧的，因为目前尚无更快的确定性最坏情况更新时间被发现。