[논문 리뷰] Strengthened Brooks Theorem for digraphs of girth three

Ararat Harutyunyan, Bojan Mohar|arXiv (Cornell University)|2011. 10. 21.

Advanced Graph Theory Research참고 문헌 7인용 수 12

한 줄 요약

이 논문은 방향성 그래프에서 2-순환(디고네)이 없는 경우, 둘레가 3인 방향성 그래프에 대해 브룩스의 정리를 강화한다. 이 경우 색수는 $\chi(D) \leq (1 - e^{-13})\tilde{\Delta}$로 유계이며, 여기서 $\tilde{\Delta}$는 출도와 입도의 기하평균의 최댓값이다. 이 결과는 모든 $\tilde{\Delta} > 2$에 대해 절대적 상수 $\alpha < 1$이 존재하여 $\chi(D) \leq \alpha(\tilde{\Delta} + 1)$임을 시사하며, 디고네가 없는 경우 고전적 유계를 개선한다.

ABSTRACT

Brooks' Theorem states that a connected graph $G$ of maximum degree $Δ$ has chromatic number at most $Δ$, unless $G$ is an odd cycle or a complete graph. A result of Johansson (1996) shows that if $G$ is triangle-free, then the chromatic number drops to $O(Δ/ \log Δ)$. In this paper, we derive a weak analog for the chromatic number of digraphs. We show that every (loopless) digraph $D$ without directed cycles of length two has chromatic number $χ(D) \leq (1-e^{-13}) ildeΔ$, where $ ildeΔ$ is the maximum geometric mean of the out-degree and in-degree of a vertex in $D$, when $ ildeΔ$ is sufficiently large. As a corollary it is proved that there exists an absolute constant $α&lt; 1$ such that $χ(D) \leq α( ildeΔ + 1)$ for every $ ildeΔ &gt; 2$.

연구 동기 및 목표

• 디고네(방향 2순환)가 제거된 경우 브룩스 정리를 방향성 그래프로 확장하여 색수 유계를 개선한다.
• 들어오는 차수와 나가는 차수의 최대 기하평균이 큰 방향성 그래프의 이색수에 대한 비자명한 상한을 확립한다.
• 디고네가 없는 그래프의 색수는 최대 기하평균 $\tilde{\Delta}$보다 엄격히 느리게 증가함을 보이며, 삼각형이 없는 무방향 그래프에 대한 조한슨의 결과와 유사함을 보인다.
• 디고네가 없는 방향성 그래프의 색수에 대한 점점 더 향상된 渐近 유계에 대한 추측에 대한 증거를 제공한다.

제안 방법

• $\tilde{\Delta}(D) = \max\{ \sqrt{d^+(v)d^-(v)} \mid v \in V(D) \}$를 정의하여, 들어오는 차수와 나가는 차수의 기하평균의 최댓값을 구한다.
• 확률적 기법과 극값 기법을 사용하여, 모든 디고네가 없는 그래프가 충분히 큰 $\tilde{\Delta}$일 때 $\chi(D) \leq (1 - e^{-13})\tilde{\Delta}$를 만족함을 보인다.
• 최대 비순환 집합 기반의 색칠 알고리즘과 수학적 귀납법을 적용하여, 기하평균 $\tilde{\Delta} + 1$의 자명한 유계 이하로 색수를 유계화한다.
• 기존의 $k$-비가역 방향성 그래프 및 오일러 방향성 그래프의 구조적 성질을 활용하여, 높은 색수를 유도할 수 있는 극한 구조를 배제한다.
• 만약 어떤 방향성 그래프가 리스트 크기 $\lceil\tilde{\Delta}\rceil$에 대해 $L$-색칠이 불가능하면, 그 그래프는 오일러이자 정규이어야 하며, 이는 디고네를 포함하지 않는 한 모순이 된다는 것을 증명한다.
• 작은 및 큰 $\tilde{\Delta}$에 대한 유계를 조합하여, 모든 $\tilde{\Delta} > 2$에 대해 $\chi(D) \leq \alpha(\tilde{\Delta} + 1)$를 만족하는 절대적 상수 $\alpha < 1$의 존재를 도출한다.

실험 결과

연구 질문

• RQ1 디고네가 제거된 경우 브룩스 정리의 방향성 그래프 버전을 개선할 수 있는가?
• RQ2 모든 디고네가 없는 그래프에서 $\tilde{\Delta} > 2$일 때, $\chi(D) \leq \alpha(\tilde{\Delta} + 1)$를 만족하는 상수 $\alpha < 1$이 존재하는가?
• RQ3 디고네가 없는 그래프의 색수는 $\tilde{\Delta}$보다 渐近적으로 더 느리게 증가하는가? 삼각형이 없는 그래프에 대한 조한슨의 결과와 유사한가?
• RQ4 모든 디고네가 없는 그래프에서 $\lceil\tilde{\Delta}\rceil \geq \Delta_0$일 때 $\chi(D) \leq \lceil\tilde{\Delta}\rceil - 1$이 성립하는 최소의 $\Delta_0$는 얼마인가?

주요 결과

• 모든 디고네가 없는 그래프 $D$에 대해, 충분히 큰 $\tilde{\Delta}$, 특히 $\tilde{\Delta} \geq 10^{10}$일 때 색수는 $\chi(D) \leq (1 - e^{-13})\tilde{\Delta}$를 만족한다.
• 모든 디고네가 없는 그래프에서 $\tilde{\Delta} > 2$일 때, $\chi(D) \leq \alpha(\tilde{\Delta} + 1)$를 만족하는 절대적 상수 $\alpha < 1$이 존재한다.
• 작은 $\tilde{\Delta}$에 대해서는 모든 디고네가 없는 그래프에서 $\chi(D) \leq \lceil\tilde{\Delta}\rceil$이 성립하며, 이는 $\lceil\tilde{\Delta}\rceil = 2$ 및 $3$일 때 최적임을 보여준다.
• 판도 평면 구조는 7개 정점에서 3-정규 디고네가 없는 방향성 그래프를 생성하며, 정확히 3개의 색이 필요함을 보여, $\tilde{\Delta} = 3$일 때 유계의 최적성(타이트함)을 입증한다.
• $\lceil\tilde{\Delta}\rceil \geq \Delta_0$인 모든 디고네가 없는 그래프에서 $\chi(D) \leq \lceil\tilde{\Delta}\rceil - 1$이 성립하는 $\Delta_0$의 존재가 입증되었으며, $\Delta_0$는 4일 수 있다.
• 결론 3.6는 $\lceil\tilde{\Delta}\rceil \geq \Delta_0$일 때 어떤 $\alpha < 1$에 대해 $\chi(D) \leq \alpha\lceil\tilde{\Delta}\rceil$임을 확인하여, 추측 1.5의 약한 형태를 지지한다.