[논문 리뷰] Designing FPT algorithms for cut problems using randomized contractions

Rajesh Chitnis, Marek Cygan외 3명|arXiv (Cornell University)|2012. 07. 17.

Complexity and Algorithms in Graphs참고 문헌 38인용 수 7

한 줄 요약

이 논문은 기본적인 그래프 컷 문제를 위한 고정 매개변수 다항식(FPT) 알고리즘을 설계하기 위해 랜덤화된 수축 기법을 제안한다. 이 기법은 유일한 레이블 커버 문제에 대해 처음으로 FPT 알고리즘을 달성하고, 스티너 컷 및 노드 멀티웨이 컷-언컷 문제에 대해 지수적 속도 향상을 이룬다. 각각의 실행 시간은 $2^{O(k^2ackslash\log|\Sigma|)}n^4\log n$ 및 $2^{O(k^2\log k)}n^4\log n$이며, 음이 아닌 간선 및 정점 가중치를 처리할 수 있다.

ABSTRACT

We introduce a new technique for designing fixed-parameter algorithms for cut problems, namely randomized contractions. We apply our framework to obtain the first FPT algorithm for the Unique Label Cover problem and new FPT algorithms with exponential speed up for the Steiner Cut and Node Multiway Cut-Uncut problems. More precisely, we show the following: - We prove that the parameterized version of the Unique Label Cover problem, which is the base of the Unique Games Conjecture, can be solved in 2^{O(k^2\log |Σ|)}n^4\log n deterministic time (even in the stronger, vertex-deletion variant) where k is the number of unsatisfied edges and |Σ| is the size of the alphabet. As a consequence, we show that one can in polynomial time solve instances of Unique Games where the number of edges allowed not to be satisfied is upper bounded by O(\sqrt{\log n}) to optimality, which improves over the trivial O(1) upper bound. - We prove that the Steiner Cut problem can be solved in 2^{O(k^2\log k)}n^4\log n deterministic time and ilde{O}(2^{O(k^2\log k)}n^2) randomized time where k is the size of the cutset. This result improves the double exponential running time of the recent work of Kawarabayashi and Thorup (FOCS'11). - We show how to combine considering `cut' and `uncut' constraints at the same time. More precisely, we define a robust problem Node Multiway Cut-Uncut that can serve as an abstraction of introducing uncut constraints, and show that it admits an algorithm running in 2^{O(k^2\log k)}n^4\log n deterministic time where k is the size of the cutset. To the best of our knowledge, the only known way of tackling uncut constraints was via the approach of Marx, O'Sullivan and Razgon (STACS'10), which yields algorithms with double exponential running time. An interesting aspect of our technique is that, unlike important separators, it can handle real weights.

연구 동기 및 목표

• NP-난이도의 그래프 컷 문제를 위한 FPT 알고리즘 설계를 위한 새로운 일반 목적의 기법을 개발하기 위해.
• 이전에 이중지수적 실행 시간을 유도했던, 매개변수화된 알고리즘에서 '컷'과 '언컷' 제약 조건을 동시에 통합하는 데 도전하기 위해.
• 비음수 가중치를 가진 유사 문제들인 유일한 레이블 커버, 스티너 컷, 노드 멀티웨이 컷-언컷 문제에 대해 효율적인 FPT 알고리즘을 설계하기 위해.
• 특히 높은 매개변수 의존성 문제에서 기존 FPT 알고리즘보다 훨씬 더 빠른 실행 시간을 달성함으로써 기존 알고리즘을 향상시키기 위해.
• 랜덤화된 수축 기법이 효율성이나 정확성 손실 없이 컷 문제의 가중치 변형에 적응 가능함을 보여주기 위해.

제안 방법

• 해결책의 구조를 유지하면서 문제 인스턴스를 축소하는 데 목적이 있는 새로운 알고리즘 프레임워크인 랜덤화된 수축 기법을 도입한다. 이 기법은 랜덤하게 간선 또는 정점을 수축한다.
• 고정된 탐색 트리, 동적 프로그래밍, 고연결성 단계에서의 근사 절단 기법과 같은 방법들을 결합하여 프레임워크를 적용해 FPT 알고리즘을 설계한다.
• 이중 단계 접근 방식을 사용한다: 첫 번째 단계에서는 랜덤화된 수축을 통해 문제를 유한 트리 폭 또는 고연결성 인스턴스로 축소하고, 두 번째 단계에서는 동적 프로그래밍 또는 탐색 트리를 사용해 축소된 인스턴스를 해결한다.
• 비음수 가중치를 처리하기 위해 동적 프로그래밍 테이블을 확장하여 솔루션 크기와 총 가중치를 동시에 추적함으로써, 최적의 솔루션을 보장한다.
• 작은 연결 요소와 큰 연결 요소와 같은 구조적 성질을 활용하여 수축 집합과 솔루션 후보의 선택을 안내한다.
• 솔루션 후보가 분리 조건과 비분리 조건을 모두 만족해야 하는 통합 문제 추상화인 노드 멀티웨이 컷-언컷을 정의함으로써, 컷과 언컷 제약 조건을 동시에 처리할 수 있도록 알고리즘을 적응시킨다.

실험 결과

연구 질문

• RQ1 일반 목적의 기법을 개발하여 넓은 범위의 그래프 컷 문제에 대해 FPT 알고리즘을 설계할 수 있는가?
• RQ2 이전에 이중지수적 시간이 필요로 했던 컷과 언컷 제약 조건을 동시에 가진 문제들을 랜덤화된 수축 기법이 효과적으로 처리할 수 있는가?
• RQ3 비음수 간선 및 정점 가중치를 가진 가중치가 부여된 그래프 컷 문제에 대해 이 프레임워크를 확장할 수 있으며, FPT 실행 시간을 유지할 수 있는가?
• RQ4 이 접근 방식을 통해 매개변수화된 유일한 레이블 커버 문제에 대해 처음으로 FPT 알고리즘을 도출할 수 있는가, 특히 정점 삭제 변형에 대해서는?
• RQ5 스티너 컷 및 노드 멀티웨이 컷-언컷 문제에 대해 기존 FPT 알고리즘보다 지수적 속도 향상을 이룰 수 있는가?

주요 결과

• 논문은 매개변수화된 유일한 레이블 커버 문제에 대해 처음으로 FPT 알고리즘을 제시하며, 이 알고리즘은 $2^{O(k^2\backslash\log|\Sigma|)}n^4\log n$의 결정적 실행 시간을 가지며, $k$는 만족하지 못한 간선 수이고 $|\Sigma|$는 알파벳 크기이다.
• 스티너 컷 문제의 경우, 알고리즘은 $2^{O(k^2\log k)}n^4\log n$의 결정적 실행 시간과 $ackslash\tilde{O}(2^{O(k^2\log k)}n^2)$의 랜덤화된 실행 시간을 가지며, Kawarabayashi와 Thorup(FOCS'11)의 이중지수적 실행 시간에 비해 크게 향상되었다.
• 노드 멀티웨이 컷-언컷 문제는 $2^{O(k^2\log k)}n^4\log n$의 결정적 실행 시간으로 해결되었으며, 이는 언컷 제약 조건이 있는 이 문제에 대해 처음으로 FPT 알고리즘을 제공하며, 이전 접근 방식의 이중지수적 실행 시간을 피한다.
• 비음수 간선 및 정점 가중치를 효과적으로 처리하기 위해 동적 프로그래밍 테이블을 확장하여 크기와 총 가중치를 동시에 추적함으로써 정확성과 효율성을 유지한다.
• 알고리즘적 접근 방식은 세 문제 모두의 가중치 변형에 대해 핵심 논리나 실행 시간 보장에 큰 변화 없이 적응 가능하며, 매우 강력한 유연성을 보인다.
• 결과적으로, $O(\sqrt{\log n})$개 이하의 만족하지 못한 간선을 가진 유니크 게임 인스턴스는 다항식 시간 내에 최적으로 해결 가능하며, 이는 기존의 자명한 $O(1)$ 기준을 향상시킨다.