[논문 리뷰] Triangles and Girth in Disk Graphs and Transmission Graphs

Haim Kaplan, Katharina Klost외 4명|arXiv (Cornell University)|2019. 01. 01.

Computational Geometry and Mesh Generation참고 문헌 21인용 수 3

한 줄 요약

이 논문은 센서 네트워크의 모델로 사용되는 디스크 그래프와 전송 그래프에서 삼각형 탐지 및 지름 계산을 위한 효율적인 알고리즘을 제시한다. 기하적 성질, 배치 범위 검색, 선형화된 4분할 트리를 활용하여, 무작위화된 4분할 트리 기반의 기하 알고리즘을 통해 무작위화된 시간 복잡도 O(n log n)로 무방향 및 방향 그래프 버전에서 가장 짧은 삼각형을 탐지하고, 디스크 그래프에서 가중치가 있는 지름을 계산하는 데에도 O(n log n)의 예상 시간을 달성한다. 이는 일반적인 그래프 방법에 비해 크게 향상된 성능이다.

ABSTRACT

Let $S \subset \mathbb{R}^2$ be a set of $n$ sites, where each $s \in S$ has an associated radius $r_s > 0$. The disk graph $D(S)$ is the undirected graph with vertex set $S$ and an undirected edge between two sites $s, t \in S$ if and only if $|st| \leq r_s + r_t$, i.e., if the disks with centers $s$ and $t$ and respective radii $r_s$ and $r_t$ intersect. Disk graphs are used to model sensor networks. Similarly, the transmission graph $T(S)$ is the directed graph with vertex set $S$ and a directed edge from a site $s$ to a site $t$ if and only if $|st| \leq r_s$, i.e., if $t$ lies in the disk with center $s$ and radius $r_s$. We provide algorithms for detecting (directed) triangles and, more generally, computing the length of a shortest cycle (the girth) in $D(S)$ and in $T(S)$. These problems are notoriously hard in general, but better solutions exist for special graph classes such as planar graphs. We obtain similarly efficient results for disk graphs and for transmission graphs. More precisely, we show that a shortest (Euclidean) triangle in $D(S)$ and in $T(S)$ can be found in $O(n \log n)$ expected time, and that the (weighted) girth of $D(S)$ can be found in $O(n \log n)$ expected time. For this, we develop new tools for batched range searching that may be of independent interest.

연구 동기 및 목표

• 기하 센서 네트워크를 모델링하는 디스크 그래프와 전송 그래프에서 삼각형 탐지 및 지름 계산을 위한 더 빠른 알고리즘을 개발하기 위해.
• 삼각형 탐지에 대해 일반적인 그래프 알고리즘이 거의 세제곱 시간이 소요되는 데 비해, 기하적 구조를 활용하여 이를 극복하기 위해.
• 이러한 기하 그래프 클래스에서 가장 짧은 삼각형과 지름 계산에 대해 근사 최적의 예상 시간 복잡도인 O(n log n)를 달성하기 위해.
• 특히 무작위화된 알고리즘을 활용해 디스크 그래프에서 가중치가 있는 지름을 계산하기 위해 결과를 확장하기 위해.
• 결정적 알고리즘의 가능성 탐색 및 결과를 전송 그래프로 확장하여, 방향 지름 계산까지 포함하기 위해.

제안 방법

• 디스크 그래프를 평면 그래프와 관련지기 위한 기하 관찰을 활용하여, 공간 분할을 통한 효율적 삼각형 탐지 가능하게 한다.
• 큰 반경을 가진 사이트를 다루기 위해, 디스크의 합집합에 속하는 점을 테스트하기 위해 선형화된 4분할 트리를 사용한 배치 범위 검색을 적용한다.
• 변형된 격자 구조(측면 길이 ℓ/√2)를 사용한 계층적 분해를 도입하여 삼각형 둘레를 제한하고 후보 검사를 제한한다.
• Chan의 무작위화 최적화 기법을 활용해 결정 문제를 최적화 문제로 변환하여, 가장 짧은 삼각형 탐지에 대해 예상 O(n log n) 시간을 달성한다.
• 주어진 정점을 포함하는 가장 짧은 사이클을 찾는 방법을 개발하여, 디스크 그래프에서 가중치가 있는 지름 계산을 가능하게 한다.
• 각도 및 거리 제약 조건을 활용해 큰 사이트에서 작은 사이트로의 관련 엣지 수를 제한하여, 각 사이트당 총 작업량을 선형으로 유지한다.

실험 결과

연구 질문

• RQ1 기하적 구조를 활용하여 디스크 그래프에서 삼각형 탐지 문제를 O(n³) 이하로 빠르게 해결할 수 있는가?
• RQ2 디스크 그래프 및 전송 그래프에서 지름 계산의 최적 시간 복잡도는 무엇인가?
• RQ3 배치 범위 검색 기법을 기하 그래프에서 디스크의 합집합에 속하는 점을 효율적으로 테스트하는 데에 적응시킬 수 있는가?
• RQ4 디스크 그래프에서 가장 짧은 삼각형을 찾는 결정적 O(n log n) 알고리즘이 존재하는가?
• RQ5 디스크 그래프에 대한 접근 방식을 전송 그래프로 확장하여 유사한 효율성으로 지름 계산을 수행할 수 있는가?

주요 결과

• 기하 분할 및 배치 범위 쿼리 기반으로 디스크 그래프에서 가장 짧은 (유클리드) 삼각형을 O(n log n) 예상 시간 내에 탐지할 수 있다.
• 무작위화된 알고리즘을 기반으로 한 각 정점에서의 사이클 탐지 방법을 활용해, 디스크 그래프의 가중치가 있는 지름을 O(n log n) 예상 시간 내에 계산할 수 있다.
• 공간 분할 내 각각의 각도 및 거리 제약 조건을 활용하여, 전송 그래프에서 방향 삼각형을 O(n log n) 예상 시간 내에 탐지할 수 있다.
• 전송 그래프를 위한 알고리즘은 선형화된 4분할 트리와 3차원 다면체를 사용한 새로운 배치 범위 검색 기법을 활용하여, 디스크의 합집합에 속하는지 여부를 테스트한다.
• 전송 그래프의 경우, 각 정점에 대해 검사 대상이 되는 후보 사이트 수가 O(1)로 제한되어 사전 처리 후 총 작업량이 선형이 된다.
• 전송 그래프의 경우, 삼각형 탐지 문제가 ε-근접성 문제로 축소되며, 이는 Ω(n log n) 시간이 필요하다는 것으로 알려져 있어, 대수적 决定 트리 모델에서 최적임을 입증한다.