[論文レビュー] Finding the Maximal Empty Rectangle Containing a Query Point

Haim Kaplan, Micha Sharir|arXiv (Cornell University)|Jun 18, 2011

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

ひとこと要約

本稿では、長方形内のn個の点の集合を事前処理し、与えられたクエリ点を含む最大面積の軸に平行な空の長方形を問い合わせる効率的なデータ構造を提示する。部分的逆モンジュ行列と分数クラスタリングの高度な技術を用いることで、空間計算量O(nα(n)log³n)、クエリ時間O(log⁴n)を達成し、従来のO(n²log n)の解法に比べて顕著な改善を図った。

ABSTRACT

Let $P$ be a set of $n$ points in an axis-parallel rectangle $B$ in the plane. We present an $O(nα(n)\log^4 n)$-time algorithm to preprocess $P$ into a data structure of size $O(nα(n)\log^3 n)$, such that, given a query point $q$, we can find, in $O(\log^4 n)$ time, the largest-area axis-parallel rectangle that is contained in $B$, contains $q$, and its interior contains no point of $P$. This is a significant improvement over the previous solution of Augustine {\em et al.} \cite{qmex}, which uses slightly superquadratic preprocessing and storage.

研究の動機と目的

• 与えられたクエリ点qを含む最大面積のP-空の軸に平行な長方形を素早く問い合わせるためのデータ構造の設計。
• 最大空の長方形の数が二次関数的になることによる、明示的な列挙が不可能になる問題の克服。
• 従来のO(n²log n)の解法に比べ、事前処理時間と空間計算量の低減。
• 幾何的応用のため、部分的に定義された逆モンジュ行列における効率的な部分行列最大値問い合わせの実現。

提案手法

• 境界長方形Bを階層的分解して範囲木T_hにし、すべての最大P-空の長方形を事前処理する。
• T_hの各ノードに対して、特定の象限に属する点によって定義される候補長方形を表現するエナメルデータ構造を構築する。
• 隣接するノード間でエナメルをリンクすることで、分数クラスタリングを適用し、1次ノードあたりのクエリ時間をO(log²n)からO(log n)に削減する。
• 完全な行列を明示的に格納せずに、部分的逆モンジュ行列における行最大値を計算するブラックボックスルーチンを用いる。
• 2段階のクエリ処理を採用：まずT_h内で関連するノードを特定し、次に関連するエナメル構造で範囲最大値問い合わせを実行する。
• 二重階段型完全単調行列における部分行列最大値問い合わせをサポートするようにデータ構造を拡張し、任意の連続部分行列における最大値問い合わせを効率的に行えるようにする。

実験結果

リサーチクエスチョン

• RQ1 n個の点の集合を事前処理することで、任意のクエリ点に対して、二次未満の時間と空間計算量で最大空の長方形の問い合わせを可能にすることができるか？
• RQ2 O(n²)個の最大長方形を列挙せずに、クエリ点を含む最大面積のP-空の長方形を効率的に計算するにはどうすればよいか？
• RQ3 完全な行列を格納せずに、部分的に定義された逆モンジュ行列における高速な最大値問い合わせを実現するにはどのような技術が使えるか？
• RQ4 分数クラスタリングは、階層的幾何データ構造におけるクエリ時間短縮に効果的に適用可能か？
• RQ5 この幾何的クエリ問題において、事前処理時間、空間計算量、クエリ時間の最適なトレードオフは何か？

主な発見

• 提案されたデータ構造は、従来のO(n²log n)の解法に比べ顕著な改善を示し、空間計算量がO(nα(n)log³n)である。
• 事前処理時間はO(nα(n)log⁴n)であり、従来の超二次関数的境界を緩和した。
• クエリ時間はO(log⁴n)であり、問題の完全な複雑さを考慮すると、従来のO(log n)の解法よりも高速である。
• 分数クラスタリングの適用により、ノードごとのクエリコストがO(log²n)からO(log n)に低下し、全体のO(log⁴n)のクエリ時間に寄与している。
• 二重階段型完全単調行列における効率的な部分行列最大値問い合わせが可能であり、n×n行列に対してはO(log²n)のクエリ時間とO(nα(n)log n)の空間計算量を達成した。
• 部分的逆モンジュ行列を階層的分解とエナメル構造で処理するというコア技術は、他の幾何的および最適化問題への応用が可能である。