[논문 리뷰] On the Erdös-Lovász Tihany Conjecture for Claw-Free Graphs

Maria Chudnovsky, Alexandra Fradkin외 1명|arXiv (Cornell University)|2013. 09. 04.

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

한 줄 요약

이 논문은 클로우리스 그래프에 대해 에르되시-로바스 티하니 추측의 약화된 형태를 증명한다: 임의의 클로우리스 그래프 $G$에서 $\chi(G) > \omega(G)$이면, 크기가 최대 5인 클리크 $K$가 존재하여 $\chi(G \setminus K) > \chi(G) - |K|$를 만족한다. 증명은 클로우리스 그래프의 구조적 분해와 기존 그래프 계열에 기반한 케이스 분석을 사용하며, 준선형 그래프 및 선 그래프에 대한 이전 결과를 확장한다.

ABSTRACT

In 1968, Erdös and Lovász conjectured that for every graph $G$ and all integers $s,t\geq 2$ such that $s+t-1=χ(G) > ω(G)$, there exists a partition $(S,T)$ of the vertex set of $G$ such that $χ(G|S)\geq s$ and $χ(G|T)\geq t$. For general graphs, the only settled cases of the conjecture are when $s$ and $t$ are small. Recently, the conjecture was proved for a few special classes of graphs: graphs with stability number 2 \cite{quasi-line}, line graphs \cite{line} and quasi-line graphs \cite{quasi-line}. In this paper, we consider the conjecture for claw-free graphs and present some progress on it.

연구 동기 및 목표

• 클로우리스 그래프로의 에르되시-로바스 티하니 추측 확장을 위해, 준선형 그래프를 진정으로 포함하는 더 넓은 클로우리스 그래프 계열을 다루는 것.
• 클로우리스 그래프에서 $\chi(G) > \omega(G)$를 만족할 경우, 크기가 $|K| \leq 5$인 작은 클리크 $K$가 존재하여, $K$를 제거했을 때 색수의 감소 폭이 $|K|$보다 작게 되는 지 보장하는 것.
• 클로우리스 그래프의 구조 정리에서 유도된 구조적 결과를 분석함으로써 추측을 약화된 형태로 해결하는 것.
• 퍼지 원형 간격 그래프, 두꺼운 그래프, 세 클리크의 합집합 등 그래프 계열에 대한 케이스 분석을 통해 최소 반례를 배제하는 것.

제안 방법

• 클로우리스 그래프의 구조 정리(츄드노브스키 및 세이모어)를 활용하여, 클리크, 공통 이웃, 혼합 정점에 기반한 그래프 성분으로 분해한다.
• 핵심 개념 정의: 티하니 클리크($\chi(G \setminus K) \geq \chi(G) - |K| + 1$), 조밀 클리크($C(K)$가 클리크), 양호 클리크($C(K)$가 반매칭).
• 스트립 분해 및 비자명한 스트립 구조를 적용하여 그래프 성분을 분석하고, 클리크 컷셋 및 선 그래프 스트립에 관한 보조정리를 활용한다.
• 그래프 유형에 대한 케이스 분석: $\mathcal{T}_1$, $\mathcal{T}_2$, $\mathcal{T}_3$(특정 기본 그래프의 두껍혀진 형태), 그리고 세 클리크의 합집합.
• 모순을 이용: 최소 반례가 존재한다고 가정하고, 이들이 모든 구조적 계열에 속할 수 없음을 보이며, 선 그래프 및 준선형 그래프에 관한 기존 결과에 의해 모순을 이끌어낸다.
• 기존 결과 적용: 선 그래프는 추측을 만족한다[1], 준선형 그래프는 [9]에 의해 다루어지며, 이는 특정 케이스를 제거하는 데 사용된다.

실험 결과

연구 질문

• RQ1 에르되시-로바스 티하니 추측은 클로우리스 그래프에 대해 약화된 형태로 성립하는가?
• RQ2 클로우리스 그래프에서 $\chi(G) > \omega(G)$를 만족할 경우, 크기가 최대 5인 클리크 $K$를 찾아서 $K$를 제거했을 때 색수의 감소 폭이 $|K|$보다 작게 되는가?
• RQ3 최소 반례는 기존 그래프 계열로의 구조적 분해에 의해 배제되는가?
• RQ4 클로우리스 그래프의 구조 정리를 활용하여 크기가 유계인 티하니 클리크의 존재를 증명할 수 있는가?
• RQ5 세 클리크의 합집합 또는 퍼지 원형 간격 그래프는 크기가 ≤ 5인 티하니 클리크를 포함하는가?

주요 결과

• 모든 클로우리스 그래프 $G$에서 $\chi(G) > \omega(G)$이면, 크기가 최대 5인 클리크 $K$가 존재하여 $\chi(G \setminus K) > \chi(G) - |K|$를 만족한다.
• 최소 반례가 될 수 있는 모든 가능한 구조적 계열($\mathcal{T}_1$, $\mathcal{T}_2$, $\mathcal{T}_3$, 세 클리크의 합집합)을 제거함으로써 결과를 확립한다.
• $\mathcal{T}_1$에 속하는 그래프(이코사헤드론 또는 그 부분그래프의 두껍혀진 형태)는 구조적 분석과 퍼지 원형 간격 그래프에 관한 기존 결과를 통해 배제된다.
• $\mathcal{T}_2$ 및 $\mathcal{T}_3$에 속하는 그래프는 각각 반피라미드 그래프 및 두껍혀진 구조에 관한 결과를 통해 배제된다.
• 세 클리크의 합집합는 레미마 8.8을 통해 크기가 최대 5인 티하니 클리크를 포함함을 보여주며, 최소 반례의 존재를 모순시킨다.
• 증명은 최소 반례가 존재하지 않음을 확인함으로써, 클로우리스 그래프에 대해 약화된 추측이 참임을 입증한다.