[论文解读] Preserving Terminal Distances using Minors

Robert Krauthgamer, Tamar Zondiner|arXiv (Cornell University)|Feb 25, 2012

Advanced Graph Theory Research参考文献 12被引用 4

一句话总结

本文引入了距离保持的图 minors——即在一组终端顶点之间精确保持最短路径距离的图 minors。研究建立了针对一般图的此类 minors 所需最小顶点数的紧下界 Ω(k²)，显著优于平凡的 k 界，并在自然支配条件下证明 O(k⁴) 是紧的，从而解决了图压缩领域中一个关键的开放问题。

ABSTRACT

We introduce the following notion of compressing an undirected graph G with edge-lengths and terminal vertices $R\subseteq V(G)$. A distance-preserving minor is a minor G' (of G) with possibly different edge-lengths, such that $R\subseteq V(G')$ and the shortest-path distance between every pair of terminals is exactly the same in G and in G'. What is the smallest f*(k) such that every graph G with k=|R| terminals admits a distance-preserving minor G' with at most f*(k) vertices? Simple analysis shows that $f*(k)\leq O(k^4)$. Our main result proves that $f*(k)\geq Ω(k^2)$, significantly improving over the trivial $f*(k)\geq k$. Our lower bound holds even for planar graphs G, in contrast to graphs G of constant treewidth, for which we prove that O(k) vertices suffice.

研究动机与目标

• 形式化并研究通过 minors 压缩图以精确保持指定一组终端顶点之间最短路径距离的问题。
• 确定此类距离保持 minors 的最小大小，独立于原图大小，作为终端数 k 的函数。
• 通过建立最小可能 minors 大小的紧界，解决该压缩问题的渐近复杂度。
• 探讨一般图与受限图族（如平面图或有界树宽图）在可压缩性方面的结构差异。

提出的方法

• 提出一种新的图压缩原 primitive：距离保持 minors，定义为图 G 的 minors G′，其精确保持所有终端对之间的距离。
• 提出一种构造性算法，通过移除非终端且非最短路径上的顶点，并对度为 2 的非终端顶点进行收缩，以减小图的大小，同时保持终端之间的距离。
• 通过构造一种类似网格的图，其中终端和边交点随机分布，证明在支配条件下 minors 大小的下界为 Ω(k⁴)。
• 应用平面图和树宽相关构造，证明即使对于平面图，Ω(k²) 也是下界，并且对于有界树宽图，O(k) 个顶点已足够。
• 分析保持终端距离的 minors 的结构约束，并证明在距离在 G′ 中支配 G 的条件下，朴素算法的 O(k⁴) 上界是紧的。
• 在平面上运用几何和拓扑论证，证明所有连接终端的路径之间的交点必须保留在任何有效 minors 中，从而强制产生 Ω(k⁴) 个顶点。

实验结果

研究问题

• RQ1 在图的 minors 中，为保持 k 个终端顶点之间所有成对最短路径距离，所需的最小顶点数是多少？
• RQ2 距离保持 minors 的 O(k⁴) 上界能否改进，还是在一般情况下已是紧的？
• RQ3 下界 f*(k) = Ω(k²) 是否在平面图中依然成立，其与有界树宽图的界相比如何？
• RQ4 在额外约束条件下（即 minors 中的距离支配原图中的距离），O(k⁴) 上界是否仍为紧？
• RQ5 由 minors 操作强制的结构相似性是否阻止将终端上的完全图用作压缩解决方案？

主要发现

• 本文建立了距离保持 minors 大小的下界 f*(k) ≥ Ω(k²)，显著优于平凡的 k 界。
• 该下界即使在平面图中也成立，表明平面图无法实现终端距离保持的亚二次压缩。
• 对于有界树宽图，本文证明 O(k) 个顶点已足够，与一般图形成鲜明对比。
• 在距离在 minors 中支配原图的条件下，O(k⁴) 上界是紧的，这通过一个概率构造（产生 Ω(k⁴) 个顶点）得以证明。
• 在随机类似网格的构造中存在 Ω(k⁴) 个交点，强制任何有效 minors 必须包含这些点，从而在支配条件下证明了 O(k⁴) 上界的紧性。
• 该结果表明，为在一般图中实现亚四次方压缩，可能必须放弃支配条件（dG′(u,v) ≥ dG(u,v)）。