[论文解读] Twenty-Two New Approximate Proof Labeling Schemes

Yuval Emek, Yuval Gil|arXiv (Cornell University)|Jan 1, 2020

Complexity and Algorithms in Graphs被引用 3

一句话总结

本文提出了二十二种新的近似证明标记方案（APLS），适用于各种图属性，将证明标记方案框架扩展至允许验证近似解。通过允许接受与满足某个性质接近的配置，该方案在保持有界近似误差的前提下减少了标签大小。

ABSTRACT

Introduced by Korman, Kutten, and Peleg (Distributed Computing 2005), a \emph{proof labeling scheme (PLS)} is a system dedicated to verifying that a given configuration graph satisfies a certain property. It is composed of a centralized \emph{prover}, whose role is to generate a proof for yes-instances in the form of an assignment of labels to the nodes, and a distributed \emph{verifier}, whose role is to verify the validity of the proof by local means and accept it if and only if the property is satisfied. To overcome lower bounds on the label size of PLSs for certain graph properties, Censor-Hillel, Paz, and Perry (SIROCCO 2017) introduced the notion of an \emph{approximate proof labeling scheme (APLS)} that allows the verifier to accept also some no-instances as long as they are not too far from satisfying the property.

研究动机与目标

• 解决传统证明标记方案（PLS）在某些图属性上存在的高标签大小限制问题。
• 将PLS框架扩展至允许近似验证，即接受接近满足性质的配置。
• 为多种图属性设计高效的APLS，提升分布式系统中的可扩展性和实用性。
• 证明近似方案相比精确PLS可显著减少标签大小，同时在有界误差范围内保持正确性。

提出的方法

• 调整证明标记方案（PLS）框架，使验证者能够接受与目标性质在有界距离内的配置。
• 引入一种宽松的接受标准，即若配置与满足性质的距离不超过阈值，验证者即接受，该距离通过距离函数衡量。
• 通过利用图的结构特征和局部验证规则，为特定图属性设计新的APLS构造方法。
• 使用集中式证明者根据图的结构以及节点与满足性质的接近程度，为节点分配标签。
• 采用仅依赖本地信息的局部验证规则，检查一致性和与有效配置的接近程度。
• 形式化定义（c, d）-近似证明标记方案，其中c为近似因子，d为距离阈值。

实验结果

研究问题

• RQ1 能否为广泛图属性构造出相比精确PLS显著减少标签大小的近似证明标记方案？
• RQ2 在分布式验证系统中，近似误差与标签大小之间的权衡关系如何？
• RQ3 如何设计验证者，使其在不损害正确性的前提下接受接近满足性质的配置？
• RQ4 哪些图属性可实现高效的APLS构造，其结构特征为何能促成此结果？

主要发现

• 本文为多种图属性提出了二十二个新的APLS构造，证明了在分布式系统中实现近似验证的可行性。
• 每种APLS构造相比已知的精确PLS，在相同属性下均实现了显著的标签大小减少。
• 该方案允许验证者接受与满足性质在有界距离内的配置，从而对轻微的结构偏差具有鲁棒性。
• 该框架通过引入对正确性的受控放松，扩展了PLS，使系统在通信或存储受限的场景中具备实际部署潜力。