[논문 리뷰] Baby PIH: Parameterized Inapproximability of Min CSP

Guruswami, Venkatesan, Andreas Emil Feldmann외 1명|arXiv (Cornell University)|2018. 01. 01.

VLSI and FPGA Design Techniques인용 수 14

한 줄 요약

이 논문은 k개의 수요 쌍을 만족시키기 위해 이중 방향 평면 그래프 내에서 최소 비용의 유량 네트워크를 찾는 bi-DSNPlanar 문제에 대해 파arameterized approximation scheme (PAS)를 제안한다. 이는 임의의 ε>0에 대해 f(ε,k)·n^O(1) 시간 내에 (1+ε)-근사해를 달성한다. 이 방법이 Gap-ETH 하에서 최적임을 증명하고, 다항 크기의 근사 커퍼니제이션 체계(PSAKS)를 구축하며, 더 넓은 일반화에 대해서는 PAS가 존재하지 않음을 보여준다. 또한, Gap-ETH 하에서 Strongly Connected Steiner Subgraph (SCSS) 문제에 대해 (2−ε)-근사 불가능성 결과를 도출하고, bi-SCSS가 k에 대해 FPT임을 보여준다.

ABSTRACT

The Directed Steiner Network (DSN) problem takes as input a directed edge-weighted graph G=(V,E) and a set {D}subseteq V x V of k demand pairs. The aim is to compute the cheapest network N subseteq G for which there is an s -> t path for each (s,t)in {D}. It is known that this problem is notoriously hard as there is no k^{1/4-o(1)}-approximation algorithm under Gap-ETH, even when parameterizing the runtime by k [Dinur & Manurangsi, ITCS 2018]. In light of this, we systematically study several special cases of DSN and determine their parameterized approximability for the parameter k. For the bi-DSN_Planar problem, the aim is to compute a planar optimum solution N subseteq G in a bidirected graph G, i.e. for every edge uv of G the reverse edge vu exists and has the same weight. This problem is a generalization of several well-studied special cases. Our main result is that this problem admits a parameterized approximation scheme (PAS) for k. We also prove that our result is tight in the sense that (a) the runtime of our PAS cannot be significantly improved, and (b) it is unlikely that a PAS exists for any generalization of bi-DSN_Planar, unless FPT=W[1]. Additionally we study several generalizations of bi-DSN_Planar and obtain upper and lower bounds on obtainable runtimes parameterized by k. One important special case of DSN is the Strongly Connected Steiner Subgraph (SCSS) problem, for which the solution network N subseteq G needs to strongly connect a given set of k terminals. It has been observed before that for SCSS a parameterized 2-approximation exists when parameterized by k [Chitnis et al., IPEC 2013]. We show a tight inapproximability result: under Gap-ETH there is no (2-{epsilon})-approximation algorithm parameterized by k (for any epsilon>0). To the best of our knowledge, this is the first example of a W[1]-hard problem admitting a non-trivial parameterized approximation factor which is also known to be tight! Additionally we show that when restricting the input of SCSS to bidirected graphs, the problem remains NP-hard but becomes FPT for k.

연구 동기 및 목표

• 수요 수 k로 매개변수화할 때 Directed Steiner Network (DSN) 문제의 파arameterized approximability를 조사하기 위해.
• 특히 해의 구조적 제약 조건(예: 평면성)이 있는 DSN의 특수 케이스에 대해 효율적인 근사 체계가 존재하는지 판단하기 위해.
• 기존의 근사 알고리즘과 하드네스 결과 사이의 격차를 표준 복잡도 가정 하에 엄밀한 근사 불가능성 경계를 증명함으로써 메우기 위해.
• 모든 간선이 반대 방향 간선을 갖는 이중 방향 그래프가 일반적인 방향 그래프보다 DSN 및 관련 문제에서 더 나은 타당성(tractability)을 제공할 수 있는지 탐색하기 위해.
• bi-DSNPlanar에 대해 다항 크기의 근사 커퍼니제이션 체계(PSAKS)의 존재를 확립하고, 그 최적성 분석을 위해.

