紧凑确定性自稳定领导者选举：多言的指数优势

本文聚焦于领导者选举问题的紧凑确定性自稳定解决方案。当协议被要求是\emph{静默}的（即，在任何执行过程中，从某一时刻起通信内容保持不变）时，参与领导者选举的每个节点存在 $\Omega(\log n)$ 比特内存的下界（其中 n 表示系统中的节点数）。该下界即使在环中也成立。我们提出了一种新的 n 节点环确定性（非静默）自稳定协议，该协议每个节点仅使用 $O(\log\log n)$ 内存比特，并在 $O(n\log^2 n)$ 轮内稳定。我们的协议具有几个吸引人的特性，使其适合实际应用。首先，通信模型与现有真实网络编译器使用的模型相吻合。其次，任何节点都不需要知道环的大小（或该大小的任何上界）。第三，节点标识符可以有不同的大小。最后，除了弱公平调度器外，没有作任何同步假设。因此，我们的结果表明，也许令人惊讶的是，以静默换取内存空间的指数级改进，在稳定时间或最小假设方面并没有带来高昂的代价。