[논문 리뷰] Perfect vector sets, properly overlapping partitions, and largest empty box

Adrian Dumitrescu, Minghui Jiang|arXiv (Cornell University)|2016. 08. 24.

Computational Geometry and Mesh Generation참고 문헌 27인용 수 4

한 줄 요약

이 논문은 $n$개의 점이 $d$차원 단위 초입방체에 있을 때, 축에 평행한 빈 상자 중 부피가 적어도 $\frac{\log d}{4(n + \log d)}$ 이상인 것을 $O(n + d\log d)$ 시간에 계산하는 알고리즘을 제시한다. 이는 최소 빈 상자의 최대 부피에 대한 날카운 경계를 유도하기 위해 완전한 벡터 집합과 적절히 겹치는 분할이라는 새로운 개념을 도입하며, 이는 극한 집합 이론과 연결되어 $A_d(n)$의 渐近적 행동에 대한 이해를 향상시킨다.

ABSTRACT

We revisit the following problem (along with its higher dimensional variant): Given a set $S$ of $n$ points inside an axis-parallel rectangle $U$ in the plane, find a maximum-area axis-parallel sub-rectangle that is contained in $U$ but contains no points of $S$. (I) We present an algorithm that finds a large empty box amidst $n$ points in $[0,1]^d$: a box whose volume is at least $\frac{\log{d}}{4(n + \log{d})}$ can be computed in $O(n+d \log{d})$ time. (II) To better analyze the above approach, we introduce the concepts of perfect vector sets and properly overlapping partitions, in connection to the minimum volume of a maximum empty box amidst $n$ points in the unit hypercube $[0,1]^d$, and derive bounds on their sizes.

연구 동기 및 목표

• 단위 초입방체 $[0,1]^d$ 내의 $n$개 점들 사이에서 큰 빈 축에 평행한 상자를 효율적으로 계산하는 알고리즘을 개발하기 위해.
• 모든 $n$-점 집합에 대해 $[0,1]^d$ 내에서 가장 큰 빈 상자의 최소 부피인 $A_d(n)$의 渐近적 행동을 이해하기 위해.
• 완전한 벡터 집합과 적절히 겹치는 분할이라는 개념을 도입하고, 이들을 $A_d(n)$의 경계를 구하는 도구로 분석하기 위해.
• 이 조합 구조와 고전적인 극한 집합 이론(예: Sperner 체계와 LYM 부등식) 간의 연결 고리를 설정하기 위해.
• $A_d(n)$이 $\Theta(\log d / n)$ 또는 그 이상으로 증가하는지, 그리고 $A_d(n)$의 증가율에 대한 열린 문제를 해결하기 위해.

제안 방법

• 알고리즘은 점들을 통과하는 초평면으로 초입방체를 잘라내는 재귀적 분할 전략을 사용하며, 큰 빈 조각을 선택한다.
• 해당 방법는 정확히 $\ell = \lfloor \log d \rfloor $개의 점을 포함하는 상자 중 부피가 적어도 $\frac{\ell+1}{n + \ell + 1}$ 이상임을 보장하는 존재를 활용한다.
• 이 방법은 $\ell$개의 내부 점 좌표를 $\{0,1,\dots,a-1\}$ 위의 $d$개의 벡터로 표현하여 벡터 집합 $\mathcal{V}$를 구성한다.
• 완전한 벡터 집합의 개념을 적용한다: 집합 $\mathcal{V}$가 완전한 경우, 임의의 $t$-튜플의 벡터들이 모두 서로 다른 값을 갖는 좌표가 존재한다.
• 적절히 겹치는 분할은 모든 $t$-튜플의 분할이 적어도 한 부분에서 공통된 겹침을 가지며, 극한 집합 이론을 통해 크기를 경계한다.
• 분석은 완전한 집합의 부재가 벡터 표현에서의 미충족 조합을 통해 큰 빈 상자의 존재로 이어짐을 연결한다.

실험 결과

연구 질문

• RQ1 단위 초입방체 $[0,1]^d$ 내에서 가장 큰 빈 상자의 부피가 $\Omega(\log d / n)$ 이하로 경계될 수 있는가?
• RQ2 $[n]$의 $t$-wise 적절히 겹치는 $a$-분할의 최대 크기는 $n$에 대해 어떻게 渐近적으로 증가하는가?
• RQ3 완전한 벡터 집합과 적절히 겹치는 분할은 극한 집합 이론과 불일치 이론과 어떻게 관련되는가?
• RQ4 이러한 분할의 지수함수적 크기 이하의 가족이 존재할 경우, $A_d(n)$이 초로그형으로 증가하는가?
• RQ5 $A_d(n) \leq d^{O(1)}/n$ 이 모든 $d$에 대해 성립하는가?

주요 결과

• 알고리즘은 $n$개의 점이 $[0,1]^d$에 있을 때, 부피가 적어도 $\frac{\log d}{4(n + \log d)}$ 이상인 빈 상자를 $O(n + d\log d)$ 시간에 계산한다.
• 논문은 $A_d(n) \geq \frac{\log d}{4(n + \log d)}$ 를 확립하며, Aistleitner 등 [4]에서 구한 최고의 알려진 하한 경계와 일치함을 보였다.
• 고정된 $a,t \geq 2$에 대해, $[n]$의 $t$-wise 적절히 겹치는 $a$-분할의 최대 크기는 $n$에 대해 지수적으로 증가함을 보였다.
• 완전한 벡터 집합과 적절히 겹치는 분할 간의 동치성이 공식적으로 증명되었으며, 이는 $A_d(n)$에 대한 조합적 경계를 가능하게 한다.
• 이러한 분할의 가족이 지수함수적 크기 이하일 경우 $A_d(n) = \omega(\log d / n)$ 가 성립하지만, 이러한 가족이 실제로 지수함수적임을 고려하면 이 경우는 발생하지 않는다.
• 논문은 $A_d(n)$이 (1)의 지수 상한에 비해 $\Theta(\log d / n)$에 더 가까울 것임을 해결하였으며, $A_d(n) \leq d^{O(1)}/n$ 이 성립할 가능성이 높다고 제시한다.