[論文レビュー] The number of transversals to line segments in R^3

Hervé Brönnimann, Hazel Everett+3 more|arXiv (Cornell University)|Jun 27, 2003

Computational Geometry and Mesh Generation参考文献 16被引用数 3

ひとこと要約

本稿は、R³におけるn本の線分に対する直線横断線の構造と数を特徴づけ、それらが0、1、...、n、または無限個の横断線をもつことができることを示しており、後者は最大n個の連結成分を形成する。主な貢献は、横断線配置の完全な位相的および組合せ的分類であり、3次元シーンにおける可視性計算および幾何アルゴリズムへの応用を含む。

ABSTRACT

We completely describe the structure of the connected components of transversals to a collection of n line segments in R^3. We show that n>2 arbitrary line segments in R^3 admit 0, 1, ..., n or infinitely many line transversals. In the latter case, the transversals form up to n connected components.

研究の動機と目的

• R³における任意のn本の線分の集合に対する直線横断線の幾何学的性質および連結成分を完全に特徴づけること。
• 線分の配置に応じて、横断線の数が0、1、...、n、または無限個である可能性を特定すること。
• 特に無限個の横断線の場合に、横断線の連結成分の数に対するタイトな上限を確立すること。
• 特に可視性複雑度計算や幾何横断線問題における計算幾何学的アルゴリズムへの応用を支援すること。

提案手法

• R³における直線を表すためにPlücker座標を用い、線空間において横断線を分析すること。
• 支持線に基づく幾何的分解を用いて、3次元の横断線問題を平面的配置に還元すること。
• R²における幾何的双対性：直線を点に、線分を二重錐に写像し、横断線の交差に基づく解析を可能にすること。
• 線分が回転双曲面の同一生成線に位置する場合、横断線がその双曲面の生成線に沿って存在することの解析。
• 還元後に、直線または円における区間の交差技術を用いて横断線を効率的に計算すること。
• 支持線の同一平面上性およびねじれ性に基づいて配置をケースに分類し、それぞれのケースに対して別個に取り扱うこと。

実験結果

リサーチクエスチョン

• RQ1 R³におけるn本の線分に対する横断線の集合がもつことができる最大の連結成分数はいくつですか？
• RQ2 R³におけるn本の線分のどの配置において無限個の横断線が存在し、それらはどのように位相的に構造づけられますか？
• RQ3 R³におけるn本の線分に対する横断線の数は、0、1、...、n、または無限個であり得るでしょうか。また、これらの状態間の遷移を決定づける要因は何ですか？
• RQ4 退化した配置（例：線分が双曲面の上にある場合）が、横断線の数および連結性に与える影響はどのようなものですか？
• RQ5 R³におけるn本の線分に対するすべての横断線を特定する計算量の複雑度はどの程度ですか。O(n log n)時間で解けるでしょうか？

主な発見

• n ≥ 3本の線分に対するR³における横断線の数は、0、1、...、n、または無限個であり得るが、それ以外の値は取り得ない。
• 無限個の横断線が存在する場合、それらは最大でn個の連結成分を形成する。この上限はタイトである。
• n本の同一平面上の線分が配置された場合に、横断線の連結成分が正確にn個存在する配置が存在し、この上限のタイトさを示している。
• 回転双曲面上の同一生成線上にあるn本の線分に対する横断線は、直線または円上の区間でパラメータ化された連結集合を形成する。
• 実RAMモデルにおいて、ケース別分析と区間交差技術を用いて、O(n log n)時間でR³におけるn本の線分に対するすべての横断線を計算するアルゴリズムが存在する。
• この結果は射影空間P³に拡張されない。P³では、無限個の横断線が常に1つの連結成分を形成する。