[논문 리뷰] Abstract Voronoi-Like Graphs: Extending Delaunay’s Theorem and Applications

Evanthia Papadopoulou|arXiv (Cornell University)|2023. 01. 01.

Computational Geometry and Mesh Generation인용 수 1

한 줄 요약

이 논문은 추상 이분계수 시스템 위의 버로노이 유사 그래프를 소개하며, 적절한 조건 하에서 이러한 그래프가 추상 버로노이 다이어그램과 동치임을 증명한다—델류나의 정리에 대한 추상적 이중성 제공. 이는 임의의 순서로 임의의 정점에서의 선형 예상 시간 알고리즘을 제시하여, 잎의 순환 순서로부터 버로노이 유사 트리와 숲을 계산함으로써 제약 델류나 삼각분할의 효율적인 동적 갱신을 가능하게 한다.

ABSTRACT

Any system of bisectors (in the sense of abstract Voronoi diagrams) defines an arrangement of simple curves in the plane. We define Voronoi-like graphs on such an arrangement, which are graphs whose vertices are locally Voronoi. A vertex $v$ is called locally Voronoi, if $v$ and its incident edges appear in the Voronoi diagram of three sites. In a so-called admissible bisector system, where Voronoi regions are connected and cover the plane, we prove that any Voronoi-like graph is indeed an abstract Voronoi diagram. The result can be seen as an abstract dual version of Delaunay's theorem on (locally) empty circles. Further, we define Voronoi-like cycles in an admissible bisector system, and show that the Voronoi-like graph induced by such a cycle $C$ is a unique tree (or a forest, if $C$ is unbounded). In the special case where $C$ is the boundary of an abstract Voronoi region, the induced Voronoi-like graph can be computed in expected linear time following the technique of [Junginger and Papadopoulou SOCG'18]. Otherwise, within the same time, the algorithm constructs the Voronoi-like graph of a cycle $C'$ on the same set (or subset) of sites, which may equal $C$ or be enclosed by $C$. Overall, the technique computes abstract Voronoi (or Voronoi-like) trees and forests in linear expected time, given the order of their leaves along a Voronoi-like cycle. We show a direct application in updating a constraint Delaunay triangulation in linear expected time, after the insertion of a new segment constraint, simplifying upon the result of [Shewchuk and Brown CGTA 2015].

연구 동기 및 목표

• 점이 아닌 사이트, 예를 들어 선분, 원판, 다각형과 같은 비점 사이트에 대해 델류나의 국소-전역 원리가 추상 버로노이 다이어그램으로 일반화되는가를 탐구한다.
• 버로노이 유사 그래프를 정의하고, 추상 이분계수 배열에서 국소 버로노이 성질을 포착하는 구조로 특성화한다.
• 잎의 순환 순서로부터 버로노이 유사 트리와 숲을 선형 예상 시간 내에 계산하는 알고리즘을 개발한다.
• 이 프레임워크를 활용하여 선분 삽입 이후 제약 델류나 삼각분할을 효율적으로 갱신한다.

제안 방법

• 세 정의 사이트로 구성된 버로노이 다이어그램에 나타나는 정점인 국소 버로노이 정점에 의해 버로노이 유사 그래프를 정의한다.
• 허용 가능한 이분계수 시스템에서 임의의 버로노이 유사 그래프가 추상 버로노이 다이어그램임을 증명함으로써, 델류나의 정리를 추상적 맥락으로 일반화한다.
• 모든 내부 정점의 차수가 2인 국소 버로노이인 단순 사이클인 버로노이 유사 사이클(사이트 사이클)을 도입한다.
• 랜덤 순서로 호를 삽입하는 증분적 구축 기법을 사용하며, 예상 시간 복잡도를 유한하게 하기 위해 후행 분석을 적용한다.
• 삽입 과정에서 생성된 보조 호를 제거하기 위해 체우의 알고리즘을 적용함으로써 순서 불변성을 확보하고, 각 단계에서 예상 O(1)의 분할 평균 시간 복잡도를 달성한다.
• 사이클의 잎들 사이의 순서를 활용하여, 심지어 사이클이 전체 버로노이 영역이 아니더라도 버로노이 유사 그래프를 선형 예상 시간 내에 재구성할 수 있다.

실험 결과

연구 질문

• RQ1 추상 이분계수 시스템 위의 버로노이 유사 그래프가 전체 추상 버로노이 다이어그램과 일치하는 조건은 무엇인가?
• RQ2 델류나의 국소-전역 원리가 비점 사이트에 대해 추상 버로노이 다이어그램으로 일반화될 수 있는가?
• RQ3 잎의 순환 순서로부터 버로노이 유사 트리와 숲을 선형 예상 시간 내에 계산할 수 있는가?
• RQ4 보조 면 생성으로 인해 복잡해질 수 있는 버로노이 유사 그래프의 증분적 구축을 어떻게 강력하고 효율적으로 만들 수 있는가?

주요 결과

• 허용 가능한 이분계수 시스템 내에서 임의의 버로노이 유사 그래프는 추상 버로노이 다이어그램이므로, 델류나의 정리에 대한 추상적 이중성을 확립한다.
• 잎이 버로노이 유사 사이클을 따라 순환하는 순서가 주어지면, 알고리즘이 버로노이 유사 트리와 숲을 예상 선형 시간 내에 계산한다.
• 보조 호가 체우의 알고리즘으로 제거될 경우, 후행 분석과 각 정점에 대한 제한된 청산으로 인해 각 삽입 단계의 예상 시간 복잡도는 O(1)이다.
• 이 방법은 선분 삽입 이후 제약 델류나 삼각분할을 효율적으로 갱신할 수 있게 하여 이전 결과를 단순화한다.
• 증분적 구축 과정에서 버로노이 유사 그래프의 정점은 최대 두 번만 청산되므로 총 비용이 선형임을 보장한다.
• 원래 사이클이 전체 버로노이 영역이 아니더라도, 원래 사이클에 포함되거나 같을 수 있는 관련 사이클 C′을 계산함으로써 프레임워크가 적용 가능하다.