[論文レビュー] Locked and Unlocked Polygonal Chains in 3D

Thérèse Biedl, Erik D. Demaine+9 more|ArXiv.org|Nov 11, 1998

Computational Geometry and Mesh Generation参考文献 20被引用数 36

ひとこと要約

本稿は3次元における開および閉多角形鎖の再配置を調査し、単純な直交投影を持つ鎖は直線化可能であることを証明するとともに、再配置不能なロックされた鎖の存在を示している。また、O(n²)回の移動を用いて単純性を保ちながら3次元平面における単純多角形を凸化する「セントルイス・アーチ」アルゴリズムを導入し、すべての鎖が解錠可能であるとは限らないことを確立している。

ABSTRACT

In this paper, we study movements of simple polygonal chains in 3D. We say that an open, simple polygonal chain can be straightened if it can be continuously reconfigured to a straight sequence of segments in such a manner that both the length of each link and the simplicity of the chain are maintained throughout the movement. The analogous concept for closed chains is convexification: reconfiguration to a planar convex polygon. Chains that cannot be straightened or convexified are called locked. While there are open chains in 3D that are locked, we show that if an open chain has a simple orthogonal projection onto some plane, it can be straightened. For closed chains, we show that there are unknotted but locked closed chains, and we provide an algorithm for convexifying a planar simple polygon in 3D with a polynomial number of moves.

研究の動機と目的

• 3次元における開および閉多角形鎖が単純性を保ちながら直線形または凸形に再配置可能となる条件を特定すること。
• 3次元空間における鎖の直線化および凸化に関して、長年の未解決問題を解消すること。
• リンク長を保ちつつ自己交差を避ける再配置のための効率的アルゴリズムを開発すること。
• 鎖がロックされているかどうかを決定する問題の決定可能性および計算量の複雑性を調査すること。
• 単純な投影を持つ鎖が常に3次元で凸化可能かどうかを検討すること。

提案手法

• 関節が固定軸の周りに単調に回転する移動ベースの再配置モデルを導入し、リンク長および単純性を保持する。
• 単純な直交投影を持つ開鎖に対して、O(n)回の移動で関節を逐次回転させることで鎖を直線化するアルゴリズムを提示する。
• 2つの剛体部材が滑らかなコードで接続されたロックされた開鎖を構築し、トポロジー的障害のため直線化不能であることを示している。
• 平面単純多角形の凸化のために、「セントルイス・アーチ」アルゴリズムを提案し、頂点を垂直半平面へ逐次持ち上げることで、基準平面の上に凸なアーチを形成する。
• 自己交差が発生しないように、安全に部分を再配置するための基準平面 z = ε を使用する。
• 1つの耳を取り除くと凸多角形になる「ばりかじり多角形」（barbed polygons）は、1ステップあたりO(i)回の移動で凸化可能であり、これにより全体でO(n²)の時間計算量が達成される。

実験結果

リサーチクエスチョン

• RQ1 3次元における開多角形鎖が単純な直交投影を持つ場合、常に直線化可能か？
• RQ2 3次元に、結び目がないがロックされた閉多角形鎖が存在するか？
• RQ3 3次元において、平面単純多角形を凸化する多項式時間アルゴリズムが存在するか？
• RQ4 3次元多角形鎖がロックされているかどうかを決定する計算量の複雑度は何か？
• RQ5 単純な投影を持つ閉鎖が、常に3次元で凸化可能か？

主な発見

• 平面への単純な直交投影を持つ開多角形鎖は、O(n)回の移動で直線化可能であり、このことは鎖がロックされていないことを証明している。
• 結び目がないがロックされた閉多角形鎖が3次元に存在することを示しており、トポロジー的に単純であっても再配置可能とは限らないことを示している。
• 「セントルイス・アーチ」アルゴリズムは、O(n²)回の移動で平面単純多角形を凸化し、多項式時間で動作し、単純性を全過程で維持する。
• アルゴリズムは基準平面 z = ε を用いて、安全に多角形の一部を持ち上げ・再配置し、凸化中に自己交差が発生しないようにしている。
• 1つの耳を取り除くと凸多角形になる「ばりかじり多角形」は、1ステップあたりO(i)回の移動で凸化可能であり、全体として効率的な再配置が可能になる。
• 本稿は、結び目がないにもかかわらず、3次元におけるすべての鎖が解錠可能であるとは限らないことを確立しており、計算幾何学における長年の未解決問題を解決している。