[논문 리뷰] Improved bounds on coloring of graphs

Sokol Ndreca, Aldo Procacci외 1명|arXiv (Cornell University)|2010. 05. 11.

Limits and Structures in Graph Theory참고 문헌 15인용 수 4

한 줄 요약

이 논문은 개선된 로바스 국소 렘마를 사용하여 여러 그래프 색칠 매개변수—이차 간선 색칠, 이차 정점 색칠, 스타 색칠, 프루거 색칠—에 대한 상한을 향상시킨다. 최대 차수 $\Delta$와 둘레 $g$에 의존하는 더 날카운 상한을 도출하여, $g \geq 53$ 일 때 $a'(G) \leq \lceil 4.52(\Delta-1)\rceil$ 및 $\chi^\beta(G) \leq \lceil \max\{k_1(\beta)\Delta,\, k_2(\beta)\Delta^{1+1/\beta}/(\beta!)^{1/\beta}\} \rceil$ 를 보여주며, $k_1(\beta) \in [4,6]$는 감소하는 함수이고 $k_2(\beta) \in [2,5]$이다.

ABSTRACT

Given a graph $G$ with maximum degree $Δ\ge 3$, we prove that the acyclic edge chromatic number $a'(G)$ of $G$ is such that $a'(G)\le\lceil 9.62 (Δ-1) ceil$. Moreover we prove that: $a'(G)\le \lceil 6.42(Δ-1) ceil$ if $G$ has girth $g\ge 5\,$; $a'(G)\le \lceil5.77 (Δ-1) c$ if $G$ has girth $g\ge 7$; $a'(G)\le \lc4.52(\D-1) c$ if $g\ge 53$; $a'(G)\le \D+2\,$ if $g\ge \lceil25.84\D\log\D(1+ 4.1/\log\D) ceil$. We further prove that the acyclic (vertex) chromatic number $a(G)$ of $G$ is such that $a(G)\le \lc 6.59 Δ^{4/3}+3.3\D c$. We also prove that the star-chromatic number $χ_s(G)$ of $G$ is such that $χ_s(G)\le \lc4.34Δ^{3/2}+ 1.5\D c$. We finally prove that the $\b$-frugal chromatic number $χ^\b(G)$ of $G$ is such that $χ^\b(G)\le \lc\max\{k_1(\b)\D,\; k_2(\b){\D^{1+1/\b}/ (\b!)^{1/\b}}\} c$, where $k_1(\b)$ and $k_2(\b)$ are decreasing functions of $\b$ such that $k_1(\b)\in[4, 6]$ and $k_2(\b)\in[2,5]$. To obtain these results we use an improved version of the Lovász Local Lemma due to Bissacot, Fernández, Procacci and Scoppola \cite{BFPS}.

연구 동기 및 목표

• 최대 차수 $\Delta$를 갖는 그래프에 대해 이차 간선 색칠 수 $a'(G)$, 이차 정점 색칠 수 $a(G)$, 스타 색칠 수 $\chi_s(G)$, $\beta$-프루거 색칠 수 $\chi^\beta(G)$에 대한 기존 상한을 향상시키는 것.
• 특히 고둘레 그래프에 대해 둘레 $g$를 통합하여 이러한 상한을 보다 정교하게 조정하는 것.
• 클러스터 전개와 고분자 기체 모델을 기반으로 한 개선된 로바스 국소 렘마를 적용하여 더 날카운 집중도 상한을 도출하는 것.
• 둘레와 차수와 같은 구조적 제약 조건을 활용하여, 특히 $a'(G)$에 대해 알려진 색칠 상한의 상수를 최적화하는 것.

제안 방법

