[논문 리뷰] Flipturning polygons

Oswin Aichholzer, Carmen Cortés외 8명|ArXiv.org|2000. 08. 16.

Computational Geometry and Mesh Generation인용 수 4

한 줄 요약

이 논문은 다각형의 오목부(포켓)를 뚜껑의 중점에 대해 180° 회전시키는 플립턴 연산—간단한 다각형을 볼록화하는 데 사용된다—를 조사한다. 플립턴 순서에 대한 날카로운 상한을 확립한다: 직각 다각형은 최대 $n-5$개의 임의의 플립턴 또는 $ 5(n-4)/6$개의 잘 선택된 플립턴으로 볼록화되며, 일반적인 단순 다각형은 최대 $n^2 - 4n + 1$개의 플립턴으로 볼凸화된다. 모든 순서에서 최종 볼록 형태는 유일하며 $O(n\log n)$ 시간에 계산 가능하다.

ABSTRACT

A flipturn is an operation that transforms a nonconvex simple polygon into another simple polygon, by rotating a concavity 180 degrees around the midpoint of its bounding convex hull edge. Joss and Shannon proved in 1973 that a sequence of flipturns eventually transforms any simple polygon into a convex polygon. This paper describes several new results about such flipturn sequences. We show that any orthogonal polygon is convexified after at most n-5 arbitrary flipturns, or at most 5(n-4)/6 well-chosen flipturns, improving the previously best upper bound of (n-1)!/2. We also show that any simple polygon can be convexified by at most n^2-4n+1 flipturns, generalizing earlier results of Ahn et al. These bounds depend critically on how degenerate cases are handled; we carefully explore several possibilities. We describe how to maintain both a simple polygon and its convex hull in O(log^4 n) time per flipturn, using a data structure of size O(n). We show that although flipturn sequences for the same polygon can have very different lengths, the shape and position of the final convex polygon is the same for all sequences and can be computed in O(n log n) time. Finally, we demonstrate that finding the longest convexifying flipturn sequence of a simple polygon is NP-hard.

연구 동기 및 목표

• 단순 다각형 및 직각 다각형을 볼凸화하는 데 필요한 플립턴 수에 대한 더 날카로운 상한을 확립하는 것.
• 모든 플립턴 순서에서 최종 볼凸화 다각형의 유일성 분석하기.
• 볼凸화를 위해 필요한 최장 플립턴 순서를 찾는 계산 복잡도 분석하기.
• 플립턴 연산 중 다각형과 그 볼凸화 껍질을 효율적으로 유지하기 위한 데이터 구조 설계하기.

제안 방법

• 플립턴을 다각형의 포켓을 뚜껑의 중점에 대해 180° 회전시켜 정의하며, 길이와 방향을 유지하면서 변 순서를 뒤집는다.
• 조합론적 및 기하학적 분석을 통해 직각 다각형과 일반 단순 다각형의 플립턴 순서를 상한한다.
• 최장 플립턴 순서를 찾는 데 NP-난이도를 증명하기 위해 부분합 문제로의 환원을 구축한다.
• 플립턴당 $O(\log^4 n)$ 시간에 다각형과 그 볼凸화 껍질을 유지하는 데이터 구조를 설계하며, $O(n)$ 공간을 사용한다.
• 모든 플립턴 순서에서 최종 볼凸화 다각형이 동일함을 증명하여, 표준 볼凸화 형태를 $O(n\log n)$ 시간에 계산 가능하게 한다.
• 다양한 다각형 구성 조건에서 상한이 날카롭고 강건하기 위해 탈락 케이스를 신중히 분석한다.

실험 결과

연구 질문

• RQ1 모든 단순 다각형을 볼凸화하기 위해 필요한 플립턴의 최대 수는 얼마이며, 이는 다각형 유형에 따라 어떻게 달라지나?
• RQ2 모든 플립턴 순서에서 생성된 최종 볼凸화 다각형을 효율적이고 유일하게 계산할 수 있는가?
• RQ3 다각형을 볼凸화하기 위해 필요한 최장 플립턴 순서를 찾는 것은 계산적으로 어려운가?
• RQ4 플립턴 동작 중 다각형과 그 볼凸화 껍질을 얼마나 효율적으로 유지할 수 있는가?
• RQ5 직각 다각형은 일반 단순 다각형보다 더 적은 플립턴을 필요로 하는가? 그리고 알려진 가장 날카로운 상한은 무엇인가?

주요 결과

• 모든 직각 다각형은 최대 $n - 5$개의 임의의 플립턴으로 볼凸화되며, 이는 이전의 $(n-1)!/2$ 상한보다 향상된 것이다.
• 직각 다각형의 경우, 볼凸화를 달성하기 위해 최대 $ 5(n-4)/6$개의 잘 선택된 플립턴이 필요하다.
• 일반적인 단순 다각형은 최대 $n^2 - 4n + 1$개의 플립턴으로 볼凸화될 수 있으며, 이는 이전 결과를 일반화한 것이다.
• 모든 플립턴 순서에서 최종 볼凸화 다각형은 동일하며, $O(n\log n)$ 시간에 계산 가능하다.
• 플립턴 동안 단순 다각형과 그 볼凸화 껍질을 $O(\log^4 n)$ 시간에 유지할 수 있으며, 이는 $O(n)$ 공간을 사용한다.
• 주어진 단순 다각형을 볼凸화하기 위해 최장 플립턴 순서를 찾는 것은 NP-난이도이며, 직각 다각형의 경우에도 마찬가지다.