[논문 리뷰] Sorted Range Reporting Revisited

Gelin Zhou|arXiv (Cornell University)|2013. 08. 15.

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

한 줄 요약

이 논문은 $O(\lg\lg n + k\lg\lg n)$ 쿼리 시간을 달성하는 2차원 정렬 범위 보고를 위한 데이터 구조를 제안한다. 이는 $O(n\lg\lg n)$ 단위의 공간을 사용하며, 이전의 Nekrich와 Navarro의 결과보다 쿼리 시간에서 $O(\lg\lg n)$ 요인만큼 향상되었고, 동일한 공간 복잡도를 유지한다. 이 방법은 계층적 웨이블릿 트리와 3면 범위 후속자 쿼리에 대한 보조 구조를 활용하여, $x$-좌표 순서로 증가하는 순서로 온라인으로 점들을 효율적으로 보고할 수 있도록 한다.

ABSTRACT

We consider the two-dimensional sorted range reporting problem. Our data structure requires O(n lglg n) words of space and O(lglg n + k lglg n) query time, where k is the number of points in the query range. This data structure improves a recent result of Nekrich and Navarro [8] by a factor of O(lglg n) in query time, and matches the state of the art for unsorted range reporting [1].

연구 동기 및 목표

• 2차원 정렬 범위 보고 문제를 해결함에 있어, 선형대수 공간 사용을 유지하면서 쿼리 시간을 향상시키기 위해.
• 특히 공간 효율적인 구조에서의 쿼리 시간 측면에서 정렬 및 비정렬 범위 보고 성능 간 격차를 해소하기 위해.
• 공간 복잡도 $O(n\lg\lg n)$에서 $O(\lg\lg n)$ 쿼리 시간을 달성하는 2차원 범위 후속자 쿼리에 대해 최적의 성능을 달성하기 위해.
• 사전 정렬 없이도 $x$-좌표 순서로 증가하는 순서로 온라인 출력을 지원하여 결과를 효율적으로 스트리밍할 수 있도록 하기 위해.

제안 방법

• 각 노드에서 점 집합의 계층적 분해를 수행하는 웨이블릿 트리 기반의 범위 보고 구조를 구축한다.
• 각 노드 $v$에 대해 $S(v)$ 위에 보조 데이터 구조를 유지하여 $O(\lg\lg n)$ 시간 내에 3면 범위 후속자 쿼리를 지원한다.
• $S(v)$ 내의 점들을 크기 $\lg^3 n$인 블록으로 나누고, 블록 최소값 위에 $D(v)$를 유지하여 블록 간 빠른 후속자 쿼리를 지원한다.
• 더불어 블록을 크기 $\lg^\epsilon n$인 부분 블록으로 분할하고, 레퍼런스 5를 사용하여 부분 블록 최소값 위에 $E_i(v)$를 유지하여 $O(\lg\lg\lg n)$ 시간 내 쿼리를 수행한다.
• 단순 후속자 쿼리를 가속화하기 위해 요약 전행 데이터 구조와 전역 룩업 테이블을 사용하여 소형 부분 블록에서의 상수 시간 테이블 조회를 지원한다.
• 웨이블릿 트리와 계층적 후속자 구조를 결합하여 4면 범위 후속자 쿼리를 $O(\lg\lg n)$ 시간 내에 해결함으로써 반복적인 후속자 쿼리를 통해 정렬된 범위 보고를 가능하게 한다.

실험 결과

연구 질문

• RQ1 공간 복잡도 $O(n\lg\lg n)$에서 2차원 정렬 범위 보고의 쿼리 시간을 $O(\lg\lg n)$로 달성할 수 있는가? 이는 비정렬 범위 보고의 최고 성능 기준과 일치한다.
• RQ2 공간 복잡도 $O(n\lg\lg n)$에서 Nekrich와 Navarro의 $O(\lg^2\lg n + k\lg^2\lg n)$ 쿼리 시간을 $O(\lg\lg n)$ 요인만큼 향상시킬 수 있는가?
• RQ3 공간 복잡도 $O(n\lg\lg n)$를 유지하면서 3면 범위 후속자 쿼리를 $O(\lg\lg n)$ 시간 내에 효율적으로 지원할 수 있는가?
• RQ4 블록 및 부분 블록 구조를 갖는 계층적 분해가 사전 정렬 없이도 효율적인 온라인 정렬 보고를 가능하게 할 수 있는가?

주요 결과

• 제안된 데이터 구조는 $O(n\lg\lg n)$ 단위의 공간을 사용하여 2차원 정렬 범위 보고를 $O(\lg\lg n + k\lg\lg n)$ 쿼리 시간 내에 지원한다.
• 동일한 공간 복잡도에서 Nekrich와 Navarro의 $O(\lg^2\lg n + k\lg^2\lg n)$ 쿼리 시간보다 $O(\lg\lg n)$ 요인만큼 향상된다.
• 이 데이터 구조는 $O(n\lg\lg n)$ 공간을 사용하여 3면 범위 후속자 쿼리를 $O(\lg\lg n)$ 시간 내에 지원하며, 비정렬 범위 보고의 최적 경계와 일치한다.
• 요약 전행 및 후속자 구조를 활용한 계층적 블록 및 부분 블록 분해는 국소 및 전역 범위 쿼리의 효율성을 높인다.
• 소형 부분 블록 크기 $\lg^\epsilon n$에서의 상수 시간 테이블 조회를 보장하기 위해 $o(n)$ 비트의 전역 룩업 테이블을 사용하여 전체 공간 효율성을 확보한다.
• 반복적인 범위 후속자 쿼리를 통해 $x$-좌표 순서로 증가하는 순서로 점들을 온라인으로 보고할 수 있으며, 이로써 기대하는 시간 복잡도를 달성한다.