[論文レビュー] 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完全であることを証明しているが、2つの面の境界同士を接続するパスの場合、多項式時間で解けることを示している。解法は、平面における曲線の代数的交差数という位相的不変量を用いてパスの再ルーティングの同値類を特徴づけ、平面の2面制約下での効率的な再構成を可能にしている。

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個の非交差パスの再構成の計算複雑性を特定すること。
• 1つのパスを1回に1つずつ置き換えることで、k個の頂点非交差パスの連結性を保ちながら別の連結性に変換できるかどうかを調査すること。
• 再構成問題が扱いやすくなる構造的・位相的条件を同定すること。
• パス再構成とより一般的な組合せ的再構成の枠組みとの関係を調査すること。
• 平面グラフにおける非交差s-tパスの特別な場合への結果の拡張。

提案手法

• k=2の場合のPSPACE完全性を示すために、ノード・ケイリーズおよび非決定的制約論理（NCL）問題への還元。
• 平面曲線の同値類を特徴づけるために代数的交差数を位相的不変量として使用。
• リンクレージォンから標準的なNCL配置を構築し、エッジの反転としてパス再構成をシミュレート。
• 位相的不変量と曲線のホモトピーに基づく、2面インスタンスの多項式時間アルゴリズムの設計。
• NCLの反転とパス再構成ステップとの正式な対応関係を確立し、整合性と完全性を保証。
• 可定向的曲面（Genus g ≥ 1）において、2つの非交差曲線は常に互いに再構成可能であることを証明。

実験結果

リサーチクエスチョン

• RQ1 一般グラフにおいて、非交差パス再構成問題はk=2の場合PSPACE完全か？
• RQ2 グラフが平面的で、すべてのパスが2つの面の境界を接続する場合、問題は多項式時間で解けるか？
• RQ3 平面の2面インスタンスで効率的な再構成を可能にする位相的不変量は何か？
• RQ4 平面グラフと一般グラフにおけるs-t非交差パス再構成問題の複雑性はどのように異なるか？
• RQ5 可定向的曲面（Genus g ≥ 1）上では、2つの非交差曲線は常に再構成可能か？

主な発見

• 非交差パス再構成問題は、一般グラフにおいてでさえk=2の場合PSPACE完全である。
• グラフが平面的で、すべてのパスが2つの面の境界を接続する場合、問題は多項式時間で解ける。
• 解法はパス再ルーティングの同値類を特徴づけるために代数的交差数に依存している。
• リンクレージョンから標準的なNCL配置を構築し、NCL再構成への還元を可能にした。
• 任意の可定向的曲面（Genus g ≥ 1）において、2つの非交差曲線は常に互いに再構成可能である。
• s-t非交差パス再構成問題は平面グラフでは多項式時間で解けるが、一般グラフではPSPACE完全のままである。