全局证明的局部验证

在本工作中，我们研究了局部证明与全局证明在分布式验证中的代价。在此设定中，分布式系统的节点被提供一个关于系统状态正确性的非确定性证明，节点需要通过仅观察其在系统中的局部邻域来验证此证明。先前的工作研究了每个节点被给定其自身的、可能是唯一的证明部分作为输入的模型。证明的代价是个体标签的最大大小。我们将此模型与每个节点均可访问相同全局证明的模型进行比较，后者的代价是该全局证明的大小。容易看出，全局证明总是可以包含所有局部证明，而每个局部证明也可以是全局证明的副本。我们表明，存在表现出这些相对证明大小的性质，以及介于两者之间的性质。此外，我们引入了一种新的下界技术，并利用它证明了反转分布式决策复杂性的紧下界，同时建立了通信复杂性与分布式证明复杂性之间的联系。