[论文解读] Local Certification of Local Properties: Tight Bounds, Trade-Offs and New Parameters

Nicolas Bousquet, Laurent Feuilloley+1 more|arXiv (Cornell University)|Dec 21, 2023

Complexity and Algorithms in Graphs被引用 2

一句话总结

该论文为三种基本图性质——k-可图染色性、距离-t支配集和最大度Δ的图中的完美匹配——建立了紧致的局部认证大小界限，分别证明了最优认证大小为Θ(log k)、(1/2)log t + o(log t)和Θ(log Δ)。论文引入了新颖的技术来证明这些界限，并揭示了出人意料的结果，例如在平面图中完美匹配仅需2比特认证，同时证明了在构造性验证模型下完美匹配的认证大小下限为Ω(log Δ)比特。

ABSTRACT

Local certification is a distributed mechanism enabling the nodes of a network to check the correctness of the current configuration, thanks to small pieces of information called certificates. For many classic global properties, like checking the acyclicity of the network, the optimal size of the certificates depends on the size of the network, $n$. In this paper, we focus on properties for which the size of the certificates does not depend on $n$ but on other parameters. We focus on three such important properties and prove tight bounds for all of them. Namely, we prove that the optimal certification size is: $Θ(\log k)$ for $k$-colorability (and even exactly $\lceil \log k ceil$ bits in the anonymous model while previous works had only proved a $2$-bit lower bound); $(1/2)\log t+o(\log t)$ for dominating sets at distance $t$ (an unexpected and tighter-than-usual bound) ; and $Θ(\log Δ)$ for perfect matching in graphs of maximum degree $Δ$ (the first non-trivial bound parameterized by $Δ$). We also prove some surprising upper bounds, for example, certifying the existence of a perfect matching in a planar graph can be done with only two bits. In addition, we explore various specific cases for these properties, in particular improving our understanding of the trade-off between locality of the verification and certificate size.

研究动机与目标

• 建立分布式网络中局部性质的紧致、非平凡的认证大小界限，且不依赖于网络规模n。
• 解决关于k-可图染色性最优认证大小的开放问题，以及局部性与认证大小之间的权衡问题。
• 探索超越n的新参数（如k、t和Δ）作为局部认证复杂度的度量。
• 研究构造性验证在局部认证中的作用，特别是针对完美匹配，并在此模型下建立下界。

提出的方法

• 通过组合与图论构造（包括专门设计的图族如G∆和B∆）证明了紧致的上下界。
• 采用证明标签方案，其中节点根据自身及邻居的认证信息执行局部验证规则以决定接受与否。
• 利用极值图论和Hall婚姻定理证明所构造图中不存在完美匹配，从而支持下界论证。
• 引入构造性检查模型，其中每条边根据端点的认证信息独立验证，从而支持匹配的重建。
• 应用轮次消除技术对编码的敏感性，分析认证大小如何依赖于问题表示。
• 通过单射性论证建立下界：不同的顶点标识符排列必须产生不同的认证函数，从而导出对m的下界：∆! ≤ 2^{2m∆}。

实验结果

研究问题

• RQ1 认证k-可图染色性的最优认证大小是多少？能否将其减少到O(log k)比特以下？
• RQ2 距离-t支配集的认证大小如何随t变化？其紧致渐近界是什么？
• RQ3 在最大度Δ的图中，认证完美匹配所需的最小认证大小是多少？它如何依赖于Δ？
• RQ4 在构造性验证模型下，能否用少于Θ(log Δ)比特认证完美匹配？
• RQ5 对于局部性质，局部性（验证半径）与认证大小之间存在何种权衡？

主要发现

• 在匿名模型下，k-可图染色性的最优认证大小恰好为⌈log k⌉比特，解决了长期存在的开放问题。
• 对于距离-t支配集，最优认证大小为(1/2)log t + o(log t)，这一比预期更紧致的界限揭示了非平凡的缩放规律。
• 首次建立了以最大度Δ为参数的非平凡认证大小界限，完美匹配的认证大小为Θ(log Δ)。
• 平面图中的完美匹配仅需2比特即可认证，表明结构约束可显著降低认证大小。
• 证明了构造性验证下完美匹配的认证大小下限为Ω(log Δ)比特，表明Θ(log Δ)在渐近意义上是最优的。
• 为在二分图中认证所有顶点标识符排列所需的不同的认证函数数量，导出下界m ≥ log₂(∆!)/(2∆)，该式简化为Ω(log Δ)。