[논문 리뷰] Quasi-polynomial-time algorithm for Independent Set in P t -free and C >t -free graphs via shrinking the space of connecting subgraphs.

Marcin Pilipczuk, Michał Pilipczuk외 1명|arXiv (Cornell University)|2020. 09. 28.

Complexity and Algorithms in Graphs인용 수 5

한 줄 요약

이 논문은 $P_t$-free 및 $C_{>t}$-free 그래프에서 최대 무게 독립집합 문제에 대해 단순화된 준다항식 시간 알고리즘을 제시한다. 연결 부분그래프의 구조적 성질을 활용하여 $P_t$-free 그래프에서는 $n^{O(/\log^2 n)}$의 실행 시간을 달성하고, $C_{>t}$-free 그래프에서는 $n^{O(/\log^4 n)}$의 실행 시간을 달성한다. 핵심 통찰은 $P_t$-free 그래프에서 유도 경로에 대해 높은 연결성을 가지는 정점이 효율적인 분할을 가능하게 하여 탐색 공간을 준다항식적으로 감소시킨다는 것이다.

ABSTRACT

In a recent work, Gartland and Lokshtanov [FOCS 2020] gave a quasi-polynomial-time algorithm for Maximum Weight Independent Set in $P_t$-free graphs, that is, graphs excluding a path on $t$ vertices as an induced subgraph. Their algorithm runs in time $n^{O(\log^3 n)}$, where $t$ is assumed to be a~constant. Inspired by their ideas, we present an arguably simpler algorithm with an improved running time bound of $n^{O(\log^2 n)}$. Our main insight is that a connected $P_t$-free graph always contains a vertex $w$ whose neighborhood intersects, for a constant fraction of pairs $\{u,v\} \in \binom{V(G)}{2}$, a constant fraction of induced $u-v$ paths. Since a $P_t$-free graph contains $O(n^{t-1})$ induced paths in total, branching on such a vertex and recursing independently on the connected components leads to a quasi-polynomial running time bound. In a subsequent and very recent work, Gartland and Lokshtanov [arXiv:2007.11402] extended their ideas to $C_{> t}$-free graphs: graphs that do not contain a cycle on more than $t$ vertices as an induced subgraph. They obtained an algorithm for Maximum Weight Independent Set in this graph class with running time $n^{O(\log^5 n)}$. We show that it is possible to combine their ideas with our new understanding, and thus obtain an algorithm that runs in time $n^{O(\log^4 n)}$. We also show how to use the same approach to obtain quasi-polynomial-time algorithms for related problems, including Maximum Weight Induced Matching and 3-Coloring, in $P_t$-free and $C_{>t}$-free~graphs.

연구 동기 및 목표

• Gartland와 Lokshtanov(2020)의 $n^{O(/\log^3 n)}$ 경계를 초월하여 $P_t$-free 그래프에서 최대 무게 독립집합 문제의 실행 시간을 향상시키는 것.
• 기존에 알려진 준다항식 알고리즘이 없었던 $C_{>t}$-free 그래프로 개선된 접근 방식을 확장하는 것.
• 유도 경로 연결성에 기반한 새로운 정점 기반 분할 전략을 사용하여 이전 연구의 구조적 통찰을 통합하고 단순화하는 것.
• 유사한 구조적 제약 조건을 가진 동일한 그래프 클래스에서 최대 무게 유도 매칭 및 3-색칠 문제와 같은 관련 문제들로 방법을 적응시키는 것.
• 연결 부분그래프의 정밀한 분석을 통해 로그 항수의 지수를 줄여 더 날카운 준다항식 시간 경계를 달성하는 것.

제안 방법

• 다수의 정점 쌍 $\{u,v\}$에 대해, $P_t$-free 그래프에서 정점 $w$의 이웃이 일정 비율의 유도 $u$-$v$ 경로와 교차한다는 구조적 성질을 활용한다.
• 이 정점 $w$를 분할 기준점으로 사용: $w$를 제거한 후 연결 성분에서 문제를 재귀적으로 해결하며, $P_t$-free 그래프가 $O(n^{t-1})$개의 유도 경로를 가진다는 사실을 활용한다.
• 탐색 공간을 각 레벨에서 일정 비율으로 감소시키는 재귀적 분해 전략을 적용하여 준다항식 시간 경계를 도출한다.
• Gartland와 Lokshtanov의 최신 연구에서 제안한 사이클 없는 유도 부분그래프의 구조적 통찰을 결합하여, 이 방법을 $C_{>t}$-free 그래프로 확장한다.
• 비판적 연결 부분그래프의 수를 제한함으로써, $P_t$-free 및 $C_{>t}$-free 환경 모두에서 준다항식 시간 복잡도를 유지하는 데 분할 규칙을 적응시킨다.
• 동일한 그래프 클래스에서 연결 부분그래프의 유사한 구조적 제약 조건을 식별함으로써, 이 접근 방식을 다른 문제로 일반화한다.

실험 결과

연구 질문

• RQ1 Can the running time of the Maximum Weight Independent Set algorithm in $P_t$-free graphs be improved beyond $n^{O(\log^3 n)}$?
• RQ2 Is it possible to extend the improved algorithmic framework to $C_{>t}$-free graphs, which exclude long induced cycles?
• RQ3 Can the structural insight about high-connectivity vertices be formalized and used to reduce the search space in a way that yields a better quasi-polynomial exponent?
• RQ4 To what extent can this method be generalized to other NP-hard problems on $P_t$-free and $C_{>t}$-free graphs?
• RQ5 What is the minimal structural property of connecting subgraphs that enables quasi-polynomial-time algorithms in these graph classes?

주요 결과

• 논문은 $P_t$-free 그래프에서 최대 무게 독립집합 문제에 대해 $n^{O(\log^2 n)}$의 실행 시간을 달성하여 이전의 $n^{O(\log^3 n)}$ 경계를 향상시켰다.
• $C_{>t}$-free 그래프의 경우, 알고리즘은 $n^{O(\log^4 n)}$의 시간 복잡도로 실행되며, Gartland와 Lokshtanov(2020)의 이전 $n^{O(\log^5 n)}$ 경계를 향상시켰다.
• 핵심 혁신은 $P_t$-free 그래프에서 유도 $u$-$v$ 경로의 일정 비율과 교차하는 이웃을 가지는 정점 $w$를 식별하여 효율적인 분할을 가능하게 한다는 점이다.
• 유도 경로에 대한 이웃의 연결성에 초점을 맞춤으로써 기존 접근 방식을 단순화하고 일반화하여 알고리즘 복잡도를 감소시켰다.
• 이 프레임워크는 $P_t$-free 및 $C_{>t}$-free 그래프에서 최대 무게 유도 매칭 및 3-색칠 문제를 준다항식 시간 내에 해결할 수 있도록 확장되었다.
• 이 방법은 희박한 그래프 클래스에서 준다항식 시간 알고리즘을 달성하기 위해 연결 부분그래프의 구조적 제약 조건을 효과적으로 활용할 수 있음을 보여준다.