다각형과 그래프의 엉킴 풀기

초록

본 논문은 평면 그래프의 정점 위치를 최소한으로 이동시켜 직선 평면 그림을 얻는 “언탱글링(untangling)” 문제를 다룬다. 사이클 그래프 Cₙ에 대해 최소 Ω(n^{2/3})개의 정점을 고정할 수 있는 알고리즘을 제시하고, 일반적인 평면 그래프 G에 대해 정점 수, 최대 차수 Δ, 지름 diam에 의존하는 상한을 도출한다. 특히 3-정점 연결 평면 그래프에 대해 O((n log n)^{2/3})라는 상한을 얻는다.

상세 분석

논문은 먼저 언탱글링 문제를 형식화한다. 주어진 매핑 δ:V(G)→ℝ²에 대해 고정된 정점의 최대 개수인 fix(G,δ)를 정의하고, 그 최소값 fix(G)를 연구한다. 기존 연구에서는 사이클 Cₙ에 대해 Ω(√n) ≤ fix(Cₙ) ≤ O((n log n)^{2/3})라는 경계가 알려져 있었다. 저자들은 이 격차를 크게 줄이기 위해 새로운 구성 알고리즘을 고안한다. 핵심 아이디어는 정점들을 수평 방향으로 정렬한 뒤, 가장 높은 s²개의 정점을 l개의 “층(layer)”으로 나누고, 각 층에서 Erdős‑Szekeres 보조정리를 이용해 단조 증가 혹은 감소 인덱스 순서를 갖는 s개의 정점을 선택한다. 선택된 정점들은 고정되고, 나머지는 자유롭게 재배치한다. 층마다 선택된 정점 주변의 일정 거리(그래프 거리 기준) 내 정점들을 추가로 자유롭게 함으로써 충돌을 방지한다. 수학적 계산을 통해 총 고정 가능한 정점 수가 ls = 2l² ≥ (2/5)·n^{2/3}−O(n^{1/3})임을 증명한다. 따라서 fix(Cₙ)=Ω(n^{2/3})가 성립한다.

다음으로 일반 평면 그래프에 대한 상한을 다룬다. 저자는 Pach‑Tardos의 교차수 확률적 한계(Lemma 2)를 활용해, 임의의 정점 집합을 고정했을 때 발생할 수 있는 교차수의 상한을 추정한다. 이를 트리 T에 적용해, 최대 차수 Δ와 지름 diam을 파라미터로 하는 t값을 정의하고, t개의 정점을 고정하려면 교차수가 K 이하이어야 함을 보인다. Lemma 2의 확률적 분석을 통해 K가 충분히 작을 경우 고정 가능한 t가 위에서 정의한 식보다 작아야 함을 증명한다. 결과적으로 모든 평면 그래프 G에 대해

 fix(G) ≤ 300·√n·log n·(√Δ + min{6·n/(log n·log n), √diam})

라는 일반 상한을 얻는다. 이 식은 세 가지 특수 경우를 포함한다. (1) 3‑정점 연결 평면 그래프에서는 Δ와 diam이 상수이므로 fix(G)=O((n log n)^{2/3})가 된다. (2) Δ와 diam이 모두 O(log n)인 경우에는 fix(G)=O(√n·(log n)^{3/2})가 된다. (3) 고정 비율 ε를 만족하는 그래프는 최소 차수가 Ω(n^{ε²}/log²n)임을 보여준다. 이러한 결과는 기존에 알려진 Ω(n^{1/4}) 하한과 비교해 상한을 크게 강화한다.

마지막으로 저자는 결과를 정리하고, 3‑정점 연결 평면 그래프가 최대 차수 3인 스패닝 트리를 항상 가짐을 이용해 상수를 명시한다. 또한, 임의의 평면 그래프는 BFS 트리를 통해 지름이 2·diam(G) 이하인 스패닝 트리를 얻을 수 있음을 언급한다. 전체적으로 논문은 언탱글링 문제에 대한 이론적 한계를 크게 진전시키며, 특히 사이클 그래프에 대한 Ω(n^{2/3}) 고정 정점 수와 일반 평면 그래프에 대한 Δ·diam 기반 상한을 제공한다.