[논문 리뷰] A Simple Gap-Producing Reduction for the Parameterized Set Cover Problem

Bingkai Lin|arXiv (Cornell University)|2019. 01. 01.

Complexity and Algorithms in Graphs참고 문헌 34인용 수 4

한 줄 요약

이 논문은 매개변수화된 집합 커버 문제에 대해 간단한 갭 생성 감소를 제시하며, 강력한 지수적 시간 가설(SETH) 하에서의 비근사 가능성 경계를 향상시킨다. (n,k)-일반 집합을 사용하여 가 gadget을 구성함으로써, 작은 해 크기 k를 가진 인스턴스를 새로운 인스턴스로 변환한다. 이 경우, opt ≤ k와 opt > (1−o(1))·k√(log n/log log n) 사이를 구분하는 데 f(k)·n^{k−ϵ} 시간이 필요하며, 이는 이전 결과를 크게 향상시킨다.

ABSTRACT

Given an $n$-vertex bipartite graph $I=(S,U,E)$, the goal of set cover problem is to find a minimum sized subset of $S$ such that every vertex in $U$ is adjacent to some vertex of this subset. It is NP-hard to approximate set cover to within a $(1-o(1))\ln n$ factor. If we use the size of the optimum solution $k$ as the parameter, then it can be solved in $n^{k+o(1)}$ time. A natural question is: can we approximate set cover to within an $o(\ln n)$ factor in $n^{k-ε}$ time? In a recent breakthrough result, Karthik, Laekhanukit and Manurangsi showed that assuming the Strong Exponential Time Hypothesis (SETH), for any computable function $f$, no $f(k)\cdot n^{k-ε}$-time algorithm can approximate set cover to a factor below $(\log n)^{\frac{1}{poly(k,e(ε))}}$ for some function $e$. This paper presents a simple gap-producing reduction which, given a set cover instance $I=(S,U,E)$ and two integers $k

연구 동기 및 목표

• 매개변수화된 설정에서 알려진 비근사 가능성 결과와 그레디 알고리즘의 (1+ln n) 근사 비율 사이의 격차를 메우기.
• 복잡한 부호 이론에 의존하지 않고도 큰 갭을 생성하는 단순하고 기본적인 감소 기법을 개발하기.
• SETH 하에서 매개변수화된 집합 커버가 f(k)·n^{k−ϵ} 시간 내에 o(ln n) 요인 이내로 근사될 수 없음을 보여주기.
• 작은 유니버스 집합을 가진 집합 커버의 난이도가 일반 인스턴스의 난이도를 암시함을 보여주어 증명 구조를 단순화하기.

제안 방법

• (n,k)-일반 집합을 사용하여 클리크 탐지 문제를 시뮬레이션하는 갭 생성 가젯을 구성하여 k-분할 그래프에서 클리크 탐지 문제를 모델링한다.
• k-클리크 인스턴스를, k-클리크가 존재하면 크기 (k 선택 2)의 해를 갖는 집합 커버 인스턴스로 감소시킨다. k-클리크가 존재하지 않으면 훨씬 큰 해를 갖는다.
• 이전 연구에서 AG 부호에 의존하는 것과 달리, 초기 가정에 관계없이 해 크기 갭을 증폭하는 새로운 감소 기법을 적용한다.
• 가젯을 적용하여 원래의 집합 커버 인스턴스를 새로운 인스턴스로 변환한다. 이때 유니버스 크기 |U′| = |U|hk · |S|O(1)이며, 시간 복잡도는 |U|hk · |S|O(1)이다.
• 가젯의 구조를 활용하여, 원래 인스턴스에 k 크기의 해가 없으면 새로운 유니버스를 커버하는 임의의 해는 크기가 > h여야 함을 보여준다.
• 감소가 상수 깊이 회로로 계산 가능하므로, Rossman의 k-클리크 탐지 결과를 활용하여 하한을 유도한다.

실험 결과

연구 질문

• RQ1 SETH 하에서 매개변수화된 집합 커버 문제에 대해 (log n)^{1/poly(k)} 보다 더 나은 비근사 가능성 요인을 달성할 수 있는가?
• RQ2 복잡한 도구인 AG 부호를 피하는 단순하고 기본적인 감소 기법이 존재하는가? 이는 집합 커버에서 큰 갭을 생성할 수 있는가?
• RQ3 작은 유니버스 집합을 가진 집합 커버의 난이도가 일반 인스턴스의 난이도를 암시할 수 있는가? 이는 비근사 가능성 증명을 단순화하는가?
• RQ4 감소의 상수 깊이 회로 구조가 FPT 알고리즘에 대해 더 강력한 하한을 제공하는가?
• RQ5 동일한 기법을 확장하여, W[1] ≠ FPT 가정 하에서 (log n)^{1/ϵ(k)}-근사 FPT 알고리즘을 배제할 수 있는가?

주요 결과

• SETH를 가정할 경우, f(k)·N^{k−ϵ} 시간 알고리즘은 opt ≤ k와 opt > (1/(1+δ))·(log N/log log N)^{1/k} 사이를 구분할 수 없다. 여기서 δ ∈ (0,1)이다.
• 논문은 이전 연구에서의 (log n)^{1/poly(k)} 경계를 뛰어넘어, (1−o(1))·k√(log n/log log n)로 훨씬 향상된 비근사 가능성 요인을 달성한다.
• 감소 기법은 간단하며 오직 (n,k)-일반 집합만을 사용하여, 이전 연구에서 사용된 복잡한 도구인 AG 부호를 피한다.
• 감소는 상수 깊이 회로로 계산 가능하므로, 새로운 하한을 도출한다: f(k)·n^{o(√k)} 크기의 상수 깊이 회로로는 문제를 해결할 수 없다.
• W[1] ≠ FPT를 가정할 경우, 임의의 무한정 계산 가능한 함수 ϵ에 대해 f(k)·N^{O(1)}-시간 (log N)^{1/ϵ(k)}-근사 FPT 알고리즘을 배제한다.
• 결과적으로 FPT 비근사 가능성 증명은 작은 유니버스 집합을 가진 집합 커버의 난이도를 증명하는 것으로 축소되며, 이는 전체 증명 프레임워크를 단순화한다.