[论文解读] Graph Threading

Erik D. Demaine, Yael Kirkpatrick+1 more|arXiv (Cornell University)|Sep 18, 2023

Advanced Graph Theory Research被引用 1

一句话总结

本文提出了一种多项式时间算法来解决最优穿线问题：在图的边（管道）上寻找最短的闭合路径，使得每个顶点处的接头图均连通且避免U型转弯。该解法将问题转化为最小权完美匹配，从而能够高效计算可展开结构与串珠设计的最优穿线方案。

ABSTRACT

Inspired by artistic practices such as beadwork and himmeli, we study the problem of threading a single string through a set of tubes, so that pulling the string forms a desired graph. More precisely, given a connected graph (where edges represent tubes and vertices represent junctions where they meet), we give a polynomial-time algorithm to find a minimum-length closed walk (representing a threading of string) that induces a connected graph of string at every junction. The algorithm is based on a surprising reduction to minimum-weight perfect matching. Along the way, we give tight worst-case bounds on the length of the optimal threading and on the maximum number of times this threading can visit a single edge. We also give more efficient solutions to two special cases: cubic graphs and the case when each edge can be visited at most twice.

研究动机与目标

• 形式化并求解最优穿线问题：寻找一条最短的闭合路径，使单根绳索穿过后不产生U型转弯，且在所有顶点处均诱导出连通的接头图。
• 建立此类穿线路径最小长度及任意单条边最多被遍历次数的紧致理论界。
• 为特殊情形（如立方图和双穿线，即每条边最多被访问两次）开发高效算法。
• 为可重构与可展开结构的实际应用提供理论基础，例如3D打印的绳索驱动雕塑与串珠几何模型。

提出的方法

• 通过构建一个带权边的辅助图 H̃，将最优穿线问题新颖地转化为最小权完美匹配问题。
• 构造辅助图 H̃，其中原图 G 的每个顶点被替换为完全二部图 Kd(v),d(v)，边权编码穿线成本。
• 在每个顶点和边上施加局部约束，以确保无U型转弯且接头图连通，将全局路径条件转化为局部可行性。
• 使用一种变换，将 H̃ 中的每个完美匹配映射为 G 的有效穿线方案，且匹配权值等于穿线长度加上所有边的总长度。
• 应用 Galil-Micali-Gabow 算法求解最小权完美匹配，从而在 O(nm² log n) 时间内解决该问题。
• 对于立方图，利用最优穿线每条边最多被访问两次的性质，并将 G 中的完美匹配与双穿线边集一一对应。

实验结果

研究问题

• RQ1 诱导所有顶点处连通接头图且避免U型转弯的穿线路径（闭合路径）的最小可能长度是多少？
• RQ2 在最优穿线中，单条边最多被遍历多少次？该界是否可达？
• RQ3 对于任意图与任意边权，最优穿线问题能否在多项式时间内高效求解？
• RQ4 像立方图或边访问次数受限（如最多两次）等特殊图类，如何影响最优解的复杂度与结构？
• RQ5 能否在最小化穿线长度的同时，也最小化由 Capstan 方程建模的摩擦阻力？

主要发现

• 对于单位边长的图，最优穿线的最小长度满足 2m − n ≤ |T| < 2m，且该上下界在渐近意义下均为紧致。
• 在最优穿线中，任意单条边被遍历的最大次数至多为 ∆ − 1，其中 ∆ 为顶点的最大度数，且该界可被实现。
• 通过将问题约化为辅助图中的最小权完美匹配，最优穿线问题可在多项式时间内求解。
• 对于立方图，存在一种最优穿线方案，使得每条边最多被访问两次，且图 G 中的完美匹配恰好对应于双穿线边的集合。
• 针对双穿线问题（每条边最多访问两次），通过在构造图 G′ 上求解最大权完美匹配，可实现更高效的算法，时间复杂度为 O(nm² log n)。
• 该双穿线算法在 G 中生成顶点不相交的简单环，其与匹配中的加权边一一对应，从而实现最优的边访问模式。