[논문 리뷰] On the Planar Two-Center Problem and Circular Hulls

Haitao Wang|arXiv (Cornell University)|2020. 01. 01.

Computational Geometry and Mesh Generation참고 문헌 29인용 수 2

한 줄 요약

이 논문은 평면 두 중심 문제에 대해 결정적 O(n log²n) 시간 알고리즘을 제시하며, 챈의 이전 결정적 bound인 O(n log²n log²log n)을 향상시켜 에프스타인의 랜덤화된 O(n log²n) 결과와 일치시킨다. 핵심 혁신은 오른쪽 끝 위치에 삽입하는 데 대해 평균 O(1) 시간을 지원하는 새로운 동적 원형 헬름 데이터 구조이다. 이는 왼쪽 끝 점의 삭제와 함께, O(n) 决정 알고리즘을 가능하게 하며, 결국 볼록 위치 변형에 대해 O(n log n log log n) 시간 솔루션을 도출한다.

ABSTRACT

Given a set $S$ of $n$ points in the Euclidean plane, the two-center problem is to find two congruent disks of smallest radius whose union covers all points of $S$. Previously, Eppstein [SODA'97] gave a randomized algorithm of $O(n\log^2n)$ expected time and Chan [CGTA'99] presented a deterministic algorithm of $O(n\log^2 n\log^2\log n)$ time. In this paper, we propose an $O(n\log^2 n)$ time deterministic algorithm, which improves Chan's deterministic algorithm and matches the randomized bound of Eppstein. If $S$ is in convex position, then we solve the problem in $O(n\log n\log\log n)$ deterministic time. Our results rely on new techniques for dynamically maintaining circular hulls under point insertions and deletions, which are of independent interest.

연구 동기 및 목표

• 평면 두 중심 문제에 대한 랜덤화 알고리즘과 결정적 알고리즘 간 격차를 좁히기.
• 특정 위치 제약 조건 하에 점 삽입 및 삭제가 이루어지는 원형 헬름에 대한 효율적인 동적 데이터 구조 개발.
• 두 중심 문제를 O(n log²n) 결정적 시간 내에 해결하기.
• 입력 점들이 볼록 위치에 있을 경우의 특수 케이스에 대해 시간 복잡도 향상.

제안 방법

• 오른쪽 끝 위치에 삽입 및 왼쪽 끝 점 삭제에 대해 평균 O(1) 시간을 지원하는 동적 원형 헬름 데이터 구조 설계.
• O(n log n) 사전 처리 후 O(n) 시간 결정 알고리즘 개발 — 챈의 O(n log n) 결정 시간에 비해 향상.
• O(log n log log n) 단계, O(n) 프로세서를 사용하는 병렬 결정 문제 알고리즘 신규 구축.
• 코일의 매개변수 검색 기법을 신규 O(n) 결정 알고리즘과 결합하여 최적화 문제를 O(n log n log log n) 시간 내에 해결.
• 향상된 결정 및 최적화 프레임워크를 활용해 두 중심 문제의 근접 케이스를 O(n log n log log n) 시간 내에 해결.
• 동적 원형 헬름 구조를 활용해 볼록 위치 변형을 O(n log n log log n) 시간 내에 해결.

실험 결과

연구 질문

• RQ1 평면 두 중심 문제의 결정적 시간 복잡도를 랜덤화된 O(n log²n) bound와 일치시킬 수 있는가?
• RQ2 제약 조건이 있는 삽입 및 삭제 하에 효율적인 원형 헬름 유지가 가능한 동적 데이터 구조는 무엇인가?
• RQ3 사전 처리 후 두 중심 문제의 결정 문제를 선형 시간 내에 해결할 수 있는가?
• RQ4 향상된 결정 알고리즘과 매개변수 검색을 어떻게 조합하여 더 나은 최적화 시간을 달성할 수 있는가?
• RQ5 알고리즘을 특수화하여 볼록 위치 케이스에서 더 나은 성능을 낼 수 있는가?

주요 결과

• 논문은 평면 두 중심 문제에 대해 처음으로 결정적 O(n log²n) 시간 알고리즘을 제시하며, 가장 잘 알려진 랜덤화된 bound와 일치시킨다.
• 근접 케이스의 경우 O(n log n log log n) 시간을 달성하여, 챈의 O(n log²n log²log n) 결정적 bound를 log n log log n 배 향상시켰다.
• O(n log n) 사전 처리 후 O(n) 시간 결정 알고리즘을 개발하여, 챈의 O(n log n) 결정 시간에 비해 크게 향상되었다.
• 신규 동적 원형 헬름 데이터 구조는 오른쪽 끝 위치 삽입과 왼쪽 끝 점 삭제에 대해 평균 O(1) 시간을 지원한다.
• 두 중심 문제의 볼록 위치 변형은 O(n log n log log n) 결정적 시간 내에 해결되었으며, 이는 이전의 주장보다 향상된 것이다.
• 동적 원형 헬름 기법은 별도의 관심사이며, 원형 헬름을 포함하는 다른 기하 문제에 적용 가능하다.