[論文レビュー] Reverse Shortest Path Problem for Unit-Disk Graphs

Haitao Wang, Yiming Zhao|arXiv (Cornell University)|Apr 29, 2021

Computational Geometry and Mesh Generation参考文献 23被引用数 1

ひとこと要約

本稿では、L2およびL1距離計測下における単位円グラフにおける逆最短経路（RSP）問題に対して、重みなしおよび重み付きの両方のバージョンについて、効率的な決定的アルゴリズムを提示する。L2の重みなしおよび重み付きの場合には、それぞれO(n⁵/⁴ log⁷/⁴ n)およびO(n⁵/⁴ log⁵/² n)時間のアルゴリズムを導入し、L1の場合にはO(n log³ n)時間のアルゴリズムを提示する。これにより、幾何的最短経路問題における従来のO(n⁴/³)時間の壁を破った。

ABSTRACT

Given a set P of n points in the plane, the unit-disk graph G_{r}(P) with respect to a parameter r is an undirected graph whose vertex set is P such that an edge connects two points p, q \in P if the Euclidean distance between p and q is at most r (the weight of the edge is 1 in the unweighted case and is the distance between p and q in the weighted case). Given a value λ>0 and two points s and t of P, we consider the following reverse shortest path problem: computing the smallest r such that the shortest path length between s and t in G_r(P) is at most λ. In this paper, we present an algorithm of O(\lfloor λ floor \cdot n \log n) time and another algorithm of O(n^{5/4} \log^{7/4} n) time for the unweighted case, as well as an O(n^{5/4} \log^{5/2} n) time algorithm for the weighted case. We also consider the L_1 version of the problem where the distance of two points is measured by the L_1 metric; we solve the problem in O(n \log^3 n) time for both the unweighted and weighted cases.

研究の動機と目的

• 単位円グラフにおける逆最短経路（RSP）問題を解くこと。具体的には、Gr(P)におけるsからtへの最短経路がλ以下となるような最小半径rを計算すること。
• Euklides計測（L2）およびマンハッタン計測（L1）の両方の距離計測下で、重みなしおよび重み付きのRSP問題を扱うこと。
• 距離選択法を用いて、従来のO(n⁴/³ log³ n)時間の境界を改善し、特定のケースで時間計算量が二次未満となるようにすること。
• 幾何的最短経路問題において、特に単位円グラフにおいて、O(n⁴/³)時間の壁を破る決定的アルゴリズムを提供すること。
• すべての頂点がソースsから距離λ以内にあるという一般化された単一ソースRSP問題に拡張すること。

提案手法

• L2重みなしの場合、最初のアルゴリズムは、エッジ距離の二分探索を用いた修正版BFSであり、範囲木を用いて半径r以内の到達可能点を効率的に数える。
• 2番目のL2重みなしアルゴリズムは、点集合の階層的分解と多段階パラメトリックサーチを用い、時間計算量をO(n⁵/⁴ log⁷/⁴ n)に低減する。
• L2重み付きの場合、パラメトリックサーチと動的二色最近接ペアデータ構造を組み合わせることで、O(n⁵/⁴ log⁵/² n)時間の計算量を達成する。
• L1の場合、2次元範囲木を用いた直交範囲検索と、L1距離r以内の点数を数える決定手続きを用い、合計時間計算量をO(n log³ n)に保証する。
• 決定サブルーチンは、r∗ ≤ r かどうかを確認するもので、範囲クエリを用いて距離r以内のペア数を計算し、O(n log² n)時間で実行される。
• 全体のアルゴリズムは、間隔点距離の二分探索に、決定手続きをガイドとして用い、Coleに類似した技法を最適化に用いて、各段階あたりの決定呼び出し回数を定数に削減する。

実験結果

リサーチクエスチョン

• RQ1 重みなしL2の場合、単位円グラフGr(P)におけるsからtへの最短経路がλ以下となるような最小半径rは何か？
• RQ2 単位円グラフにおいて、RSP問題のO(n⁴/³ log³ n)時間境界は、特に重みなしおよび重み付きL2設定において改善可能か？
• RQ3 単位円グラフにおけるRSP問題に対して、時間計算量が二次未満となる決定的アルゴリズムは存在するか？特にL2およびL1計測において。
• RQ4 すべての頂点がソースsからλホップまたは距離以内にあるという単一ソース設定へのRSP問題の一般化は可能か？
• RQ5 L1計測は、L2計測と比較してRSP問題の時間計算量にどのような影響を与えるか？より効率的に解けるか？

主な発見

• L2重みなしRSP問題に対して、O(⌊λ⌋·n log n)時間のアルゴリズムを提示した。λが小さい場合には効率的である。
• L2重みなしRSP問題に対して、O(n⁵/⁴ log⁷/⁴ n)時間の改善アルゴリズムを提案し、幾何的最短経路問題におけるO(n⁴/³)時間の壁を破った。
• L2重み付きRSP問題に対しては、O(n⁵/⁴ log⁵/² n)時間の計算量を達成した。これは、このバージョンにおける最初の二次未満の決定的解法である。
• L1 RSP問題は、重みなしおよび重み付きの両方のケースでO(n log³ n)時間で解け、SSSPアルゴリズムの最適時間計算量と一致する。
• アルゴリズムは決定的であり、KatzとSharirによるO(n⁶/⁵+ϵ)期待時間のランダム化手法よりも優れている。
• 結果は、すべての頂点がソースsからλ距離以内にある一般化された単一ソースRSP問題へと拡張可能であり、2点バージョンと同一の時間計算量を達成する。