[논문 리뷰] Fixed Parameter Inapproximability for Clique and SetCover in Time Super-exponential in OPT

Mohammad Taghi Hajiaghayi, Rohit Khandekar외 1명|arXiv (Cornell University)|2013. 10. 10.

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

한 줄 요약

이 논문은 최적값(opt)에 대해 초수학적 시간 복잡도를 가진 최초의 고정 매개변수 근사 불가능성 결과를 Maximum Clique 및 Minimum Set Cover 문제에 대해 제시한다. 이는 지수 시간 가설(ETH) 하에 성립한다. 새로운 기법을 도입하여 갭 감소에서 최적값을 줄이고, 이러한 문제들이 임의의 비감소 함수 $r$과 $t$에 대해 $(r,t)$-FPT-어려움을 가짐을 증명한다. 이는 초다항 및 초지수적 성장까지 포함하여 이전의 FPT-근사 불가능성 결과를 강화한다.

ABSTRACT

In this paper, we consider proving inapproximability in terms of OPT and thus we base the foundations of fixed parameter inapproximability.

연구 동기 및 목표

• 입력 매개변수 k가 아닌 최적값(opt) 기반으로 근사 불가능성을 매개변수화하여 Clique 및 SetCover에 대해 더 강력한 고정 매개변수 근사 불가능성 결과를 확립하기 위해.
• 이전의 FPT-어려움 결과가 최적값에 대해 초지수적 시간 복잡도를 달성하지 못하는 한계를 극복하기 위해, 초지수적 시간 복잡도를 목표로 하기 위해.
• 최적값(opt)에 대해 초지수적 시간 복잡도 $t(\text{opt})$를 갖는 Clique 및 SetCover에 대해 최초의 근사 불가능성 결과를 제시함으로써, Fellows의 FPT-어려움에 대한 추측을 뒷받침하기 위해.
• 갭 감소에서 최적값을 줄이기 위한 체계적인 기법을 개발하여 더 강력한 근사 불가능성 경계를 가능하게 하기 위해.

제안 방법

• 지수 시간 가설(ETH) 하에 3-SAT에서 갭 감소를 사용하여, '예' 인스턴스에서 최적값을 구조적 변환을 통해 크게 줄인 인스턴스를 구성한다.
• Clique의 경우, 만족 가능한 할당이 크기 $f(q)$의 클리크에 대응하는 그래프 구조로 3-SAT 공식을 매핑하는 감소를 설계한다. 여기서 $f(q)$는 임의로 느리게 증가하는 함수이다.
• 최소 최대 독립집합(MMIS) 문제의 경우, '예' 인스턴스에서는 MMIS 크기가 $f(q)$이지만, '아니오' 인스턴스에서는 최소 $q$의 크기가 필요하여 큰 갭을 만든다.
• 특히 할당 집합과 수퍼버티스를 신중히 선택하여 '예' 인스턴스의 최적값을 줄이되, 새로운 최적값 기준으로도 '예'와 '아니오' 인스턴스 간의 갭이 유지되도록 하는 새로운 기법을 적용한다.
• 모든 $(r,t)$-FPT-근사 알고리즘에서 $t(\text{opt}) = 2^{o(\text{opt})}$일 경우 ETH를 위반하므로, 임의의 비감소 함수 $r$과 $t$에 대해 $(r,t)$-FPT-어려움을 증명하도록 감소를 설계한다.
• 이 기법은 일반화되어 MMIS가 임의의 함수 $r$과 $t$에 대해 $(r,t)$-FPT-어려움임을 보여주며, 이 함수들이 임의로 급격히 증가하더라도 성립한다.

실험 결과

연구 질문

• RQ1 Clique 및 SetCover가 임의의 비감소 함수 $r$과 $t$에 대해 $(r,t)$-FPT-어려움임을 증명할 수 있는가? 특히 $t(\text{opt})$가 opt에 대해 초지수적일 경우에 대해.
• RQ2 Clique 및 SetCover의 갭 감소에서 최적값을 줄일 수 있는가? 이때 '예'와 '아니오' 인스턴스 간의 갭이 여전히 크게 유지되어야 한다.
• RQ3 Clique 및 MMIS에 사용된 기법을 W[1]-하드 또는 W[2]-하드 문제로 일반화하여, 최적값 기준 초지수적 근사 불가능성을 달성할 수 있는가?
• RQ4 무작위 표본 추출이 W[1]- 또는 W[2]-하드 문제에 대해 최적값을 줄이면서도 큰 갭을 유지하는 데 도움이 되는가?
• RQ5 최적값(opt)의 감소를 체계적으로 활용하여, 이전에는 W[1]-하드로만 알려져 있던 문제들에 대해 더 강력한 FPT-근사 불가능성 결과를 증명할 수 있는가?

주요 결과

• 지수 시간 가설(ETH) 하에, Clique는 임의의 비감소 함수 $r$에 대해 $r(\text{opt}) = 1/(1-\epsilon)$ (어느 $\epsilon > 0$에 대해)이고, 임의의 함수 $t$에 대해 $(r,t)$-FPT-어려움을 가진다. 이 경우 $t(\text{opt}) = 2^{o(\text{opt})}$일 수 있다.
• 논문은 Feige와 Kilian의 결과를 개선하여, 최적값에 대해 초지수적 시간 복잡도를 갖는 근사 불가능성을 달성하였으며, 이는 단지 초다항적 복잡도를 넘어서는 것이다.
• 최소 최대 독립집합(MMIS) 문제에 대해, 저자는 임의의 비감소 함수 $r$과 $t$에 대해 $(r,t)$-FPT-어려움을 증명한다. 이 함수들이 임의로 급격히 증가하더라도 성립한다.
• 감소의 '예' 인스턴스에서 최적값은 $f(q)$로 줄어들며, 여기서 $f(q)$는 임의로 느리게 증가하는 함수이다. 이는 더 강력한 근사 불가능성 경계를 가능하게 한다.
• '예'와 '아니오' 인스턴스 간의 갭은 $q/f(q)$보다 크며, 이는 $t(\text{opt}) = 2^{o(q)}$인 모든 $(r,t)$-FPT-근사 알고리즘이 ETH를 위반하므로, 이를 배제하는 데에 충분하다.
• 감소 기법은 강건하며 Clique, SetCover, MMIS를 포함한 세 가지 다른 문제에 적용 가능하여 광범위한 적용 가능성을 보여준다.