균형 분리자와 트리폭 및 사이클 순위의 관계

초록

본 논문은 그래프의 균형 분리자 수 k가 트리폭을 최소 k 이상으로 제한하고, 사이클 순위는 k·(1+log(n/k)) 이하로 제한한다는 새로운 상한과 하한을 제시한다. 기존의 로버트슨‑세머와 보들랜더 등의 결과를 정밀히 개선했으며, 제시된 경계가 최적임을 증명한다.

상세 분석

논문은 먼저 균형 분리자 수(balanced separator number, BSN)를 정의한다. n개의 정점으로 이루어진 그래프 G에 대해, 어떤 정점 집합 S가 |S|≤k이고 G−S를 두 부분으로 나누어 각각의 정점 수가 ≤2n/3 이하가 되면 S를 k‑균형 분리자라 부른다. BSN(G)=k라 하면, 모든 그래프는 최소 k‑균형 분리자를 가질 수 있다. 기존 연구에서는 BSN와 트리폭(treewidth, tw) 사이에 tw≥k라는 단순한 부등식만 알려져 있었다. 저자들은 이 부등식을 보다 정밀히 분석하여, BSN가 k인 그래프는 반드시 트리폭이 k 이상임을 재확인하고, 동시에 사이클 순위(cycle rank, cr)와의 관계를 새롭게 도출한다.

사이클 순위는 그래프를 반복적으로 축소하면서 사이클을 제거하는 과정에서 필요한 최소 단계 수를 의미한다. 저자들은 트리분해(tree decomposition)를 이용해 BSN가 k인 그래프의 트리분해 폭이 k임을 보이고, 이 트리분해를 기반으로 그래프를 재귀적으로 분할한다. 각 단계에서 균형 분리자를 제거하면 남은 부분 그래프의 크기가 최대 2/3로 감소하므로, 전체 깊이는 O(log_{3/2}(n/k))가 된다. 이때 각 단계마다 추가되는 순위는 k이므로, 최종 사이클 순위는 k·(1+log_{3/2}(n/k)) ≤ k·(1+log₂(n/k)) 로 상한을 얻는다. 여기서 로그의 밑은 상수 차이만 존재하므로, 논문에서는 자연 로그 대신 2를 밑으로 하는 로그를 사용해 표현의 간결성을 꾀한다.

또한, 저자들은 이 상한이 최적임을 보이기 위해 두 종류의 극한 그래프를 구성한다. 첫 번째는 완전 이분 그래프 K_{k, n−k}로, BSN는 k이지만 트리폭도 정확히 k이며 사이클 순위는 Θ(k·log(n/k))에 근접한다. 두 번째는 균형 트리 구조를 갖는 그래프들로, BSN와 트리폭이 동일하게 k이면서 사이클 순위가 상한에 거의 도달한다. 이러한 구성은 제시된 경계가 일반적인 경우에 더 이상 개선될 수 없음을 증명한다.

마지막으로, 논문은 기존의 Robertson‑Seymour(1986)와 Bodlaender et al.(1995)의 결과를 비교한다. Robertson‑Seymour은 BSN가 k이면 트리폭이 O(k)라는 비엄격한 관계만 제시했으며, Bodlaender 등은 사이클 순위에 대한 상한을 O(k·log n)으로 제시했다. 현재 연구는 상수를 정확히 k와 k·(1+log(n/k))로 좁혀, 기존 결과를 정밀하게 개선하였다. 이로써 그래프 이론에서 폭 파라미터들 간의 미묘한 관계를 명확히 이해하는 데 중요한 진전을 제공한다.