[論文レビュー] Largest Similar Copies of Convex Polygons in Polygonal Domains

Taekang Eom, Seungjun Lee+1 more|arXiv (Cornell University)|Dec 13, 2020

Computational Geometry and Mesh Generation参考文献 17被引用数 1

ひとこと要約

本稿では、n個の障害物を含む多角形領域Q内に凸k角形Pの最大類似コピーを求めるための新しいアルゴリズムを提示する。時間計算量をO(k²n²λ₄(k) log n)に改善した。回転中のエッジデローニー三角形分割における組み合わせ的変化の分析を精緻化することで、臨界的向きの数を削減し、25年以上前に得られた先行結果よりも顕著な漸近的改善を達成した。

ABSTRACT

Given a convex polygon with k vertices and a polygonal domain consisting of polygonal obstacles with n vertices in total in the plane, we study the optimization problem of finding a largest similar copy of the polygon that can be placed in the polygonal domain without intersecting the obstacles. We present an upper bound O(k²n²λ₄(k)) on the number of combinatorial changes occurred to the underlying structure during the rotation of the polygon, together with an O(k²n²λ₄(k)log n)-time deterministic algorithm for the problem. This improves upon the previously best known results by Chew and Kedem [SoCG89, CGTA93] and Sharir and Toledo [SoCG91, CGTA94] on the problem in more than 27 years. Our result also improves the time complexity of the high-clearance motion planning algorithm by Chew and Kedem.

研究の動機と目的

• 障害物を含む多角形領域Q内に凸多角形Pの最大類似コピーを配置するという古典的な計算幾何学的問題を解く。
• 平行移動、回転、スケーリングを伴う多角形包含問題の最悪ケース時間計算量を改善する。
• Qのエッジデローニー三角形分割における変化を分析することで、Pの回転中の臨界的向きの数を削減する。
• 1990年代初頭にChewとKedem、およびSharirとToledoによって確立された、長年の時間計算量の境界のギャップを埋める。
• パラメトリックサーチ技術に依存しない決定的で、漸近的に高速なアルゴリズムを提供する。

提案手法

• Pの回転に伴い、Qのエッジデローニー三角形分割(eDT)における組み合わせ的変化を分析し、Pと障害物のエッジまたは頂点との接触ペアに注目する。
• 接触ペアのタイプに基づいて臨界的向きを分類する：コーナーとサイドの接触に基づく(4,0)、(3,1)、(1,3)、(2,2)変化。
• 固定された外接円の交点Gや一定の角度といった幾何的不変量を用いて、パラメトリック方程式の解の数を制限する。
• 頂点の軌跡（線分または円弧）のパラメトリック方程式を導出し、交点を求めて臨界的向きの数を制限する。
• Davenport–Schinzel列（λ₄(k)）を用いて、組み合わせ的変化の総数を制限し、合計でO(k²n²λ₄(k))回の変化が生じることを導出する。
• 精緻化された境界をスイープラインまたは回転スイープアルゴリズムと組み合わせることで、最終的な時間計算量を達成する。

実験結果

リサーチクエスチョン

• RQ1 多角形領域Q（サイズn）内を回転する凸k角形Pが誘発する真正の漸近的臨界的向きの数は何か？
• RQ2 回転中のエッジデローニー三角形分割における組み合わせ的変化の数を、以前のO(k⁴nλ₃(n))の境界未満に抑えることは可能か？
• RQ3 パラメトリックサーチを用いずに、最大類似コピー問題のより高速な決定的アルゴリズムを達成することは可能か？
• RQ4 固定された外接円の交点といった幾何的不変量は、回転中の有効な向きの数をどのように制限するか？
• RQ5 ランダム化やパラメトリックサーチに依存せずに、kとnの両方のスケール（小規模および大規模）において時間計算量を改善することは可能か？

主な発見

• Pの回転中の臨界的向きの数はO(k²n²λ₄(k))で抑えられ、ChewとKedemによる以前のO(k⁴nλ₃(n))の境界よりも顕著に改善された。
• 本アルゴリズムの実行時間はO(k²n²λ₄(k) log n)であり、SharirとToledoによる以前の最良結果O(k²nλ₄(kn) log³(kn) log log(kn))よりも漸近的に高速である。
• λ₄(k)はλ₃(n)よりも非線形的成長を示すため、kとnの両方において、特にkが大きい場合には、新しい境界が以前のものよりも小さい。
• パラメトリックサーチを用いないことで、アルゴリズムはより実用的で決定的である。
• この根本的な計算幾何学的問題における25年間の時間計算量のギャップを閉じた。
• 接触ペアタイプ（例：(2,2)-変化）の分析とその解の数（最大4つの臨界的向き）の特定により、改善された境界の明確な組み合わせ的基盤が得られた。