정점 위치에 따른 평면 그래프 풀기 어려움 연구

이 논문은 평면 그래프를 직선으로 그릴 때 발생하는 교차를 없애기 위해 정점을 이동시키는 “언탱글링(untangling)” 문제를 다룬다. 정점 배치 π:V(G)→ℝ²가 주어지면, 각 정점은 평면상의 한 점에 대응하고, 각 간선은 두 정점을 잇는 직선 구간으로 그린다. 이때 간선이 교차할 수 있기 때문에 π는 반드시 평면 그림이 아니다. 목표는 교차가 없는 직선 그림 π′를 찾되, 가능한 많은 정점을 원래 위치에 고정시키는 것이다. 이를 정량화하기 위해 fix(G,π)=max_{π′} |{v∈V(G):π′(v)=π(v)}| 를 정의하고, 모든 배치에 대해 최소값을 취한 fix(G)=min_π fix(G,π) 를 도입한다. 또한 점 집합 X⊂ℝ²가 주어지면, 정점을 정확히 X에 놓는 배치만 고려해 fix_X(G)=min_{π:π(V)=X} fix(G,π) 로 정의한다. 이때 FIX(G)=max_X fix_X(G)는 점 집합이 어떤 형태이든 최악의 고정 정점 수를 나타낸다. 선행 연구에서는 사이클, 트리, 외부 평면 그래프 등에 대해 Ω(√n) 이하의 하한이 알려졌으며, 일부 경우에는 (n log n)^{2/3}와 같은 상한도 존재한다. 그러나 상한에 대한 일반적인 결과는 부족했다. 본 논문은 다음과 같은 주요 기여를 한다. 1. **선형 배치가 최악을 만든다** Theorem 2.1은 모든 평면 그래프 G에 대해 어떤 선형 점 집합 X가 존재해 fix_X(G)=fix(G)임을 증명한다. 증명은 임의의 배치 π를 y축 사이에 압축하고, 기존 최적 평면 그림 λ′를 작은 ε-이웃에 삽입한 뒤 선형 변환을 적용해 고정 정점을 유지한다. 따라서 최악의 고정 정점 수는 선형 배치에서도 달성될 수 있다. 2. **휠 그래프와 팬 그래프에 대한 강한 상한** 휠 그래프 Wₙ와 팬 그래프 Fₙ에 대해, 어떤 점 집합 X에 정점을 놓아도 고정 가능한 정점 수가 각각 (2+o(1))√n, (2√2+o(1))√n 이하임을 보인다. 핵심 아이디어는 무작위 순열 S_N의 가장 긴 증가 부분수열 ℓ(S_N)와 두 개의 비교섭 단조 부분수열 합 ℓ₂(S_N) 에 대한 확률적 경계이다. Lemma 3.1은 ℓ(S_N)≤2√N(1+o(1))를, Lemma 3.2는 ℓ₂(S_N)≥2√2 √N(1−o(1))를 고확률로 제공한다. 정점들을 한 점 p에서 바라보는 순서와 연결시켜, 고정 가능한 정점 수가 위의 값보다 커질 수 없음을 증명한다. 이는 FIX(Wₙ)≤(2+o(1))√n, FIX(Fₙ)≤(2√2+o(1))√n 로 요약된다. 3. **3‑연결 그래프 군 Hₙ에 대한 새로운 접근** Hₙ은 k개의 삼각형을 서로 겹치지 않게 배치하고, 추가 간선으로 3‑연결성을 부여한 그래프 군이다. 기존 방법으로는 FIX(Hₙ)에 대한 좋은 상한을 얻기 어려웠다. 저자들은 “클러스터드 부분집합” C(X)를 정의한다. C(X)는 k색 균형 색칠에서 각 색의 볼록 껍질이 서로 겹치지 않는 최대 부분집합 크기이다. Lemma 4.2는 fix_X(Hₙ)≤C(X)+k 를 보이며, Lemma 4.4는 모든 X에 대해 C(X)=O(n/ log n)임을 증명한다. 결과적으로 FIX(Hₙ)=O(n/ log n)이며, 약하게 볼록(점이 경계에만 위치)한 경우에는 fix_X(Hₙ)<3√n 이다. 4. **별 숲 kS_k와 약하게 볼록 배치** 별 숲 kS_k에 대해서는 C(X)와의 관계를 이용해 fix_X(kS_k)≥C(X)−k 를 얻는다. 약하게 볼록한 X에 대해 C(X)=O(√n · α(√n)) (α는 역 Ackermann 함수)임을 보이며, 따라서 fix_X(kS_k)=O(√n · α(√n)) 가 된다. 이는 기존 결과보다 더 정밀한 상한이다. 5. **추가 논의와 열린 문제** 마지막 섹션에서는 FIX(G)와 fix(G) 사이의 차이, Hₙ과 kS_k에 대한 더 나은 상한 가능성, 그리고 약하게 볼록 배치가 일반적인 그래프에 대해 FIX(G)=O(fix(G)) 를 만족하는지 여부 등을 제시한다. 전체적으로 이 논문은 정점 위치가 그래프 언탱글링 문제의 난이도에 미치는 영향을 정량화하고, 특히 휠·팬·특수 3‑연결 그래프에 대해 거의 최적에 가까운 상한을 제공한다. 또한 클러스터드 부분집합 개념을 도입해 새로운 그래프 군에 대한 분석을 가능하게 하였으며, 향후 연구 방향을 제시한다.