[논문 리뷰] A linear-time algorithm for the maximum-area inscribed triangle in a convex polygon

Yoav Kallus|arXiv (Cornell University)|2017. 06. 09.

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

한 줄 요약

이 논문은 볼록 다각형의 n개 정점에서 내접하는 최대 면적 삼각형을 선형 시간에 계산하는 알고리즘을 제시한다. 이는 도브킨과 스나이드가 제안한 잘못된 O(n) 알고리즘을 수정한 것으로, 계산 기하학 분야에서 오랫동안 미해결된 문제를 해결한다. 고정된 방향에 대해 한 변이 평행한 '고정된 삼각형'(anchored triangles)을 활용하여 기하적 성질과 볼록 최적화를 적용함으로써 후보 삼각형을 효율적으로 탐색하며, O(n) 시간 복잡도를 달성한다. 이는 기하학적 최적화 문제의 해결에 있어 중요한 기여이다.

ABSTRACT

Given the n vertices of a convex polygon in cyclic order, can the triangle of maximum area inscribed in P be determined by an algorithm with O(n) time complexity? A purported linear-time algorithm by Dobkin and Snyder from 1979 has recently been shown to be incorrect by Keikha, Löffler, Urhausen, and van der Hoog. These authors give an alternative algorithm with O(n log n) time complexity. Here we give an algorithm with linear time complexity.

연구 동기 및 목표

• 볼록 n각형 내에 내접하는 최대 면적 삼각형을 O(n) 시간에 계산할 수 있는지 여부를 해결하는 것.
• 최근 특정 9각형에서 실패하는 것으로 밝혀진 도브킨과 스나이드(1979)가 제안한 잘못된 O(n) 알고리즘을 수정하는 것.
• 최대 면적 삼각형 문제에 대해 O(n) 시간 복잡도를 갖는 정확하고 효율적인 알고리즘을 개발하는 것.
• 한 변의 외법선 방향이 고정된 삼각형—즉, 한 변의 외법선 방향에 대해 면적이 최대가 되는 삼각형—을 정의하고, 이를 핵심적인 기하적 도구로 활용하는 것.
• 내접하는 최대 면적 삼각형은 반드시 세 꼭짓점이 다각형의 경계 위에 있으며, 그 세 변의 외법선에 대해 유일하게 고정됨을 보여주는 것.

제안 방법

• 한 변의 외법선 방향이 고정되어 있고, 그 방향에 대해 면적이 최대인 삼각형을 고정된 삼각형(anchor triangle)으로 정의한다.
• 고정된 방향 u에 대해, u에 대해 고정된 삼각형의 세 번째 꼭짓점은 방향 -u에 대한 지지선이 다각형에 접하는 점에 위치함을 기하학적 성질로 이용한다.
• 방향 u ∈ S¹에 대한 탐색을 매개변수화하고, 정점 a(u)는 조각별로 일정하고 b(u), c(u)는 연속적인 성질을 이용하여 효율적인 순회를 가능하게 한다.
• 방향 u가 회전함에 따라 삼각형의 꼭짓점을 점진적으로 갱신하는 로테이팅 캘리퍼스 스타일 기법을 적용하며, u에 수직인 방향의 다각형의 광범위를 나타내는 조각별 선형 함수 f(y)와 g(y)를 사용한다.
• 면적 함수 s(y) = √[(1/2)(y - y_min)(f(y) + g(y))]의 볼록성을 이용하여 局부 최대값이 전역 최대값임을 보장함으로써 효율적인 최적화를 가능하게 한다.
• 다각형의 정점들을 이중 포인터 기반으로 순회하며, 매개변수 s_b와 s_c를 동적으로 조정하여 방향이 변화함에 따라 최적의 삼각형을 추적하며, 임계 전환점의 폐쇄형 표현식을 사용한다.

실험 결과

연구 질문

• RQ1 볼록 n각형 내에 내접하는 최대 면적 삼각형을 O(n) 시간에 계산할 수 있는가?
• RQ2 도브킨-스나이드 알고리즘이 실패하는 이유는 무엇이며, 그 정당성에 대한 구조적 결함은 무엇인가?
• RQ3 루트 삼각형에서 고정 삼각형으로 문제를 재정의함으로써 선형 시간에 문제를 해결할 수 있는가?
• RQ4 최대 면적 내접 삼각형이 변의 외법선과 꼭짓점 위치에 의해 유일하게 결정되는 기하적 성질은 무엇인가?
• RQ5 다각형의 지지 함수의 조각별 선형성과 볼록성은 어떻게 활용되어 O(n) 복잡도를 달성하는가?

주요 결과

• 논문은 볼록 다각형 내에 내접하는 최대 면적 삼각형을 계산하는 정확한 O(n)-시간 알고리즘을 제시하며, 계산 기하학 분야에서 오랫동안 미해결이었던 문제를 해결한다.
• 이 알고리즘은 한 변의 외법선 방향이 고정되어 있고, 그 방향에 대해 면적이 최대인 삼각형—즉, 고정된 삼각형—의 개념에 기반한다.
• 최대 면적 삼각형은 항상 세 변의 외법선에 대해 고정되어 있으며, 세 꼭짓점은 모두 다각형의 정점에 위치한다.
• 다각형의 정점을 로테이팅 캘리퍼스 방식으로 순회하며, 매개변수화된 삼각형 꼭짓점의 임계 전환점에 대한 폐쇄형 표현식을 사용함으로써 O(n) 시간 복잡도를 달성한다.
• 고정점 a(u)가 다각형의 변 위에 있을 경우, 이를 유일하게 대표하는 반시계 방향 끝점을 선택함으로써 특수 케이스를 정확히 처리한다.
• 이전 방법들이 O(n log n) 복잡도를 가지는 것을 피하기 위해 루트 삼각형이 아닌 고정 삼각형에 초점을 맞춤으로써 더 효율적이고 정확한 해결책을 도출한다.