一种内存高效的自稳定 BFS 生成树分析
分布式、并行与集群计算
2019-07-19 v1
摘要
我们呈现了与已故友人 Ajoy Kumar Datta 教授(1958-2019)合作的最后一个课题的成果。在本工作中,我们对 Colette Johnen 于 1997 年提出的自稳定波算法作了新的阐释。该算法在任何连通有根网络中构造一棵 BFS 生成树。如今,就内存需求而言它仍是最佳的现有自稳定 BFS 生成树构造,即每条边仅需 比特。然而,它是在弱公平守护进程假设下被证明的。此外,其稳定时间未知。此处,我们研究该算法稍作修改的版本,仍保持相同的内存需求。我们证明了该变体在分布式不公平守护进程下的自稳定性,并给出 轮的稳定时间,其中 为网络直径, 为进程数。
引用
@article{arxiv.1907.07944,
title = {Analysis of a Memory-Efficient Self-Stabilizing BFS Spanning Tree},
author = {Ajoy K. Datta and Stéphane Devismes and Colette Johnen and Lawrence L. Larmore},
journal= {arXiv preprint arXiv:1907.07944},
year = {2019}
}