[논문 리뷰] Independent Set on P$_k$-Free Graphs in Quasi-Polynomial Time

Peter Gartland, Daniel Lokshtanov|arXiv (Cornell University)|2020. 05. 02.

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

한 줄 요약

이 논문은 임의의 고정된 $k$에 대해 $P_k$-free 그래프에서 가중치가 부여된 독립집합 문제에 대해 최초로 준다항시간 알고리즘을 제시한다. 이 알고리즘은 시간 복잡도 $n^{O(k^2 /\log^3 n)}$ 내에 작동하며, 고도수 정점에 대한 반복적 분할 전략과 구조적 분해를 활용한다. 이는 Thomassé가 제기한 열린 문제를 해결하며, $P_k$-free 그래프에서 문제의 NP-완전성은 아닐 가능성이 강력히 제기된다.

ABSTRACT

We present an algorithm that takes as input a graph $G$ with weights on the vertices, and computes a maximum weight independent set $S$ of $G$. If the input graph $G$ excludes a path $P_k$ on $k$ vertices as an induced subgraph, the algorithm runs in time $n^{O(k^2 \log^3 n)}$. Hence, for every fixed $k$ our algorithm runs in quasi-polynomial time. This resolves in the affirmative an open problem of [Thomassé, SODA'20 invited presentation]. Previous to this work, polynomial time algorithms were only known for $P_4$-free graphs [Corneil et al., DAM'81], $P_5$-free graphs [Lokshtanov et al., SODA'14], and $P_6$-free graphs [Grzesik et al., SODA'19]. For larger values of $t$, only $2^{O(\sqrt{kn\log n})}$ time algorithms [Bascó et al., Algorithmica'19] and quasi-polynomial time approximation schemes [Chudnovsky et al., SODA'20] were known. Thus, our work is the first to offer conclusive evidence that Independent Set on $P_k$-free graphs is not NP-complete for any integer $k$. Additionally we show that for every graph $H$, if there exists a quasi-polynomial time algorithm for Independent Set on $C$-free graphs for every connected component $C$ of $H$, then there also exists a quasi-polynomial time algorithm for {\sc Independent Set} on $H$-free graphs. This lifts our quasi-polynomial time algorithm to $T_k$-free graphs, where $T_k$ has one component that is a $P_k$, and $k-1$ components isomorphic to a fork (the unique $5$-vertex tree with a degree $3$ vertex).

연구 동기 및 목표

• Thomassé(SODA'20)가 제기한 $P_k$-free 그래프에서 독립집합 문제에 대한 준다항시간 알고리즘 존재성에 관한 열린 문제를 해결하기 위해.
• $P_6$-free 그래프를 초월하여 독립집합 문제의 다항시간 해법의 경계를 확장하기 위해. 이전 알고리즘은 $k \geq 8$일 경우 실패하였다.
• 준다항시간 복잡도를 달성하여, $P_k$-free 그래프에서 독립집합 문제가 어떤 $k$에 대해서도 NP-완전일 가능성이 없음을 확실시하기 위해.
• $P_k$-free 그래프 알고리즘을 하위 문제로 활용하여, $T_k$-free 그래프로 결과를 일반화하기 위해. 여기서 $T_k$는 $P_k$와 $k-1$개의 분리된 포크로 구성된다.

제안 방법

• 고도수 정점에 기반한 재귀적 분할 전략을 사용하며, 분할 깊이를 추적하기 위한 측정값 $\mu$를 활용한다.
• 분할 단계의 정밀한 분석을 위해, $\mu[1 - 1/(8|H|^2 \cdot |\mathcal{CC}(H)| \cdot \log^2 \mu)]$를 포함하는 재귀 불등식을 사용하여 재귀 트리 크기를 근사한다.
• 핵심 레마는 재귀 불등식 $T_H(\mu) \leq T_H(\mu-1) + \mu^{O(1)} + 2T_H(\mu[1 - 1/(8|H|^2 \cdot |\mathcal{CC}(H)| \cdot \log^2 \mu)])$ 가 준다항시간 복잡도를 유도함을 보여준다.
• 포크-프리 그래프에 대해 알려진 다항시간 알고리즘과 $P_k$-free 알고리즘을 조합하여 $T_k$-free 그래프로 알고리즘 확장한다.
• 각 재귀 호출이 문제 크기를 줄이면서도 $H$-freeness 성질을 유지하도록 구조적 분해를 사용한다.
• 시간 복잡도의 지수를 제한하기 위해, 연결 성분 수 $|\mathcal{CC}(H)|$와 금지된 그래프의 크기 $|H|$를 활용한다.

실험 결과

연구 질문

• RQ1 모든 $k$에 대해 $P_k$-free 그래프에서 독립집합 문제는 준다항시간 내에 해결될 수 있는가?
• RQ2 $P_k$-free 그래프에서 준다항시간 알고리즘이 존재한다는 것은, 이러한 그래프 유형에서 문제의 NP-완전성이 아닐 가능성을 시사하는가?
• RQ3 이 알고리즘 프레임워크는 다수의 성분을 가진 더 복잡한 $H$에 대해 $H$-free인 그래프로 확장될 수 있는가?
• RQ4 $k \geq 8$일 때 이전 방법이 실패한 바에도 불구하고, $P_k$-free 그래프에서 준다항시간 해법이 가능한 구조적 성질은 무엇인가?

주요 결과

• 논문은 임의의 고정된 $k$에 대해 $P_k$-free 그래프에서 가중치가 부여된 독립집합 문제에 대해 준다항시간 알고리즘을 제시한다. 이 알고리즘은 시간 복잡도 $n^{O(k^2 \log^3 n)}$ 내에 작동한다.
• 이 결과는 Thomassé(SODA’20)가 제기한 열린 문제를 해결하며, $k=6$를 초월한 $P_k$-free 그래프에 대해 최초의 준다항시간 알고리즘을 제공한다.
• 문제가 준다항시간 내에 해결 가능하므로, $P_k$-free 그래프에서 독립집합 문제가 어떤 $k$에 대해서도 NP-완전일 가능성이 없음을 강력히 시사한다.
• 알고리즘은 $T_k$-free 그래프로 확장되었으며, 여기서 $T_k$는 $P_k$와 $k-1$개의 분리된 포크로 구성되며, 시간 복잡도는 $n^{O(k^3 \log^3 n)}$이다.
• 논문은 만약 그래프 $H'$의 각 연결 성분 $H$에 대해 $H$-free 그래프에서 준다항시간 알고리즘이 존재한다면, $H'$-free 그래프에서도 동일한 알고리즘이 존재함을 증명하며, 이는 $T_k$-free 그래프로의 확장을 가능하게 한다.
• 분석 결과 재귀 트리 크기는 $\mu^{O(|H|^2 \cdot |\mathcal{CC}(H)| \cdot \log^3 \mu)}$ 이하로 제한되며, 이는 최종 준다항시간 복잡도를 도출한다.