[논문 리뷰] Finding large induced sparse subgraphs in $C_{>t}$-free graphs in quasipolynomial time

Peter Gartland, Daniel Lokshtanov외 3명|arXiv (Cornell University)|2020. 07. 21.

Advanced Graph Theory Research참고 문헌 17인용 수 6

한 줄 요약

이 논문은 C>t-free 그래프—t개 이상의 정점으로 구성된 고립 사이클을 포함하지 않는 그래프—에서 주어진 CMSO2 성질을 만족하고 d-퇴화인 최대 무게 유도 부분그래프를 찾는 쿼드라틱-다항 시간 알고리즘을 제시한다. 이 방법은 구조적 분리자와 크기가 유한한 부분그래프 위에서의 새로운 동적 프로그래밍 프레임워크를 활용하여, C>t-free 그래프에서는 n^O(log³n) 시간, Pt-free 그래프에서는 n^O(log²n) 시간을 달성한다. 이는 이전의 최대 무게 독립 집합 및 유도 산림과 같은 문제들을 크게 일반화한다.

ABSTRACT

For an integer $t$, a graph $G$ is called {\em{$C_{>t}$-free}} if $G$ does not contain any induced cycle on more than~$t$ vertices. We prove the following statement: for every pair of integers $d$ and $t$ and a CMSO$_2$ statement~$\phi$, there exists an algorithm that, given an $n$-vertex $C_{>t}$-free graph $G$ with weights on vertices, finds in time $n^{O(\log^4 n)}$ a maximum-weight vertex subset $S$ such that $G[S]$ has degeneracy at most $d$ and satisfies $\phi$. The running time can be improved to $n^{O(\log^2 n)}$ assuming $G$ is $P_t$-free, that is, $G$ does not contain an induced path on $t$ vertices. This expands the recent results of the authors [to appear at FOCS 2020 and SOSA 2021] on the {\sc{Maximum Weight Independent Set}} problem on $P_t$-free graphs in two directions: by encompassing the more general setting of $C_{>t}$-free graphs, and by being applicable to a much wider variety of problems, such as {\sc{Maximum Weight Induced Forest}} or {\sc{Maximum Weight Induced Planar Graph}}.

연구 동기 및 목표

• 독립 집합을 초월하는 희박한 그래프 계열에서의 유도 부분그래프 문제에 대한 다항 시간 알고리즘의 부족을 메우기.
• Pt-free 그래프에서의 쿼드라틱-다항 시간 알고리즘을 더 넓은 C>t-free 그래프 계열로 확장하기.
• 최대 무게 유도 산림 및 유도 평면 그래프와 같은 다양한 문제들을 단일 알고리즘 프레임워크로 통합하기.
• 희박한 그래프 계열에서 퇴화 및 논리적 제약 조건을 만족하는 최대 무게 유도 부분그래프 문제를 해결하기 위한 일반적인 방법 제공하기.
• 유전적 그래프 계열에서 하위선형 분리자 조건을 만족하는 QPTAS(쿼드라틱-다항 시간 근사 스킴)의 기초를 마련하기.

제안 방법

• C>t-free 그래프에 대한 균형 잡힌 분리자 정리 사용: 최대 t개의 정점을 가지며, 제거 시 원래 그래프의 크기의 절반 이하인 컴포넌트를 만드는 연결된 집합 X를 보장한다.
• C>t-free 그래프가 하위선형 분리자를 갖는다는 사실을 활용해, 분리자를 기반으로 재귀적 분해 전략을 적용하여 문제 크기를 줄인다.
• 최대 유도 패킹 문제 정의 및 해결: 가족 F에서 정점 간섭이 없는 연결 부분그래프를 선택하여 총 무게를 최대화하는 것.
• 퇴화도 d에 대해 크기가 최대 dt인 모든 연결 유도 부분그래프로 구성된 가족 F를 구성하고, 정점 수 또는 총 무게에 따라 가중치를 할당한다.
• F에 속한 부분그래프 위에서 동적 프로그래밍을 수행하며, 이는 희박한 그래프 계열에서 이러한 부분그래프의 수가 n^O(1)로 유계임을 이용한다.
• 분리자의 이웃을 제거한 후 컴포넌트에 대해 알고리즘을 재귀적으로 적용하여, 로그 단계 깊이의 재귀로 쿼드라틱-다항 실행 시간을 확보한다.

실험 결과

연구 질문

• RQ1 Pt-free 그래프에서 최대 무게 독립 집합에 대한 쿼드라틱-다항 시간 알고리즘은 어떻게 C>t-free 그래프로 일반화할 수 있는가?
• RQ2 C>t-free 그래프에서 주어진 논리적 성질 ϕ를 만족하고 d-퇴화인 큰 유도 부분그래프를 찾는 문제의 계산 복잡도는 무엇인가?
• RQ3 MWIS를 해결하는 프레임워크는 최대 무게 유도 산림 또는 유도 평면 그래프와 같은 다른 문제들로 확장될 수 있는가? 특히 희박한 그래프 계열에서.
• RQ4 하위선형 분리자와 약한 초유한성 같은 구조적 성질은 유도 부분그래프 문제에 대한 QPTAS 존재성과 어떻게 관련되는가?
• RQ5 CMSO2 논리의 역할은 희박한 그래프 계열에서 다양한 유도 부분그래프 문제를 표현하고 해결하는 데 어떤가?

주요 결과

• 논문은 C>t-free 그래프에서 CMSO2 문장 ϕ를 만족하고 d-퇴화인 최대 무게 유도 부분그래프 문제를 n^O(log³n) 시간 내에 해결하는 알고리즘을 제시한다.
• Pt-free 그래프에서는 실행 시간이 n^O(log²n)으로 향상되어 최대 무게 독립 집합 문제의 최고 알려진 복잡도와 일치한다.
• 이 프레임워크는 CMSO2 논리로 표현 가능한 최대 무게 유도 산림 및 최대 무게 유도 평면 그래프 문제 등 다양한 문제에 적용 가능하다.
• C가 정점 삭제 및 분리 합집합에 대해 닫혀 있고 약한 초유한성인 경우, C>t-free 그래프에서 Largest Induced C-Graph 문제에 대해 QPTAS를 확립한다.
• P6-free 및 C>4-free 그래프에서는 동일한 문제에 대해 다항 시간 알고리즘을 확보하여, 이 프레임워크가 그래프 계열에 따라 쿼드라틱-다항 시간 또는 다항 시간 해법을 포괄함을 보여준다.