[論文レビュー] Querying for the Largest Empty Geometric Object in a Desired Location

John Augustine, Sandip Das+4 more|arXiv (Cornell University)|Apr 5, 2010

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

ひとこと要約

本稿は、与えられたクエリ点を含みつつ障害物を避ける最大の空き円または長方形を特定することを目的とした幾何クエリ問題の新しいクラスを導入する。凸多角形、単純多角形、点集合に対して、効率的なデータ構造とアルゴリズムを提案し、サブクアドラティックな事前処理時間とポリログ時間のクエリ時間を達成している。主な結果として、凸多角形ではO(n)の事前処理時間とO(log n)のクエリ時間、点集合ではO(n² log n)の事前処理時間が達成されている。

ABSTRACT

We study new types of geometric query problems defined as follows: given a geometric set $P$, preprocess it such that given a query point $q$, the location of the largest circle that does not contain any member of $P$, but contains $q$ can be reported efficiently. The geometric sets we consider for $P$ are boundaries of convex and simple polygons, and point sets. While we primarily focus on circles as the desired shape, we also briefly discuss empty rectangles in the context of point sets.

研究の動機と目的

• クエリベースの幾何最適化におけるギャップを埋めるために、クエリ点を含みつつ障害物を避ける最大の空き円または長方形を研究すること。
• さまざまな幾何的入力タイプに対応する効率的な事前処理と高速なクエリ応答を可能にするデータ構造の設計。
• 複雑な幾何クエリ問題において、サブクアドラティックな事前処理時間とポリログ時間のクエリ時間の達成が可能かどうかの探求。
• 計算幾何学における最大空き円および長方形クエリの理論的境界と実用的アルゴリズムの確立。
• VLSI、データマイニング、空間データベースなどの分野への応用を踏まえた、幾何クエリ問題における新しい研究分野の動機付け。

提案手法

• 凸多角形、単純多角形、または点集合からなる幾何的集合Pを事前処理し、与えられたクエリ点qを含む最大の空き円または長方形を効率的にクエリする仕組みを構築する。
• 点集合の場合、動的範囲木をMER（最大空き長方形）ポインタで拡張し、O(n² log n)の事前処理時間の後、O(log n)のクエリ時間を達成する。
• 候補となる空き円を特定するために、ボロノイ図とデローラン図を基盤とするツールを活用する。
• 障害物の点を通る直線を用いて空間をO(n²)個のセルに分割し、各セルに一意な最大空き長方形が存在することを保証する。
• 優先度キューを用いたスイープラインアプローチにより、面積の降順にMERを処理し、各セルに有効な最大長方形を割り当てる。
• 平面の分離子と分割統治戦略を用いて、複雑な入力における事前処理時間の改善可能性を探る。

実験結果

リサーチクエスチョン

• RQ1 凸多角形において、クエリ点を含む最大空き円をサブクアドラティックな事前処理時間とポリログ時間のクエリ時間で求めることは可能か？
• RQ2 点集合における最大空き円クエリでO(log n)のクエリ時間を達成するために必要な最小の事前処理コストは何か？
• RQ3 単純多角形における最大空き長方形クエリで、凸多角形と同等の効率性を達成するサブクアドラティックな事前処理が可能か？
• RQ4 クエリ点を含む最大空き円を報告するデータ構造を、他の幾何的形状や高次元に一般化することは可能か？
• RQ5 n個の障害物点を持つ平面領域における、相異なる最大空き長方形の数の組合せ的制限は何か？

主な発見

• 凸多角形では、O(n)の事前処理時間とO(log n)のクエリ時間で最大空き円クエリが達成されている。
• 単純多角形では、事前処理時間がO(n log³n)、クエリ時間がO(log²n)であり、従来の手法に比べ顕著な改善がなされている。
• 点集合では、事前処理コストがO(n² log n)、最大空き円および長方形クエリのクエリ時間が両方O(log n)である。
• 点集合における組合せ的に異なる最大空き長方形の数はΩ(n²)に達する可能性があり、これに相当する領域を処理する必要があることを示唆している。
• 新たなアルゴリズム的洞察なしでは、点集合においてサブクアドラティックな事前処理時間とO(log n)のクエリ時間を同時に達成することは困難であると証明されている。
• MERポインタの保存を備えた動的範囲木は、各クエリ点に対して最大空き長方形を効率的に報告でき、最適なクエリ時間を達成している。