[논문 리뷰] Largest Similar Copies of Convex Polygons in Polygonal Domains

Taekang Eom, Seungjun Lee외 1명|arXiv (Cornell University)|2020. 12. 13.

Computational Geometry and Mesh Generation참고 문헌 17인용 수 1

한 줄 요약

이 논문은 n개의 장애물이 포함된 다각형 영역 Q 내에서 볼록 k각형 P의 가장 큰 유사 복제본을 찾는 데 새로운 알고리즘을 제안하며, 시간 복잡도를 O(k²n²λ₄(k) log n)으로 향상시켰다. P의 회전 중 간선 데라운이 삼각분할(eDT)의 조합적 변화를 정교하게 분석함으로써 임계 방향의 수를 줄여, 25년이 넘는 기간 동안 지속된 이전 결과보다 상당한 점근적 향상을 이룬다.

ABSTRACT

Given a convex polygon with k vertices and a polygonal domain consisting of polygonal obstacles with n vertices in total in the plane, we study the optimization problem of finding a largest similar copy of the polygon that can be placed in the polygonal domain without intersecting the obstacles. We present an upper bound O(k²n²λ₄(k)) on the number of combinatorial changes occurred to the underlying structure during the rotation of the polygon, together with an O(k²n²λ₄(k)log n)-time deterministic algorithm for the problem. This improves upon the previously best known results by Chew and Kedem [SoCG89, CGTA93] and Sharir and Toledo [SoCG91, CGTA94] on the problem in more than 27 years. Our result also improves the time complexity of the high-clearance motion planning algorithm by Chew and Kedem.

연구 동기 및 목표

• 장애물이 있는 다각형 영역 Q 내에서 볼록 다각형 P의 가장 큰 유사 복제본을 놓는 고전적인 계산기하학 문제를 해결하기 위해.
• 이동, 회전, 스케일링 하에서 다각형 포함 문제의 최악의 경우 시간 복잡도를 향상시키기 위해.
• Q의 간선 데라운이 삼각분할(eDT)의 변화를 분석함으로써 P의 회전 중 임계 방향의 수를 줄이기 위해.
• 1990년대 초에 체와 키템, 샤르르 및 토레도가 수립한 시간 복잡도 경계 간극을 메우기 위해.
• 파arametric search 기법에 의존하지 않는 결정론적이고 점근적으로 더 빠른 알고리즘을 제공하기 위해.

제안 방법

• P의 회전 동안 Q의 간선 데라운이 삼각분할(eDT)의 조합적 변화를 분석하며, P와 장애물의 간선 또는 정점 간의 접촉 쌍에 중점을 둔다.
• 접촉 쌍 유형에 따라 임계 방향을 분류한다: (4,0), (3,1), (1,3), (2,2)-변화는 각각 꼭짓점과 변의 접촉에 기반한다.
• 고정된 외접원 교차점 G와 일정한 각도와 같은 기하학적 불변량을 사용하여 매개변수 방정식의 해의 수를 제한한다.
• 정점 궤적(선분 또는 원호)에 대한 매개변수 방정식을 유도하고, 교차점을 구함으로써 임계 방향의 수를 제한한다.
• Davenport–Schinzel 수열(λ₄(k))을 적용하여 총 조합적 변화의 수를 제한하여 총 O(k²n²λ₄(k))의 변화를 이끌어낸다.
• 정교화된 경계를 스윕 라인 또는 회전 스윕 알고리즘과 결합하여 최종 시간 복잡도를 도출한다.

실험 결과

연구 질문

• RQ1 다각형 영역 Q의 크기가 n인 다각형 영역 내에서 볼록 k각형 P를 회전시킬 때 유도되는 진정한 점근적 임계 방향의 수는 얼마인가?
• RQ2 P의 회전 중 간선 데라운이 삼각분할(eDT)의 조합적 변화 수를 이전의 O(k⁴nλ₃(n)) 경계 이하로 줄일 수 있는가?
• RQ3 파라미터 검색 기법을 사용하지 않고도 더 빠른 결정론적 알고리즘을 유사 복제 문제에 적용할 수 있는가?
• RQ4 고정된 외접원 교차점과 같은 기하학적 불변량은 회전 중 유효한 방향의 수를 어떻게 제한하는가?
• RQ5 랜덤화 또는 파라미터 검색 방법에 의존하지 않고도, k가 n에 비해 작은 경우와 큰 경우 모두 시간 복잡도를 향상시킬 수 있는가?

주요 결과

• P의 회전 중 임계 방향의 수는 O(k²n²λ₄(k))로 제한되며, 체와 키템의 이전 O(k⁴nλ₃(n)) 경계보다 상당히 향상되었다.
• 이 알고리즘은 O(k²n²λ₄(k) log n) 시간에 작동하며, 샤르르 및 토레도의 이전 최고 성능인 O(k²nλ₄(kn) log³(kn) log log(kn))보다 점근적으로 더 빠르다.
• λ₄(k)가 λ₃(n)보다 하향적 성장을 보이며, 특히 큰 k에 대해 이전의 O(k⁴nλ₃(n)) 경계보다 작아진다.
• 파라미터 검색을 사용하지 않아도 되므로 알고리즘이 더 실용적이고 결정론적이다.
• 이 결과는 이 기초적인 계산기하학 문제의 시간 복잡도에서 25년 간 지속된 격차를 메운다.
• 접촉 쌍 유형((예: (2,2)-변화)의 분석과 그 해의 수(최대 4개의 임계 방향)는 향상된 경계를 위한 정밀한 조합적 기반을 제공한다.