抗移动敌手的分布式 CONGEST 算法

Ostrovsky 和 Yung 在 1991 年 PODC 的奠基性论文中引入了在可动态出现在网络各处的移动敌手存在下的分布式计算研究。多年来，该设置主要在通信图完全连通的假设下被研究。另一方面，针对一般图的弹性 CONGEST 算法目前仅已知用于经典静态设置，即受损边（或节点）集合在整个计算过程中固定。我们通过提供轮数高效的模拟来填补这一空白，这些模拟将给定的 CONGEST 算法转化为等价于抗 $f$-移动边敌手的算法。我们的主要结果是：-完美安全性与移动窃听者：将任意 $r$-轮 $f$-静态安全算法转化为等价的 $\Theta(f)$-移动安全算法，具有 $\Theta(r)$ 轮。我们还表明 [Hitron, Parter and Yogev, DISC 2022 & ITCS 2023] 的 $f$-静态安全算法可被修改为具有相同轮数的 $f$-移动安全算法。-抗移动拜占庭敌手的弹性：一种 $f$-移动拜占庭模拟，基于将图分解为低直径边不交生成树。这为我们提供了针对扩展图的近最优 CONGEST 编译器。它还导致了在 congested-clique 模型下抗 $\Theta(n)$-移动敌手的近最优编译器。对于具有 $f$-移动敌手的通用 $(2f+1)$ 边连通图，当提供可信预处理阶段时，我们几乎匹配了 $f$-静态设置已知的界。我们的结果基于来自交互编码 [Gelles, Found. Trends Theor. Comput. Sci. 2017]、线性草图和低拥塞图分解的一组工具。所引入的工具集可能对弹性计算有进一步应用。