[논문 리뷰] Dense point sets have sparse Delaunay triangulations

Jeff Erickson|ArXiv.org|2001. 10. 15.

Computational Geometry and Mesh Generation참고 문헌 86인용 수 35

한 줄 요약

이 논문은 $ℝ^3$ 내의 임의의 $ n $개 점 집합의 데라운이 삼각분할이 산란도 $Δ$ 에 대해 복잡도 $O(\Delta^3)$ 를 가지며, 이는 조밀한 점 집합(여기서 $Δ = O(n^{1/3})$)에 대해 선형임을 증명한다. 이 결과는 구면 캡과 순서-$k$ 산란도를 포함한 기하적 추론에 기반하며, 구의 정규 삼각분할과 균일한 표면 샘플로까지 확장되며, 일부 가중치 삼각분할에 대해 $\Omega(n\Delta)$ 의 날카운 하한을 확립한다.

ABSTRACT

The spread of a finite set of points is the ratio between the longest and shortest pairwise distances. We prove that the Delaunay triangulation of any set of n points in R^3 with spread D has complexity O(D^3). This bound is tight in the worst case for all D = O(sqrt{n}). In particular, the Delaunay triangulation of any dense point set has linear complexity. We also generalize this upper bound to regular triangulations of k-ply systems of balls, unions of several dense point sets, and uniform samples of smooth surfaces. On the other hand, for any n and D=O(n), we construct a regular triangulation of complexity Omega(nD) whose n vertices have spread D.

연구 동기 및 목표

• 실제 적용에서 흔치 않은 최악의 경우 $\Omega(n^2)$ 복잡도에 비해 3D 데라운이 삼각분할의 이론적·실용적 복잡도 격차를 해결하기 위해.
• 희박한 삼각분할을 보장하는 기하적 제약 조건—특히 산란도—를 규명하기 위해.
• 이전의 결과를 무작위 또는 잘 분포된 점 집합에 한정된 범위에서 산란도 매개변수를 통해 조밀하고 구조화된 점 집합으로 일반화하기 위해.
• 산란도에 따라 삼각분할 복잡도의 날카운 상한 및 하한을 확립하고, 정규 삼각분할 및 표면 샘플로 결과를 확장하기 위해.

제안 방법

• 산란도 $\Delta$ 를 점 집합 내 최대 거리와 최소 거리의 비율로 정의한다.
• 구면 캡을 포함한 기하적 밀도 추론을 사용하여 데라운이 간선 수를 근사함으로써, 각 점이 최악의 경우 $O(\Delta^3)$ 명 이웃을 가질 수 있음을 보여준다.
• 산란도 측정이 가까운 쌍에 대해 민감도를 낮추기 위해 순서-$k$ 산란도 $\Delta_k$ 를 도입하고, 데라운이 삼각분할에 대해 $O(k^2\Delta_k^3)$ 복잡도를 증명한다.
• 중심의 산란도가 $\Delta$ 인 $k$-플리 시스템의 이산 구의 정규 삼각분할 분석을 확장하여, $O(k^2\Delta^3)$ 복잡도를 보인다.
• 부드러운 표면의 균일하거나 무작위 샘플에 대해 데라운이 삼각분할의 복잡도가 $O(\Delta^3)$ 라는 것을 증명한다.
• 중첩된 구와 애핀 변환을 사용하여, 산란도 $\Delta$ 를 가진 $n$개 점의 정규 삼각분할에 대해 최악의 경우 $\Omega(n\Delta)$ 복잡도를 갖는 예를 구성한다.

실험 결과

연구 질문

• RQ1 3D 데라운이 삼각분할의 복잡도는 점의 수 $n$ 이외에 산란도 $\Delta$ 에 따라 유계로 만들 수 있는가?
• RQ2 산란도 $\Delta = O(n^{1/3})$ 인 조밀한 점 집합의 데라운이 삼각분할은 항상 크기로 선형적인가?
• RQ3 산란도에 따른 상한 $O(\Delta^3)$ 을 구의 정규 삼각분할과 조밀한 점 집합의 합집합으로 확장할 수 있는가?
• RQ4 산란도 $\Delta$ 가 클 경우 데라운이 삼각분할의 최악의 복잡도는 무엇이며, 이는 $n$ 과 어떻게 비교되는가?
• RQ5 상한은 고차원으로 일반화될 수 있으며, 기하적 밀도 추론이 단체 복잡도를 유계로 만드는 데 어떤 역할을 하는가?

주요 결과

• 산란도 $\Delta$ 를 가진 $ℝ^3$ 내의 임의의 $n$-점 집합에 대해 데라운이 삼각분할의 복잡도는 $n$ 과 무관하게 $O(\Delta^3)$ 이다.
• 이 유계는 $\Delta = O(\sqrt{n})$ 인 모든 경우에 날카롭고, $\Delta = O(n^{1/3})$ 인 조밀한 점 집합에 대해 선형 복잡도를 암시한다.
• $k$-플리 시스템의 구에서 중심의 산란도가 $\Delta$ 이면, 정규 삼각분할의 복잡도는 $O(k^2\Delta^3)$ 이다.
• 부드러운 표면의 균일하거나 무작위 샘플에 대해 데라운이 삼각분할의 복잡도는 $O(\Delta^3)$ 이다.
• 산란도 $\Delta$ 를 가진 $n$개 점의 정규 삼각분할에 대해 최악의 경우 하한 $\Omega(n\Delta)$ 가 확립되어, 이 상한이 이 영역에서 날카로움을 보여준다.
• 랜덤 인크리멘탈 알고리즘이 이러한 삼각분할을 기대 시간 $O(\Delta^3 \log n)$ 내에 구성한다.