다중단절 문제를 최대 최소 격리절단 초과분 k만큼만 허용하는 효율적 알고리즘

초록

본 논문은 터미널 집합 T가 주어진 그래프 G에서, 각 터미널 t에 대한 최소 격리절단 크기의 최댓값 m을 하한으로 삼고, m + k 크기의 다중단절을 찾는 O(k·n^{k+3}) 시간 알고리즘을 제시한다. 핵심은 “중요한 X‑Y 분리자”의 개수가 ∑_{i=0}^{k} {n \choose i} 이하라는 새로운 조합적 정리를 이용해 탐색 공간을 제한하는 것이다.

상세 분석

다중단절(Multiway Cut) 문제는 그래프 G와 터미널 집합 T가 주어졌을 때, 모든 서로 다른 터미널 쌍을 분리하도록 최소한의 비터미널 정점을 삭제하는 집합을 찾는 NP‑hard 문제이다. 기존 연구에서는 전체 최적 해의 크기 k에 대한 FPT(고정 매개변수 시간) 알고리즘이 주로 다루어졌으며, 대표적으로 마르크스(Marx)의 “중요한 분리자(important separator)” 개념을 활용한 O(4^{k}·n^{O(1)}) 알고리즘이 알려져 있다. 그러나 실제 인스턴스에서는 전체 최적 해보다 훨씬 작은 하한값이 존재할 수 있다. 논문은 이러한 하한값을 “각 터미널 t에 대한 최소 격리절단(isolating cut)”이라 정의하고, 그 중 가장 큰 값을 m이라 놓는다. m은 언제나 최적 다중단절 크기의 하한이며, 실제 최적 해가 m + k 이하인 경우에만 관심을 둔다.

핵심 정리는 두 정점 집합 X, Y가 서로 겹치지 않을 때, X‑Y 분리자의 최소 크기를 m이라 하면, 크기가 m + k 이하인 “중요한” X‑Y 분리자의 총 개수가 ∑{i=0}^{k}{n \choose i} 보다 크지 않다는 것이다. 이는 기존에 알려진 “크기 ≤ m + k인 모든 분리자 ≤ {n \choose ≤k}”보다 더 정밀한 상한을 제공한다. 중요한 분리자는 “크기가 작고, 포함된 정점 집합이 최소”인 특수한 분리자를 의미하며, 마르크스의 정의에 따라 부분 순서(포함 관계)에서 최소 원소가 된다. 이 정리를 증명하기 위해 저자들은 “분리자 그래프”를 구성하고, 각 단계에서 최소 X‑Y 분리자를 기준으로 “증분”을 수행함으로써, 새로운 중요한 분리자를 생성할 때마다 반드시 새로운 비터미널 정점이 추가된다는 점을 이용한다. 결과적으로, k 단계까지의 모든 가능한 증분 조합은 ∑{i=0}^{k}{n \choose i} 개의 경우만 존재한다.

알고리즘 설계는 위 정리를 활용한 브랜칭 전략으로 구성된다. 먼저 각 터미널 t에 대해 최소 격리절단을 구하고, 그 크기 m_t를 기록한다. 전체 하한 m = max_t m_t를 얻은 뒤, 목표는 m + k 이하의 다중단절을 찾는 것이다. 이를 위해 재귀적으로 “현재 남은 예산 k’”와 “현재 고려 중인 터미널 집합”을 인자로 받아, 각 터미널에 대해 중요한 t‑(T{t}) 분리자를 열거한다. 열거된 분리자 중 하나를 선택하면 해당 정점들을 삭제하고, 예산을 k’ - (|S|‑m_t) 만큼 감소시킨다. 중요한 분리자의 개수가 위의 조합적 상한에 의해 제한되므로, 전체 재귀 트리의 폭은 O(∑_{i=0}^{k}{n \choose i}) 이며, 각 노드에서의 연산(분리자 찾기, 최소 흐름 계산 등)은 O(n^{3}) 이하로 구현 가능하다. 따라서 전체 시간 복잡도는 O(k·n^{k+3}) 가 된다.

이 알고리즘은 기존의 “k‑parameterized” 접근법과는 달리, 실제 인스턴스에서 하한 m이 크게 작용할 경우 매우 효율적이다. 예를 들어, m 이 50이고 k = 5인 경우, 탐색 공간은 ∑_{i=0}^{5}{n \choose i} 에 불과하므로, n 이 수천이라도 실용적인 실행 시간이 기대된다. 또한, 중요한 분리자 개수에 대한 새로운 상한은 다른 분리자 기반 문제(예: s‑t 분리, Edge Multiway Cut)에도 적용 가능성을 시사한다.

한계점으로는 k 가 그래프 규모에 비해 크게 증가하면 n^{k} 항이 폭발적으로 커져 실용성이 떨어진다는 점이다. 또한, 중요한 분리자를 찾는 과정이 최소 흐름 계산에 의존하므로, 매우 큰 그래프에서는 메모리와 시간 측면에서 추가적인 최적화가 필요하다. 향후 연구에서는 k 에 대한 더 강력한 커팅 플레인 기법이나, 커널화(pre‑processing) 단계에서 m 을 더욱 정확히 추정하는 방법을 모색할 수 있다.