局部可解任务与价数论证的局限性
分布式、并行与集群计算
2021-07-29 v4
摘要
在著名的FLP共识不可能性证明中引入了一种用于证明分布式计算中不可能性结果的优雅策略。该策略在本质上是局部的：在每一阶段，考虑一个假想共识协议的单一配置，以及其可能扩展的未来价数。该证明策略已用于众多与共识相关的情形，这使人疑惑为何它未被用于另外两个知名任务——集协议与重命名——的不可能性证明中。本文解释了为何这些任务的不可能性证明具有全局性质。文中表明，协议总能在如下意义上局部地解决此类任务：给定一个配置及其所有未来价数，若选定单一后继配置，则协议可揭示该执行分支中的所有决策，满足任务规范。该结果对集协议与重命名均成立，意味着这些任务不存在局部不可能性证明。
引用
@article{arxiv.2011.10436,
title = {Locally Solvable Tasks and the Limitations of Valency Arguments},
author = {Hagit Attiya and Armando Castañeda and Sergio Rajsbaum},
journal= {arXiv preprint arXiv:2011.10436},
year = {2021}
}