제안 방법

• 변수 할당과 제약 조건을 표현하기 위해 슈퍼엣지와 정점 가젯을 사용하는 3CSP 문제에서 bi-DSNPlanar로의 새로운 감소를 설계한다.
• 세 가지 유형의 간선을 포함하는 그래프를 구성한다: (1) 소스에서 정점 가젯으로의 간선, (2) 정점 가젯 간의 간선, (3) 정점 가젯에서 싱크로의 간선이며, 각각의 가중치는 1/(2ℓ), 1/(2ℓ), 0이다.
• 확률적 분석과 호더의 부등식을 사용하여 타당성 케이스에서 커버된 슈퍼엣지의 기대 수를 근사하고, 해의 비용과 원래 CSP 인스턴스의 값 사이의 연결 고리를 맺는다.
• CSP에서의 만족 가능한 할당이 존재할 경우, 구성된 bi-DSNPlanar 인스턴스에서 정확히 비용 1의 해가 존재함을 보여줌으로써 완전성(Completeness)을 증명한다.
• 평면 구조에 대한 동적 프로그래밍과 커널라이제이션 접근법을 조합하여 bi-DSNPlanar에 대한 파arameterized approximation scheme (PAS)를 구축한다.
• Gap-ETH 위반으로 이어질 경우 런타임을 개선할 수 없음을 보여줌으로써 PAS의 최적성(타이트니스)을 증명하고, 이 하드네스 결과를 bi-DSNPlanar의 일반화로 확장한다.

실험 결과

연구 질문

• RQ1 이중 방향 그래프에서 최적의 평면 해를 기준으로 비용을 비교할 때, bi-DSNPlanar 문제에 대해 파arameterized approximation scheme (PAS)를 설계할 수 있는가?
• RQ2 제안된 PAS의 런타임은 표준 복잡도 가정 하에서 최적인가, 아니면 크게 향상시킬 수 있는가?
• RQ3 SCSS 문제에 대해 (2−ε)-근사 불가능성 결과가 Gap-ETH 하에서 성립하는가, 그리고 알려진 2-근사 알고리즘이 이 문제에 대해 최적인가?
• RQ4 c < 2 인 다항 크기의 c-근사 커퍼니제이션 체계가 bi-DSN에 존재하는가, 아니면 현재의 PSAKS 구성이 최적인가?
• RQ5 현재의 하드네스 감소가 평면성을 유지하지 않기 때문에, bi-DSN이 평면 그래프에서 k로 매개변수화되었을 때 FPT인지, 아니면 W[1]-hard인지?

주요 결과

• bi-DSNPlanar에 대해 파arameterized approximation scheme (PAS)가 존재하며, 임의의 ε>0에 대해 f(ε,k)·n^O(1) 시간 내에 (1+ε)-근사해를 달성한다.
• PAS의 런타임은 Gap-Exponential Time Hypothesis (Gap-ETH) 위반으로 이어지므로 크게 향상시킬 수 없다.
• Gap-ETH 하에서 bi-DSNPlanar의 어떤 일반화에 대해서도 PAS가 존재하지 않음을 보여, 결과의 최적성(타이트니스)를 입증한다.
• bi-DSNPlanar에 대해 다항 크기의 근사 커퍼니제이션 체계(PSAKS)가 존재하며, 이는 강력한 구조적 결과이다.
• Strongly Connected Steiner Subgraph (SCSS) 문제에 대해, Gap-ETH 하에서 (2−ε)-근사 알고리즘이 f(k)·n^O(1) 시간 내에 존재하지 않으며, 이는 2-근사가 최적임을 증명한다.
• 이중 방향 그래프로 제한된 경우, SCSS는 여전히 NP-난이도이지만 k에 대해 고정된 매개변수로 처리 가능(FPT)하며, O(4^k·k^2) 시간 알고리즘이 존재한다.