[論文レビュー] Geometric Algorithms with Limited Workspace: A Survey

Bahareh Banyassady, Matias Korman+1 more|arXiv (Cornell University)|Jun 15, 2018

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

ひとこと要約

本調査では、入力が読み取り専用で、わずかなサブラインアのワークスペースしか利用できない限られたワークスペースモデルにおける幾何アルゴリズムについて包括的な概要を提示する。圧縮スタックフレームワークや時間-空間トレードオフといった技術を詳述し、定数空間またはサブラインア空間で、可視領域の計算や共通接線の検出といった問題に対してほぼ最適な性能を達成する。

ABSTRACT

In the limited workspace model, we consider algorithms whose input resides in read-only memory and that use only a constant or sublinear amount of writable memory to accomplish their task. We survey recent results in computational geometry that fall into this model and that strive to achieve the lowest possible running time. In addition to discussing the state of the art, we give some illustrative examples and mention open problems for further research.

研究の動機と目的

• 限られたワークスペースモデル（書き込み可能なメモリがわずかにしか利用できない）における幾何アルゴリズムの最近の進展を統合的かつ包括的に概説すること。
• 圧縮スタックフレームワークのようなコアなアルゴリズム的手法を特定・分析し、最小限のワークスペースで効率的な計算を可能にする仕組みを明らかにすること。
• 可視領域、凸包、共通接線といった基本的な幾何問題における時間-空間トレードオフを検討すること。
• センサーやドローン、スマートフォンのようなメモリ制限のあるデバイス向けに効率的なアルゴリズムを設計するうえでの未解決問題や研究方向性を強調すること。
• 計算複雑性理論およびストリーミングモデルからの理論的知見を、空間制約下での実用的な幾何アルゴリズム設計と結びつけること。

提案手法

• 本稿は、$ s = O(1) $ から $ s = o(n) $ のワークスペースサイズを有するアルゴリズムを調査し、読み取り専用の入力とわずかな書き込み可能なメモリのみを用いる。
• 圧縮スタックフレームワークを導入し、スタックの一部のみを明示的に保存し、欠落した部分は必要に応じて再計算することで、スタックベースのアルゴリズムにおける時間-空間トレードオフを実現する。
• $k$-可視領域の計算といった問題では、$k$-選択アルゴリズムに基づく時間-空間トレードオフを用い、$ s $ 個のワークスペースセルを用いて $ O\big{(}(k+c)n/s + n/\log s\big{)} $ 時間で実行可能である。
• 共通接線の計算には、単純だが洗練されたループベースのアプローチを採用し、$ O(n) $ 時間、$ O(1) $ ワークスペースで実行可能であり、互いに交差しない凸包の幾何的性質に依存している。
• このフレームワークは、単純多角形におけるエッジ-エッジ可視性および最小リンクパスの処理に拡張され、定数ワークスペースと $ O(nm) $ 時間で出力サイズ $ m $ の結果を生成する。
• ランダム化アルゴリズムについても検討され、無制限のランダムビットを生成可能だが、再訪問が必要な場合にはワークスペースに保存する必要がある。

実験結果

リサーチクエスチョン

• RQ1 多角形内の点の可視領域を線形時間で計算できる最小のワークスペースサイズ $ s $ は何か？
• RQ2 圧縮スタックフレームワークは、キュー、デキュー、木などの他のデータ構造へ一般化可能か？
• RQ3 互いに交差しない2つの多角形の外側共通接線を、$ O(1) $ ワークスペースセルのみで $ O(n) $ 時間で計算可能か？
• RQ4 $k$-可視領域の計算における時間-空間トレードオフを、$ \log n $ から $ n $ の間の $ s $ の中間的な値に対して最適化することは可能か？
• RQ5 限られたワークスペースモデルにおける古典的幾何問題に対して、決定的およびランダム化アルゴリズムの根本的な限界は何か？

主な発見

• 圧縮スタックフレームワークにより、時間-空間トレードオフが実現可能である。スタックベースのアルゴリズムが $ O(n) $ 時間で実行される場合、$ s = o(\log n) $ では $ O(n^2 \log n / 2^s) $ 時間、$ s \geq \log n $ では $ O(n^{1+1/\log s}) $ 時間で実行可能である。
• $k$-可視領域の計算では、$ s $ 個のワークスペースセルを用いて、$ O\big{(}(k+c)n/s + n\log s\big{)} $ の時間-空間トレードオフを達成する。ここで $ c $ は臨界頂点の数を表す。
• 頂点数 $ n $ の2つの互いに交差しない多角形の共通接線は、単純なループベースのアルゴリズムを用い、$ O(n) $ 時間および $ O(1) $ ワークスペースで計算可能であり、幾何的解析が洗練されている。
• 単純多角形におけるエッジの弱可視領域は、定数ワークスペースを用い、$ O(nm) $ 時間で計算可能であり、ここで $ m $ は出力サイズを表す。
• 単純多角形内の2点間の最小リンクパスは、定数ワークスペースで $ O(n^2) $ 時間で計算可能であり、エッジ-エッジ可視性アルゴリズムに基づく。
• $ s = n^\varepsilon $（任意の固定された $ \varepsilon > 0 $）の場合、可視領域は $ O(n) $ 時間で計算可能であり、サブラインアワークスペースでも線形時間実行が可能であることを示している。