[논문 리뷰] A tight Erd\H{o}s-P\'osa function for long cycles

Frank Mousset, Andreas Noever외 2명|arXiv (Cornell University)|2016. 03. 24.

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

한 줄 요약

이 논문은 그래프에서 긴 사이클에 대해 渐近적으로 최적인 에르되시-포샤 함수를 확립한다. 즉, 어떤 그래프는 항상 길이가 $l$ 이상인 $k$개의 정점-불공통 사이클을 포함하거나, 이러한 모든 사이클과 만날 hitting set를 크기 $\mathcal{O}(kl + k\log k)$로 가질 수 있음을 증명한다. 이 결과는 이전의 상한을 강화하며, 이러한 사이클을 포함하지 않는 그래프의 트리-너비에 대해도 상응하는 상한을 제공한다.

ABSTRACT

A classic result of Erd\\H{o}s and P\\'osa says that any graph contains either $k$ vertex-disjoint cycles or can be made acyclic by deleting at most $O(k \\log k)$ vertices. Here we generalize this result by showing that for all numbers $k$ and $l$ and for every graph $G$, either $G$ contains $k$ vertex-disjoint cycles of length at least $l$, or there exists a set $X$ of $\\mathcal O(kl+k\\log k)$ vertices that meets all cycles of length at least $l$ in $G$. As a corollary, the tree-width of any graph $G$ that does not contain $k$ vertex-disjoint cycles of length at least $l$ is of order $\\mathcal O(kl+k\\log k)$. These results improve on the work of Birmel\\'e, Bondy and Reed '07 and Fiorini and Herinckx '14 and are optimal up to constant factors.

연구 동기 및 목표

• 길이가 $l$ 이상인 사이클에 대한 에르되시-포샤 함수의 渐近적 최적성 문제를 해결하여, Birmelé, Bondy, 그리고 Reed (2007) 및 Fiorini와 Herinckx (2014)가 열어둔 갭을 메운다.
• 모든 길이 $\geq l$인 사이클에 대해 정점 히팅 세트 크기를 상한으로 제한하는 함수 $f(l,k) = \mathcal{O}(kl + k\log k)$를 확립하며, 이는 알려진 하한과 상수 인자까지 일치한다.
• 새로운 히팅 세트 함수를 활용하여, 길이가 $l$ 이상인 $k$개의 정점-불공통 사이클을 포함하지 않는 그래프의 트리-너비에 대해 날카로운 상한을 유도한다.
• $S$-사이클(특정 정점 집합 $S$와 교차하는 사이클)이나 간선-에르되시-포샤 판정에 대해 결과가 확장되는지 조사하며, 이 분야의 열린 문제를 제안한다.

제안 방법

• 구조적 그래프 분해와 투영 기법의 조합을 통해 길이가 $l$ 이상인 모든 사이클에 대해 크기 $\mathcal{O}(kl + k\log k)$의 히팅 세트를 구성한다.
• $\pi$-유지 집합 $X$를 활용하여 $G-X$ 내의 경로들이 코어 사이클 $C$에 일관되게 투영되도록 하며, 투영 과정에서 사이클의 구조를 유지한다.
• 최소 반례 추론과 사이클 길이 최소성에 기반한 모순을 통해, $H$-경로의 투영이 반드시 부분그래프 $H_C$ 또는 $H_C - e^*$ 내에 존재함을 보여 구조적 통제를 확보한다.
• 완전 그래프와 고지름 3-정규 그래프 등의 극단적 그래프 구성법을 활용해 히팅 세트 크기의 하한을 확립하며, 渐近적 최적성을 증명한다.
• Birmelé의 정리와 같은 기존 트리-너비 결과를 활용하여, $k$개의 정점-불공통 긴 사이클을 포함하지 않는 그래프의 트리-너비가 $\mathcal{O}(kl + k\log k)$임을 도출한다.
• 경로 길이와 사이클 최소성에 대한 경계를 활용하여, $G-X$ 내의 사이클 투영과 경로 행동을 분석함으로써 문제를 제약 조건이 있는 구성으로 축소한다.

실험 결과

연구 질문

• RQ1 길이가 $l$ 이상인 사이클에 대한 에르되시-포샤 함수는 渐近적으로 최적이며, $\mathcal{O}(kl + k\log k)$로 향상시킬 수 있는가?
• RQ2 긴 사이클에 대한 히팅 세트 크기는 $\mathcal{O}(kl + k\log k)$로 제한될 수 있으며, 극단적 그래프 구성에서 유도된 알려진 하한과 일치하는가?
• RQ3 길이가 $l$ 이상인 $k$개의 정점-불공통 사이클을 포함하지 않는 그래프의 트리-너비도 $\mathcal{O}(kl + k\log k)$ 상한을 만족하는가?
• RQ4 결과는 특정 정점 집합 $S$와 교차하는 $S$-사이클 또는 긴 사이클에 대한 간선-에르되시-포샤 판정으로 확장될 수 있는가?

주요 결과

• 논문은 길이가 $l$ 이상인 모든 사이클에 대해 크기 $6kl + 10k\log_2 k + 40k + 10k\log_2\log_2 k$의 히팅 세트를 확립하였으며, 이는 $\mathcal{O}(kl + k\log k)$이며, 알려진 하한과 상수 인자까지 일치한다.
• 이 상한은 渐近적으로 최적이다: $k \geq 2$일 때, 완전 그래프 $K_{kl-1}$로부터 $f(l,k) \geq (k-1)l$이며, 고지름 3-정규 그래프로부터 $l < \frac{1}{2}\log_2 k$이면 $f(l,k) \geq \frac{1}{8}k\log_2 k$임을 도출한다.
• 길이가 $l$ 이상인 $k$개의 정점-불공통 사이클을 포함하지 않는 임의의 그래프의 트리-너비는 $\mathcal{O}(kl + k\log k)$ 이하이며, 이는 히팅 세트 크기와 정확히 일치한다.
• 이전의 상한보다 개선된 결과이다: Birmelé, Bondy, 그리고 Reed (2007)는 $\mathcal{O}(lk^2)$를, Fiorini와 Herinckx (2014)는 $\mathcal{O}(lk\log k)$를 제시하였고, 본 논문은 渐近적으로 최적인 $\mathcal{O}(kl + k\log k)$를 달성한다.
• $\pi$-유지 집합 $X$의 구성과 코어 사이클 $C$에 대한 경로 투영의 사용은 새로운 짧은 사이클이 생성되지 않도록 하며, 최소성과 모순 증명을 보장한다.
• 논문은 함수 $f(l,k) = \mathcal{O}(kl + k\log k)$가 상수 인자까지 날카로운 상한임을 확인하며, Birmelé 등 (2007)과 Fiorini 및 Herinckx (2014)가 제기한 열린 문제를 해결한다.