• 클러스터 전개와 통계역학을 기반으로 한, 특히 Bissacot-Fernandez-Procacci-Scoppola 변형을 활용한 개선된 로바스 국소 렘마의 응용.
• 색칠 제약 조건에 대한 불리한 사건을 모델링: 인접한 정점이 같은 색을 갖는 것과, 이웃한 $\beta+1$개 정점들이 같은 색을 갖는 것.
• 공유된 정점에 의해 유도되는 클리크를 포함하는 간선 및 이웃 집합 위의 의존성 그래프 $H$ 정의.
• 간선 및 $\beta$-이웃 사건에 대해 가중치 변수 $\mu_1$, $\mu_2$를 할당하고, $\alpha = \Delta\mu_1$에 대해 최적화하여 필요한 색 수를 최소화.
• 함수 $k_1(\beta)$ 및 $k_2(\beta)$의 최적화를 통해 상한을 유도하며, 이는 $\beta$에 대해 감소하는 함수이며 더 날카운 渐近적 스케일링을 보장.
• 셰이어의 정리와 독립집합 다항식의 영이 아닌 조건을 적용하여, 확률적 프레임워크 내에서 로바스 국소 렘마 조건을 검증.

실험 결과

연구 질문

• RQ1 최대 차수 $\Delta$와 둘레 $g$를 갖는 그래프에 대해 이차 간선 색칠 수 $a'(G)$에 대한 가장 날카운 상한은 무엇인가?
• RQ2 개선된 $a'(G)$ 상한은 둘레에 어떻게 의존하며, $a'(G) \leq \Delta + 2$를 확보하기 위한 임계 둘레는 무엇인가?
• RQ3 특히 큰 $\beta$에 대해 $\beta$-프루거 색칠 수 $\chi^\beta(G)$는 이전 결과보다 더 날카운 상한으로 유계화될 수 있는가?
• RQ4 최대 차수 $\Delta$에 대해 이차 정점 색칠 수 $a(G)$와 스타 색칠 수 $\chi_s(G)$에 대해 도달 가능한 최선의 상한은 무엇인가?
• RQ5 고도화된 확률적 방법, 예를 들어 개선된 로바스 국소 렘마를 활용하여 알려진 색칠 상한의 상수를 최적화할 수 있는가?

주요 결과

• 이차 간선 색칠 수는 임의의 $\Delta \geq 3$에 대해 $a'(G) \leq \lceil 9.62(\Delta - 1) \rceil$ 를 만족하며, 이는 이전 상한을 향상시킨다.
• 둘레 $g \geq 5$ 인 그래프에 대해 $a'(G) \leq \lceil 6.42(\Delta - 1) \rceil$; $g \geq 7$ 일 때는 $a'(G) \leq \lceil 5.77(\Delta - 1) \rceil$; $g \geq 53$ 일 때는 $a'(G) \leq \lceil 4.52(\Delta - 1) \rceil$.
• 둘레가 $g \geq \lceil 25.84\Delta\log\Delta(1 + 4.1/\log\Delta) \rceil$ 를 만족할 경우, $a'(G) \leq \Delta + 2$ 가 성립하며, 이는 충분히 큰 둘레에 대해 추측을 확인한다.
• 이차 정점 색칠 수는 $a(G) \leq \lceil 6.59\Delta^{4/3} + 3.3\Delta \rceil$ 로 유계지며, 이는 이전의 $50\Delta^{4/3}$ 상한을 향상시킨다.
• 스타 색칠 수는 $\chi_s(G) \leq \lceil 4.34\Delta^{3/2} + 1.5\Delta \rceil$ 를 만족하며, 이는 이전의 $20\Delta^{3/2}$ 상한을 향상시킨다.
• $\beta$-프루거 색칠 수는 $\chi^\beta(G) \leq \lceil \max\{k_1(\beta)\Delta,\, k_2(\beta)\Delta^{1+1/\beta}/(\beta!)^{1/\beta}\} \rceil$ 로 유계지며, $k_1(\beta) \in [4,6]$ 및 $k_2(\beta) \in [2,5]$는 $\beta$에 대해 감소하는 함수로, 더 날카운 渐近적 스케일링을 제공한다.