22个新的近似证明标号方案（完整版）

Twenty-Two New Approximate Proof Labeling Schemes (Full Version)

Yuval Emek, Yuval Gil

摘要：

\emph{proof labeling scheme (PLS)}是由Korman、Kutten和Peleg（分布式计算2005）介绍的一种系统，专门用于验证给定的配置图是否满足某个属性。它是由一个集中的\emph{prover}，其作用是生成一个证明是的实例的形式的标签分配到节点，和一个分布式的\emph{verifier}，其作用是验证的有效性证明本地的手段，并接受它，当且仅当该属性得到满足。为了克服某些图属性的PLS标签大小的下限，Censor-Hillel，Paz和Perry（SIROCCO 2017）引入了\emph{approximate proof labeling scheme (APLS)}的概念，允许验证者也接受一些无实例，只要它们距离满足属性“太远”。

英文摘要：

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.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

有向平面图中可达性与近似距离的最优容错标记

Õptimal Fault-Tolerant Labeling for Reachability and Approximate Distances in Directed Planar Graphs

本研究提出一种针对有向加权平面图的$\tilde O(1)$大小容错标记方案，可仅通过三个顶点的标记在$\tilde O(1)$时间内求解单故障下的$(1+\u03b5)$近似距离查询，填补了该领域此前无高效方案的空白，且优于可达性问题原有的集中式预言机结果。

2025-03-24cs.DCcs.DS

平面性的常数时间近似证明标号方案

Planarity can be Verified by an Approximate Proof Labeling Scheme in Constant-Time

Censor-Hillel、Paz和Perry \cite{CPP}提出了近似证明标记方案。粗略地说，如果在不依赖于图的大小的短时间段内，具有该属性的图的顶点可以确信它们具有属性$\cP$或者至少它们离具有属性$\cP$不远，则可以通过恒定时间的近似证明标记方案来验证图属性~ $\cP$。本文的主要结果是：有界度可平面图（以及外可平面图、有界亏格图、可嵌入图等）可以通过恒定时间的近似证明标签方案来验证。

2022-05-24cs.DCmath.CO

一个最优的数学标号方案及其在XML树和泛偏序集上的应用

An Optimal Ancestry Labeling Scheme with Applications to XML Trees and Universal Posets

