[論文レビュー] Two-Point $L_1$ Shortest Path Queries in the Plane

Danny Z. Chen, R. Inkulu+1 more|arXiv (Cornell University)|Mar 13, 2014

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

ひとこと要約

本稿では、多角形障害物を伴う平面上の2点間$L_1$最短経路クエリのための改善されたデータ構造を提示する。クエリ時間は$O(\log^2 n)$から$O(\log n)$に短縮され、ほぼ線形の空間を維持する。分数連鎖法と階層的分解を活用し、$O(\log n + k)$のクエリ時間と$O(n + h^2 \log h \cdot 4^{\sqrt{\log h}})$の空間を実現し、$h$が小さい場合に先行研究を著しく上回る。この手法は、非負の重みを持つ障害物を伴う重み付き長方形最短経路問題へも同様の効率的向上をもたらす。

ABSTRACT

Let $\mathcal{P}$ be a set of $h$ pairwise-disjoint polygonal obstacles with a total of $n$ vertices in the plane. We consider the problem of building a data structure that can quickly compute an $L_1$ shortest obstacle-avoiding path between any two query points $s$ and $t$. Previously, a data structure of size $O(n^2\log n)$ was constructed in $O(n^2\log^2 n)$ time that answers each two-point query in $O(\log^2 n+k)$ time, i.e., the shortest path length is reported in $O(\log^2 n)$ time and an actual path is reported in additional $O(k)$ time, where $k$ is the number of edges of the output path. In this paper, we build a new data structure of size $O(n+h^2\cdot \log h \cdot 4^{\sqrt{\log h}})$ in $O(n+h^2\cdot \log^{2} h \cdot 4^{\sqrt{\log h}})$ time that answers each query in $O(\log n+k)$ time. Note that $n+h^2\cdot \log^{2} h \cdot 4^{\sqrt{\log h}}=O(n+h^{2+ε})$ for any constant $ε>0$. Further, we extend our techniques to the weighted rectilinear version in which the "obstacles" of $\mathcal{P}$ are rectilinear regions with "weights" and allow $L_1$ paths to travel through them with weighted costs. Our algorithm answers each query in $O(\log n+k)$ time with a data structure of size $O(n^2\cdot \log n\cdot 4^{\sqrt{\log n}})$ that is built in $O(n^2\cdot \log^{2} n\cdot 4^{\sqrt{\log n}})$ time (note that $n^2\cdot \log^{2} n\cdot 4^{\sqrt{\log n}}= O(n^{2+ε})$ for any constant $ε>0$).

研究の動機と目的

• 自由空間に$h$個の互いに交差しない多角形障害物が存在する平面上で、任意の2点間の$L_1$最短経路クエリをサポートするデータ構造の設計。クエリ時間と前処理時間を最小限に抑える。
• $h$が$n$に対して小さい場合に、クエリ時間を$O(\log^2 n)$から$O(\log n)$に短縮し、空間および前処理時間をほぼ線形に保つこと。
• 障害物に非負の重みが付与され、経路コストが領域の重みに依存する重み付き長方形最短経路問題へこの手法を拡張すること。
• 平面上の未重み付きおよび重み付き$L_1$最短経路クエリにおける、より優れた空間-時間トレードオフを達成すること。

提案手法

• 自由空間の垂直分解と、障害物頂点上の可視性グラフ$G_E(\mathcal{V})$を用いて、効率的なゲートウェイ計算を可能にする階層的分解を構築する。
• カットラインに沿った可視性イベントのソート済みリストに分数連鎖法を適用し、$s$-to-gatewayおよび$t$-to-gateway距離クエリを$O(\log n)$時間で高速化する。
• グラフ$G_E(\mathcal{V})$の各頂点に対して最短経路木を事前処理し、グラフ内任意の2頂点間の最短経路距離を$O(1)$時間で照会可能にする。
• 重み付き長方形経路の場合、辺の重みを障害物領域のコストに基づき維持し、セグメントに沿った事前計算済みの$d_w$値を用いて重み付き距離伝搬を実行する。
• ${4^{\sqrt{\log h}}}$が$h$の任意の多項式より遅く成長することを活用し、空間境界を任意の$\epsilon > 0$に対して$O(n + h^{2+\epsilon})$にできる。
• ゲートウェイに基づく経路再構成と分数連鎖法を組み合わせ、出力経路に含まれる辺数$k$を考慮して$O(\log n + k)$時間で完全な経路を計算する。

実験結果

リサーチクエスチョン

• RQ1 自由空間に多角形障害物が存在する平面上で、$L_1$最短経路クエリのクエリ時間を$O(\log^2 n)$から$O(\log n)$に短縮できるか。このとき、ほぼ線形の空間を維持できるか。
• RQ2 $h$が$n$に比べて小さい場合に、$L_1$最短経路クエリにおける空間と前処理時間の最適なトレードオフは何か。
• RQ3 未重み付き$L_1$最短経路に用いられる技術を、領域ベースのコストに依存する重み付き長方形ケースに拡張できるか。
• RQ4 分数連鎖法と階層的分解の使用が、可視性に基づく経路計算の効率をどのように向上させるか。

主な発見

• 本稿では、サイズ$O(n + h^2 \log h \cdot 4^{\sqrt{\log h}})$のデータ構造を用いて、$L_1$最短経路クエリのクエリ時間を$O(\log n)$に達成。これは任意の$\epsilon > 0$に対して$O(n + h^{2+\epsilon})$にできる。
• 重み付き長方形ケースでは、データ構造の空間は$O(n^2 \log n \cdot 4^{\sqrt{\log n}})$、前処理時間は$O(n^2 \log^2 n \cdot 4^{\sqrt{\log n}})$であり、$O(\log n)$のクエリ時間を達成する。
• Chenら[6]の先行研究の$O(\log^2 n)$結果と比較して、クエリ時間は対数的要因で改善され、$h = O(n^\delta)$（$\delta < 1$）のとき、前処理時間および空間も削減される。
• ゲートウェイベースの経路再構成と組み合わせ、$O(nh \log h)$の空間と$O(nh \log h + h^2 \log^2 h)$の前処理時間で、$O\left(\log n + k\right)$のクエリ時間を実現。空間-時間トレードオフを提供する。
• 可視性リストに分数連鎖法を適用することで、ソースおよびターゲット点の両方のゲートウェイ距離を$O(\log n)$時間で計算可能になる。
• 本手法は重み付き長方形ケースへ一般化可能であり、経路コストが障害物領域の重みに依存する。$O(n^2 \log n \cdot 4^{\sqrt{\log n}})$の空間で$O(\log n)$のクエリ時間を達成する。