[논문 리뷰] On Disjoint Holes in Point Sets

Manfred Scheucher|arXiv (Cornell University)|2018. 01. 01.

Computational Geometry and Mesh Generation인용 수 2

한 줄 요약

이 논문은 평면상의 일반 위치에 있는 17개의 점으로 이루어진 집합이 항상 두 개의 서로소 5구멍(내부에 다른 점이 없는 볼록 오각형)을 포함한다는 것을 계산 기반으로 증명한다. 또한 15개의 점이 존재할 경우 내부적으로 서로소인 5구멍을 보장하며, 이전 방법에 비해 훨씬 감소된 계산 시간으로 17점 집합에서 6각형의 존재를 검증한다.

ABSTRACT

Given a set of points $S \subseteq \mathbb{R}^2$, a subset $X \subseteq S$, $|X|=k$, is called $k$-gon if all points of $X$ lie on the boundary of the convex hull $\mathrm{conv} (X)$, and $k$-hole if, in addition, no point of $S \setminus X$ lies in $\mathrm{conv} (X)$. We use computer assistance to show that every set of 17 points in general position admits two disjoint 5-holes, that is, holes with disjoint respective convex hulls. This answers a question of Hosono and Urabe (2001). We also provide new bounds for three and more pairwise disjoint holes. In a recent article, Hosono and Urabe (2018) present new results on interior-disjoint holes -- a variant, which also has been investigated in the last two decades. Using our program, we show that every set of 15 points contains two interior-disjoint 5-holes. Moreover, our program can be used to verify that every set of 17 points contains a 6-gon within significantly smaller computation time than the original program by Szekeres and Peters (2006).

연구 동기 및 목표

• Hosono와 Urabe(2001)가 제기한 오랜 동안 미해결이었던 문제를 해결하기 위해, 17점 집합에서 두 개의 서로소 5구멍이 존재하는지 확인하는 것.
• 특히 k ≥ 5인 경우에 대해 서로소 및 내부적으로 서로소인 구멍에 대한 이해를 확장하는 것.
• 효율적으로 조합 기하 구성을 검증할 수 있는 계산 기반 프레임워크를 개발하고 적용하는 것.
• 기존의 방법에 비해 점 집합 내 큰 볼록 다각형의 존재를 검증하는 데 소요되는 계산 시간을 향상시키는 것.

제안 방법

• 저자들은 일반 위치에 있는 점들의 구성들을 체계적으로 열거하고 검증하기 위해 컴퓨터 보조 방법을 사용한다.
• 알고리즘 기반의 탐색을 통해 k = 5 및 k = 6인 서로소 및 내부적으로 서로소 k-구멍의 존재를 검증한다.
• 기하학적 제약 조건에 기반한다: k-구멍은 모든 k개의 점이 볼록껍데기에 있어야 하며, 집합의 다른 점들이 볼록껍데기 내부에 존재해서는 안 된다.
• 계산 오버헤드를 줄이기 위해 프로그램을 최적화하여, 이전의 Szekeres-Peters(2006) 알고리즘에 비해 17점 집합에서 6각형의 검증 속도를 높였다.
• 표준 상호소 구멍과 Hosono와 Urabe(2018)가 연구한 내부적으로 서로소 구멍의 변형을 모두 테스트할 수 있도록 프레임워크를 적응시켰다.
• 완전성을 잃지 않으면서도 검색 공간을 줄이기 위해 대칭성 감소 및 가지치기 기법을 활용한다.

실험 결과

연구 질문

• RQ1 일반 위치에 있는 17개의 점 집합이 항상 두 개의 서로소 5구멍을 포함하는가?
• RQ2 일반 위치에 있는 15개의 점 집합이 항상 두 개의 내부적으로 서로소 5구멍을 포함하는 것으로 보장되는가?
• RQ3 제안된 방법을 사용할 경우 17점 집합에서 6각형의 존재를 검증하는 데 소요되는 계산 효율성은 어떠한가?
• RQ4 6구멍 탐지에 있어 새로운 프로그램의 성능은 Szekeres-Peters(2006) 알고리즘과 비교하여 어떻게 되는가?
• RQ5 점 집합에서 세 개 이상의 상호소 구멍이 존재하는 데 있어 알려진 가장 날카로운 상한은 무엇인가?

주요 결과

• 일반 위치에 있는 17개의 점 집합은 항상 최소 두 개의 서로소 5구멍을 포함한다. 이는 Hosono와 Urabe(2001)의 추측을 확인한다.
• 일반 위치에 있는 15개의 점 집합은 항상 최소 두 개의 내부적으로 서로소 5구멍을 포함한다. 이는 구멍 문제의 변형에 대한 결과를 확장한다.
• 제안된 프로그램은 기존의 Szekeres-Peters(2006) 구현에 비해 17점 집합에서 6각형의 존재를 검증하는 데 훨씬 감소된 계산 시간을 기록한다.
• 기하학적 제약 조건과 알고리즘 최적화를 활용함으로써 볼록 다각형 존재성의 효율적 검증을 달성한다.
• 이 프로그램은 표준 및 내부적으로 서로소 구멍 변형 모두에 적용 가능한 확장 가능한 프레임워크를 제공한다.
• 결과적으로 다중 상호소 구멍의 존재에 대해 더 날카로운 상한을 설정함으로써, 계산 기하학의 극값 문제에 대한 이해를 발전시킨다.