[논문 리뷰] Parity linkage and the Erd\H{o}s-P\'osa property of odd cycles through prescribed vertices in highly connected graphs

Felix Joos|arXiv (Cornell University)|2014. 11. 24.

Advanced Graph Theory Research참고 문헌 9인용 수 4

한 줄 요약

이 논문은 높은 연결성 있는 그래프에서 주어진 정점 집합 S를 통과하는 홀수 사이클에 대해, 짝성 연결성(parity-linked) Erdős-Pósa 성질을 확립한다. 강화된 짝성-k-연결성 정리(parity-k-linked theorem)를 활용하여, 임의의 50k-연결 그래프 G와 정점 부분집합 S에 대해, G가 k개의 분리된 홀수 S-사이클을 포함하거나, 모든 홀수 S-사이클을 제거하는 크기가 최대 2k−2인 정점 커버 X가 존재함을 증명한다—이 값은 최적이다. 본 결과는 이전의 연결성 기반 홀수 사이클에 대한 Erdős-Pósa 정리들을 일반화하고 강화한다.

ABSTRACT

We show the following for every sufficiently connected graph $G$, any vertex subset $S$ of $G$, and given integer $k$: there are $k$ disjoint odd cycles in $G$ each containing a vertex of $S$ or there is set $X$ of at most $2k-2$ vertices such that $G-X$ does not contain any odd cycle that contains a vertex of $S$. We prove this via an extension of Kawarabayashi and Reed's result about parity-$k$-linked graphs (Combinatorica 29, 215-225). From this result it is easy to deduce several other well known results about the Erd\H{o}s-P\'osa property of odd cycles in highly connected graphs. This strengthens results due to Thomassen (Combinatorica 21, 321-333), and Rautenbach and Reed (Combinatorica 21, 267-278), respectively.

연구 동기 및 목표

• 높은 연결성 있는 그래프에서 주어진 정점 집합 S를 통과하는 홀수 사이클에 대해 Erdős-Pósa 성질을 확장하는 것.
• 홀수 S-사이클의 패킹과 커버링 사이의 이중성(duality)을 해결하기 위해, 홀수 S-사이클 커버의 크기에 대해 최적의 bound를 확립하는 것.
• Thomassen, Rautenbach와 Reed, Kawarabayashi와 Reed의 이전 결과들을 일반화하고 강화하여, 홀수 사이클의 Erdős-Pósa 성질에 대한 연결성 임계값(threshold)을 개선하는 것.
• 50k-연결성이 홀수 S-사이클에 대해 짝성-k-연결성 구조를 보장함을 증명하여, k개의 분리된 홀수 S-사이클 또는 작은 홀수 S-사이클 커버를 구성할 수 있음을 보장하는 것.

제안 방법

• 작은 홀수 사이클 커버가 없는 50k-연결 그래프에 대해 Kawarabayashi와 Reed의 짝성-k-연결성 정리의 강화된 버전을 활용한다.
• 최소 홀수 사이클 커버 X에 의해 유도되는 그래프의 좋은 분할 (A,B) 를 사용하며, 여기서 X는 보조 그래프 GA,B에서 최소 정점 커버이다.
• GA,B에서 매칭을 적용하여, S′⊆S 이며 |S′|=k인 k개의 정점을 커버하는 k개의 분리된 간선을 찾는다. 이때 어떤 간선도 S′의 두 정점을 동시에 커버하지 않도록 보장한다.
• 레미마 10(Lemma 10)을 활용하여 GA,B의 매칭으로부터 k개의 분리된 홀수 S′-사이클을 구성하며, 이는 G에서 k개의 분리된 홀수 S-사이클을 암시한다.
• 정점 커버 크기의 개선을 위해 τk(G[S]) = min_{S′⊆S, |S′|=k} τ(G[S′]) 를 도입하여, |S|≥k일 경우 2k−2 + τk(G[S]) ≤ 3k−3 이라는 bound를 얻는다.
• 극한적이고 구조적 그래프 이론적 접근을 통해, 2k−2 및 3k−3 bound의 최적성(tightness)을 명시적인 구성으로 보여준다.

실험 결과

연구 질문

• RQ1 홀수 사이클에 대한 Erdős-Pósa 성질을 높은 연결성 있는 그래프에서 주어진 정점 집합 S를 통과하는 홀수 사이클로 확장할 수 있는가?
• RQ2 k개의 분리된 홀수 S-사이클 또는 크기가 최대 2k−2인 작은 홀수 S-사이클 커버를 보장하는 데 필요한 최소 연결성 임계값은 무엇인가?
• RQ3 모든 연결성 수준에서 홀수 S-사이클 커버 크기의 bound 2k−2는 최적인가?
• RQ4 홀수 S-사이클 커버의 크기는 S의 구조, 특히 S에 큰 클리크나 독립집합이 포함되어 있을 경우 어떻게 관련되는가?
• RQ5 짝성-k-연결성 정리를 활용하여 홀수 S-사이클에 대해 최적의 Erdős-Pósa 유사 결과를 도출할 수 있는가?

주요 결과

• 임의의 50k-연결 그래프 G와 정점 집합 S에 대해, G가 k개의 분리된 홀수 S-사이클을 포함하거나, 모든 홀수 S-사이클을 제거하는 크기가 최대 2k−2인 정점 커버 X가 존재한다.
• 만약 |S| ≥ k 이면, 커버 경우에 대해 G−X가 이분 그래프가 되는 크기가 최대 3k−3인 정점 커버 Y도 존재하며, 이 bound 역시 최적이다.
• 완전이분그래프에 한쪽 쪽에 클리크를 추가한 구성들을 통해, 홀수 S-사이클 커버 크기의 bound 2k−2가 최적임을 입증하였다.
• S에 τ-클리크가 포함되어 있을 경우, 3k−3의 bound는 최적이며, 커버 크기는 2k−3 + τ(G[S]) (τ ≤ k) 로 표현된다.
• 이 논문은 50k-연결성이 작은 홀수 사이클 커버가 없는 그래프에서 짝성-k-연결성을 보장함을 증명하여, 주요 결과를 도출할 수 있음을 보였다.
• 이전의 Thomassen(이중지수적), Rautenbach와 Reed(선형), Kawarabayashi와 Reed(24k)의 결과들을 일반화하고 강화하여, 이제 연결성 임계값으로 50k를 도출하였다.