[논문 리뷰] Parameterized Inapproximability for Steiner Orientation by Gap Amplification

Michał Włodarczyk|arXiv (Cornell University)|2019. 07. 15.

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

한 줄 요약

이 논문은 매개변수화 복잡도에서 새로운 해시 기반 갭 확대 기법을 사용하여 k-Steiner 방향성 문제에 대해 강력한 근사 불가능성 결과를 확립한다. 표준 복잡도 가정 하에, FPT 알고리즘은 (log k)^o(1) 보다 나은 근사 계수를 달성할 수 없으며, 다항 시간 알고리즘은 (log n)^o(1) 보다 나은 근사 계수를 달성할 수 없다. 이는 자연스러운 근사 작업에 대해 W[1]-완전성의 첫 사례를 확립한다.

ABSTRACT

In the $k$-Steiner Orientation problem, we are given a mixed graph, that is, with both directed and undirected edges, and a set of $k$ terminal pairs. The goal is to find an orientation of the undirected edges that maximizes the number of terminal pairs for which there is a path from the source to the sink. The problem is known to be W[1]-hard when parameterized by k and hard to approximate up to some constant for FPT algorithms assuming Gap-ETH. On the other hand, no approximation factor better than $O(k)$ is known. We show that $k$-Steiner Orientation is unlikely to admit an approximation algorithm with any constant factor, even within FPT running time. To obtain this result, we construct a self-reduction via a hashing-based gap amplification technique, which turns out useful even outside of the FPT paradigm. Precisely, we rule out any approximation factor of the form $(\log k)^{o(1)}$ for FPT algorithms (assuming FPT $ e$ W[1]) and $(\log n)^{o(1)}$ for~purely polynomial-time algorithms (assuming that the class W[1] does not admit randomized FPT algorithms). Moreover, we prove $k$-Steiner Orientation to belong to W[1], which entails W[1]-completeness of $(\log k)^{o(1)}$-approximation for $k$-Steiner Orientation This provides an example of a natural approximation task that is complete in a parameterized complexity class. Finally, we apply our technique to the maximization version of directed multicut - Max $(k,p)$-Directed Multicut - where we are given a directed graph, $k$ terminals pairs, and a budget $p$. The goal is to maximize the number of separated terminal pairs by removing $p$ edges. We present a simple proof that the problem admits no FPT approximation with factor $O(k^{\frac 1 2 - ε})$ (assuming FPT $ e$ W[1]) and no polynomial-time approximation with ratio $O(|E(G)|^{\frac 1 2 - ε})$ (assuming NP $ ot\subseteq$ co-RP).

연구 동기 및 목표

• 기존의 O(k) 근사 상한과 k-Steiner 방향성 문제에 대한 상수 요소 FPT 근사의 부재 사이의 격차를 메우기 위해.
• FPT ≠ W[1] 및 NP ⊈ co-RP 하에서 k-Steiner 방향성 문제에 대해 강력한 근사 불가능성 결과를 확립하기 위해.
• 문제가 (log k)^o(1)-근사에 대해 W[1]-완전함을 보여주어, W[1]에서 첫 번째 자연스러운 근사 문제 완전성 사례를 확립하기 위해.
• 이 기법을 방향성 다중 컷의 최대화 형태로 확장하여 유사한 근사 불가능성 한계를 증명하기 위해.

제안 방법

• 매개변수화 감소에서 允허되는 지수적 팽창을 활용하여, 해시 기반 갭 확대를 통한 새로운 자기 감소 기법을 도입한다.
• 혼합 그래프 내 경로 체계를 모델링하기 위해 표준 경로 가족 구조를 사용하여 충돌을 통제 가능하게 한다.
• 경로 지지체의 랜덤 샘플링에 대해 찬너프 부등식을 적용하여, 높은 확률로 갭 확대가 이루어지도록 보장한다.
• 독립된 경로 쌍의 집합과 충돌 없는 간선 규칙을 사용하여, k-Steiner 방향성 문제에서 k-클리크 문제로의 매개변수화 감소를 구성한다.
• 순환 없는 그래프에서의 도색 기법을 활용하여 해를 반복적으로 단축시키며, 경로 길이에 대한 모순을 통해 W[1]-완전성을 증명한다.
• 동일한 프레임워크를 Max (k,p)-Directed Multicut에 적용하여, 유사한 갭 확대 및 샘플링 논증을 통해 한계를 도출한다.

실험 결과

연구 질문

• RQ1 FPT ≠ W[1] 하에서 k-Steiner 방향성 문제가 상수 요소 FPT 근사 가능성이 있는가?
• RQ2 k-Steiner 방향성 문제에 대해 (log k)^o(1)-근사가 FPT일 수 있는가, 아니면 이것이 배제되는가?
• RQ3 이 갭 확대 기법을 FPT를 초월해 일반화하여 다항 시간 내에서 새로운 근사 불가능성 결과를 이끌 수 있는가?
• RQ4 동일한 방법이 다른 매개변수화 문제, 예를 들어 방향성 다중 컷에 대해 날카로운 근사 불가능성 한계를 도출하는가?
• RQ5 F(k) = o(k) 인 경우 F(k)-Gap k-Clique 는 W[1]-난이도를 갖는가? 마찬가지로 k-Dominating Set 에 대해서도 마찬가지인가?

주요 결과

• FPT ≠ W[1] 하에서 k-Steiner 방향성 문제에 대해 (log k)^o(1) 보다 나은 FPT 근사가 존재하지 않는다.
• 문제는 (log k)^o(1)-근사에 대해 W[1]-완전하며, 이는 W[1]에서 자연스러운 근사 작업에 대해 첫 번째 완전성 사례를 확립한다.
• NP ⊈ co-RP 를 가정할 경우, k-Steiner 방향성 문제에 대해 다항 시간 알고리즘이 (log n)^o(1) 보다 나은 근사 계수를 달성할 수 없다.
• 동일한 기법을 통해 Max (k,p)-Directed Multicut 가 FPT ≠ W[1] 하에서 O(k^{1/2 - ε}) 보다 나은 근사 계수를 갖는 FPT 근사가 존재하지 않음을 증명한다.
• Max (k,p)-Directed Multicut 에 대해 NP ⊈ co-RP 를 가정할 경우, 다항 시간 알고리즘이 비율 O(|E(G)|^{1/2 - ε}) 보다 나은 근사 비율을 달성할 수 없다.
• 해시 기반 갭 확대 기법은 매개변수에서 지수적 팽창을 허용하는 자기 감소를 가능하게 하여, 매개변수화 설정에서 PCP 제약 조건을 우회한다.