面向分布式决策的响应式证明标记方案
分布式、并行与集群计算
2020-11-05 v1
摘要
我们将证明标记方案的定义推广到响应式系统，即配置应持续不断变化之系统。作为一个示例，我们探讨了响应式任务的主要经典测试用例，即令牌传递任务。针对网络假定为树、匿名环或一般图的情况，给出了不同的响应式证明标记方案（RPLS），并分析了其标签大小。我们还探讨了RPLS是否存在的问题。首先，在正面结果方面，我们证明对于任意分布式任务，在具有唯一标识的图族上存在RPLS。对于匿名网络（即使是环的特殊情况），有趣的是，已知即便节点数n已知也不可能存在令牌传递算法。尽管如此，我们证明RPLS是可能的。在负面结果方面，我们证明若放弃n已知的假设，则该构造变得不可能。
引用
@article{arxiv.2011.02224,
title = {Reactive Proof Labeling Schemes for Distributed Decision},
author = {Jiaqi Chen and Shlomi Dolev and Shay Kutten},
journal= {arXiv preprint arXiv:2011.02224},
year = {2020}
}