[논문 리뷰] Reverse Shortest Path Problem for Unit-Disk Graphs

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

Computational Geometry and Mesh Generation참고 문헌 23인용 수 1

한 줄 요약

이 논문은 단위판 그래프에서 L2 및 L1 거리 척도 하에 무게 없는 및 가중치가 있는 변형을 고려할 때 역최단경로(RSP) 문제에 대해 효율적인 결정론적 알고리즘을 제시한다. L2 무게 없는 경우에 대해 O(n⁵/⁴ log⁷/⁴ n) 시간 알고리즘과 L2 가중치 있는 경우에 대해 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) 문제를 해결하기 위해, s에서 t로의 최단경로가 최대 λ가 되도록 하는 최소 반경 r을 계산하는 것.
• 유클리드(L2) 및 맨하탄(L1) 거리 척도 하에 무게 없는 및 가중치가 있는 RSP 문제의 두 변형을 모두 다루는 것.
• 거리 선택 기법을 활용해 이전의 O(n⁴/³ log³ n) 시간 복잡도를 개선하여, 특정 경우에 대해 이차 이하의 시간 복잡도를 달성하는 것.
• 기하학적 최단경로 문제에서 O(n⁴/³) 시간 장벽을 돌파하는 결정론적 알고리즘을 제공하는 것, 특히 단위판 그래프에서의 적용에 중점을 둔다.
• 모든 정점이 소스 s로부터 거리 λ 이내에 있어야 하는 일반화된 단일소스 RSP 문제로의 확장 제공

제안 방법

• L2 무게 없는 경우에 대해 첫 번째 알고리즘은 간선 거리에 대한 이진 탐색을 활용한 수정된 BFS를 사용하며, 반경 r 내에서 도달 가능한 점을 효율적으로 세기 위해 범위 트리를 활용한다.
• 두 번째 L2 무게 없는 알고리즘은 점 집합의 계층적 분할과 다중 수준 파arametric 검색을 통해 시간 복잡도를 O(n⁵/⁴ log⁷/⁴ n)으로 감소시킨다.
• L2 가중치 있는 경우에 대해선 파arametric 검색과 동적 이색(비색) 최근접 쌍 데이터 구조를 결합하여 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 특히 무게 없는 및 가중치 있는 L2 설정에서 단위판 그래프에 대해 RSP 문제의 O(n⁴/³ log³ n) 시간 복잡도를 향상시킬 수 있는가?
• RQ3 L2 및 L1 척도에서 RSP 문제에 대해 이차 이하의 시간 복잡도를 달성하는 결정론적 알고리즘이 존재하는가?
• 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⁶/⁵+ϵ) 기대 시간 알고리즘)을 초월한다.
• 결과는 두 점 버전과 동일한 시간 복잡도를 유지하는 일반화된 단일소스 RSP 문제로 확장된다.