[논문 리뷰] Quasi-polynomial time approximation schemes for the Maximum Weight Independent Set Problem in H-free graphs

Maria Chudnovsky, Marcin Pilipczuk외 2명|arXiv (Cornell University)|2019. 07. 10.

Complexity and Algorithms in Graphs인용 수 14

한 줄 요약

이 논문은 H가 경로와 분할된 발치의 무분류 합성인 경우 H-자유 그래프에서 최대 무게 독립 집합 문제에 대해 준다항시간 근사법(QPTAS)과 초지수시간 정확 알고리즘을 제시한다. 이 접근법은 구조적 그래프 이론과 확장된 스트립 분해에서의 동적 프로그래밍을 융합하여, log|V(G)|와 ε⁻¹의 다항식의 지수함수로 표현되는 시간 내에 (1−ε)-근사값을 도출하고, 2^O(|V(G)|^{8/9} log|V(G)|) 시간 내에 정확한 계산을 수행함으로써, 광범위한 H-자유 그래프에 대한 열린 복잡도 질문을 해결한다.

ABSTRACT

In the Maximum Independent Set problem we are asked to find a set of pairwise nonadjacent vertices in a given graph with the maximum possible cardinality. In general graphs, this classical problem is known to be NP-hard and hard to approximate within a factor of $n^{1-\\varepsilon}$ for any $\\varepsilon > 0$. Due to this, investigating the complexity of Maximum Independent Set in various graph classes in hope of finding better tractability results is an active research direction. In $H$-free graphs, that is, graphs not containing a fixed graph $H$ as an induced subgraph, the problem is known to remain NP-hard and APX-hard whenever $H$ contains a cycle, a vertex of degree at least four, or two vertices of degree at least three in one connected component. For the remaining cases, where every component of $H$ is a path or a subdivided claw, the complexity of Maximum Independent Set remains widely open, with only a handful of polynomial-time solvability results for small graphs $H$ such as $P_5$, $P_6$, the claw, or the fork. We show that for every graph $H$ for which Maximum Independent Set is not known to be APX-hard and SUBEXP-hard in $H$-free graphs, the problem admits a quasi-polynomial time approximation scheme and a subexponential-time exact algorithm in this graph class. Our algorithm works also in the more general weighted setting, where the input graph is supplied with a weight function on vertices and we are maximizing the total weight of an independent set.

연구 동기 및 목표

• H가 경로와 분할된 발치의 무분류 합성인 H-자유 그래프에서 최대 무게 독립 집합(MWIS)의 복잡도 격차를 메우기.
• 문제가 APX-난이도나 SUBEXP-난이도로 알려져 있지 않은 경우, H-자유 그래프에서 MWIS에 대한 효율적인 알고리즘을 제공하기.
• 넓은 범위의 H-자유 그래프에 대해 근사와 정확 계산을 하나의 프레임워크로 통합하기.
• 이전의 SODA 2020 초록에서 포함되지 않은 초지수시간 정확 알고리즘을 포함하여 이전 작업을 확장하기.

제안 방법

• H-자유 그래프에서 발치와 루스터 구조체와 같은 유도 부분구조를 식별하기 위해 구조적 그래프 이론을 활용한다.
• 그래프를 무게가 유한한 원자들로 분할하기 위해 확장된 스트립 분해를 적용하여 동적 프로그래밍을 가능하게 한다.
• 고무중량 성분을 분리하고, 저무게 부분에서는 근사 기법을 적용하는 재귀적 분해 전략을 사용한다.
• 무게 기반의 잘라내기 기법을 활용하여 후보 해의 수를 제한함으로써 준다항시간 실행 시간을 보장한다.
• 존재성 보조정리(예: 보조정리 6.5)를 활용하여 열거를 통해 유한한 후보 해의 집합을 구성한다.
• 최종 분해에 기반한 동적 프로그래밍과 (1−ε)-근사 프레임워크를 융합하여 QPTAS를 달성한다.

실험 결과

연구 질문

• RQ1 H가 경로와 분할된 발치의 무분류 합성인 경우 H-자유 그래프에서 MWIS에 대해 준다항시간 근사법을 설계할 수 있는가?
• RQ2 이러한 H-자유 그래프에서 MWIS에 대해 초지수시간 정확 알고리즘을 달성할 수 있는가?
• RQ3 H-자유 그래프의 어떤 구조적 성질이 일반적인 MWIS의 NP-난이도에도 불구하고 효율적인 근사와 정확 계산을 가능하게 하는가?
• RQ4 확장된 스트립 분해는 H-자유 그래프에서 원자의 무게를 어떻게 제한하고 동적 프로그래밍을 어떻게 이끌 수 있는가?
• RQ5 구조적 분해와 근사 기법의 조합이 이 클래스의 그래프에 대해 통합된 알고리즘 프레임워크를 제공할 수 있는가?

주요 결과

• H가 경로와 분할된 발치의 무분류 합성인 모든 H에 대해, MWIS는 log|V(G)|와 ε⁻¹의 다항식의 지수함수로 실행되는 준다항시간 근사법(QPTAS)을 갖는다.
• H-자유 그래프에서 MWIS에 대한 정확 알고리즘은 2^O(|V(G)|^{8/9} log|V(G)|)의 초지수시간 내에 실행되며, 이는 이전의 지수적 상한보다 향상된 것이다.
• 알고리즘 프레임워크는 임의의 정점 무게를 지원하는 가중치 설정에서도 작동한다.
• 확장된 스트립 분해에서 모든 원자의 무게는 최대 (1−σ³⁴)·w(G) 이하로 보장되어 효과적인 잘라내기가 가능하다.
• 고려되는 후보 해의 수는 O(|V(G)|⁶) 이하로 제한되어 준다항시간 열거를 보장한다.
• ε>0에 대해 임의의 (1−ε)-근사값을 달성할 수 있으며, 실행 시간은 log|V(G)|에 대해 ε⁻¹의 다항식 의존성을 갖는다.