[論文レビュー] Hinged Kite Mirror Dissection

David Eppstein|ArXiv.org|Jun 13, 2001

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

ひとこと要約

本稿では、任意の非対称多角形をその鏡像に変換するためのヒンジ付き切断法を提示している。この方法では、対称軸に沿って接続されたキーホール型のピeceが鎖状に連結された構造を用い、O(n log n) 時間で O(n) 個のキーホール型ピeceを生成する。これは、等積多角形間のヒンジ付き切断に関する未解決問題の特殊ケースに対する構成的解決策を提供する。

ABSTRACT

Any two polygons of equal area can be partitioned into congruent sets of polygonal pieces, and in many cases one can connect the pieces by flexible hinges while still allowing the connected set to form both polygons. However it is open whether such a hinged dissection always exists. We solve a special case of this problem, by showing that any asymmetric polygon always has a hinged dissection to its mirror image. Our dissection forms a chain of kite-shaped pieces, found by a circle-packing algorithm for quadrilateral mesh generation. A hinged mirror dissection of a polygon with n sides can be formed with O(n) kites in O(n log n) time.

研究の動機と目的

• すべての等積多角形がヒンジ付き切断を許容するかどうかという未解決問題に取り組む。
• 多角形とその鏡像との間でヒンジ付き切断が存在するかを調査する。
• キーホール型ピeceを用いた、このような切断を構成する効率的なアルゴリズムを開発する。
• 一般のヒンジ付き切断問題を、頂点マッピング制約を伴う単純化された三角形切断問題に還元する。

提案手法

• 入力多角形を接する円と多角形の辺で囲まれた領域に分割するため、円パッキングアルゴリズムを用いる。
• 円パッキングによって生じる隙間を三辺または四辺形と分類し、接点の外接円の中心を用いてキーホール型の四辺形に分割する。
• 各円の接点をその外接円の中心に結ぶことで、対角線に沿った反射対称性を持つキーホール型ピeceを形成する。
• 得られたキーホール型ピeceを、その対称軸に沿って端から端へと連結し、ヒンジで接続された鎖状の構造を構築する。この鎖は直線に展開可能である。
• この切断は可逆である：鎖を展開することで元の多角形の鏡像に再折り畳める。
• アルゴリズムは O(n log n) 時間で実行され、非直角なメッシュ生成と円パッキングに関する先行研究を活用して O(n) 個のキーホール型ピeceを生成する。

実験結果

リサーチクエスチョン

• RQ1 任意の非対称多角形は、キーホール型ピeceの鎖を用いてその鏡像にヒンジ付き切断可能か？
• RQ2 このようなヒンジ付き切断を計算する多項式時間アルゴリズムは存在するか？
• RQ3 多角形からその鏡像へのヒンジ付き切断は、一般のヒンジ付き切断問題を三角形切断問題に還元するために利用可能か？
• RQ4 得られた切断は、連続的かつ自己交差しない展開が可能か？
• RQ5 実際の応用では、O(n) を超えないピece数をさらに削減できるか？

主な発見

• n本の辺を持つ任意の非対称多角形は、O(n) 個のキーホール型ピeceを用いて、その鏡像にヒンジ付き鏡像切断可能である。
• 円パッキングに基づく四角形メッシュ生成アルゴリズムを用いて、O(n log n) 時間でその切断が計算可能である。
• 得られたヒンジ構造は、対称軸に沿って連結されたキーホール型ピeceの鎖であり、完全に直線に展開可能である。
• この手法により、2つの等積多角形間の一般のヒンジ付き切断問題が、頂点マッピング制約付きの O(n) 個の三角形切断問題の列に還元される。
• この切断は「ゆるみヒンジ型」であり、連続的かつ自己交差しない運動が保証されない。特殊な場合（例：斜交三角形）ではピece数を削減可能である。
• このアプローチにより、k方向の切断を三角形レベルの問題に還元するフレームワークを提供し、頂点制約付き三角形切断が存在すれば、一般解の実現が可能となる可能性がある。