[논문 리뷰] Subquadratic Encodings for Point Configurations

Jean Cardinal, Timothy M. Chan외 3명|arXiv (Cornell University)|2018. 01. 01.

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

한 줄 요약

이 논문은 평면상의 실현 가능한 순서형(point sets의 order types)에 대해 O(log n / log log n) 시간의 방향성 쿼리(query)를 지원하는 최초의 비제곱형(비제곱) 인코딩을 제안한다. 이는 O(n²(log log n)² / log n) 비트를 사용한다. 추상적 순서형에 대해서는 O(n²) 비트로 공간 최적화를 달성하고 O(log n) 쿼리 시간을 확보하며, 고차원으로의 일반화는 계층적 컷팅(hierarchical cuttings)과 볼록체(convex bodies) 및 초평면 배치(hyperplane arrangements)의 재귀적 분해를 통해 이루어진다.

ABSTRACT

For many algorithms dealing with sets of points in the plane, the only relevant information carried by the input is the combinatorial configuration of the points: the orientation of each triple of points in the set (clockwise, counterclockwise, or collinear). This information is called the order type of the point set. In the dual, realizable order types and abstract order types are combinatorial analogues of line arrangements and pseudoline arrangements. Too often in the literature we analyze algorithms in the real-RAM model for simplicity, putting aside the fact that computers as we know them cannot handle arbitrary real numbers without some sort of encoding. Encoding an order type by the integer coordinates of a realizing point set is known to yield doubly exponential coordinates in some cases. Other known encodings can achieve quadratic space or fast orientation queries, but not both. In this contribution, we give a compact encoding for abstract order types that allows efficient query of the orientation of any triple: the encoding uses O(n^2) bits and an orientation query takes O(log n) time in the word-RAM model with word size w >= log n. This encoding is space-optimal for abstract order types. We show how to shorten the encoding to O(n^2 {(log log n)}^2 / log n) bits for realizable order types, giving the first subquadratic encoding for those order types with fast orientation queries. We further refine our encoding to attain O(log n/log log n) query time at the expense of a negligibly larger space requirement. In the realizable case, we show that all those encodings can be computed efficiently. Finally, we generalize our results to the encoding of point configurations in higher dimension.

연구 동기 및 목표

• 최소한의 비트로 점 구성(point configurations)을 압축된 데이터 구조로 인코딩하면서도 빠른 방향성 쿼리(query)를 지원하는 것을 목표로 한다.
• 정보이론적 하한선과 실용적 인코딩 사이의 격차를 메우기 위한 실현 가능한 순서형에 대한 목표이다.
• 기존의 O(n²) 인코딩보다 개선된 효율적인 쿼리 지원을 갖춘 실현 가능한 순서형에 대해 비제곱형 공간을 달성하는 것.
• 계층적 컷팅과 볼록체 분해를 통해 2차원 인코딩을 고차원 점 구성으로 일반화하는 것.
• 압축 인코딩과 일반 위치 테스트(general position testing) 등의 기본 문제에 대한 비균일 비제곱 알고리즘 사이의 관계 탐색.

제안 방법

• 고차원에서의 공간 복잡도를 줄이기 위해 계층적 컷팅과 볼록체의 재귀적 분해를 사용한다.
• 단어-RAM 모델을 적용하여 추상적 순서형에 대해 O(n²) 비트로 O(log n) 쿼리 시간을 달성한다.
• r = Θ(td−2 log t)로 조정된 정교한 인코딩을 통해 실현 가능한 순서형에 대해 쿼리 시간을 O(log n / log log n)으로 감소시킨다.
• 점 집합과 초평면 배열 사이의 이중성(duality)을 활용하여 방향성 쿼리를 교차 쿼리로 모델링한다.
• d차원 문제를 2차원 문제로 재귀적으로 감소시키며, 기저 사례는 2차원 인코딩으로 해결하고 공간 효율적인 데이터 구조를 통해 결과를 통합한다.
• 실현 가능한 순서형에 최적화된 允许可열열서열(allowable sequences)과 워이어링 다이어그램(wiring diagrams)을 기반으로 한 새로운 인코딩 프레임워크를 도입하여 비제곱형 공간을 달성한다.

실험 결과

연구 질문

• RQ1 실현 가능한 순서형은 빠른 방향성 쿼리 지원을 하면서도 비제곱형 공간에서 인코딩될 수 있는가?
• RQ2 실현 가능한 순서형에 대해 비제곱형 공간에서 O(log n / log log n) 쿼리 시간을 달성할 수 있는가?
• RQ3 계층적 컷팅과 재귀적 분해를 어떻게 활용하여 2차원 인코딩을 고차원으로 일반화할 수 있는가?
• RQ4 순서형에 대한 압축 인코딩은 일반 위치 테스트에 대한 비균일 비제곱 알고리즘을 이끌 수 있는가?
• RQ5 추상적 및 실현 가능한 순서형을 인코딩하는 데 필요한 최소 공간은 얼마이며, 이는 정보이론적 하한선에 얼마나 가까운가?

주요 결과

• 논문은 실현 가능한 순서형에 대해 O(log n / log log n) 쿼리 시간을 지원하는 최초의 비제곱형 인코딩을 제시하며, 이는 O(n²(log log n)² / log n) 비트를 사용한다.
• 추상적 순서형에 대해서는 O(n²) 비트로 공간 최적화를 달성하고, 단어-RAM 모델에서 O(log n) 쿼리 시간을 확보한다.
• 실현 가능한 구성에 대해 실존하는 인코딩은 실리언-RAM 모델에서 O(n²) 시간 내에 구성될 수 있으며, 이는 실현 가능한 구성에 대한 효율적인 사전처리(preprocessing)를 가능하게 한다.
• 이 방법은 d차원 점 구성으로 일반화되며, 볼록체와의 교차 쿼리에 대해 O(nd−1 log n) 공간과 O(d) 쿼리 시간을 달성한다.
• 이러한 구성은 일반 위치 테스트에 대한 비균일 비제곱 알고리즘으로 향하는 새로운 길을 제공하며, 사전처리 시간이 대수적 决策 트리 모델에서 알려진 최고의 상한선과 일치한다.
• 결과적으로 압축 인코딩이 결정 트리 시뮬레이션에 사용될 수 있음을 보여주며, 이는 인코딩 효율성과 알고리즘 복잡도 한계 사이의 연결 고리를 제공한다.