本地认证中缩小验证半径
分布式、并行与集群计算
2024-08-21 v1
摘要
本文研究本地认证，特别是本地可验证证明：给定一个图性质，任务是认证该图是否满足该性质。此类认证的验证需要在不了解整个图的情况下本地完成。更精确地说，在每个顶点上执行一个称为验证器的分布式算法。验证器观察到局部邻域至某个固定距离，然后接受或拒绝。我们考察可见半径与证书大小之间的权衡。我们描述了一种通过将每个顶点的邻域编码到其证书中来缩小半径的程序。我们还提供了所需证书大小增加的下界，表明此类方法接近最优。
引用
@article{arxiv.2408.10757,
title = {Decreasing verification radius in local certification},
author = {Laurent Feuilloley and Jan Janoušek and Jan Matyáš Křišťan and Josef Erik Sedláček},
journal= {arXiv preprint arXiv:2408.10757},
year = {2024}
}