[논문 리뷰] Subexponential and FPT-time Inapproximability of Independent Set and Related Problems

Bruno Escoffier, Eun Jung Kim외 1명|arXiv (Cornell University)|2012. 11. 28.

Numerical Methods and Algorithms참고 문헌 28인용 수 6

한 줄 요약

이 논문은 서브지수 시간 및 FPT 시간에서 독립집합 및 관련 문제에 대한 조건부 근사 불가능성 결과를 확립한다. 선형 PCP 추측이 참이라면, 심지어 서브지수 시간 $2^{o(n)}$ 에서도 상수 이하의 근사가 불가능하다는 것을 보여준다. 이러한 결과는 확산 그래프를 통한 갭 증폭과 ETH(지수 시간 가설) 하에서의 3-SAT로의 축소에 기반한다.

ABSTRACT

Fixed-parameter algorithms, approximation algorithms and moderately exponential algorithms are three major approaches to algorithms design. While each of them being very active in its own, there is an increasing attention to the connection between different approaches. In particular, whether Maximum Independent Set would be better approximable once endowed with subexponential-time or FPT-time is a central question. In this paper, we present a strong link between the linear PCP conjecture and the inapproximability, thus partially answering this question.

연구 동기 및 목표

• 독립집합과 같은 근사 불가능성이 높은 문제들이 서브지수 시간 또는 FPT 시간에서 근사 가능해지는지 조사하기.
• 특히 ETH와 선형 PCP 추측을 포함한 널리 수용된 복잡도 가정 하에서 조건부 근사 불가능성 결과를 확립하기.
• PCP 이론을 근사 알고리즘, 고정 매개변수 알고리즘, 중간 지수 알고리즘 간의 연결고리로 삼아 이들 영역에서의 근사 불가능성에 다가가기.
• 다항 시간에서의 근사 난이도가 서브지수 또는 FPT 시간으로도 유지되는지, 특히 독립집합, 정점 커버, 색칠 문제에 대해 탐색하기.
• 합리적인 복잡도 가정 하에 FPT 시간 또는 서브지수 시간 근사 알고리즘이 다항 시간 알고리즘보다 더 좋은 비율을 달성할 수 있는지 검토하기.

제안 방법

• 확산 그래프의 구조를 활용하여 갭을 유지하는 변환을 통해 3-SAT 인스턴스를 독립집합 및 관련 문제로 축소한다.
• 지수 시간 가설(ETH)을 적용하여, 독립집합 및 관련 문제를 특정 비율 내에서 근사하는 데 있어서 서브지수 시간 알고리즘을 배제한다.
• 선형 PCP 추측(LPC)을 사용하여 근사 불가능성 결과를 강화하고, LPC가 참이라면 $2^{o(n)}$-시간 알고리즘이나 상수 비율 이하의 근사를 달성할 수 없음을 보여준다.
• 정점 커버에서 Min-Sat로의 축소를 통해 다른 문제들로 근사 불가능성 결과를 전이하며, 근사 비율과 인스턴스 크기를 선형 요소 수준에서 유지한다.
• 확산 그래프를 통한 갭 증폭 기법을 적용하여 상수 갭 PCP를 초월하는 갭을 가진 선형 크기의 인스턴스로 변환함으로써 더 강력한 근사 불가능성 하한을 도출한다.
• 기존의 PCP 구성과 매개변수화 복잡도 이론을 융합하여 FPT 시간의 근사 불가능성 결과를 유도하며, 특히 독립집합 지배집합과 지배집합에 대해 적용한다.

실험 결과

연구 질문

• RQ1 다항 시간에서 근사 불가능성이 높은 문제들, 예를 들어 독립집합이 서브지수 시간에서 잘 근사될 수 있는가?
• RQ2 매개변수화 복잡도 프레임워크는 다항 시간 알고리즘보다 독립집합과 같은 문제들에 대해 더 좋은 근사 비율을 달성할 수 있는가?
• RQ3 선형 PCP 추측이 서브지수 또는 FPT 시간에서의 독립집합 근사 불가능성에 어떤 영향을 미치는가?
• RQ4 해결책 크기가 $k$인 경우 FPT 시간 알고리즘이 독립집합에 대해 비상수 근사 비율을 달성할 수 있는가?
• RQ5 FPT 시간의 근사 불가능성과 선형 PCP 추측과 같은 더 강력한 PCP 정리 사이에 연결 고리가 존재하는가?

주요 결과

• 지수 시간 가설(ETH) 하에, 독립집합은 어떤 $ u > 0$ 에 대해서도 시간 $2^{n^{1- u}}$ 내에서 어떤 상수 비율 이내로 근사될 수 없다.
• 선형 PCP 추측이 참이라면, 어떤 $2^{o(n)}$-시간 알고리즘도 독립집합을 어떤 상수 비율 이내로 근사할 수 없다.
• FPT ≠ W[2] 라는 가정 하에, 독립집합 지배집합의 FPT 시간 근사 불가능성이 성립하며, 이는 비상수 비율 함수 $g(k)$에 대해서도 성립한다.
• 동일한 근사 불가능성 결과는 ETH와 선형 PCP 추측 하에, 집합 패킹, 이분 그래프, 색칠, 정점 커버 문제로도 확장된다.
• 확산 그래프를 통한 갭 증폭은 상수 갭 PCP를 초월하는 갭을 가진 선형 크기의 인스턴스로 변환할 수 있게 하여 더 강력한 근사 불가능성 하한을 가능하게 한다.
• 정점 커버에서 Min-Sat로의 축소는 근사 비율을 유지하며, 인스턴스 크기가 선형 비율로 증가하는 동안 문제 간의 근사 불가능성 결과를 전이할 수 있게 한다.