방향성 다중경로 차단 문제의 절단집합 크기 파라미터에 대한 고정 파라미터 가능성

초록

이 논문은 방향 그래프에서 $p$개의 정점(또는 간선)만을 삭제해 모든 터미널 쌍을 분리하는 Directed Multiway Cut 문제를 다룬다. 저자들은 정점형과 간선형 두 버전이 서로 등가임을 보이고, 절단집합 크기 $p$를 파라미터로 잡을 때 알고리즘을 $2^{2^{O(p)}}\cdot n^{O(1)}$ 시간 안에 해결할 수 있음을 증명한다. 이는 이전에 제기된 Marx와 Marx‑Razgon의 열린 질문을 해결하며, $k=2$인 Directed Multicut도 FPT임을 즉시 얻는다.

상세 분석

본 연구는 방향 그래프에서 다중터미널을 완전히 분리하는 절단집합을 찾는 문제, 즉 Directed Vertex Multiway Cut과 Directed Edge Multiway Cut을 동일한 복잡도 클래스로 묶는다. 두 문제 사이의 등가성은 터미널이 아닌 정점을 간선으로 변환하는 표준 변환을 통해 보이며, 이는 기존 연구에서 이미 활용된 기법이다. 핵심 기술은 **중요 분리자(important separators)**와 그림자 제거(shadow removal) 기법을 결합한 새로운 구조적 분석이다. 먼저, 절단집합 $S$가 존재한다면, $S$는 각 터미널 쌍 $(t_i,t_j)$에 대해 최소 $p$-크기의 중요한 분리자를 포함한다는 사실을 이용한다. 중요한 분리자는 동일한 차단 효과를 가지면서 정점 수가 최소인 특수한 절단집합으로, 그 개수가 $2^{O(p)}$ 로 제한됨을 이용해 후보군을 제한한다.

그 다음 단계에서는 그림자 제거를 적용한다. 그림자는 절단집합 $S$에 의해 차단된 영역 중, 아직 명시적으로 제거되지 않은 정점·간선들의 집합을 의미한다. 저자들은 무작위 샘플링을 통해 그림자를 작은 크기의 “가시적” 부분집합으로 압축하고, 이를 반복적으로 정제함으로써 전체 절단집합을 $2^{2^{O(p)}}$ 시간 안에 구성한다. 이 과정에서 반복 압축(iterative compression) 기법이 핵심 역할을 한다. 초기 해를 $p+1$ 크기로 가정하고, 이를 $p$ 로 압축하는 서브루틴을 $2^{O(p)}$ 번 호출함으로써 전체 복잡도를 이중 지수 형태로 제한한다.

또한, 논문은 기존에 알려진 **W