[논문 리뷰] Convexity of Sub-polygons of Convex Polygons

Iosif Pinelis|ArXiv.org|2006. 09. 25.

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

한 줄 요약

이 논문은 서로 다른 꼭짓점을 가진 볼록 다각형의 모든 부분다각형이 볼록임을 증명하며, 반대로 $ n \geq 5 $인 $ n $-각형이 모든 $ (n-1) $-정점 부분다각형이 볼록일 경우에만 볼록임을 보인다. 주요 기여는 다각형 볼록성의 유전적 특성에 기반한 것으로, 이를 통해 귀납적 증명과 부분다각형 검증을 통한 효율적인 볼록성 테스트가 가능해진다.

ABSTRACT

A convex polygon is defined as a sequence (V_0,...,V_{n-1}) of points on a plane such that the union of the edges [V_0,V_1],..., [V_{n-2},V_{n-1}], [V_{n-1},V_0] coincides with the boundary of the convex hull of the set of vertices {V_0,...,V_{n-1}}. It is proved that all sub-polygons of any convex polygon with distinct vertices are convex. It is also proved that, if all sub-(n-1)-gons of an n-gon with n\ge5 are convex, then the n-gon is convex. Other related results are given.

연구 동기 및 목표

• 정점 제거에 따른 볼록 다각형성의 유전적 성질을 공식적으로 확립하기 위해.
• 증분 볼록성 테스트에서의 모호함을 제거하기 위해 필수적이고 충분한 조건을 명확히 하기 위해.
• 계산 기하학에서 귀납적 증명과 계산적 볼록성 테스트를 위한 이론적 기반을 제공하기 위해.
• 이전 문헌에서 증분 볼록성 정리에 관해 오해된 바를 수정하기 위해.

제안 방법

• 다각형을 그 꼭짓점들의 볼록 hull의 경계를 형성하는 변들로 이루어진 정점의 순서로 정의한다.
• 하향 유전성 사용: 서로 다른 꼭짓점을 가진 볼록 다각형에서 어떤 꼭짓점이라도 제거하면 다시 볼록 다각형이 된다.
• 상향 유전성 적용: $ n \geq 5 $인 $ n $-각형의 모든 $ (n-1) $-정점 부분다각형이 볼록일 경우, $ n $-각형 자체도 볼록이다.
• 순환 순열과 지지선 성질을 포함한 조합적 및 기하적 추론을 사용하여 부분다각형의 볼록성을 증명한다.
• 엄격한 볼록성과 선분 교차성에 관한 보조정리를 활용하여 비볼록 구성에서 모순을 도출한다.
• 부분다각형의 볼록성에 기반한 테스트를 구축한다: $ n \geq 5 $이고 꼭짓점이 모두 다를 경우, $ n $-각형은 모든 $ (n-1) $-정점 부분다각형이 볼록할 때이고 그때에만 볼록하다.

실험 결과

연구 질문

• RQ1 서로 다른 꼭짓점을 가진 볼록 다각형의 모든 부분다각형은 반드시 볼록한가?
• RQ2 $ n \geq 5 $인 $ n $-각형의 볼록성은 그 $ (n-1) $-정점 부분다각형들의 볼록성 테스트로 확인할 수 있는가?
• RQ3 부분다각형의 볼록성에 기반해 다각형이 볼록해지는 조건은 무엇인가?
• RQ4 계산 기하학에서 귀납적 추론을 지원하는 다각형 볼록성의 유전적 구조가 존재하는가?
• RQ5 이전 문헌에서 증분 볼록성 테스트에 관해 잘못되거나 불완전한 진술은 어떻게 수정할 수 있는가?

주요 결과

• 서로 다른 꼭짓점을 가진 볼록 다각형의 모든 부분다각형은 볼록하다. 이는 볼록성의 하향 유전성을 확인한다.
• $ n \geq 5 $인 $ n $-각형은 모든 $ (n-1) $-정점 부분다각형이 볼록할 때이고 그때에만 볼록하다. 이는 상향 유전성을 확립한다.
• 서로 다른 꼭짓점을 가진 $ n \geq 5 $인 다각형의 볼록성은 각 꼭짓점을 하나씩 제거하여 얻는 $ n $개의 부분다각형의 볼록성 검증을 통해 테스트할 수 있다.
• 증명은 특히 꼭짓점이 서로 다르고 다각형이 엄격히 볼록일 경우 지지선과 볼록 Hull의 기하적 성질에 기반한다.
• 원래 다각형이 엄격히 볼록하다는 가정 하에, 꼭짓점의 순열로 구성된 부분 4-다각형이 비볼록일 경우 모순이 도출된다.
• 이전 문헌에서 잘못된 진술을 수정한다. [5]의 정리 4.3의 '만약' 방향은 인덱스 범위에 $ i = n $ 가 포함될 경우 실패하며, 이를 수정한 타당한 특성화를 제시한다.