[論文レビュー] Pants Decomposition of the Punctured Plane

SH Sheung-Hung Poon, S Shripad Thite|arXiv (Cornell University)|Feb 22, 2006

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

ひとこと要約

本稿では、点集合を除いたユークリッド平面（穴あき平面）の最短パンツ分解を計算する多項式時間アルゴリズムを提示する。軸に平行な長方形または同一直線上の点を用いた分解を対象とし、長方形分解に対してはO(n⁴)時間の正確なアルゴリズム、同一直線上の点に対する分解に対してはO(n²)時間のアルゴリズムを、ヤオの高速化を用いた動的計画法により開発。一般の場合にはミッチェルのギロチン分割を用いたPTASが得られる。

ABSTRACT

A pants decomposition of an orientable surface S is a collection of simple cycles that partition S into pants, i.e., surfaces of genus zero with three boundary cycles. Given a set P of n points in the plane, we consider the problem of computing a pants decomposition of the surface S which is the plane minus P, of minimum total length. We give a polynomial-time approximation scheme using Mitchell's guillotine rectilinear subdivisions. We give a quartic-time algorithm to compute the shortest pants decomposition of S when the cycles are restricted to be axis-aligned boxes, and a quadratic-time algorithm when all the points lie on a line; both exact algorithms use dynamic programming with Yao's speedup.

研究の動機と目的

• 穴あき平面（点の集合を除いたユークリッド平面）における最短パンツ分解を計算すること。パンツ分解とは、交差しない単純なサイクルの集合であり、表面を genus 0 の成分に分割するものである。
• 分解におけるサイクルの全長を最小化すること。これは幾何トポロジーおよび計算幾何学における最適化の自然な指標である。
• 幾何的制約下で、問題の計算複雑性に対処するため、効率的な正確および近似アルゴリズムを提供すること。
• 最短パンツ分解の構造的性質（例：凸性、TSP巡回路との関係）を調査すること。

提案手法

• ヤオの高速化を用いた動的計画法により、素朴なO(n³)の定式化を、同一直線上の点の場合にはO(n²)、軸に平行な長方形分解の場合にはO(n⁴)にまで時間計算量を削減する。
• コスト関数 w(i,j) = x_j - x_i に対して、凹四角不等式と単調性を適用し、最適部分構造の効率的計算を可能にする。
• TSP巡回路からサイクルを再帰的に統合する戦略を採用し、各サイクルが長方形または多角形で囲まれた点の部分集合に対応するように構築する。
• 一般の点集合に対しては、ミッチェルのギロチン直交分割を用いて、多項式時間近似スキーム（PTAS）を構築する。
• サイクルの階層をn個のリーフを持つ二分木としてモデル化し、各内部ノードが2つの部分構造を囲むサイクルを表す。
• 水平または垂直線による分離性を活用するため、サイクルを軸に平行な長方形に制限することで、2次元動的計画法の効率的実装を可能にする。

実験結果

リサーチクエスチョン

• RQ1 与えられた長さの上限Lに対して、穴あき平面における最短非交差パンツ分解を計算する問題は、NP困難であるか？
• RQ2 一般の最短パンツ分解問題に対して、定数倍近似アルゴリズムを設計できるか？
• RQ3 最短非交差パンツ分解におけるサイクルは常に凸であるか？非凸なサイクルがより短い全長を実現できる可能性はあるか？
• RQ4 長方形の穴などの点でない穴を持つ曲面に対して、最短パンツ分解はどの程度効率的に計算可能か？
• RQ5 トーラスに穴を空けたような他の2次元多様体上での最短パンツ分解の計算複雑性はいかほどか？

主な発見

• 同一直線上に存在するn個の点に対して、ヤオの高速化を用いた動的計画法により、O(n²)時間の正確なアルゴリズムが開発された。
• サイクルが軸に平行な長方形に制限される場合に対しても、同様に動的計画法と高速化技術を用いて、O(n⁴)時間の正確なアルゴリズムが開発された。
• ミッチェルのギロチン直交分割を用いることで、多項式時間近似スキーム（PTAS）が達成され、最適解に限りなく近い近似解が得られる。
• 最短パンツ分解の全長は、n個の点に対する最短ユークリッドTSP巡回路の長さ以上であることが保証され、最適解に対する下界が得られた。
• 動的計画法のコスト関数は凹四角不等式を満たしており、ヤオの高速化を適用することで時間計算量が線形に削減可能である。
• パンツ分解におけるサイクルの階層はn個のリーフを持つ二分木に対応し、最適分解の再帰的構築を導くのに利用可能である。