[论文解读] The minimum stretch spanning tree problem for typical graphs

Lan Lin, Yixun Lin|arXiv (Cornell University)|Dec 10, 2017

Advanced Graph Theory Research参考文献 19被引用 3

一句话总结

本文通过推导树伸展不变量 𝜎𝑇(G) 的精确值，解决了若干经典图类的最小伸展生成树问题。通过平面图中的面层级分析建立紧致下界，并构造出达到这些下界的最优生成树，为彼得森图、完全 k-部图、分离图、广义凸图以及多种平面网格（包括矩形、三角形和三角剖分矩形网格）提供了精确解。

ABSTRACT

With applications in distribution systems and communication networks, the minimum stretch spanning tree problem is to find a spanning tree T of a graph G such that the maximum distance in T between two adjacent vertices is minimized. The problem has been proved to be NP-hard and fixed-parameter polynomial algorithms have been obtained for some special classes of graphs. In this paper, we concentrate on the optimality characterizations for typical classes of graphs. We determine the exact optimality representations for Petersen graph, the complete k-partite graphs, split graphs, generalized convex graphs, and several planar grids, including rectangular grids, triangular grids, and triangular-rectangular grids.

研究动机与目标

• 确定基本图类中树伸展不变量 𝜎𝑇(G) 的精确值。
• 从平面图的基本圈与面层级的角度，刻画最小伸展生成树问题。
• 利用平面嵌入的几何与组合性质，建立伸展的紧致下界。
• 在多个图类中构造达到理论下界的最优生成树。
• 将已知的树拥堵结果拓展至树伸展的对偶问题，为生成树优化提供平行理论。

提出的方法

• 在平面图中使用面层级分析推导下界：𝜎𝑇(G) ≥ 𝜆max + 1，其中 𝜆max 为最大面层级。
• 应用对偶图（平面对偶）技术，将生成树映射为边割与基本圈。
• 通过在网格嵌入中选择垂直与水平线构造最优生成树，对三角剖分网格根据奇偶性进行调整。
• 对网格维度使用归纳法，证明三角剖分矩形网格 Tm,n 的最大面层级 𝜆max(G) = m−1。
• 通过路径与圈长分析验证最优性，表明构造的树达到下界。
• 在对偶图中使用最短路径与边界圈分析，识别出最大长度最小的基本圈。

实验结果

研究问题

• RQ1 彼得森图的树伸展 𝜎𝑇(G) 的精确值是多少？
• RQ2 在完全 k-部图与分离图中，树伸展的行为如何？
• RQ3 广义凸图与平面网格中可实现的最小伸展是多少？
• RQ4 能否利用面层级与对偶图性质推导出 𝜎𝑇(G) 的紧致下界？
• RQ5 在矩形、三角形与三角剖分矩形网格中，何种生成树结构可实现最小伸展？

主要发现

• 对于彼得森图，最小伸展生成树的 𝜎𝑇(G) = 3。
• 对于完全 k-部图 Kn₁,n₂,…,nk，当 k ≥ 3 且所有 ni ≥ 2 时，精确的树伸展为 𝜎𝑇(G) = 2。
• 对于分离图，本文证明：若图非完全图，则 𝜎𝑇(G) = 2；若图为完全图，则 𝜎𝑇(G) = 1。
• 对于矩形网格 Pm × Pn（其中 m ≤ n），最小伸展为 𝜎𝑇(G) = m。
• 对于三角形网格 Tn，最小伸展为 𝜎𝑇(G) = n。
• 对于三角剖分矩形网格 Tm,n（其中 2 ≤ m ≤ n），最小伸展为 𝜎𝑇(G) = m，该值可通过由列与对角边构成的生成树实现。