[논문 리뷰] Long cycles through prescribed vertices have the Erd\H{o}s-P\'osa property

Henning Bruhn, Felix Joos외 1명|arXiv (Cornell University)|2014. 12. 09.

Limits and Structures in Graph Theory참고 문헌 10인용 수 9

한 줄 요약

이 논문은 주어진 정점 집합 S를 통과하는 긴 사이클에 대한 Erdös-Pósa 성질을 확립한다: 또는 k개의 정점이 서로 겹치지 않는 S-사이클이 각각 길이 ℓ 이상이 존재하거나, 모든 이러한 사이클과 교차하는 크기 O(ℓ·k log k)의 히팅 세트가 존재한다. 증명은 Simonovits의 사이클 성장 기법과 프레임 기반 분해를 결합하며, ℓ에 대해 FPT 알고리즘을 제공한다. 이 알고리즘은 O(k log k · s² · (2²¹(2ℓ)! · n + m))의 시간 복잡도를 가지며, 여기서 s = |S|이다.

ABSTRACT

We prove that for every graph, any vertex subset $S$, and given integers $k,\ell$: there are $k$ disjoint cycles of length at least $\ell$ that each contain at least one vertex from $S$, or a vertex set of size $O(\ell \cdot k \log k)$ that meets all such cycles. This generalises previous results of Fiorini and Hendrickx and of Pontecorvi and Wollan. In addition, we describe an algorithm for our main result that runs in $O(k \log k \cdot s^2 \cdot (f(\ell) \cdot n+m))$ time, where $s$ denotes the cardinality of $S$.

연구 동기 및 목표

• 긴 사이클에 대한 Erdös-Pósa 정리와 S-사이클(정점 집합 S를 통과하는 사이클)에 대한 결과를 통합하기.
• 길이 ℓ 이상이면서 S의 적어도 한 정점을 포함하는 S-사이클—즉, 긴 S-사이클—이 Erdös-Pósa 성질을 만족함을 증명하기.
• k개의 서로 겹치지 않는 이러한 사이클이 존재하지 않을 경우, 크기 O(ℓ·k log k)의 히팅 세트를 구성적으로 제공하는 알고리즘적 증명을 제시하기.
• 정점 가중치가 ℓ 이하로 제한되는 가중치 버전으로 결과를 확장하여, 히팅 세트 크기 유지를 위한 조건을 유지하기.

제안 방법

• Simonovits의 사이클 성장 전략을 변형하여, 후보 사이클과 잠재적 히팅 세트를 동시에 지원하는 부분그래프 H를 구성한다.
• 기본 정점과 달라붙은 사이클로 구성된 삼중 다중그래프인 프레임 구조를 사용하여 잠재적인 긴 S-사이클을 모델링한다.
• Bodlaender의 알고리즘을 활용해 G − X에서 긴 S-사이클을 탐지하기 위한 깊이 우선 탐색 기반 서브루틴을 적용한다.
• 반복적 개선 과정을 구현: 긴 S-사이클이 발견되면 프레임과 후보 히팅 세트를 갱신하고, 그렇지 않으면 현재 히팅 세트를 반환한다.
• 기본 거리 기반 조건을 대체하기 위해, 기준 기준점에서 총 가중치 ℓ 이내에 있는 정점들을 포함하는 가중치 기반 히팅 세트 구성 방식을 적용한다.
• 반복 횟수(최대 O(k log k))와 각 반복의 비용(O(s² · (2²¹(2ℓ)! · n + m)))를 근거로 실행 시간을 분석한다.

실험 결과

연구 질문

• RQ1 길이 ℓ 이상인 S-사이클의 가족은 ℓ과 k에만 의존하는 히팅 세트 크기를 갖는가?
• RQ2 긴 S-사이클에 대해 히팅 세트 크기가 O(ℓ·k log k)로 유계일 수 있는가? 이는 긴 사이클과 S-사이클에 대해 별개로 확보된 최고의 유계와 일치하는가?
• RQ3 ℓ에 대해 FPT인 알고리즘이 존재하는가? 이 알고리즘은 k개의 서로 겹치지 않는 긴 S-사이클 또는 작은 히팅 세트를 계산할 수 있는가?
• RQ4 정점 가중치가 ℓ 이하로 제한되는 가중치 설정으로 결과를 확장할 수 있는가? 이 경우에도 히팅 세트 크기가 유지되는가?
• RQ5 히팅 세트 크기가 O(ℓ·k log k)로 점근적으로 최적인지, 아니면 O(k(ℓ + log k))로 향상시킬 수 있는가?

주요 결과

• 논문은 임의의 그래프 G, 정점 부분집합 S, 정수 k, ℓ에 대해, k개의 정점이 서로 겹치지 않는 길이 ℓ 이상인 S-사이클이 존재하거나, 모든 이러한 사이클과 교차하는 크기 O(ℓ·k log k)의 히팅 세트 X가 존재함을 증명한다.
• 히팅 세트 크기 유계는 긴 사이클에 대해 Fiorini와 Herinckx가 확보한 최고의 유계와 S-사이클에 대해 Pontecorvi와 Wollan이 확보한 유계를 통합한다.
• O(k log k · s² · (2²¹(2ℓ)! · n + m)) 시간 복잡도를 가지며, s = |S|인 알고리즘이 제시되며, 이는 ℓ에 대해 FPT임을 보여준다.
• 알고리즘은 구성적이고 반복적인 방식으로, 프레임 기반 분해와 Bodlaender의 방법을 통한 사이클 탐지를 활용한다.
• 정점 가중치가 [0, ℓ] 범위에 있는 가중치 버전을 제안하며, 히팅 세트 크기는 여전히 O(ℓ·k log k) 유지되며, 무게 도달 가능성 기반의 수정된 구성 방식을 사용한다.
• 저자들은 히팅 세트 크기를 O(k(ℓ + log k))로 향상시킬 수 있을 것이라 추측하며, 현재 유계가 최적일 수 없음을 시사한다.