时间、空间与负载之间的权衡：以自稳定统一问题为例

我们提出了一种针对（异步）统一问题的自稳定算法，该算法在弱模型中实现了时间、负载与空间之间的高效权衡。确切地说，我们的算法定义于原子状态模型中，可在甚至本地端口也未标记的匿名网络中工作。它不对守护进程作任何假设，因而可在最弱的守护进程下稳定：分布式不公平守护进程。在直径为 $D$ 的 $n$ 节点网络中，假设周期 $B \geq 2D+2$，我们的算法每个节点仅需 $O(\log B)$ 比特即可实现完全多项式性，因为它最多在 $2D-2$ 轮和 $O(\min(n^2B, n^3))$ 次移动内稳定。特别地，据我们所知，这是首个针对任意匿名网络、在每个节点使用有界内存的情况下以渐近最优的轮数稳定化时间的自稳定统一算法。最后，我们展示了我们的方案可高效地在异步环境中模拟同步自稳定算法。这提供了一种新的最先进算法，可在任意已标识连通网络中解决领导者选举和生成树构造问题，据我们所知，它击败了文献中所有现有方案。