在本文中，我们解决了祖先标记方案的问题，其目的是分配最短的标签（位串）的根树的节点，使祖先查询任何两个节点之间可以回答通过检查其分配的标签。这个问题是在二十多年前由Kannan等人提出的。[STOC '88]，并且是信息标记方案领域中研究最充分的问题之一。我们为$n$ -节点树构造了一个祖先标记方案，其标记大小为$\log_2 n + O(\log \log n)$位，从而匹配Alstrup等人[SODA '03]给出的$\log_2 n + O(\log \log n)$位下界。我们的计划是基于一个简化的祖先计划，操作非常好的一组有限的树。特别地，对于深度至多为d的n节点树的集合，简化的祖先方案享有$\log_2 n + 2 \log_2 d + O(1)$比特的标签大小。由于大多数XML树的深度最多是某个小常数，因此这种祖先模式可能有实际用途。此外，我们还得到了一个邻接标签计划，标签深度为d的n-节点树的大小$\log_2 n + 3 \log_2 d + O(1)$位的标签。我们所有的方案分配的标签在线性时间，并保证任何查询可以回答在常数时间。最后，我们的祖先计划发现应用程序的建设小型通用偏序集（偏序集）。具体地说，对于任意固定整数k，它使得能够为树维至多为$k$的$n$ -元偏序集族构造大小为$\tilde O(n^k)$的泛偏序集。由于Alon和Scheinerman […

2016-11-08cs.DCcs.DS

局部限制证明标记方案（完整版）

Locally Restricted Proof Labeling Schemes (Full Version)

由Korman，Kutten，and Peleg（PODC 2005）提出的证明标记方案（Proof Labeling Scheme，PLS）是一种分布式验证系统，专门用于评估给定的配置图是否满足某个属性。它涉及一个集中式证明器，其作用是通过向节点分配标签来提供给定配置图是yes实例的证明，以及一个分布式验证器，其作用是通过本地访问分配的标签来验证给定证明的有效性。在本文中，我们引入了一个局部限制PLS的概念，其中证明者的权力被限制到一个多项式对数轮数的算法。为了规避内在的不可能性PLS在本地限制设置，我们转向模型，放宽正确性要求，允许验证者接受一些无实例，只要他们不是“太远”，从满足有关属性。为此，我们评估（1）分布式图优化问题（OptDGP）的概念的基础上的一个近似的证明标记方案（APLS）（类似于放松的类型，用于顺序近似算法）;和（2）配置的图形家庭（CGF）的概念的基础上的atesting证明标记方案（TPLS）（类似于放松的类型，用于属性测试算法）。

2022-08-24cs.DCcs.DS

容错标记和紧凑路由方案

Fault-Tolerant Labeling and Compact Routing Schemes

本文提出了一般图的容错（FT）标记计划，以及改进的FT路由计划。对于给定的$n$ -顶点图$G$和关于故障数量的约束$f$，$f$-FT连通性标记方案是一种分布式数据结构，它为每个图边和顶点分配短标记，使得给定顶点$s$和$t$的标记，以及至多$f$失败边$F$，可以确定$s$和$t$在$G \setminus F$中是否连通.主要的复杂性度量是单个标签的长度。由于他们的介绍[Courcelle，Twigg，STACS '07]，紧凑的FT标签计划已被设计成只为有限的集合的图形家庭。在这项工作中，我们填补了这一空白，提出了两个（独立的）FT连接标记计划的一般图形，具有接近最佳的标签长度。这也是提供FT近似距离标记方案以及最终路由方案的基础。我们的主要结果为$n$ -顶点图和故障绑定$f$是：--有一个随机FT连接标签计划的标签长度为$O(f+\log n)$位，因此最佳的$f=O(\log n)$。该方案基于循环空间采样的概念[Pritchard，Thurimella，TALG '11]。--存在具有$O(\log^3 n)$比特的标签长度的随机FT连通性标签方案（与故障的数量$f$无关）。该方案基于[Ahn等人，SODA '12]。--对于$k\geq 1$，有一种随机路由选择方案，它在存在一组故障边$F$的情况下，将消息从$s$路由到$t$，具有伸展$O(|F|^2 k)$和大…

2021-06-01cs.DCcs.DS

确定性容错连通性标记方案

Deterministic Fault-Tolerant Connectivity Labeling Scheme

本文提出确定性容错连通性标记方案，通过纠错码和图稀疏化技术，实现O(f² polylog(n))标签大小，解决开放问题并改进距离标记与路由。

2023-11-16cs.DCcs.DS

更多相关论文收起更多论文

某些几何求交图类识别的分布式交互证明

Distributed Interactive Proofs for the Recognition of Some Geometric Intersection Graph Classes

一个图$G=(V,E)$是一个几何求交图，如果每个节点$v \in V$都被标识为某种特定类型的几何对象，并且如果相应的对象相交，则两个节点相邻。本文从理论和实践两个方面对几何求交图类进行了研究。一方面，当输入图被限制为一类几何求交图时，许多困难的问题可以被有效地求解或近似。另一方面，这些图自然出现在许多应用中，如传感器网络，调度问题等。最近，在分布式认证和分布式交互证明的背景下，图类的识别开始得到深入研究。不同的结果涉及到树、二分图、有界直径图、无三角形图、平面图、有界亏格图、$H$ -次自由图等的识别，已经获得。本工作的目标是设计有效的分布式协议，识别相关的几何求交图类，即置换图，梯形图，圆图，和双圆图。更确切地说，对于前两个类，我们给出了证明标签方案，用数字大小的证书来识别它们。对于其他两个类，我们给出了三轮分布式交互协议，使用大小为$\mathcal{O}(\log n)$的消息和证书。最后，我们提供了对数下限的大小上的证书的证明标签计划的任何上述几何求交图形类的识别。

2021-12-06cs.DC