[논문 리뷰] On Range Searching with Semialgebraic Sets II

Pankaj K. Agarwal, Jiřı́ Matoušek외 1명|arXiv (Cornell University)|2012. 08. 16.

Computational Geometry and Mesh Generation참고 문헌 19인용 수 5

한 줄 요약

이 논문은 ℝᵈ에서 상수 복잡도의 반대칭대수집합을 위한 선형 크기의 데이터 구조를 제시하며, 다항분할을 이용해 쿼리 시간을 O(n¹⁻¹⁄ᵈ)에 가까운 수준으로 달성한다. 이는 d ≥ 5인 경우 이전의 해결책보다 크게 향상되어 오랫동안 남아있던 열린 문제를 거의 해결한다. 랜덤화된 알고리즘을 활용해 효율적인 다항분할을 구성함으로써 달성된다.

ABSTRACT

Let $P$ be a set of $n$ points in $\R^d$. We present a linear-size data structure for answering range queries on $P$ with constant-complexity semialgebraic sets as ranges, in time close to $O(n^{1-1/d})$. It essentially matches the performance of similar structures for simplex range searching, and, for $d\ge 5$, significantly improves earlier solutions by the first two authors obtained in~1994. This almost settles a long-standing open problem in range searching. The data structure is based on the polynomial-partitioning technique of Guth and Katz [arXiv:1011.4105], which shows that for a parameter $r$, $1 < r \le n$, there exists a $d$-variate polynomial $f$ of degree $O(r^{1/d})$ such that each connected component of $\R^d\setminus Z(f)$ contains at most $n/r$ points of $P$, where $Z(f)$ is the zero set of $f$. We present an efficient randomized algorithm for computing such a polynomial partition, which is of independent interest and is likely to have additional applications.

연구 동기 및 목표

• ℝᵈ에서 상수 복잡도의 반대칭대수집합을 위한 선형 공간 데이터 구조를 개발한다.
• 쿼리 시간을 O(n¹⁻¹⁄ᵈ)에 가까운 수준으로 달성하여 단순체 범위 검색 구조의 성능을 재현한다.
• d ≥ 5인 경우 이전의 O(n¹⁻¹⁄ᵈ⁺ε) bound에 비해 향상됨으로써 오랫동안 남아있던 범위 검색 분야의 열린 문제를 해결한다.
• 다양한 응용 분야에서 유용한 다항분할을 효율적으로 생성하는 랜덤화된 알고리즘을 제공한다.

제안 방법

• Guth와 Katz의 다항분할 기법을 활용하여 ℝᵈ를 각각 최대 n/r개의 점을 포함하는 셀로 분할한다.
• ℝᵈ⧵Z(f)가 낮은 점 수를 가진 연결된 성분들로 나뉘도록 d변량 다항식 f를 degree O(r¹ᐟᵈ)로 구성한다.
• 재귀적 분할 전략을 적용하여 각 셀과 분할의 조각에 대해 보조 데이터 구조를 구축한다.
• 저차수 대수적 표면 위에 위치한 열악한 점 집합을 다루기 위해 다수준 구조를 적용한다.
• 사전처리 시간을 제어하기 위해 파라미터 δ*를 사용하며, δ* = ε/c로 설정함으로써 O(n¹⁺ε)의 사전처리 시간을 달성한다.
• 다양한 응용 분야에서 활용 가능한 효율적인 다항분할 계산을 위한 랜덤화된 알고리즘을 통합한다.

실험 결과

연구 질문

• RQ1 상수 복잡도의 반대칭대수집합을 위한 선형 크기의 데이터 구조를 구축하여 쿼리 시간을 O(n¹⁻¹⁄ᵈ)에 가까이 만들 수 있는가?
• RQ2 다항분할 기법을 조정하여 상수 복잡도의 반대칭대수집합에 대해 거의 최적의 쿼리 시간을 달성할 수 있는가?
• RQ3 다양한 응용 분야에서 활용 가능한 효율적인 랜덤화된 알고리즘을 설계하여 다항분할을 계산하고, 이를 통해 빠른 범위 쿼리가 가능하게 할 수 있는가?
• RQ4 많은 점들이 저차수 대수적 표면 위에 위치한 극도로 열악한 점 집합은 범위 검색에서 어떻게 효과적으로 다룰 수 있는가?

주요 결과

• 논문은 임의의 ε > 0에 대해 O(n¹⁻¹⁄ᵈ⁺ε)의 쿼리 시간을 달성하며, 선형 공간을 사용하여 단순체 범위 검색의 최적 성능에 거의 근접한다.
• d ≥ 5인 경우, 1994년의 이전 O(n¹⁻¹⁄ᵈ⁺ε) bound에 비해 크게 향상되어 오랫동안 남아있던 열린 문제를 거의 해결한다.
• 사전처리 시간은 ε > 0에 대해 O(n¹⁺ε)로 달성되며, 이는 구성 과정에서 파라미터 δ* = ε/c로 조정함으로써 달성된다.
• 다양한 응용 분야에서 활용 가능한 효율적인 다항분할 계산을 위한 랜덤화된 알고리즘을 개발하였다.
• 다중수준 다항분할 기법을 통해 이전 연구에서의 주요 장애물이었던 열악한 구성 조건을 효과적으로 다룬다.
• 제안된 구조는 일반적이며 임의의 고정된 d, Δ, s에 대해 상수 복잡도 반대칭대수집합 Γ₅,Δ,s에 적용 가능하다.