[논문 리뷰] Plane Hamiltonian Cycles in Convex Drawings

Helena Bergold, Stefan Felsner외 3명|arXiv (Cornell University)|2024. 01. 01.

Structural Analysis and Optimization인용 수 1

한 줄 요약

이 논문은 완전 그래프 $K_n$의 볼록 그림에서 평면 해밀턴 사이클의 존재성에 관한 Rafla의 추측을 증명한다. 모든 볼록 그림은 평면 해밀턴 사이클을 포함하며, 임의의 두 정점 사이에 평면 해밀턴 경로가 존재하는 해밀턴 연결성(해밀턴 연결성)을 가지며, $3 \leq k \leq n$인 모든 $k$에 대해 평면 $k$-사이클을 포함하는 판사이클성(pancyclicity)을 가진다. 증명은 볼록 그림의 구조적 성질, 예를 들어 별-교차 엣지(star-crossing edges)와 볼록 측면 선택을 활용한 근사 알고리즘을 통해 이러한 사이클을 구성하며, 시간 복잡도는 $O(n^2)$이다.

ABSTRACT

A conjecture by Rafla from 1988 asserts that every simple drawing of the complete graph $K_n$ admits a plane Hamiltonian cycle. It turned out that already the existence of much simpler non-crossing substructures in such drawings is hard to prove. Recent progress was made by Aichholzer et al. and by Suk and Zeng who proved the existence of a plane path of length $Ω(\log n / \log \log n)$ and of a plane matching of size $Ω(n^{1/2})$ in every simple drawing of $K_n$. Instead of studying simpler substructures, we prove Rafla's conjecture for the subclass of convex drawings, the most general class in the convexity hierarchy introduced by Arroyo et al. Moreover, we show that every convex drawing of $K_n$ contains a plane Hamiltonian path between each pair of vertices (Hamiltonian connectivity) and a plane $k$-cycle for each $3 \leq k \leq n$ (pancyclicity), and present further results on maximal plane subdrawings.

연구 동기 및 목표

• 간단한 그림에서 $K_n$의 평면 해밀턴 사이클이 존재한다는 Rafla의 추측을 볼록 그림이라는 부분집합에 국한하여 해결하기 위해.
• 볼록 그림에서 더 강력한 구조적 성질, 즉 해밀턴 연결성과 판사이클성을 확립하기 위해.
• 볼록 그림에서 평면 해밀턴 사이클을 구성하는 구조적 알고리즘을 제공하고 다항시간 복잡도를 확보하기 위해.
• 볼록 그림이 기하학적 그림과 $h$-볼록 그림의 일반화임을 고려할 때, 일반적인 단순 그림에서는 보장되지 않는 풍부한 평면 부분구조가 볼록 그림에서 어떻게 가능해지는지 밝히기 위해.

제안 방법

• 삼각형의 한 변이 그 삼각형 내부에 있는 모든 엣지가 그 변 위에 놓여 있을 경우 그 변을 볼록이라고 정의함으로써 볼록 그림를 정의한다. 모든 삼각형이 볼록한 변을 하나 이상 가지는 그림을 볼록 그림으로 간주한다.
• 정점 $v^\star$를 중심으로 한 별의 구조와 별-교차 엣지 개념을 활용하여 경로 구성의 지침을 제공한다.
• 초기 정점에서 출발하여 $v^\star$ 쪽으로 확장하면서 별-교차 엣지를 피하는 양호한 엣지를 반복적으로 추가함으로써 해밀턴 경로를 구성하고, 이후 별 엣지를 이용해 사이클을 닫는다.
• 경로 구성의 효율성을 높이기 위해 $O(n^2)$ 시간 내에 악성 엣지와 $l(r)$, $w^L_i$, $w^R_i$ 등의 임계 값을 식별하기 위해 사전 처리를 수행한다.
• 별-교차 엣지를 피하는 경로를 유지하면서 진행하는 근사 전략을 적용하고, 두 별 엣지 $\{n-1, v^\star\}$와 $\{v^\star, v_1\}$를 사용해 사이클을 닫는다.
• 인variants를 통해 정당성을 입증한다: 각 단계에서 현재 경로는 별-교차 엣지를 피하고 모든 정점을 포함할 수 있도록 연장 가능하며, 이는 최종 사이클이 평면적이고 해밀턴임을 보장한다.

실험 결과

연구 질문

• RQ1 Rafla가 일반적인 단순 그림에 대해 제기한 바와 같이, 모든 $K_n$ 볼록 그림은 평면 해밀턴 사이클을 포함하는가?
• RQ2 모든 $K_n$ 볼록 그림은 해밀턴 연결성을 가지는가? 즉, 임의의 두 정점 사이에 평면 해밀턴 경로가 존재하는가?
• RQ3 모든 $K_n$ 볼록 그림은 판사이클성인가? 즉, $k$가 3에서 $n$까지 모든 값에 대해 평면 $k$-사이클이 존재하는가?
• RQ4 볼록 그림에서 다항시간 내에 평면 해밀턴 사이클을 구성할 수 있는 구조적 알고리즘을 설계할 수 있는가?
• RQ5 볼록 그림의 어떤 구조적 성질이 이러한 풍부한 평면 부분구조의 존재를 가능하게 하는가? 일반적인 단순 그림과의 차이는 무엇인가?

주요 결과

• 모든 $K_n$ 볼록 그림은 평면 해밀턴 사이클을 포함하며, 이는 Rafla의 추측이 이 부분집합에 대해 참임을 확인한다.
• 모든 $K_n$ 볼록 그림은 해밀턴 연결성이다: 임의의 두 정점 사이에 평면 해밀턴 경로가 존재한다.
• 모든 $K_n$ 볼록 그림은 판사이클성이다: $k$가 3에서 $n$까지 모든 값에 대해 평면 $k$-사이클이 존재한다.
• 사전 처리를 통해 악성 엣지와 임계 값 $l(r)$를 식별함으로써 $O(n^2)$ 시간 내에 평면 해밀턴 사이클을 구성하는 다항시간 알고리즘이 존재한다.
• 알고리즘은 경로에 추가되는 모든 엣지가 별-교차가 아니며, 사이클이 두 별 엣지를 통해 닫혀 평면성이 유지됨을 보장한다.
• 결과는 일반적인 단순 그림으로까지 확장되지 않는다. 예를 들어 $K_5$의 비틀린 그림은 이러한 부분구조가 존재하지 않을 수 있음을 보여주는 반례이다.