[論文レビュー] Computing the Geometric Intersection Number of Curves

Vincent Despré, Francis Lazarus|HAL (Le Centre pour la Communication Scientifique Directe)|Nov 30, 2015

Computational Geometry and Mesh Generation被引用数 5

ひとこと要約

本稿では、標準形と地図に類似した曲線に基づく、新しい組合せ的枠組みを用いて、組合せ的表面における曲線の幾何的交差数を計算する単純で効率的なアルゴリズムを提示する。1本または2本の曲線の幾何的交差数を計算する際、最適な O(n + ℓ²) 時間計算量を達成し、最小自己交差数を実現する曲線を構築するための初めての多項式時間アルゴリズムを提供する。また、曲線が単純曲線とホモトープかどうかを擬似線形時間で検出する。

ABSTRACT

The geometric intersection number of a curve on a surface is the minimal number of self-intersections of any homotopic curve, i.e. of any curve obtained by continuous deformation. Given a curve $c$ represented by a closed walk of length at most $\ell$ on a combinatorial surface of complexity $n$ we describe simple algorithms to (1) compute the geometric intersection number of $c$ in $O(n+ \ell^2)$ time, (2) construct a curve homotopic to $c$ that realizes this geometric intersection number in $O(n+\ell^4)$ time, (3) decide if the geometric intersection number of $c$ is zero, i.e. if $c$ is homotopic to a simple curve, in $O(n+\ell\log\ell)$ time. The algorithms for (2) and (3) are restricted to orientable surfaces, but the algorithm for (1) is also valid on non-orientable surfaces. To our knowledge, no exact complexity analysis had yet appeared on those problems. An optimistic analysis of the complexity of the published algorithms for problems (1) and (3) gives at best a $O(n+g^2\ell^2)$ time complexity on a genus $g$ surface without boundary. No polynomial time algorithm was known for problem (2) for surfaces without boundary. Interestingly, our solution to problem (3) provides a quasi-linear algorithm to a problem raised by Poincaré more than a century ago. Finally, we note that our algorithm for problem (1) extends to computing the geometric intersection number of two curves of length at most $\ell$ in $O(n+ \ell^2)$ time.

研究の動機と目的

• 組合せ的表面における曲線の幾何的交差数を正確かつ低計算量で計算するためのアルゴリズムを提供すること。
• 与えられた曲線とホモトープで、自己交差数が最小となる曲線を構築するための、初めての多項式時間アルゴリズムを開発すること。
• 曲線が単純曲線とホモトープかどうか（すなわち、幾何的交差数がゼロかどうか）を擬似線形時間でテストするアルゴリズムを提供すること。
• 超曲面幾何学を置き換える組合せ的枠組みを確立し、標準形と摂動に基づく効率的で構成的な手法を提供すること。
• 単純で証明可能な効率性を持つ解決策を用いて、計算トポロジーにおける長年のアルゴリズム的課題を解決すること。

提案手法

• 地図に類似した曲線の挙動を模倣する、四角形系と標準形に基づく組合せ的枠組みを用いる。
• 標準曲線の概念を導入し、ホモトピー解析の簡略化のため、線形時間でその原始根を計算する。
• 摂動に基づく手法を用いて、曲線の標準表現における交差数を数えることで、幾何的交差数を計算する。
• 単純曲線の検出には、摂動された曲線における頂点回りの弧の出現の「正しい括弧列」をチェックする「アンマチング（unzip）」アルゴリズムを適用する。
• 交差数を最小化するために、組合せ的摂動と、二辺形（bigons）および一辺形（monogons）の解析に依存する。
• 2本の曲線への拡張では、同様の交差数カウント技術を用いて、同じ O(n + ℓ²) 時間で相互交差数を計算する。

実験結果

リサーチクエスチョン

• RQ1 組合せ的表面における1本の曲線の幾何的交差数は、近似的線形時間で単純なアルゴリズムによって計算可能か？
• RQ2 与えられた曲線とホモトープで、自己交差数が最小となる曲線を構築する多項式時間アルゴリズムは存在するか？
• RQ3 曲線が単純曲線とホモトープかどうか（すなわち、幾何的交差数がゼロかどうか）を擬似線形時間で判定可能か？
• RQ4 幾何的交差数の計算において、超曲面幾何学を、同等の効率性と単純さを持つ組合せ的枠組みで置き換えることは可能か？
• RQ5 局所的動作（二辺形スワップなど）を用いて、曲線の最小交差摂動を発見する組合せ的アルゴリズムを設計することは可能か？

主な発見

• 複雑さ n の表面における長さ ℓ の1本または2本の曲線の幾何的交差数は、O(n + ℓ²) 時間で計算可能である。
• 可縮面では、入力曲線とホモトープで自己交差数が最小となる曲線を O(n + ℓ⁴) 時間で構築可能である。
• 曲線が単純曲線とホモトープかどうかを O(n + ℓ log ℓ) 時間で検出可能であり、これはポincareが提起した問題を擬似線形時間で解決する。
• 境界のない表面において、最小自己交差曲線（minimal-immersion curve）を構築する、これまでに知られている最初の多項式時間アルゴリズムを提供する。
• フレームワークにより、アンマチングアルゴリズムと正しい括弧列のチェックを用いた、単純曲線の検出における擬似線形時間ソリューションが可能となる。
• 2本の曲線への応用では、同じ O(n + ℓ²) 時間計算量で、それらの幾何的交差数を計算可能となる。