[논문 리뷰] Induced subgraphs of graphs with large chromatic number. II. Three steps towards Gyarfas' conjectures

Maria Chudnovsky, Paul Seymour외 1명|arXiv (Cornell University)|2014. 11. 24.

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

한 줄 요약

이 논문은 크로마틱 수가 크지만 큰 클리크나 긴 홀이 없는 그래프에 대한 Gyárfás의 추측에 진전을 이룬다. 삼각형이 없는 그래프에서 길이가 ℓ를 초과하지 않는 홀이 없는 경우, 크로마틱 수가 ℓ의 함수로 유계임을 증명하고, 오직 5-사이클만을 홀홀로 가지는 5각형 그래프(펜타곤 그래프)가 58,000-색으로 칠할 수 있음을 보였다. 이 결과들은 중심 정점에서의 거리 분할에서의 수준 집합을 통한 구조적 분해와 라이코폴 학습법을 활용하여, 유도된 부분그래프에서 크로마틱 수를 유계로 제한하는 데 기반한다.

ABSTRACT

Gyarfas conjectured in 1985 that for all $k$, $l$, every graph with no clique of size more than $k$ and no odd hole of length more than $l$ has chromatic number bounded by a function of $k$ and $l$. We prove three weaker statements: (1) Every triangle-free graph with sufficiently large chromatic number has an odd hole of length different from five; (2) For all $l$, every triangle-free graph with sufficiently large chromatic number contains either a 5-hole or an odd hole of length more than $l$; (3) For all $k$, $l$, every graph with no clique of size more than $k$ and sufficiently large chromatic number contains either a 5-hole or a hole of length more than $l$.

연구 동기 및 목표

• 제한된 클리크 및 홀 크기를 가진 그래프에서 크로마틱 수의 유계성에 대한 Gyárfás의 추측의 약한 형태를 증명하는 것.
• 길이가 ℓ를 초과하지 않는 홀이 없는 삼각형이 없는 그래프에서 크로마틱 수가 ℓ의 함수로 유계임을 증명하는 것.
• 오직 5-사이클만을 유도된 홀로 가지는 5각형 그래프—즉, 유일한 홀홀이 5-사이클인 그래프—가 58,000-색으로 칠할 수 있음을 증명하는 것.
• 크로마틱 수 문제를 유계 부분구조로 줄이기 위해 라이코폴 학습법과 수준 집합 분석과 같은 구조적 도구를 개발하는 것.
• 추가 제약 조건(예: 5-홀이 없음)이 적용된 경우 추측의 특수 케이스를 증명하는 것.

제안 방법

• 이전 연구에서 유도된 정리의 변종을 사용하여, 삼각형이 없고 긴 홀이 없는 그래프가 크로마틱 수가 크다면, 중심 정점이 있고, 그 거리 수준이 대부분 안정적이지만 하나의 수준만 크로마틱 수가 높은 유도된 부분그래프를 포함함을 보여준다.
• 라이코폴 학습법을 적용하여 중심 요소와 경로 유사 꼬리가 있는 유도된 부분그래프를 분석하고, 청결성 조건을 통해 이웃의 구조를 제어한다.
• 중심 정점에서의 거리 분할을 활용하여 그래프를 수준 집합으로 분해하고, 각 수준의 크로마틱 수를 분석하여 전체 크로마틱 수를 유계로 제한한다.
• 클리크 수 ω(G)에 대한 귀납법을 적용하여, 클리크 수가 더 작은 모든 부분그래프가 칠 수 있다면, 주어진 조건 하에서 전체 그래프도 칠 수 있음을 증명한다.
• 핵심 보조정리를 적용하여, 모든 정점의 이웃 및 제2 이웃의 크로마틱 수가 유계이면, 전체 그래프의 크로마틱 수가 ℓ와 이웃 유계값의 함수로 유계임을 보인다.
• 5-홀과 긴 홀(≤ℓ)이 없는 경우, 크로마틱 수가 (2ℓ−2)^{2^{ω(G)−1}−1} 이하임을 귀납적 색칠과 이웃 구조 분석을 통해 증명한다.

실험 결과

연구 질문

• RQ1 모든 삼각형이 없고 길이가 ℓ를 초과하는 홀이 없는 그래프는 크로마틱 수가 ℓ의 함수로 유계가 되는가?
• RQ2 5각형 그래프(오직 5-사이클만을 홀홀로 가지는 그래프)의 크로마틱 수는 유계가 되는가? 만약 그렇다면 그 유계는 무엇인가?
• RQ3 5-홀과 긴 홀(≤ℓ)이 없는 경우, 크로마틱 수가 ℓ와 클리크 수에 따라 유계가 되는가?
• RQ4 중심 정점에서의 거리 수준을 기반으로 한 구조적 분해가 크로마틱 수 문제를 유계 하위문제로 줄일 수 있는가?
• RQ5 5-홀이 없고 길이가 ℓ를 초과하지 않는 홀이 없는 그래프의 크로마틱 수에 대한 정량적 유계는 무엇인가?

주요 결과

• 모든 5각형 그래프는 58,000-색으로 칠할 수 있으며, 이는 k=2이고 ℓ=5일 때 Gyárfás의 추측의 첫 번째 개방 케이스에 대한 정량적 유계를 제공한다.
• 모든 ℓ에 대해, 크로마틱 수가 충분히 큰 삼각형이 없는 그래프는 5-홀 또는 길이가 ℓ를 초과하는 홀을 포함한다.
• 모든 삼각형이 없고 길이가 ℓ를 초과하지 않는 홀이 없는 그래프는, 각 정점의 2-이웃의 크로마틱 수가 유계이면 크로마틱 수가 ℓ의 함수로 유계임을 보였다.
• 만약 그래프가 5-홀과 길이가 ℓ를 초과하지 않는 홀이 없다면, 그 크로마틱 수는 최대 (2ℓ−2)^{2^{ω(G)−1}−1} 이며, 이는 ℓ와 클리크 수에 따라 결정되는 날카로운 유계이다.
• 5각형 그래프의 유계 증명은, 크로마틱 수가 큰 임의의 그래프가 각 정점의 2-이웃의 크로마틱 수가 최대 5 이하인 유도된 부분그래프를 포함함을 보여서 기반한다.
• 논문은 조건이 충족될 경우, 추측 1.2(긴 홀이 없음)가 5-홀이 없는 삼각형이 없는 그래프에 대해, 그리고 추측 1.3(긴 홀이 없는 홀)이 5-홀이 없는 삼각형이 없는 그래프에 대해 성립함을 증명하였다.