皮埃尔·弗拉吉奥德;佩德罗·蒙塔雷格里;罗特姆·奥斯曼;伊万·拉帕波特;爱荷华州托丹加 分布式Merlin-Arthur决策协议。 （英语） Zbl 1534.68069号 Censor-Hillel，Keren（编辑）等人，《结构信息和通信复杂性》。第26届国际学术讨论会，2019年7月1日至4日，意大利拉奎拉，SIROCCO 2019。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11639, 230-245 (2019). 摘要：在分布式局部可检查证明中，我们感兴趣的是检查给定网络配置相对于某些布尔谓词的合法性。为此，网络需要一个证明者的帮助，这是一个计算绑定的预言器，旨在通过向节点提供构成分布式合法性证明的证书，使网络相信其状态是合法的。然后，节点通过检查证书、本地邻居和邻居的证书来验证证据。在本文中，我们研究了一种随机形式的局部可检查证明的威力，这种证明称为分布式Merlin-Arthur协议，简称dMA。在dMA协议中，证明程序为每个节点分配一个短证书，然后节点与邻居交换随机消息。我们表明，尽管存在dMA协议比不使用随机性的协议更有效的问题，但对于一些自然问题，包括领导人选举、直径、对称性和计算不同元素，dMA协议并不比标准的非确定性协议更有效。这与Arthur-Merlin（dAM）协议和随机化证明标记方案（RPLS）形成了对比，后者至少在某些上述属性中提供了证书大小的改进。关于整个系列，请参见[Zbl 1416.68005号]. 引用于7文件 MSC公司： 2010年第68季度 计算模式（非确定性、并行、交互式、概率性等） 68个M12 网络协议 68兰特 计算机科学中的图论（包括图形绘制） 68瓦20 随机算法 关键词：分布式验证;不确定性;交互式计算;交互式证明系统 PDF格式BibTeX公司 XML格式引用 \textit{P.Fraignaud}等人，Lect。注释计算。科学。11639、230-245（2019年；Zbl 1534.68069） 全文： 内政部