[논문 리뷰] Fixed-parameter tractability of multicut parameterized by the size of the cutset

Dániel Marx, Igor Razgon|BIROn (Birkbeck, University of London)|2010. 10. 18.

Advanced Graph Theory Research참고 문헌 30인용 수 6

한 줄 요약

이 논문은 컷셋 크기 $ p $ 에 대해 고정된 매개변수 다항시간 성질을 Edge Multicut 및 Vertex Multicut 문제에 대해 입증하며, 시간 복잡도 $ 2^{O(p^3)} \cdot n^{O(1)} $ 에서 작동하는 알고리즘을 제시한다. 주요 기여는 다항식적 의존도가 $ p $ 에만 있고 $ k $ (터미널 쌍의 수)에 의존하지 않는 최초의 FPT 알고리즘을 제공함으로써 오랫동안 미해결이었던 매개변수 복잡도 이론 분야의 핵심 열린 문제를 해결한 데 있다.

ABSTRACT

Given an undirected graph $G$, a collection $\{(s_1,t_1),..., (s_k,t_k)\}$ of pairs of vertices, and an integer $p$, the Edge Multicut problem ask if there is a set $S$ of at most $p$ edges such that the removal of $S$ disconnects every $s_i$ from the corresponding $t_i$. Vertex Multicut is the analogous problem where $S$ is a set of at most $p$ vertices. Our main result is that both problems can be solved in time $2^{O(p^3)}... n^{O(1)}$, i.e., fixed-parameter tractable parameterized by the size $p$ of the cutset in the solution. By contrast, it is unlikely that an algorithm with running time of the form $f(p)... n^{O(1)}$ exists for the directed version of the problem, as we show it to be W[1]-hard parameterized by the size of the cutset.

연구 동기 및 목표

• Edge Multicut 및 Vertex Multicut 문제가 컷셋 솔루션 크기 $ p $ 에 대해 고정된 매개변수 다항시간 성질을 갖는지 여부에 대한 오랜 동안 미해결이었던 열린 질문을 해결하기 위해.
• 작은 컷셋 크기에 대해 효율적인 정확한 알고리즘을 개발하여, 이전 알고리즘들처럼 $ p $ 와 $ k $ 에 모두 지수적 의존도를 가지는 것을 개선하기 위해.
• 원래 그래프에서 $ p = O(\sqrt[3]{\log n}) $ 이면 다각도 다항시간으로 해결 가능하다는 것을 보여주어 희박한 인스턴스에 대해 실용적인 다항시간 성질을 입증하기 위해.
• 다이렉티드 다각도 문제의 경우 $ p $ 에 대해 W[1]-완전하다는 것을 보여주어 다항시간 성질과 비가역성 사이의 명확한 경계를 설정하기 위해.
• Edge Multicut 문제로의 감소를 통해 Fuzzy Cluster Editing 문제가 편집 비용에 대해 FPT임을 증명하기 위해.

제안 방법

• 기본 다각도 문제를 압축 문제로 줄이기 위해 반복 압축 기법을 사용하며, 이 경우 해의 크기가 $ p+1 $ 인 해가 주어지고, 크기가 $ p $ 인 해를 찾는 것이 목표이다.
• 각 터미널 쌍 $ (s_i, t_i) $ 에 대해 도우미 기반의 가공된 그래프를 구성하여 도달 가능성 제약 조건을 가중치가 부여된 간선과 보조 정점으로 표현한다.
• 순서쌍 $ (x,y) $ 를 나타내는 정점 가공물 $ G_{i,j} $ 와 $ G_{j,i} $ 를 도입하며, 특정 도달 가능성 조건이 만족될 경우 다각도 간선이 포함되어야 하도록 강제한다.
• 특정 간선이 포함되어야 함을 보장하기 위해 터미널 쌍 $ (w_{i,j}^{\iota(x,y)+1}, b_{i,j}^{(x,y)}) $ 과 $ (w_{i,j}^{\iota(x+1,0)}, d_i^x) $ 를 도입한다.
• 가중치 1인 간선 $ \overrightarrow{c_i^x d_i^x} $ 를 도입하고, $ w_{i,j}^{\iota(x,0)} $ 를 통해 연결하여, $ x = v_i $ 인 경우에만 간선 $ \overrightarrow{c_i^{v_i} d_i^{v_i}} $ 가 필요로 함을 보장한다.
• 기본 그래프에 크기 $ t $ 의 클리크가 존재하는 것과 다각도 크기 $ p $ 의 해가 존재하는 것이 상호 동치임을 증명하며, 클리크 존재성과 다각도 가능성을 연결하는 감소를 사용한다.

실험 결과

연구 질문

• RQ1 Edge Multicut 문제의 경우, 터미널 쌍의 수 $ k $ 와 무관하게 컷셋 크기 $ p $ 에 대해 고정된 매개변수 다항시간 성질을 갖는가?
• RQ2 Vertex Multicut 문제는 어떤 계산 가능한 함수 $ f $ 에 대해 $ f(p) \cdot n^{O(1)} $ 시간 내에 해결 가능할 수 있는가? 이 경우 지수적 의존도는 $ p $ 에만 존재해야 한다.
• RQ3 다이렉티드 다각도 문제의 매개변수 복잡도는 $ p $ 에 대해 어떻게 되는가?
• RQ4 감소 프레임워크 하에서 그래프에 클리크가 존재하면 다각도 크기 $ p $ 의 해가 존재하고, 그 반대도 성립하는가?
• RQ5 Edge Multicut 문제로의 감소를 통해 Fuzzy Cluster Editing 문제의 편집 비용에 대해 FPT임을 증명할 수 있는가?

주요 결과

• 논문은 Edge Multicut 및 Vertex Multicut 문제를 시간 복잡도 $ 2^{O(p^3)} \cdot n^{O(1)} $ 에서 해결하는 알고리즘을 제시하며, $ p $ 에 대해 고정된 매개변수 다항시간 성질을 증명한다.
• 이 알고리즘은 지수적 의존도가 $ p $ 에만 존재하고 $ k $ (터미널 쌍의 수)에는 의존하지 않아, 이전 알고리즘들보다 우월하다.
• 다이렉티드 다각도 문제의 경우 $ p $ 에 대해 W[1]-완전하다는 것이 입증되어, 이 결과가 다이렉티드 경우로 확장되기 어려울 것임을 시사한다.
• 클리크 존재성과 다각도 가능성을 연결하는 감소를 통해, 크기 $ p $ 의 다각도가 존재하는 것과 원래 그래프에 크기 $ t $ 의 클리크가 존재하는 것이 상호 동치임을 증명한다.
• 이 결과는 Fuzzy Cluster Editing 문제가 편집 비용에 대해 FPT임을 시사하며, 이 분야에서 오랫동안 미해결이었던 문제를 해결한다.
• 해의 크기가 $ p = O(\sqrt[3]{\log n}) $ 인 경우 알고리즘이 다항시간 내에 실행되므로, 매우 작은 컷셋 크기를 가진 큰 그래프에 대해 다각도 문제가 실용적으로 다항시간으로 해결 가능하다는 것을 보여준다.