[논문 리뷰] On Equivalence of Parameterized Inapproximability of k-Median, k-Max-Coverage, and 2-CSP

C. S. Karthik, Euiwoong Lee외 1명|arXiv (Cornell University)|2024. 01. 01.

Constraint Satisfaction and Optimization인용 수 1

한 줄 요약

이 논문은 갭 보존 FPT 감소를 통해 k-median, k-max-coverage 및 2-CSP 문제의 매개변수화된 비근사 가능성 간의 날카로운 등가성을 확립한다. k-max-coverage를 (1−δ) 요인으로 근사하는 데 있어서 W[1]-난이도가 있음이 증명되면, 2-CSP를 (1−δ²/4) 요인으로 근사하는 데 있어서도 W[1]-난이도가 있음을 보이며, 이는 k-max-coverage의 비근사 가능성 해결이 매개변수화된 비근사 가능성 가설(PIH)을 의미함을 증명한다.

ABSTRACT

Parameterized Inapproximability Hypothesis (PIH) is a central question in the field of parameterized complexity. PIH asserts that given as input a 2-CSP on $k$ variables and alphabet size $n$, it is W[1]-hard parameterized by $k$ to distinguish if the input is perfectly satisfiable or if every assignment to the input violates 1% of the constraints. An important implication of PIH is that it yields the tight parameterized inapproximability of the $k$-maxcoverage problem. In the $k$-maxcoverage problem, we are given as input a set system, a threshold $τ>0$, and a parameter $k$ and the goal is to determine if there exist $k$ sets in the input whose union is at least $τ$ fraction of the entire universe. PIH is known to imply that it is W[1]-hard parameterized by $k$ to distinguish if there are $k$ input sets whose union is at least $τ$ fraction of the universe or if the union of every $k$ input sets is not much larger than $τ\cdot (1-\frac{1}{e})$ fraction of the universe. In this work we present a gap preserving FPT reduction (in the reverse direction) from the $k$-maxcoverage problem to the aforementioned 2-CSP problem, thus showing that the assertion that approximating the $k$-maxcoverage problem to some constant factor is W[1]-hard implies PIH. In addition, we present a gap preserving FPT reduction from the $k$-median problem (in general metrics) to the $k$-maxcoverage problem, further highlighting the power of gap preserving FPT reductions over classical gap preserving polynomial time reductions.

연구 동기 및 목표

• PIH를 가정하지 않고도, k-max-coverage를 상수 요인으로 근사하는 데 있어서 W[1]-난이도가 조건 없이 증명될 수 있는지 규명하는 것.
• k-max-coverage 근사에 있어서 W[1]-난이도가 매개변수화된 비근사 가능성 가설(PIH)에 미치는 영향을 조사하는 것.
• k-max-coverage에서 2-CSP로의 역 갭 보존 FPT 감소를 구축하여, k-max-coverage의 난이도가 2-CSP의 난이도를 암시함을 보이는 것.
• k-median에서 k-max-coverage로의 갭 보존 FPT 감소를 확장함으로써, 이 감소 기법의 강력함을 보여주며, 기존의 다항시간 감소 기법보다 뛰어난 성능을 보이는 것을 강조하는 것.

제안 방법

• k-max-coverage에서 2-CSP로의 갭 보존 FPT 감소를 구성하여, k-max-coverage를 (1−δ) 요인으로 근사하는 데 W[1]-난이도가 있으면, 2-CSP를 (1−δ²/4) 요인으로 근사하는 데도 W[1]-난이도가 있음을 보임.
• Feige의 Max Coverage에 대한 NP-난이도 프레임워크를 매개변수화된 환경에 적응하여, T층으로 구성된 계층적 구조를 사용하며, 각 층은 t∈[T]로 인덱싱됨.
• 크기가 T·(log n)^O(1)·k·A(k)인 유니버스 U와 T·k·n개의 집합을 포함하는 집합 체계 S를 정의하며, 각 집합 S(t,j,v)는 2-CSP 인스턴스에서의 변수 할당에 대응함.
• 층 간의 집합 커버리지에 대한 조합적 분석을 수행하며, 각 층별로 선택된 집합을 eS−, eS=, eS+로 분류하여 커버되지 않은 원소의 수를 제한함.
• 확률적 추론을 적용하여, U의 원소 중 최소 Tℓ/2개는 어떤 kT-집합 선택이라도 커버하지 못함을 보이며, 이는 상수 요인 갭을 암시함.
• 기본로지로 [KLM19]의 gap k-MaxCover의 W[1]-난이도를 활용하며, 갭과 매개변수화를 유지하는 감소를 구성함.

실험 결과

연구 질문

• RQ1 PIH를 가정하지 않고도, k-max-coverage를 상수 요인으로 근사하는 데 있어서 W[1]-난이도를 조건 없이 증명할 수 있는가?
• RQ2 k-max-coverage를 (1−δ) 요인으로 근사하는 데 있어서 W[1]-난이도가 2-CSP를 (1−δ²/4) 요인으로 근사하는 데 있어서 W[1]-난이도를 암시하는가?
• RQ3 k-median에서 k-max-coverage로의 갭 보존 FPT 감소가 존재하는가? 그리고 이는 매개변수화된 비근사 가능성 계층의 특성에 어떤 함의를 갖는가?
• RQ4 갭 보존 FPT 감소가 기존의 다항시간 감소 기법에 비해 매개변수화된 비근사 가능성의 함의를 얼마나 강화하는가?

주요 결과

• 논문은 랜덤화된 튜링 감소 하에, k-max-coverage를 (1−δ) 요인으로 근사하는 데 있어서 W[1]-난이도가 있으면, 2-CSP를 (1−δ²/4) 요인으로 근사하는 데 있어서도 W[1]-난이도가 있음을 증명한다.
• 이는 k-max-coverage에서 2-CSP로의 역감소를 확립하여, k-max-coverage의 비근사 가능성 해결이 PIH를 암시함을 보여준다.
• 감소는 갭 보존적이며 k에 대한 매개변수화를 유지하므로, 비근사 가능성 갭의 날카로움을 입증한다.
• T층으로 구성된 계층적 유니버스와 2-CSP 인스턴스에서 유도된 집합 체계를 사용하여, 원래 인스턴스에서의 완전한 커버리지가 새로운 인스턴스에서의 완전한 커버리지로 이어지도록 보장한다.
• 어느 kT-집합 선택이라도 새로운 인스턴스에서 최소 Tℓ/2개의 유니버스 원소를 커버하지 못함을 보이며, 이는 상수 요인 갭을 확립한다.
• 결과적으로, k-max-coverage의 비근사 가능성은 FPT 감소 하에 2-CSP의 비근사 가능성과 등가이며, 이는 매개변수화된 비근사 가능성 계층에서 k-max-coverage의 중심적 역할을 강조한다.