[论文解读] Rerouting Planar Curves and Disjoint Paths

Takehiro Ito, Yuni Iwamasa+6 more|arXiv (Cornell University)|Oct 21, 2022

Computational Geometry and Mesh Generation被引用 1

一句话总结

本文研究平面圖中的不相交路徑重配置問題，證明其在一般圖中對 k=2 時為 PSPACE-完全，但在路徑連接兩個面邊界的情況下可於多項式時間內解決。解決方案利用拓撲不變量——特別是平面上曲線的代數交叉數——來描述路徑重路由的等價類，進而實現在平面兩面約束下的高效重配置。

ABSTRACT

In this paper, we consider a transformation of $k$ disjoint paths in a graph. For a graph and a pair of $k$ disjoint paths $\mathcal{P}$ and $\mathcal{Q}$ connecting the same set of terminal pairs, we aim to determine whether $\mathcal{P}$ can be transformed to $\mathcal{Q}$ by repeatedly replacing one path with another path so that the intermediates are also $k$ disjoint paths. The problem is called Disjoint Paths Reconfiguration. We first show that Disjoint Paths Reconfiguration is PSPACE-complete even when $k=2$. On the other hand, we prove that, when the graph is embedded on a plane and all paths in $\mathcal{P}$ and $\mathcal{Q}$ connect the boundaries of two faces, Disjoint Paths Reconfiguration can be solved in polynomial time. The algorithm is based on a topological characterization for rerouting curves on a plane using the algebraic intersection number. We also consider a transformation of disjoint $s$-$t$ paths as a variant. We show that the disjoint $s$-$t$ paths reconfiguration problem in planar graphs can be determined in polynomial time, while the problem is PSPACE-complete in general.

研究动机与目标

• 確定在圖中重配置 k 條不相交路徑的計算複雜度。
• 研究是否可透過單一路徑替換，將一組 k 個頂點不相交路徑的連結轉換為另一組，同時維持不相交性。
• 識別使重配置問題變得可 tractable 的結構與拓撲條件。
• 探討路徑重配置與更廣義的組合重配置框架之間的關聯。
• 將結果延伸至平面圖中不相交 s-t 路徑的特殊情況。

提出的方法

• 透過從節點凱勒斯（Node Kayles）與非確定性約束邏輯（Nondeterministic Constraint Logic, NCL）問題的歸約，證明 k=2 時的 PSPACE-完全性。
• 使用代數交叉數作為拓撲不變量，以描述平面曲線的等價類。
• 從連結構造出標準 NCL 狀態，以模擬邊翻轉的路徑重配置。
• 基於拓撲不變量與曲線同倫，設計兩面實例的多項式時間演算法。
• 明確建立 NCL 翻轉與路徑重配置步驟之間的對應關係，確保正確性與完整性。
• 證明在任意可定向曲面（虧格 g ≥ 1）上，兩條不相交曲線總可互相重配置，且與圖的嵌入無關。

实验结果

研究问题

• RQ1 在一般圖中，不相交路徑重配置問題對 k=2 時是否為 PSPACE-完全？
• RQ2 當圖為平面圖且所有路徑均連接兩個面的邊界時，該問題是否可於多項式時間內解決？
• RQ3 哪些拓撲不變量可促成平面兩面實例中路徑重配置的高效性？
• RQ4 s-t 不相交路徑重配置問題在平面圖與一般圖之間的複雜度有何差異？
• RQ5 在虧格 g ≥ 1 的曲面上，兩條不相交曲線是否總是可重配置？

主要发现

• 即使在 k=2 時，不相交路徑重配置問題在一般圖中仍為 PSPACE-完全。
• 當圖為平面圖且所有路徑均連接兩個面的邊界時，該問題可於多項式時間內解決。
• 解決方案依賴代數交叉數來描述路徑重路由等價類。
• 從連結構造出標準 NCL 狀態，使問題可歸約至 NCL 重配置。
• 在任意可定向曲面（虧格 g ≥ 1）上，兩條不相交曲線總可互相重配置。
• s-t 不相交路徑重配置問題在平面圖中可於多項式時間內解決，但在一般圖中仍為 PSPACE-完全。