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

본 논문은 평면 그래프의 정점 위치를 최소한으로 이동시켜 직선 평면 그림을 얻는 언탱글링(untangling) 문제를 심도 있게 탐구한다. 먼저, 언탱글링을 정형화하기 위해 매핑 δ:V(G)→ℝ²를 정의하고, 고정된 정점의 최대 개수인 fix(G,δ)를 도입한다. 그 최소값 fix(G)는 모든 가능한 초기 배치에 대해 보장되는 고정 정점 수를 의미한다. 기존 연구에서는 사이클 그래프 Cₙ에 대해 fix(Cₙ)≥Ω(√n)와 fix(Cₙ)≤O((n log n)^{2/3})라는 경계가 알려져 있었으며, 일반 평면 그래프에 대해서는 Ω(n^{1/4}) 정도의 하한만 존재했다. **1. 사이클 그래프 Cₙ에 대한 새로운 알고리즘** 저자들은 Cₙ의 정점을 특정한 수평 방향으로 정렬하고, 가장 높은 s²개의 정점을 l개의 층(layer)으로 나눈다. 여기서 s와 l은 n에 대한 함수이며, l≈(m/16)^{1/3}, s=2l, m≈n−O(n^{2/3})이다. 각 층에서 Erdős‑Szekeres 보조정리를 이용해 인덱스가 단조 증가하거나 감소하는 s개의 정점을 선택한다. 선택된 정점들은 고정되고, 같은 층에 남은 정점과 선택된 정점과 그래프 거리 ≤2(l−i−1)인 정점들을 자유롭게 만든다. 이렇게 하면 각 층마다 고정된 정점이 s개, 자유로운 정점이 최대 4(l−i)개가 되며, 전체 정점 수를 초과하지 않는다. 최종적으로 l개의 증가층(또는 감소층)에서 각각 s개의 정점을 고정하면, 고정된 정점 수는 ls=2l²≥(2/5)n^{2/3}−O(n^{1/3})가 된다. 따라서 fix(Cₙ)=Ω(n^{2/3})가 증명된다. 이 결과는 기존 하한 Ω(√n)과 상한 O((n log n)^{2/3}) 사이의 격차를 크게 좁힌다. **2. 일반 평면 그래프에 대한 상한** 다음으로 저자들은 모든 평면 그래프 G에 대해 정점 수 n, 최대 차수 Δ, 지름 diam을 변수로 하는 상한을 도출한다. 핵심 도구는 Pach와 Tardos가 제시한 교차수 확률적 한계(Lemma 2)이다. 이 정리는 임의의 정점 집합을 고정했을 때, 검은(black)와 빨간(red) 색상의 에지 집합이 결합된 그래프 H의 교차수가 K 이하일 확률을 상한한다. 이를 이용해 트리 T를 고려하고, T의 스패닝 트리를 기반으로 고정 가능한 정점 수 t를 정의한다. t는  t = ⌈300·√n·log n·(√Δ + min{6·n/(log²n), √diam})⌉ 로 설정된다. t개의 정점을 고정하려면 교차수 K가 위 식에 의해 제한된다. Lemma 2와 Stirling 근사를 결합해, t개의 정점을 고정하는 경우의 확률이 <1임을 보이면, 적어도 하나의 정점 집합에 대해 고정이 불가능함을 의미한다. 따라서 모든 초기 배치에 대해 fix(G) ≤ t가 된다. **3. 특수 경우와 파생 결과** - **3‑정점 연결 평면 그래프**: 이러한 그래프는 최대 차수가 상수(≤3)이며, Barnette 정리를 이용해 차수 3인 스패닝 트리를 가질 수 있다. 따라서 Δ와 diam이 상수이므로 위 식에서 fix(G)=O((n log n)^{2/3})가 된다. 이는 기존에 알려진 O((n log n)^{2/3}) 상한과 일치하지만, 여기서는 일반적인 증명 체계를 제공한다. - **Δ와 diam이 O(log n)인 경우**: 식에서 √Δ와 √diam이 O(√log n) 수준이므로, fix(G)=O(√n·(log n)^{3/2})가 된다. 이는 현재 알려진 가장 강력한 상한 중 하나이며, 일부 특수 그래프에서 알려진 Ω(√n) 하한과 근접한다. - **고정 비율 ε를 만족하는 그래프**: 만약 어떤 그래프가 fix(G)≥εn을 만족한다면, 위 식을 뒤집어 Δ≥c·n^{ε²}/log²n (c는 상수)임을 얻는다. 즉, 많은 정점을 고정하려면 그래프에 고차수 정점이 존재해야 함을 의미한다. **4. 증명 기법 및 구현 세부 사항** - **Erdős‑Szekeres 보조정리**: 정점들의 좌표를 정렬한 뒤, 단조 부분수열을 찾아 고정 정점을 선택한다. 이는 정점들의 인덱스 순서를 보존하면서 교차를 최소화한다. - **DFS 사이클과 색상 에지**: 트리 T에 대해 깊이 우선 탐색(DFS) 사이클을 정의하고, 고정된 정점들의 볼록 껍질을 빨간 에지로, DFS 사이클을 검은 에지로 색칠한다. 두 색상의 에지는 서로 교차할 가능성이 제한된다. - **확률적 분석**: Lemma 2의 확률식에 Stirling 근사를 적용해 교차수 K가 작을 확률을 상한하고, 이를 통해 고정 가능한 정점 수 t가 위 식보다 크게 될 수 없음을 보인다. - **스패닝 트리 선택**: 일반 그래프에 대해 BFS 트리를 이용해 지름이 ≤2·diam(G)인 스패닝 트리를 구성한다. 이는 위 식에서 diam 파라미터를 2배로 늘리는 것만으로 충분함을 보인다. **5. 결론 및 향후 연구** 논문은 사이클 그래프에 대해 Ω(n^{2/3}) 고정 정점 수를 달성하는 구체적인 알고리즘을 제시함으로써 기존 하한을 크게 향상시켰다. 또한, 모든 평면 그래프에 대해 Δ와 diam에 의존하는 상한을 도출해, 특히 3‑정점 연결 그래프에 대한 O((n log n)^{2/3}) 상한을 일반화하였다. 이러한 결과는 언탱글링 문제의 복잡도와 구조적 제한을 이해하는 데 중요한 기여를 한다. 향후 연구에서는 (i) 상한과 하한 사이의 차이를 더 좁히는 정밀한 분석, (ii) 비평면 그래프 혹은 고차원 임베딩에 대한 언탱글링 확장, (iii) 실제 그래픽스 및 네트워크 시각화 시스템에 적용 가능한 효율적인 구현 방안 등을 탐구할 수 있다.