[논문 리뷰] Maintaining the Union of Unit Discs Under Insertions with Near-Optimal Overhead

Pankaj K. Agarwal, Ravid Cohen외 2명|arXiv (Cornell University)|2019. 01. 01.

Computational Geometry and Mesh Generation인용 수 3

한 줄 요약

이 논문은 삽입 연산 하에서 단위 원판의 합집합과 의사선의 하부 외곽을 유지하기 위한 동적 데이터 구조를 제안하며, 거의 최적의 갱신 시간을 달성한다. 선형 크기의 구조를 도입하여, k가 구조적 변화의 크기일 때 삽입 및 쿼리 연산을 O((k + 1) log²n) 시간에 지원하며, 범위 검색 기법을 활용해 단위 원판과 원호 간의 교차를 효율적으로 보고할 수 있다. 이 경우 쿼리 시간은 O(n^{1/2+ε} + k)이다.

ABSTRACT

We present efficient data structures for problems on unit discs and arcs of their boundary in the plane. (i) We give an output-sensitive algorithm for the dynamic maintenance of the union of n unit discs under insertions in O(k log^2 n) update time and O(n) space, where k is the combinatorial complexity of the structural change in the union due to the insertion of the new disc. (ii) As part of the solution of (i) we devise a fully dynamic data structure for the maintenance of lower envelopes of pseudo-lines, which we believe is of independent interest. The structure has O(log^2 n) update time and O(log n) vertical ray shooting query time. To achieve this performance, we devise a new algorithm for finding the intersection between two lower envelopes of pseudo-lines in O(log n) time, using tentative binary search; the lower envelopes are special in that at x=-infty any pseudo-line contributing to the first envelope lies below every pseudo-line contributing to the second envelope. (iii) We also present a dynamic range searching structure for a set of circular arcs of unit radius (not necessarily on the boundary of the union of the corresponding discs), where the ranges are unit discs, with O(n log n) preprocessing time, O(n^{1/2+epsilon} + l) query time and O(log^2 n) amortized update time, where l is the size of the output and for any epsilon>0. The structure requires O(n) storage space.

연구 동기 및 목표

• 삽입 연산 하에서 단위 원판의 합집합을 거의 최적의 오버헤드로 유지하는 동적 데이터 구조를 개발하는 것.
• 각 삽입 이후 합집합의 면적을 효율적으로 계산하는 것.
• 쿼리 단위 원판과 교차하는 모든 원호를 빠르게 보고하는 것.
• 삽입 및 삭제 연산 하에서 x-단조적 의사선의 하부 외곽을 효율적인 쿼리 지원과 함께 유지하는 것.
• 구조적 변화의 조합 복잡도에 비례하는 출력 감도 성능을 달성하는 것.

제안 방법

• 왼쪽 끝점, 오른쪽 끝점, 각 원호 e에 관련된 영역 L(e)를 위한 세 개의 별도 데이터 구조를 사용한다.
• 표준 데이터 구조를 활용해 왼쪽 및 오른쪽 끝점에 대한 단위 원판 범위 검색을 수행하며, 쿼리 시간은 O(n^{1/2+ε} + k)이다.
• 쿼리 점을 포함하는 영역을 보고하기 위해 L = {L(e) | e ∈ C}에 대한 역방향 범위 검색을 적용한다.
• 지연 부분 재구성 기법을 활용해 삽입 및 삭제 연산에 대해 O(log²n)의 분할 평균 갱신 시간을 지원한다.
• 끝점과 영역 L(e)를 포함한 기하 조건을 통해 원호-원판 교차를 특성화하여 효율적인 필터링을 가능하게 한다.
• 두 개의 단위 원이 교차하는 것을 그들의 공통 탄젠트 점을 지나는 직선과 반평면과 연결하는 기하학적 보조정리를 활용한다.

실험 결과

연구 질문

• RQ1 삽입 연산 하에서 단위 원판의 합집합을 출력 감도 기반 갱신 시간으로 동적으로 유지할 수 있는가?
• RQ2 삽입 및 삭제 연산 하에서 의사선의 하부 외곽을 효율적인 쿼리 지원과 함께 유지할 수 있는가?
• RQ3 반지름이 단위인 원호를 쿼리 단위 원판과의 교차 여부를 출력 감도 기반 시간 내에 효율적으로 쿼리할 수 있는가?
• RQ4 동적 단위 원판 합집합 유지에 있어 공간과 갱신/쿼리 시간 간의 최적의 트레이드오프는 무엇인가?
• RQ5 삽입 과정에서 합집합 경계의 구조적 변화를 효율적으로 포착하고 갱신할 수 있는가?

주요 결과

• 구조적 변화의 조합 복잡도가 k일 때, 선형 크기의 데이터 구조가 삽입 연산 하에서 단위 원판의 합집합을 O((k + 1) log²n) 시간에 유지한다.
• 각 삽입 이후 합집합의 면적은 동일한 시간 범위 내에서 계산될 수 있다.
• 의사선의 삽입 및 삭제가 O(log²n) 시간에 이루어지고, 주어진 x좌표에서 하부 외곽 점을 O(log n) 시간에 보고할 수 있는 데이터 구조가 존재한다.
• 평면 R²의 쿼리 점 q에 대해, q 아래에 있는 모든 k개의 의사선을 O(log n + k log²n) 시간에 보고할 수 있다.
• 원호에 대한 구조는 쿼리 단위 원판과의 교차 보고를 O(n^{1/2+ε} + k) 시간에 지원하며, 삽입/삭제 연산의 갱신 시간은 O(log²n)이다.
• 이 데이터 구조들은 출력 감도 기반이며, 거의 최적의 성능을 달성한다. 쿼리 시간은 출력 크기에 비례하며, 작은 ε > 0이 존재한다.