[論文レビュー] Self-overlapping curves revisited

David Eppstein, Elena Mumford|arXiv (Cornell University)|Jan 4, 2009

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

ひとこと要約

この論文は、空間的表面の平面射影からその再構成をアルゴリズム的に行う問題を調査し、曲線が空間的ディスクを境界に持つかどうかを判定することは多項式時間で解けるが、射影されたディスクが空間的埋め込みに対応するかどうかを決定することはNP完全であることを示している。カーシング（交差における上下情報）が与えられれば、問題は線形時間で解けるようになり、本論文ではn個の自己交差をもつ表面に対して、最大で2n/2通りの組合せ的異なる空間的埋め込みが存在することを証明している。

ABSTRACT

Let S be a surface embedded in space in such a way that each point has a neighborhood within which the surface is a terrain. Then S projects to an immersed surface in the plane, the boundary of which is a (possibly self-intersecting) curve. Under what circumstances can we reverse these mappings algorithmically? Shor and van Wyk considered one such problem, determining whether a curve is the boundary of an immersed disk; they showed that the self-overlapping curves defined in this way can be recognized in polynomial time. We show that several related problems are more difficult: it is NP-complete to determine whether an immersed disk is the projection of a disk embedded in space, or whether a curve is the boundary of an immersed surface in the plane that is not constrained to be a disk. However, when a casing is supplied with a self-intersecting curve, describing which component of the curve lies above and which below at each crossing, we may determine in time linear in the number of crossings whether the cased curve forms the projected boundary of a surface in space. As a related result, we show that an immersed surface with a single boundary curve that crosses itself n times has at most 2n/2 combinatorially distinct spatial embeddings, and we discuss the existence of fixed-parameter tractable algorithms for related problems.

研究の動機と目的

• 自己交差をもつ平面曲線が3次元空間に埋め込まれた表面の射影である条件を、アルゴリズム的に特定すること。
• 与えられた平面への埋め込みディスクが空間的ディスクに引き伸ばせるかどうかを識別する計算複雑性を分析すること。
• 自己交差をもつ曲線が、必ずしもディスクでない、平面への埋め込み表面を境界に持つかどうかを調査すること。
• 交差における上下情報（カーシング）が提供された場合に、空間的表面を効率的に再構成するためのアルゴリズムを確立すること。

提案手法

• 著者たちは、空間的表面を3次元空間への埋め込みとしてモデル化し、各点に局所的な地形的構造を備えることで、平面への射影を可能にしている。
• 彼らは、自己重複する曲線の構造とその可能な空間的上への引き伸ばしを、組合せ的位相論を用いて分析している。
• 主な技術は、交差における上下関係を指定するカーシングを用いて、交差における曲線セグメントの上方・下方関係を符号化することである。
• 空間的埋め込みの再構成問題を、カーシングに関する制約系に還元し、グラフベースの走査アルゴリズムを用いて線形時間で解けるようにしている。
• n個の自己交差をもつ表面に対して、2n/2通りの組合せ的異なる空間的埋め込みが存在することを上界として導出している。
• 交差数をパラメータとする固定パrameter可 tractability を調査し、交差数に関するパラメータ化された複雑性に焦点を当てている。

実験結果

リサーチクエスチョン

• RQ1 与えられた自己交差をもつ平面曲線が、空間的埋め込みディスクの射影であるかどうかをアルゴリズム的に判定可能か？
• RQ2 平面への埋め込みディスクが空間的ディスクに引き伸ばせるかどうかを決定する計算複雑性は何か？
• RQ3 カーシング情報（交差における上下データ）が提供された場合、平面射影から空間的表面を効率的に再構成できるか？
• RQ4 n回自己交差をもつ埋め込み表面が、最大で何通りの異なる空間的埋め込みを許容するか？
• RQ5 交差数に基づいて、空間的表面の再構成に固定パラメータ可 tractable なアルゴリズムは存在するか？

主な発見

• 平面への埋め込みディスクが空間的ディスクの射影であるかどうかを判定することは、NP完全である。
• 曲線が平面への埋め込み表面（必ずしもディスクでない）を境界に持つかどうかを識別することも、NP完全である。
• カーシングが提供された場合、カーシング付きの曲線が空間的表面の投影境界を形成するかどうかを、交差数に関して線形時間で解ける。
• 1つの境界曲線を持ち、n回自己交差をもつ埋め込み表面は、最大で2n/2通りの組合せ的異なる空間的埋め込みを有する。
• 本論文では、交差数をパラメータとする固定パラメータ可 tractable なアルゴリズムが存在することを確立している。