평면 그래프 필수 연결의 트리폭 하한에 대한 단일 지수적 결과

초록

이 논문은 평면 그래프에서 모든 터미널 쌍을 정확히 하나씩 연결하는 ‘필수 연결(vital linkage)’을 가질 때, 그 그래프의 트리폭이 단일 지수적으로 크게 될 수 있음을 보인다. 또한 무관한 정점을 찾기 위해 필요한 격자 크기도 동일한 지수적 하한을 가진다. 이는 로버트슨‑세이먼(Robertson‑Seymour) 알고리즘이 사용하는 트리폭 상한이 최적에 가깝지 않으며, 고정‑k 경우에도 구현 난이도가 높은 이유를 이론적으로 설명한다.

상세 분석

필수 연결이란 k+1개의 터미널 쌍 (s_i , t_i) 각각을 정확히 하나의 경로 P_i 로 연결하면서, 이 경로들이 서로 겹치지 않는 경우를 말한다. 로버트슨‑세이먼은 k가 고정된 경우, ‘vital linkage’이 존재하면 그래프의 트리폭이 f(k) 이하라는 상한을 증명했으며, 이를 이용해 불필요한 정점을 제거하고 전체 문제를 작은 트리폭 그래프에 귀속시켰다. 그러나 그 상한 f(k)는 2^{2^{O(k)}} 수준의 이중 지수함수였고, 실제 구현 가능성은 전무했다.

본 논문은 이러한 상한과는 정반대의 하한을 구성한다. 저자들은 평면 그래프 G_k 를 설계하는데, G_k 는 (k+1)개의 터미널 쌍을 갖는 필수 연결을 포함하면서도 트리폭이 2^{Ω(k)} 수준으로 커짐을 보인다. 핵심 아이디어는 ‘그리드‑가젯(grid‑gadget)’ 구조를 이용해 터미널 쌍 사이에 복잡한 교차 패턴을 강제하고, 각 교차점마다 작은 ‘플레인‑위젯(plane‑widget)’을 삽입해 그래프의 전역적인 연결성을 유지하면서도 트리폭을 급격히 증가시키는 것이다.

구체적으로, 저자들은 먼저 (2^k × 2^k) 크기의 격자를 만든 뒤, 격자 내부에 ‘교차‑다리(cross‑bridge)’ 라는 작은 서브그래프를 삽입한다. 이 다리는 두 개의 경로가 서로를 피하도록 강제하면서도, 각각의 경로가 격자 전체를 가로질러야만 터미널에 도달하도록 설계된다. 결과적으로, 어떤 경로 집합이 필수 연결을 만족하려면 격자 전체를 포괄하는 큰 ‘연결‑덩어리’를 형성해야 하며, 이는 곧 그래프의 트리폭이 격자 폭과 비례하게 된다는 것을 의미한다.

또한 논문은 ‘무관한 정점(irrel­evant vertex)’을 찾기 위한 격자 마이너(minor) 크기의 하한도 제시한다. 기존 알고리즘은 O(k) 크기의 격자를 사용해 무관한 정점을 탐지했지만, 저자들은 동일한 평면 구조에서 최소 2^{Ω(k)} 크기의 격자가 필요함을 증명한다. 이는 격자 마이너가 충분히 커야만 모든 가능한 경로 배치를 차단하고, 따라서 불필요한 정점을 안전하게 제거할 수 있음을 보여준다.

이러한 하한 결과는 두 가지 중요한 시사점을 가진다. 첫째, 현재 알려진 상한과 하한 사이의 격차가 여전히 지수적이며, 실제 알고리즘 설계 시 트리폭을 제어하는 것이 근본적인 난제임을 확인한다. 둘째, 평면 그래프에 한정된 경우에도 ‘vital linkage’이 트리폭을 급격히 증가시킬 수 있음을 보여줌으로써, 고정‑k 파라미터 트랙션에서도 구현 가능한 FPT 알고리즘을 찾기 위한 새로운 접근이 필요함을 암시한다.