다중 경로 절단 문제의 하한 위 파라미터화

본 논문은 그래프 이론에서 핵심적인 NP‑Hard 문제인 Node Multiway Cut을 두 가지 “하한 위 파라미터화” 방식으로 접근한다. 먼저 문제 정의를 상기한다. 입력은 무방향 그래프 G=(V,E), 터미널 집합 T⊆V, 정수 k이며, 목표는 V\T에 속하는 정점 집합 X (|X|≤k)를 찾아 모든 서로 다른 터미널 쌍 사이의 모든 경로가 X와 교차하도록 만드는 것이다. 기존 연구에서는 k 자체를 파라미터로 삼아 O*(4^k) 알고리즘을 제시했지만, 실제 인스턴스에서는 자연스러운 하한이 존재한다. 저자들은 두 가지 하한을 정의한다. 1. **Maximum Separating Cut (C‑parameter)**: 각 터미널 t에 대해 최소 분리 절단 크기 m(I,t)를 구한다. 이는 max‑flow/min‑cut을 이용해 다항식 시간에 계산 가능하다. 그 중 최댓값을 max_t m(I,t)라 하고, C(I)=k−max_t m(I,t) 로 정의한다. 2. **LP‑Relaxation (L‑parameter)**: Garg et al.이 제시한 LP‑Relaxation (1)을 사용한다. 각 비터미널 v에 비음수 가중치 d_v를 할당하고, 모든 터미널 쌍 사이의 경로에 대해 가중치 합이 최소 1이 되도록 한다. 이 LP는 반정수 해를 보장하며, 최적값 LP(I)는 원문제 해의 하한이다. L(I)=k−LP(I) 로 정의한다. 두 파라미터 모두 실제 해가 하한에 가깝다면 작아져 탐색 공간을 크게 줄인다. 논문은 먼저 **Reduction 1~3**이라는 세 가지 다항식 감소 규칙을 제시한다. - **Reduction 1**: 두 터미널이 직접 연결돼 있거나 L(I)<0이면 즉시 NO. - **Reduction 2**: 비터미널 w가 두 터미널에 모두 인접하면 w는 반드시 해에 포함되므로 그래프에서 제거하고 k를 1 감소시킨다. 이때 LP(I)≤LP(I′)+1 이므로 L(I)≥L(I′) 가 유지된다. - **Reduction 3**: LP 최적해에서 어떤 비터미널 w에 대해 d_w=0이 가능하면, w와 인접한 모든 간선을 삭제한다. 이 규칙은 LP값을 그대로 유지하고 L(I)도 변하지 않는다. 위 규칙이 모두 적용 불가능한 경우, Lemma 2.4에 의해 다음 두 성질이 성립한다. (i) d_v=½ for v∈N(T), d_v=0 otherwise 가 LP 최적해이며, (ii) 각 터미널 t에 대해 N(t) 가 t에 대한 유일 최소 분리 절단이다. 이 구조적 특성을 이용해 **Branching Rule**을 설계한다. 터미널 t의 인접 비터미널 w를 선택하거나(edge tw를 계약) 두 경우로 나눈다. 첫 번째 경우는 w를 해에 포함시키고 그래프에서 제거, k를 1 감소; 두 번째 경우는 edge tw를 계약하고 LP값이 최소 ½ 증가한다. 두 경우 모두 L(I) 값이 최소 ½씩 감소함을 증명한다. 따라서 재귀 깊이는 O(L(I))이며, 각 단계에서 2개의 자식이 생성되므로 전체 시간 복잡도는 O*(4^{L(I)}) 가 된다. C‑parameter에 대해서는 추가적인 **Reduction 4** 를 도입한다. C(I) ≥ s−2·s^{−1}·k (s=|T|) 혹은 C(I) ≤ 2·L(I) 인 경우 즉시 YES를 반환한다. 첫 번째 조건은 N(T\{t₀}) 집합이 k 이하임을 보이며, 두 번째 조건은 LP와 최대 분리 절단 사이의 관계를 이용해 역시 해가 존재함을 증명한다. 따라서 최종 알고리즘은 O*(2^{min(C(I), s−2·s^{−1}·k)}) 시간에 해결된다. 특히 s=3 일 때 O*(2^{k/2}) 를 얻는다. 이 결과는 기존 O*(4^k) 알고리즘을 O*(2^k) 로 개선하고, Vertex Cover above Maximum Matching 및 Almost 2‑SAT에 대해 O*(4^k) 알고리즘을 제공한다. 또한, 터미널 수를 2k 로 줄이는 새로운 커널화 절차를 제시함으로써, 파라미터 k에 대한 다항식 커널 존재 가능성을 높인다. 마지막으로, Node Multicut 문제에 대해 동일한 LP‑위 파라미터화는 X P조차 만족하지 못한다는 부정적 결과도 제시한다. 전체적으로, 하한 위 파라미터화와 LP‑반정수 구조를 결합한 정교한 감소·분기 프레임워크를 통해 다중 절단 문제군에 새로운 FPT 알고리즘 설계 패러다임을 제시한다.