직선 그리기에서 공선 집합을 통한 그래프 정리와 고정·배치 파라미터의 새로운 경계

본 논문은 평면 그래프의 직선 그리기에서 두 가지 핵심 문제, 즉 “untangling”과 “allocation”을 다룬다. untangling 문제는 현재 교차가 존재하는 그리기에서 최소한의 정점만 이동시켜 교차를 없애는 것이며, allocation 문제는 주어진 n점 집합 X에 가능한 많은 정점을 배치해 교차 없는 그리기를 만드는 것이다. 두 문제를 각각 fix(G)와 fit(G)라는 파라미터로 정량화한다. **1. 기본 정의와 기존 연구** - fix(G,π)는 특정 그리기 π에서 이동하지 않고 유지될 수 있는 정점 수의 최댓값이며, fix(G)=min_π fix(G,π). - fit_X(G)는 X에 포함된 정점 수의 최댓값, fit(G)=min_X fit_X(G). - 기존 연구에서는 fix(G)≥Ω(n^{1/4}) (Bose et al.), outerplanar 그래프에 대해 fix(G)≥Ω(√n) 등이 알려져 있다. 반면, fix(G)≤O(√n·(log n)^{3/2}) 등 상한도 존재한다. **2. 공선 집합 파라미터 도입** 저자들은 공선 정점 집합의 크기를 측정하는 두 지표를 정의한다. - \(\bar v(G,π)\): 평면 그리기 π에서 가장 큰 공선 정점 집합의 크기. - \(\tilde v(G,π)\): 위 집합 중 “자유(free)”인, 즉 정렬을 바꾸어도 교차를 없앨 수 있는 집합의 최대 크기. 전역 파라미터 \(\bar v(G)=\max_π \bar v(G,π)\), \(\tilde v(G)=\max_π \tilde v(G,π)\) 로 정의하고, 이들 사이에 \(\tilde v(G) ≤ fix(G) ≤ fit(G) ≤ \bar v(G)\) 라는 기본 부등식을 증명한다. **3. 상한 구축: 짧음 지수와 재귀적 삼각분할** σ를 삼차 다면체 그래프 클래스의 짧음 지수라 하자. σ<0.99가 알려져 있다. - 시작 삼각분할 G₁을 σ에 가까운 짧음 지수를 갖는 삼차 다면체 H의 이중 그래프 H*로 잡는다. - 재귀적으로 G_i의 각 면을 다시 H*와 동형인 삼각분할로 채워 넣어 G_{i+1}을 만든다. 이 과정은 면 수를 (f−1)배, 공선 면을 자르는 최대 수를 \(\bar f\)배로 늘린다. - Lemma 3.1은 f(G_k)와 \(\bar f(G_k)\)에 대한 정확한 재귀식을 제시하고, 이를 통해 \(\bar v(G_k) < c·v(G_k)^{α}\) (α = log( \(\bar f−1\) ) / log( f−1 )) 를 얻는다. α는 σ에 임의로 가깝게 잡을 수 있다. - 결과적으로 Theorem 3.3은 “임의의 α>σ에 대해 \(\bar v(G)=O(v(G)^{α})\)인 삼각분할의 무한열이 존재한다”는 것을 증명한다. Corollary 3.4는 이를 fit(G)에도 적용해 “fit(G)=O(n^{0.99})”인 그래프가 무한히 존재함을 보여, 처음으로 fit(G)=o(n)인 사례를 제공한다. **4. 트리‑폭 2 그래프에 대한 하한** 트리‑폭이 2 이하인 그래프(부분 2‑트리, 시리즈‑패러렐 등)는 구조적으로 두 개의 트리와 작은 클리크가 결합된 형태이다. - 저자들은 이러한 구조를 이용해 각 트리에서 충분히 긴 경로를 선택하고, 두 경로를 동일 직선에 정렬함으로써 자유 공선 집합을 만든다. - Lemma 5.1과 Theorem 5.2를 통해 \(\tilde v(G) ≥ n/30\) 를 증명하고, 관계식 (6)으로부터 fix(G) ≥ √(n/30) 를 도출한다. 이는 기존 외부 평면 그래프에 대한 √n 하한을 일반 트리‑폭 2 그래프로 확장한 결과이다. **5. 부가 결과와 논의** - Corollary 3.5는 위 구성에서 시작 그래프 G₁을 Barnette‑Bosan‑Lederberg 비해밀리안 삼차 다면체의 이중 그래프로 잡아, 트리‑폭이 상수(≤8)인 그래프에서도 동일한 상한을 얻을 수 있음을 보여준다. - 마지막 섹션에서는 \(\bar v(G)\)와 \(\tilde v(G)\) 사이의 정확한 관계, 더 넓은 그래프 클래스(예: 높은 트리‑폭)에서의 상·하한, 그리고 공선 집합의 추가적인 구조적 특성(예: 최대 매칭, 색칠) 등에 대한 연구 방향을 제시한다. **6. 결론** 본 연구는 공선 정점 집합이라는 새로운 시각을 통해 그래프 직선 그리기의 두 핵심 파라미터인 fix와 fit에 대한 새로운 경계를 제시한다. 특히, σ<1인 짧음 지수를 이용해 fit(G)=o(n)인 그래프를 최초로 구축했으며, 트리‑폭 2 이하 그래프에 대해 fix(G)≥√(n/30)라는 강력한 하한을 제공한다. 이는 그래프 그리기 이론에서 교차 제거와 점 배치 문제를 연결하는 중요한 진전으로 평가될 수 있다.