[論文レビュー] Optimal Curve Straightening is $\exists\mathbb{R}$-Complete

Jeff Erickson|arXiv (Cornell University)|Aug 25, 2019

Polynomial and algebraic computation参考文献 60被引用数 7

ひとこと要約

本稿では、平面内の一般の自己交叉をもつ閉曲線が、指定された頂点数を持つ多角形とホモトピー同値であるかどうかを判定することは、存在論的実数理論（∃ℝ）に完全であることを証明している。この結果は、擬線形配置のストレッチ可能問題への還元によって得られ、最適な曲線の直線化がNP困難かつPSPACEに属することを示し、このような多角形の解空間は任意の位相的複雑性をとることを示している。

ABSTRACT

We prove that the following problem has the same computational complexity as the existential theory of the reals: Given a generic self-intersecting closed curve $γ$ in the plane and an integer $m$, is there a polygon with $m$ vertices that is isotopic to $γ$? Our reduction implies implies two stronger results, as corollaries of similar results for pseudoline arrangements. First, there are isotopy classes in which every $m$-gon with integer coordinates requires $2^{Ω(m)}$ bits of precision. Second, for any semi-algebraic set $V$, there is an integer $m$ and a closed curve $γ$ such that the space of all $m$-gons isotopic to $γ$ is homotopy equivalent to $V$.

研究の動機と目的

• 与えられた一般の閉曲線が、指定された頂点数を持つ多角形とホモトピー同値であるかどうかを判定する計算複雑性を特定すること。
• この問題が、実数上での多項式不等式系の解法の難易度を捉える、存在論的実数理論（∃ℝ）に完全であることを確立すること。
• 与えられた曲線とホモトピー同値なすべてのm角形の空間が、擬線形配置の普遍性定理によって示唆されるように、任意の位相的構造をとることを示すこと。
• 整数座標を持つm角形がmに関して二重指数的精度を要するようなホモトピー同値類が存在することを示すことにより、固有の数値不安定性を強調すること。
• 存在論的実数理論（ETR）から曲線ホモトピー問題への明示的かつ形式的な還元を構築すること。この還元では、辺の交差とその順序に関する組合せ的・幾何的制約を用いる。

提案手法

• 既に∃ℝ完全であることが知られている擬線形配置のストレッチ可能問題を、自己交差をもつ閉曲線に埋め込む構成を用いて、曲線ホモトピー問題へ還元する。
• Gauss-Dowkerコードに追加の制約を課して、曲線のホモトピー同値類を、平面埋め込みと組合せ的整合性を保つ形で表現する。
• 座標に基づく行列式を用いて、多角形の辺のペアが交差するかどうか、およびその符号（正または負）を示す存在論的論理式を用いて交差条件を符号化する。
• 座標比較とインデックス付き論理式の組み合わせにより、多角形の辺に沿った交差順序を正しく強制する。
• 辺の割り当て、交差符号、交差順序の制約を統合した、実数上での存在論的論理式を構築する。n個の自己交差をもつ曲線に対して、この式の長さはO(nm³)である。
• 配列のようなデータ構造を模倣するために、どの多角形の辺が各交差を含むかを非決定的に入力することで、ETR式内に複雑な組合せ的関係を効率的に符号化する。

実験結果

リサーチクエスチョン

• RQ1 一般の閉曲線がm個の頂点を持つm角形とホモトピー同値であるかどうかを判定する問題は、∃ℝ完全か？
• RQ2 与えられた曲線とホモトピー同値なすべてのm角形の空間は、任意の指定された半代数的集合をホモトピー同値として実現できるか？
• RQ3 任意の整数座標を持つm角形がmに関して二重指数的精度を要するようなホモトピー同値類は存在するか？
• RQ4 与えられた曲線とホモトピー同値な最小複雑度の多角形を求める問題の計算複雑性は何か？
• RQ5 辺に沿った交差パターンと順序を、実数上での論理式に符号化することで、完全なホモトピー同値類を捉えることができるか？

主な発見

• 最適な曲線の直線化問題——つまり、曲線がm角形とホモトピー同値であるかどうかを判定する問題——は∃ℝ完全であり、これは実数上での多変数多項式不等式系の解法と同一の計算複雑性クラスに属することを示している。
• 還元により、この問題がNP困難かつPSPACEに属することを証明し、タイトな複雑性境界を確立している。
• 任意の半代数的集合Vに対して、曲線γと整数mが存在し、γとホモトピー同値なm角形の空間がVとホモトピー同値になる。これは位相的普遍性を示している。
• すべての整数座標を持つm角形が2^Ω(m)ビットの精度を要するようなホモトピー同値類が存在し、これは最悪ケースで二重指数的座標成長を示唆している。
• n個の自己交差をもつ曲線がm角形とホモトピー同値であるかどうかを判定する、長さΘ(nm³)の∃ℝ式が構築され、この式が真であることはかつてかつて曲線がm角形とホモトピー同値であることを示している。
• この結果により、曲線とホモトピー同値な最小複雑度の直交多角形は、最小コストフロー法を用いてO(n^{4/3} polylog n)時間で計算可能であることが示唆されるが、これは特殊な場合である。