[論文レビュー] Simple Curve Embedding

Jessica Sherette, Carola Wenk|arXiv (Cornell University)|Mar 4, 2013

Computational Geometry and Mesh Generation参考文献 10被引用数 7

ひとこと要約

本稿は、与えられた入力曲線に距離を最小化する単純な曲線を曲面上に見つけるという単純な曲線埋め込み問題を導入する。平面における曲線のFréchet距離と、地形における弱いFréchet距離の下でNP困難性を示し、計算幾何学における曲線単純化および表面ベースの類似性計算の根本的な複雑性の限界を確立する。

ABSTRACT

Given a curve f and a surface S, how hard is it to find a simple curve f' in S that is the most similar to f? We introduce and study this simple curve embedding problem for piecewise linear curves and surfaces in R^2 and R^3, under Hausdorff distance, weak Frechet distance, and Frechet distance as similarity measures for curves. Surprisingly, while several variants of the problem turn out to have polynomial-time solutions, we show that in R^3 the simple curve embedding problem is NP-hard under Frechet distance even if S is a plane, as well as under weak Frechet distance if S is a terrain. Additionally, these results give insight into the difficulty of computing the Frechet distance between surfaces, and they imply that the partial Frechet distance between non-planar surfaces is NP-hard as well.

研究の動機と目的

• 与えられた入力曲線に最適に一致する単純な曲線を曲面上に埋め込む問題の形式的定式化と計算複雑性の分析。
• Hausdorff距離、Fréchet距離、弱いFréchet距離といった標準的な距離尺度の下で、単純性制約が曲線類似性問題の tractability に与える影響の調査。
• 2次元および3次元の設定において、特に表面が平面または地形である場合の問題の決定版に対する困難性結果の確立。
• 非平面な表面間の部分的なFréchet距離に対しても、この結果を多角形ストリップや平面を含む場合に拡張する。
• 計算幾何学におけるモーフィング、マップマッチング、アンタングル問題との関係の探求。

提案手法

• 論理的制約を曲面上の曲線埋め込みに符号化するための幾何的ガジェット（VARIABLE, WIRE, CLAUSE, LINKING, BASE）を構築するため、平面3SATへの還元。
• 穴や連結性といったトポロジー的制約を模倣するためにストリング曲線と穴曲線を用い、有効な埋め込みが真理値割り当てを満たすことを保証。
• 弱いFréchet距離の下で曲線の交差制約を強制するための特別なBASEガジェットの設計。単調性の代わりに深い谷を使用。
• 穴の境界からε上にオフセットされた穴曲線を構築し、ジグザグ構造を含めることで、曲線がシミュレートされた穴内にマップされないようにする。
• 非単純曲線埋め込みの既存のアルゴリズムを適応し、単純性制約がない場合の多項式時間解法の確立。
• 入力曲線を細い多角形ストリップとみなすことにより、部分的なFréchet距離問題を単純な曲線埋め込み問題に還元。

実験結果

リサーチクエスチョン

• RQ1 表面が平面である場合、Fréchet距離の下で単純な曲線埋め込み問題はNP困難か？
• RQ2 弱いFréchet距離の下で3次元地形上での問題が、平面3SATのインスタンスに還元可能か、NP困難性を示せるか？
• RQ3 単純性制約が、単純でない埋め込みと比較して、曲線類似性問題の複雑性を根本的に高めるか？
• RQ4 穴や表面の連結性といったトポロジー的特徴が、異なる距離測度の下で曲線埋め込みの tractability にどの程度影響を与えるか？
• RQ5 多角形ストリップと平面間の部分的なFréchet距離はNP困難か？また、これと背後の曲線埋め込み問題との関係はいかなるものか？

主な発見

• 表面が平面である場合、部分的なFréchet距離の下でも、単純な曲線埋め込み問題の決定版はNP困難である。これは、穴曲線を用いた平面3SATへの還元によって示された。
• 表面が3次元地形である場合、弱いFréchet距離の下でも問題はNP困難である。これは、単調性の代わりに深い谷を用いた新しいBASEガジェットによって達成された。
• ジグザグ構造を有する穴曲線の使用により、シミュレートされた穴内への曲線の埋め込みが不可能となり、元の還元におけるトポロジー的制約が保たれる。
• 多角形ストリップと平面間の部分的なFréchet距離はNP困難である。これは、平面における単純な曲線埋め込み問題に還元可能であるためである。
• 単純性制約がない場合の変種については、Fréchet距離および弱いFréchet距離の両方で多項式時間アルゴリズムが存在する。
• これらの結果は、折りたたまれた多角形などの非平面な表面間のFréchet距離の計算が、1つの表面が多角形ストリップで他方が平面である場合でさえもNP困難であることを示唆している。