[논문 리뷰] A Simple Proof of the Existence of a Planar Separator

Sariel Har-Peled|arXiv (Cornell University)|2011. 04. 30.

Computational Geometry and Mesh Generation참고 문헌 8인용 수 15

한 줄 요약

이 논문은 원판 포장 정리(원판 포장 정리)를 사용하여 평면 분리 정리의 간단하고 자가 포함된 증명을 제시한다. 이에 따라 $ n $ 개의 정점을 가진 평면 그래프는 각 성분이 최대 $ 9n/10 $ 개의 정점을 가지는 분할을 하는 크기 $ O(ar{n}) $ 의 분리자(separator)를 가짐을 보여준다. 이 방법은 디스크 포장 내에서 랜덤 레이어의 교차를 활용하여 기대 분리자 크기를 유도하며, 삼각형 분할 그래프에서 사이클 분리자와 $ k $-플리 볼 그래프 및 $ k $-최근접 이웃 그래프에서의 분리자를 증명하는 데까지 확장된다.

ABSTRACT

We provide a simple proof of the existence of a planar separator by showing that it is an easy consequence of the circle packing theorem. We also reprove other results on separators, including: (A) There is a simple cycle separator if the planar graph is triangulated. Furthermore, if each face has at most $d$ edges on its boundary, then there is a cycle separator of size O(sqrt{d n}). (B) For a set of n balls in R^d, that are k-ply, there is a separator, in the intersection graph of the balls, of size O(k^{1/d}n^{1-1/d}). (C) The k nearest neighbor graph of a set of n points in R^d contains a separator of size O(k^{1/d} n^{1-1/d}). The new proofs are (arguably) significantly simpler than previous proofs.

연구 동기 및 목표

• 원판 포장 정리를 사용하여 평면 분리 정리의 간결하고 자가 포함된 증명을 제공하는 것.
• 특히 삼각형 분할 그래프와 기하 교차 그래프에 대한 기존 증명들을 단순화하는 것.
• 기하 확률을 활용하여 삼각형 분할 평면 그래프 및 기하 그래프에서 사이클 분리자의 크기 bound 를 설정하는 것.
• 제한된 플리(즉, 평면 상의 한 점이 너무 많은 디스크에 의해 덮이지 않음)를 가진 원판 포장의 유한 알고리즘적 구성 가능성 여부를 탐색하는 것(개방 문제로 제기됨).

제안 방법

• 코베의 정리(원판 포장 정리)를 사용하여 평면 그래프를 상호 내부적으로 접하는 디스크들의 '맞닿는 그래프'로 표현한다.
• 모든 디스크 중심의 $ n/10 $ 개를 포함하는 가장 작은 디스크를 선택하고, 이를 반지름 1로 정규화하며 원점을 중심으로 한다.
• 랜덤으로 $ x \in [1,2] $ 를 선택하고 반지름 $ x $ 의 원 $ C_x $ 를 정의한다. $ C_x $ 와 교차하는 디스크들의 집합 $ S $ 가 분리자로 구성된다.
• 면적과 확률적 추론을 사용하여 $ S $ 의 기대 크기를 유계화하며, 디스크 반지름을 큰 반지름과 작은 반지름 카테고리로 나눈다.
• 기하 커버링 추론(예: 반지름 2인 디스크를 반지름 1인 디스크 9개로 커버링)을 적용하여 분리자 제거 후 성분 크기를 유계화한다.
• 더블링 차원과 커버링 레미마를 활용하여 이 방법을 $ k $-플리 볼 그래프 및 $ k $-최근접 이웃 그래프로 확장한다.

실험 결과

연구 질문

• RQ1 원판 포장 정리를 사용하여 평면 분리 정리를 더 단순하게 증명할 수 있는가?
• RQ2 삼각형 분할 평면 그래프에서 사이클 분리자의 크기에 대해 가장 날카로운 상한은 무엇인가?
• RQ3 동일한 기하적 확률적 방법을 $ k $-플리 기하 교차 그래프로 확장할 수 있는가?
• RQ4 제한된 플리를 가진 평면 그래프의 디스크 표현을 구성하는 데 유한 알고리즘이 존재하는가?

주요 결과

• 모든 평면 그래프는 크기 $ 11\sqrt{n} $ 의 분리자를 가지며, 이는 각 성분이 최대 $ 9n/10 $ 개의 정점을 가지도록 분할한다.
• 최대 면의 차수 $ d $ 를 가진 삼각형 분할 평면 그래프의 경우, 크기 $ O(\sqrt{dn}) $ 의 사이클 분리자가 존재한다.
• $ \mathbb{R}^d $ 에서 $ n $ 개의 볼이 $ k $-플리인 경우, 그 교차 그래프는 크기 $ O(k^{1/d} n^{1-1/d}) $ 의 분리자를 가진다.
• $ \mathbb{R}^d $ 에서의 $ k $-최근접 이웃 그래프 역시 크기 $ O(k^{1/d} n^{1-1/d}) $ 의 분리자를 가진다.
• 랜덤 레이어 교차로 형성된 분리자 $ S $ 의 기대 크기는 $ 11\sqrt{n} $ 이하로 유계화되며, 이는 디스크 반지름에 대한 면적과 확률적 추론을 통해 도출된다.
• 기존의 구성보다 증명이 간단하지만, 상수는 최적은 아니며 핵심적인 구조적 통찰으로 원판 포장 정리를 활용한다.