방향성 비순환 그래프에서 멀티컷 문제의 고정 매개변수 시간 복잡성

초록

본 논문은 방향성 비순환 그래프(DAG)에서 터미널 쌍의 수와 차단 집합 크기 두 매개변수를 기준으로 MULTICUT 문제를 고정 매개변수 시간(FPT)으로 해결할 수 있음을 증명한다. 반면 차단 집합 크기만을 매개변수로 할 경우 문제는 W

상세 분석

MULTICUT 문제는 그래프 G와 터미널 쌍 집합 T={(s_i,t_i)} 및 정수 p가 주어졌을 때, 비터미널 정점 중 최대 p개를 제거하여 모든 s_i에서 t_i로의 경로를 차단할 수 있는지를 묻는 전형적인 절단 문제이다. 무방향 그래프에 대해서는 Marx‑Razgon과 Bousquet‑et‑al이 각각 독립적으로 고정 매개변수 시간 알고리즘을 제시했으나, 방향 그래프에서는 구조적 복잡성이 크게 증가한다. 특히 사이클이 존재하면 경로의 순환성이 매개변수화 기법을 방해한다. 따라서 저자들은 DAG라는 제한된 클래스에 초점을 맞추어, 사이클이 없다는 특성을 활용한다.

핵심 아이디어는 두 단계의 파라미터화이다. 첫 번째 파라미터는 차단 집합의 크기 p, 두 번째는 터미널 쌍의 수 r이다. 저자들은 먼저 DAG를 위상 정렬하여 정점들을 선형 순서에 배치하고, 각 터미널 쌍에 대해 최소 s_i‑t_i 경로를 찾는다. 이때 경로는 위상 순서에 따라 단조 증가하므로, 경로 간 교차 구조가 제한된다. 이후 중요한 관찰은 “중요 정점(important vertex)” 개념이다. 특정 터미널 쌍에 대해 p보다 작은 차단 집합이 존재한다면, 그 차단 집합은 반드시 경로 상의 몇몇 중요한 정점만을 포함한다는 것이다. 이러한 중요한 정점은 각각의 터미널 쌍마다 O(p)개 이하로 제한될 수 있다.

다음으로 저자들은 “분할 및 정복” 전략을 도입한다. 터미널 쌍을 절반으로 나누어 각각에 대해 재귀적으로 FPT 알고리즘을 적용하고, 두 부분 사이의 교차 정점을 조정한다. 이 과정에서 “마스크(mask)”라는 개념을 사용해 이미 선택된 차단 정점을 표시하고, 남은 차단 예산을 효율적으로 배분한다. 재귀 깊이는 O(log r)이며, 각 단계에서 수행되는 동적 계획법은 O(2^p·poly(n)) 시간 복잡도를 가진다. 따라서 전체 알고리즘의 시간 복잡도는 f(p,r)·poly(n) 형태이며, 이는 고정 매개변수 시간(FPT)임을 보인다.

반면, 차단 집합 크기 p만을 매개변수로 하는 경우 저자들은 W