[논문 리뷰] Max Weight Independent Set in Graphs with No Long Claws: An Analog of the Gyárfás' Path Argument

Konrad Majewski, Tomáš Masařík외 5명|arXiv (Cornell University)|2022. 01. 01.

Complexity and Algorithms in Graphs인용 수 1

한 줄 요약

이 논문은 분할된 클로버 $S_{t,t,t}$를 포함하지 않는 그래프에서 최대 무게 독립집합 문제에 대해 실행 시간 $2^{O(\sqrt{n} \log n)}$인 부분지수시간 알고리즘과 실행 시간 $2^{O(\varepsilon^{-1} \log^5 n)}$인 준다항시간 근사체계(QPTAS)를 제시한다. 주요 기여는 $S_{t,t,t}$-free 그래프에 대해 Gyárfás 경로 논증의 유사판을 제공하는 것이다: 다항시간 내에 $O(t \log n)$개의 정점으로 구성된 집합 $P$를 찾을 수 있으며, 이에 따라 남은 그래프는 각 입자(particel)의 정점 수가 원래의 절반 이내인 확장된 스트립 분해를 갖게 된다. 이는 효율적인 분할정복 재귀를 가능하게 한다.

ABSTRACT

We revisit recent developments for the Maximum Weight Independent Set problem in graphs excluding a subdivided claw $S_{t,t,t}$ as an induced subgraph [Chudnovsky, Pilipczuk, Pilipczuk, Thomassé, SODA 2020] and provide a subexponential-time algorithm with improved running time $2^{\mathcal{O}(\sqrt{n}\log n)}$ and a quasipolynomial-time approximation scheme with improved running time $2^{\mathcal{O}(\varepsilon^{-1} \log^{5} n)}$. The Gyárfás' path argument, a powerful tool that is the main building block for many algorithms in $P_t$-free graphs, ensures that given an $n$-vertex $P_t$-free graph, in polynomial time we can find a set $P$ of at most $t-1$ vertices, such that every connected component of $G-N[P]$ has at most $n/2$ vertices. Our main technical contribution is an analog of this result for $S_{t,t,t}$-free graphs: given an $n$-vertex $S_{t,t,t}$-free graph, in polynomial time we can find a set $P$ of $\mathcal{O}(t \log n)$ vertices and an extended strip decomposition (an appropriate analog of the decomposition into connected components) of $G-N[P]$ such that every particle (an appropriate analog of a connected component to recurse on) of the said extended strip decomposition has at most $n/2$ vertices.

연구 동기 및 목표

• 분할된 클로버 $S_{t,t,t}$를 포함하지 않는 그래프에서 최대 무게 독립집합(MWIS) 문제에 대해 더 빠른 알고리즘을 개발하기 위해.
• P_t-free 그래프 알고리즘의 핵심 요소인 Gyárfás 경로 논증을 $S_{t,t,t}$-free 그래프 클래스로 확장하기 위해.
• 작은 이웃을 제거한 후 그래프의 구조적 분해인 확장된 스트립 분해를 제공하여, 각 구성요소(입자)가 원래 그래프 크기의 최대 절반 이내가 되도록 보장하기 위해.
• 이전의 $S_{t,t,t}$-free 그래프에서의 QPTAS 및 부분지수시간 알고리즘의 실행 시간 상한을 향상시키기 위해.

제안 방법

• S_{t,t,t}-free 그래프에 대해 Gyárfas 경로 논증의 유사판을 도입: 다항시간 내에 $O(t \log n)$개의 정점으로 구성된 집합 $P$를 계산하여 $G - N[P]$가 확장된 스트립 분해를 갖도록 한다.
• 확장된 스트립 분해를 연결된 성분의 일반화로 정의하며, 각 '입자'는 재귀적으로 처리할 수 있는 부분그래프이다.
• 이 분해를 바탕으로 재귀적 분기 알고리즘을 설계: 각 단계에서 $N[P]$를 분기하거나 크기가 최대 $n/2$인 입자에서 재귀적으로 진행한다.
• 근사 매개변수 $\varepsilon$와 깊이를 고려한 함수 $\beta(h, \varepsilon)$를 활용하여 QPTAS 프레임워크를 적용하며, 무거운 입자 또는 무게 분포를 균일하게 나누는 경로를 추측함으로써 재귀 깊이를 로그 수준으로 제한한다.
• 모든 확장된 스트립 분해에서 입자의 수가 $n$ 이하로 제한됨을 이용하여 후보 분해의 $n^{O(\log n)}$ 개수의 열거를 가능하게 한다.
• 재귀 트리의 재귀 분석을 통해 총 실행 시간을 $\beta(h, \varepsilon)$를 포함하는 재귀식으로 유계화한다.

실험 결과

연구 질문

• RQ1 Gyárfas 경로 논증은 $P_t$-free에서 $S_{t,t,t}$-free 그래프로 일반화될 수 있는가?
• RQ2 $S_{t,t,t}$-free 그래프에서 효율적인 분할정복을 가능하게 하는 구조적 분해는 무엇인가?
• RQ3 $S_{t,t,t}$-free 그래프에서 MWIS에 대한 QPTAS 및 부분지수시간 알고리즘의 실행 시간을 향상시킬 수 있는가?
• RQ4 크기가 상수인 집합 $P$가 존재하여 $G - N[P]$가 크기가 최대 $\varepsilon |V(G)|$인 입자들로 분해될 수 있는가?

주요 결과

• 이 논문은 $S_{t,t,t}$-free 그래프에서 MWIS에 대해 실행 시간 $2^{O(\sqrt{n} \log n)}$인 부분지수시간 알고리즘을 제시한다.
• 임의의 $\varepsilon > 0$에 대해 실행 시간 $2^{O(\varepsilon^{-1} \log^5 n)}$인 준다항시간 근사체계(QPTAS)를 달성한다.
• 주요 기술적 결과는 다항시간 내에 크기가 $O(t \log n)$인 집합 $P$를 계산하여 $G - N[P]$가 모든 입자가 크기가 $n/2$ 이내인 확장된 스트립 분해를 갖도록 하는 알고리즘을 제공한다.
• QPTAS에서 후보 해의 수는 $n^{O(\log n)}$ 이하로 유계화되어 있어 효율적인 열거가 가능하다.
• 이 방법은 Gyárfas 경로 논증을 $S_{t,t,t}$-free 그래프로 일반화하여, 로그 수준의 깊이를 갖는 재귀 알고리즘을 가능하게 한다.
• 저자들은 크기가 상수인 집합 $P$가 존재하여 $G - N[P]$가 크기가 최대 $\varepsilon |V(G)|$인 입자들로 분해될 수 있다고 추측하며, 이 경우 다항시간 알고리즘이 도출될 것으로 기대한다.