[論文レビュー] Planar Visibility Counting

Matthias Fischer, Matthias Hilbig+3 more|ArXiv.org|Oct 1, 2008

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

ひとこと要約

本稿では、平面の可視性カウントのための新しいデータ構造を提示する。このデータ構造は、前処理に要するメモリ容量を増やす代わりにクエリ時間の短縮を実現し、可視性グラフのサイズをmとすると、O(m²/n²)のメモリでO(log n)のクエリ時間を達成する近似可視性カウントを可能にする。パラメータ制御可能なアプローチを導入し、メモリ使用量と処理速度の間で実用的なトレードオフを実現可能であり、ベンチマークシーンにおける実験的評価で、調整可能なクエリ効率により顕著な性能向上が確認された。

ABSTRACT

For a fixed virtual scene (=collection of simplices) S and given observer position p, how many elements of S are weakly visible (i.e. not fully occluded by others) from p? The present work explores the trade-off between query time and preprocessing space for these quantities in 2D: exactly, in the approximate deterministic, and in the probabilistic sense. We deduce the EXISTENCE of an O(m^2/n^2) space data structure for S that, given p and time O(log n), allows to approximate the ratio of occluded segments up to arbitrary constant absolute error; here m denotes the size of the Visibility Graph--which may be quadratic, but typically is just linear in the size n of the scene S. On the other hand, we present a data structure CONSTRUCTIBLE in O(n*log(n)+m^2*polylog(n)/k) preprocessing time and space with similar approximation properties and query time O(k*polylog n), where k

研究の動機と目的

• 2Dシーンにおける与えられた観測者位置から弱く可視なシーン要素の数を求める計算上の課題に対処すること。
• 特に大規模または複雑なシーンにおいて、前処理に要するメモリ容量とクエリ時間のトレードオフを調査すること。
• パラメータℓを用いて性能を調整可能な、近似可視性カウントを可能にする実用的なデータ構造の開発。
• 実世界のベンチマークシーンにおける本手法の実用的妥当性と性能上の利点を実験的に示すこと。
• 可視性構造の理論的理解を拡張し、特に下界や高次元への拡張に関する計算複雑性の理解を深めること。

提案手法

• 誤差を制御可能な近似可視性カウントを実現するため、緩和された可視性空間分割（VSP）データ構造を提案し、O(m²)からO(m²/n²)へのメモリ要件の削減を達成する。
• 前処理時間とメモリ使用量がO(n·log n + m²·polylog(n)/ℓ)、クエリ時間がO(ℓ·polylog n)とスケーリングするパラメータ化されたデータ構造を導入し、メモリと速度の間で調整可能なトレードオフを実現する。
• 角度のソーティングとスイープライン技術を用いた可視領域の階層的分解を採用し、完全なVSPの明示的構築を回避する。
• ランダムサンプリングとVC次元解析を用いて、可視性カウントにおける近似誤差を制限し、遮蔽されたセグメントの比率に対して定数の絶対誤差を保証する。
• 大規模なシーンを扱うために外部記憶装置技術を適用し、主記憶領域の負荷を軽減するが、前処理時間はわずかに増加する。
• 都市部、森林、CAD風の3つのベンチマーククラスに対して評価を行い、ℓを増加させることでクエリ時間が著しく短縮され、メモリ使用量の増加は最小限に抑えられることを示した。

実験結果

リサーチクエスチョン

• RQ1 2Dシーンにおける近似可視性カウントのためのクエリ時間をlogより小さく保ちつつ、前処理に要するメモリ容量を管理可能な範囲に抑えるデータ構造を設計可能か？
• RQ2 パラメータℓが可視性カウントにおける前処理コストとクエリ時間のトレードオフに与える影響は何か？
• RQ3 緩和されたVSPとサンプリング技術の使用が、可視性近似の正確性と効率性に与える理論的および実用的影響は何か？
• RQ4 外部記憶とパラメータチューニングを用いた場合、本手法はn > 8,000の大規模シーンにどの程度スケーラブルに適用可能か？
• RQ5 可視性カウントにおける前処理メモリ容量とクエリ時間の下界は何か？また、これらは3Dにおける3SUM完全性とどのように関連しているか？

主な発見

• 本稿では、O(m²/n²)のメモリ容量で、遮蔽されたセグメントの比率の近似を任意の定数の絶対誤差でO(log n)のクエリ時間で行うデータ構造を提示する。
• パラメータ化された構築により、前処理時間はO(n·log n + m²·polylog(n)/ℓ)、クエリ時間はO(ℓ·polylog n)とされ、ユーザーがメモリ使用量と処理速度のバランスを調整可能である。
• 実験的評価により、ℓを増加させることでクエリ時間が顕著に短縮され、前処理メモリ使用量の増加はわずかであることが確認され、実用的利点が示された。
• 外部記憶を用いてもクエリ時間にほとんど影響を受けることなく、主記憶の制限を超えたスケーラビリティを示している。
• 理論的解析により、2DのVSPの最悪ケースサイズはΩ(n⁴)であるが、通常のシーンでは可視性グラフのサイズが線形またはほぼ線形となることが多く、実世界のシーンにおいて本手法が実用的であることが示された。
• 本研究では、3Dにおける可視性カウントと3SUM完全性の間の関係を確立し、標準的な計算複雑性仮定のもとでは3D可視性問題に対してO(n²未満の解法は存在しないと示唆している。