[论文解读] A note on distance labeling in planar graphs

Paweł Gawrychowski, Przemysław Uznański|arXiv (Cornell University)|Nov 20, 2016

Algorithms and Data Compression参考文献 1被引用 7

一句话总结

本文提出了一种针对无权无向平面图的距离标签方案，其标签大小为 O(√n) 位，优于先前的 O(√n log n) 上界。该方法利用带权分隔符与细分环的定制平面分隔定理，压缩距离差异，从而实现高效标签构造与距离计算，且达到最优渐近标签长度。

ABSTRACT

A distance labeling scheme is an assignments of labels, that is binary strings, to all nodes of a graph, so that the distance between any two nodes can be computed from their labels and the labels are as short as possible. A major open problem is to determine the complexity of distance labeling in unweighted and undirected planar graphs. It is known that, in such a graph on $n$ nodes, some labels must consist of $Ω(n^{1/3})$ bits, but the best known labeling scheme uses labels of length $O(\sqrt{n}\log n)$ [Gavoille, Peleg, Pérennes, and Raz, J. Algorithms, 2004]. We show that, in fact, labels of length $O(\sqrt{n})$ are enough.

研究动机与目标

• 解决无权平面图距离标签的 Ω(n^{1/3}) 下界与 O(√n log n) 上界之间长期存在的差距。
• 设计一种标签大小为 O(√n) 位的标签方案，优于先前的 O(√n log n) 上界。
• 通过新颖地应用带权分隔定理与细分环，压缩距离表示，实现该目标。
• 证明沿分隔符环的距离差异序列可利用三角剖分与细分平面图的结构特性进行压缩。

提出的方法

• 通过将图 G 的每个面替换为一个细分环，构造一个平面图 G′，以确保 2-连通性与有界面大小。
• 为 G′ 中的顶点分配权重，使得原顶点权重为 1，新增的辅助顶点权重为 0，总和为 1。
• 应用带权分隔定理，在 G′ 中找到大小为 O(√n) 的简单环分隔符 S′，其在 G 中诱导出分隔符 S = S′ ∩ G。
• 利用分隔符 S 递归划分 G，通过差分编码存储每个节点到 S 的距离：显式存储 δ(v,u₁)，对 i > 1 存储 δ(v,uᵢ)−δ(v,uᵢ₋₁)。
• 利用结构特性：|δ(uᵢ₋₁,uᵢ)| ≤ δ(uᵢ₋₁,uᵢ)，且细分环中的环段可实现距离差异的对数压缩。
• 通过归纳法证明：沿环的距离差异总编码长度为 O(√n)，使用不等式 ∑ log(1 + dᵢ) ≥ log(1 + d) 对路径段进行推导。

实验结果

研究问题

• RQ1 无权平面图的距离标签大小能否低于 O(√n log n)？
• RQ2 是否可通过利用平面分隔符中的结构可压缩性，实现 O(√n) 的标签大小？
• RQ3 是否可在任意平面图中构造出具有有界环长与可压缩距离差异的带权分隔符？
• RQ4 在面替换中使用细分环是否能保持标签所需的必要距离性质？

主要发现

• 本文证明了在无权无向平面图中，每个标签使用 O(√n) 位是充分的，优于先前的 O(√n log n) 上界。
• 关键技术洞见在于：沿分隔符环的距离差异序列可通过一种新颖的细分环构造实现压缩，使总编码大小降至 O(√n)。
• 通过将面替换为细分环并应用带权分隔定理，作者确保了环上 log(δ(uᵢ, uᵢ₊₁)) 的总和为 O(√n)，从而实现高效编码。
• 使用此压缩分隔符表示的递归标签方案，总标签大小达到 O(√n)，与目前已知的最佳下界仅相差常数因子。
• 通过使用面替换为细分环以强制实现 2-连通性与有界面大小，该构造适用于所有平面图，而不仅限于三角剖分图。