[논문 리뷰] Empty Squares in Arbitrary Orientation Among Points

Sang Won Bae, Sang Duk Yoon|arXiv (Cornell University)|2019. 11. 29.

Computational Geometry and Mesh Generation인용 수 1

한 줄 요약

이 논문은 평면 상의 n개 점 집합 내에서 임의의 방향을 가진 빈 정사각형의 조합적 및 알고리즘적 성질을 조사한다. 네 개의 접촉 쌍을 가진 빈 정사각형의 수에 대해 Ω(n)에서 O(n²)까지의 날카운 경계를 확립하고, s∗ log n 시간에 모든 이러한 정사각형을 계산하는 새로운 출력에 민감한 알고리즘을 제안하며, O(n) 공간을 사용한다. 이 알고리즘을 활용해 가장 큰 빈 정사각형 문제와 최소 정사각형 링근 문제를 O(n² log n) 시간에 해결함으로써 이전 결과보다 크게 향상시켰다.

ABSTRACT

This paper studies empty squares in arbitrary orientation among a set $P$ of $n$ points in the plane. We prove that the number of empty squares with four contact pairs is between $Ω(n)$ and $O(n^2)$, and that these bounds are tight, provided $P$ is in a certain general position. A contact pair of a square is a pair of a point $p\in P$ and a side $\ell$ of the square with $p\in \ell$. The upper bound $O(n^2)$ also applies to the number of empty squares with four contact points, while we construct a point set among which there is no square of four contact points. These combinatorial results are based on new observations on the $L_\infty$ Voronoi diagram with the axes rotated and its close connection to empty squares in arbitrary orientation. We then present an algorithm that maintains a combinatorial structure of the $L_\infty$ Voronoi diagram of $P$, while the axes of the plane continuously rotates by $90$ degrees, and simultaneously reports all empty squares with four contact pairs among $P$ in an output-sensitive way within $O(s\log n)$ time and $O(n)$ space, where $s$ denotes the number of reported squares. Several new algorithmic results are also obtained: a largest empty square among $P$ and a square annulus of minimum width or minimum area that encloses $P$ over all orientations can be computed in worst-case $O(n^2 \log n)$ time.

연구 동기 및 목표

• 일반 위치에 있는 n개 점 사이에서 네 개의 접촉 쌍을 가진 빈 정사각형의 최대 개수를 결정하는 것.
• 출력에 민감한 시간 복잡도로 이러한 모든 빈 정사각형을 계산하는 효율적인 알고리즘을 개발하는 것.
• 결과를 활용해 더 빠른 시간 복잡도로 일반 방향의 가장 큰 빈 정사각형 문제와 최소 정사각형 링근 문제를 해결하는 것.
• 기울인 축을 가진 L∞ 베로노이 다이어그램과 빈 정사각형의 조합적 구조 사이의 연결 고리를 설정하는 것.
• 임의의 방향에서 가장 큰 빈 정사각형 쿼리를 O(log n) 시간에 응답할 수 있는 데이터 구조를 제공하는 것.

제안 방법

• 연속적으로 회전하는 좌표축을 가진 L∞ 베로노이 다이어그램을 활용하여 임의의 방향을 가진 빈 정사각형을 모델링한다.
• 기울인 L∞ 베로노이 다이어그램의 각 조합적 변화가 네 개의 접촉 쌍을 가진 빈 정사각형과 대응됨을 증명한다.
• 90도 회전 동안 기울인 L∞ 베로노이 다이어그램의 조합적 구조를 유지하여 이러한 모든 정사각형을 포괄한다.
• 지속적 데이터 구조를 사용해 다양한 방향에 대한 베로노이 다이어그램을 저장함으로써 쿼리 처리 시 공간 사용량을 O(s⁴)로 감소시킨다.
• 상한 봉우리의 삼각함수 합성 함수 분석을 통해 가장 큰 빈 정사각형과 최소 폭/면적의 정사각형 링근을 계산하는 데 이 프레임워크를 적용한다.
• 삼각함수 합성 함수의 복잡도를 제한하기 위해 순서 3의 Davenport–Schinzel 수열을 사용한다.

실험 결과

연구 질문

• RQ1 일반 위치에 있는 n개 점 사이에서 네 개의 접촉 쌍을 가진 빈 정사각형이 최대 몇 개 존재할 수 있는가?
• RQ2 좌표축의 연속적 회전 동안 임의의 방향을 가진 빈 정사각형의 조합적 구조를 효율적으로 유지할 수 있는가?
• RQ3 이전에 알려진 O(n³) 시간보다 더 빠르게 일반 방향의 가장 큰 빈 정사각형을 계산할 수 있는가?
• RQ4 모든 방향에 대해 주어진 점 집합을 둘러싸는 최소 폭 또는 최소 면적의 정사각형 링근을 찾는 데 필요한 계산 복잡도는 얼마인가?
• RQ5 임의의 방향에서 가장 큰 빈 정사각형 쿼리를 효율적으로 응답할 수 있는 데이터 구조를 어떻게 구성할 수 있는가?

주요 결과

• 네 개의 접촉 쌍을 가진 빈 정사각형의 수는 Ω(n)에서 O(n²) 사이에 있으며, 일반 위치에 있는 점 집합에 대해 둘 다 날카로운 경계이다.
• 출력에 민감한 알고리즘이 s∗ 개의 보고된 정사각형 수를 고려할 때 O(s∗ log n) 시간과 O(n) 공간을 사용해 모든 이러한 정사각형을 계산한다.
• 일반 방향의 가장 큰 빈 정사각형은 O(n² log n) 시간에 계산 가능하며, 이는 이전의 O(n³) 알고리즘보다 향상된 결과이다.
• 점 집합을 둘러싸는 최소 폭 또는 최소 면적의 정사각형 링근은 O(n² log n) 시간에 계산 가능하며, 이는 이전의 O(n³) 및 O(n³ log n) 방법보다 향상된 결과이다.
• 크기가 O(n²α(n))인 데이터 구조는 주어진 방향에서 가장 큰 빈 정사각형 쿼리를 O(log n) 시간에 지원한다.
• 기울인 L∞ 베로노이 다이어그램의 총 조합적 변화 수는 Θ(s∗)이며, 이는 다이어그램의 동적 특성과 빈 정사각형 수세기 사이의 직접적인 연결 고리를 확립한다.