[논문 리뷰] Improved Routing on the Delaunay Triangulation

Michael D. Dennis, Ljubomir Perković외 1명|arXiv (Cornell University)|2017. 10. 31.

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

한 줄 요약

이 논문은 선형 삼각형 열에 대한 최단 경로 길이를 제어하기 위해 고안된 새로운 약화 기반 기법을 사용하여, 정육각형-델로네 삼각화의 정확한 최악의 경우 스트레치 인자의 크기를 2로 결정한다. 저자들은 스트레치 인자가 2에 임의로 가까운 값을 갖는 '마이키 마우스' 구조를 제안함으로써 이 경계의 날카로움을 입증하고, 기존의 고전적인 원 기반 (#-Delaunay) 삼각화를 포함한 다른 델로네 변형에 적용 가능한 프레임워크를 제공한다.

ABSTRACT

A geometric graph G=(P,E) is a set of points in the plane and edges between pairs of points, where the weight of an edge is equal to the Euclidean distance between its two endpoints. In local routing we find a path through G from a source vertex s to a destination vertex t, using only knowledge of the current vertex, its incident edges, and the locations of s and t. We present an algorithm for local routing on the Delaunay triangulation, and show that it finds a path between a source vertex s and a target vertex t that is not longer than 3.56|st|, improving the previous bound of 5.9|st|.

연구 동기 및 목표

• 고전적인 원 기반 버전이 아닌 더 단순한 다각형 기반 변형을 연구함으로써 델로네 삼각화의 스트레치 인자 이해에 미처 메워지지 않은 격차를 메우기 위해.
• 구조화된 델로네 삼각화에서 스트레치 인자의 정확한 상한을 구하기 위한 새로운 분석 기법을 개발하기 위해.
• 정규 육각형을 사용하여 정의된 델로네 삼각화의 정확한 최악의 경우 스트레치 인자를 규명하기 위해.
• 스트레치 인자가 2에 임의로 가까운 값을 갖는 날카로운 하한 예를 제공함으로써 이 경계가 최적임을 입증하기 위해.

제안 방법

• 정규 육각형을 기반으로 한 새로운 델로네 삼각화 클래스(9-Delaunay 삼각화)를 도입하여, 공백 원 조건 대신 공백 육각형 조건을 사용한다.
• ‘부드러운 경로’(gentle paths)를 정의하고 분석한다—이들은 최소한의 각도 변화를 갖는 경로로, 스트레치 인자 행동을 지배함을 보여준다.
• 지역 기하학적 매개변수인 δf와 δb와의 관계를 이용해 삼각형 열 전체의 경로 길이를 제한하는 약화 보조정리(보조정리 8)를 개발한다.
• 조각별 선형 경로 분해를 활용한다: 최단 경로를 부드러운 경로가 없는 삼각형 열에 대한 세그먼트와 부드러운 경로를 따라가는 세그먼트로 나눈다.
• 최악의 하한 예인 ‘마이키 마우스’ 삼각화를 구성하여, 최단 경로 길이가 x-거리의 (5√3 − 1) 배에 가까워지게 하여 상한이 날카로움을 입증한다.
• 거리, 내접원 반지름, 경로 세그먼트 길이 간의 기하학적 부등식을 활용하여, dx(s,t)와 지역적 편이에 대한 경로 길이의 경계를 유도한다.

실험 결과

연구 질문

• RQ1 정규 육각형을 사용하여 정의된 델로네 삼각화의 정확한 최악의 경우 스트레치 인자는 얼마인가요?
• RQ2 약화 기법을 사용하여 구조화된 델로네 삼각화에서 경로 길이의 정확한 상한을 유도할 수 있나요?
• RQ3 기존의 #−Delaunay 삼각화에 대한 하한 예로 알려진 구조들이 정육각형 기반 변형에서도 동일한 날카로운 경계를 유도할 수 있나요?
• RQ4 이 논문에서 개발된 9-Delaunay 삼각화 기법을 일반화하여 #−Delaunay 삼각화의 경계를 향상시킬 수 있나요?

주요 결과

• 정규 육각형을 사용하여 정의된 9-Delaunay 삼각화의 정확한 최악의 경우 스트레치 인자는 2이다.
• 스트레치 인자 경계 2는 ‘마이키 마우스’ 삼각화라는 구성에 의해 2에 임의로 가까운 값을 갖는 것으로 입증되어 날카로움이 확인된다.
• 최악의 스트레치 인자는 부드러운 경로가 없는 삼각형의 선형 열에서 발생하며, 부드러운 경로에서 발생하지는 않는다.
• 보조정리 8에서 개발된 약화 기법은 부드러운 경로가 없는 경우에 대해 스트레치 인자의 정확한 상한 (5√3 − 1) ≈ 7.66을 제공한다.
• ‘마이키 마우스’ 구성은 Xia와 Zhang가 제시한 #−Delaunay 삼각화에 대한 기존 하한 구성과 매우 유사하여, 공통된 구조적 원리가 존재함을 시사한다.
• 이 논문에서 개발된 기법, 특히 약화 기반 경로 길이 분석은 이식 가능하며, #−Delaunay 삼각화의 스트레치 인자 격차를 메우는 데 도움이 될 수 있다.