[논문 리뷰] Convex decompositions of point sets in the plane

Toshinori Sakai, Jorge Urrutia|arXiv (Cornell University)|2019. 09. 13.

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

한 줄 요약

이 논문은 평면상의 일반 위치에 있는 n개의 점 집합을 분해하기 위해 필요한 최소 볼록 다边형의 수에 대한 새로운 상한을 제시한다. 이는 $\frac{4}{3}|I(P)| + \frac{1}{3}|B(P)| + 1$개 이하의 볼록 다각형이 충분하다는 것을 보여주며, 여기서 $I(P)$와 $B(P)$는 각각 내부점과 윤곽점의 집합이다. 이 결과는 이전의 상한을 향상시키며, $U(n) \leq \frac{4}{3}n - 2$를 확립하여 점 집합의 볼록 분해에 대해 더 날카운 점근적 상한을 확인한다.

ABSTRACT

Let $P$ be a set of $n$ points in general position on the plane. A set of closed convex polygons with vertices in $P$, and with pairwise disjoint interiors is called a convex decomposition of $P$ if their union is the convex hull of $P$, and no point of $P$ lies in the interior of the polygons. We show that there is a convex decomposition of $P$ with at most $\frac{4}{3}|I(P)|+\frac{1}{3}|B(P)|+1\le \frac{4}{3}|P|-2$ elements, where $B(P)\subseteq P$ is the set of points at the vertices of the convex hull of $P$, and $I(P)=P-B(P)$.

연구 동기 및 목표

• 일반 위치에 있는 평면상의 n개 점 집합을 분해하기 위해 필요한 최소 볼록 다각형 수에 대한 더 날카운 상한을 확립하기 위해.
• 단지 $n$이 아니라 내부점의 수 $|I(P)|$와 윤곽점의 수 $|B(P)|$를 기반으로 한 상한을 보다 정교하게 다듬기 위해.
• Urrutia가 제기한 오랜 동안 미해결이었던 $U(n) \leq n+1$에 대한 추측을 더 강력하고 증명 가능한 상한을 제시함으로써 해결하기 위해.
• 기존의 상한인 $\frac{10n-18}{7}$ 및 $\left\lceil\frac{7}{5}(n-3)\right\rceil+1$을 초월하기 위해.
• 볼록 윤곽의 구조와 점의 위치에 기반한 기하 분해 기법을 사용한 구성적 귀납적 증명을 제공하기 위해.

제안 방법

• 저자는 점의 수 $n = |P|$에 대한 귀납법을 사용하며, $n=3$, $i=1$, $i=2$의 기본 케이스는 직접 다룬다.
• 세 개의 연속된 윤곽 점으로 이루어진 삼각형의 내부가 비어 있는지 또는 다른 점을 포함하는지에 따라 구성 유형을 분류한다.
• 어느 삼각형의 내부도 비어 있지 않은 경우, 각도 영역 $A(p_j; q_j, p_{j-1})$를 정의하고 기하학적 보조정리를 사용하여 일부 영역에 다른 점이 존재하지 않음을 보인다.
• 보조 집합 $Q_j = \{q_j, q_j^\prime\}$를 정의하고, $I(P)$의 볼록 분해를 윤곽 삼각형과 결합하여 전체 분해를 구성한다.
• 지역 $\text{Int}(\triangle q_j q_{j+1} q_{j+2}) \cap P = \emptyset$ 여부에 따라 사례 분석을 수행하고, 기하 제약 조건을 이용해 다각형을 결합하여 총 개수를 줄인다.
• 점들을 제거한 부분집합 $P$에 대해 귀납 가정을 적용한다 (예: $P - \{p_j\}$, $P - \{p_j, p_{j+1}\}$) 하고, 결과로 얻어진 분해가 제시된 상한 내에 유지됨을 보인다.

실험 결과

연구 질문

• RQ1 일반 위치에 있는 평면상의 n개 점 집합을 분해하기 위해 필요한 최소 볼록 다각형의 수는 내부점과 윤곽점의 수에 따라 어떻게 달라지나?
• RQ2 Urrutia의 추측인 $U(n) \leq n+1$는 더 날카운 분석적 상한으로 개선될 수 있는가?
• RQ3 볼록 윤곽의 구조와 내부점의 분포는 볼록 분해의 복잡성에 어떤 영향을 미치는가?
• RQ4 구성적 귀납적 방법을 사용하여 새로운 상한에 도달하는 볼록 분해를 만들 수 있는가?
• RQ5 어떤 기하적 성질이 특정 다각형을 볼록성 또는 내부 영역의 서로소 조건을 위반하지 않도록 합치는 데 보장하는가?

주요 결과

• 논문은 점 집합 $P$의 분해에 필요한 최소 볼록 다각형 수에 대해 상한 $u(P) \leq \frac{4}{3}|I(P)| + \frac{1}{3}|B(P)| + 1$을 확립한다.
• 이 상한은 $U(n) \leq \frac{4}{3}n - 2$를 암시하며, 이는 이전의 상한인 $\frac{10n-18}{7}$ 및 $\left\lceil\frac{7}{5}(n-3)\right\rceil+1$보다 더 날카롭다.
• n=3일 경우 상한은 $u(P) \leq 2$를 주며, 이는 오직 한 개의 삼각형만 필요하므로 타당하다.
• |I(P)| = 1일 경우 상한은 $u(P) \leq \frac{4}{3} + \frac{1}{3}b + 1$을 주며, 실제 값 $u(P) = 3$은 이를 만족한다.
• |I(P)| = 2일 경우 상한은 $u(P) \leq \frac{8}{3} + \frac{1}{3}b + 1$을 주며, $u(P) = 4$는 이를 만족한다.
• 세 개의 연속된 윤곽 점으로 이루어진 모든 삼각형이 내부 점을 포함하는 가장 복잡한 경우, 내부에서 유도된 $u(I(P))$개의 다각형과 $b$개의 윤곽 삼각형을 결합하여 $u(P) < \frac{4}{3}|I(P)| + \frac{1}{3}|B(P)| + 1$을 얻는다.