[논문 리뷰] Cycles with two blocks in $k$-chromatic digraphs

Ringi Kim, Seog‐Jin Kim외 2명|arXiv (Cornell University)|2016. 10. 19.

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

한 줄 요약

이 논문은 강한 연결된 방향그래프에서 색칠 수의 경계에 대한 추측을 해결하며, $k$-색칠 가능한 방향그래프가 2-블록 사이클 $c(k,\ell)$를 가지지 않으면 색칠 수가 $O((k+\ell)^2)$ 이하임을 증명한다. 이는 이전의 $O((k+\ell)^4)$ bound를 향상시킨다. 또한 원래의 추측이 잘못되었음을 보여주는 반례를 구성하고, 이러한 사이클을 피하는 해밀턴 방향그래프에 대해 엄밀한 비어림과 색칠 수 경계를 확립한다.

ABSTRACT

Let $k$ and $\ell$ be positive integers. A cycle with two blocks $c(k,\ell)$ is an oriented cycle which consists of two internally (vertex) disjoint directed paths of lengths at least $k$ and $\ell$, respectively, from a vertex to another one. A problem of Addario-Berry, Havet and Thomassé (2007) asked if, given positive integers $k$ and $\ell$ such that $k+\ell\ge 4$, any strongly connected digraph $D$ containing no $c(k,\ell)$ has chromatic number at most $k+\ell-1$. In this paper, we show that such digraph $D$ has chromatic number at most $O((k+\ell)^2)$, improving the previous upper bound $O((k+\ell)^4)$ obtained by Cohen, Havet, Lochet and Nisse (2016). In fact, we are able to find a digraph which shows that the answer to the above problem is no. We also show that if in addition $D$ is Hamiltonian, then its underlying simple graph is $(k+\ell-1)$-degenerate and thus the chromatic number of $D$ is at most $k+\ell$, which is tight.

연구 동기 및 목표

• 강한 연결된 방향그래프가 2-블록 사이클 $c(k,\ell)$를 가지지 않을 경우, Addario-Berry, Havet, 그리고 Thomassé가 제기한 색칠 수에 대한 추측을 해결하기 위해.
• $k$-색칠 가능한 방향그래프가 $c(k,\ell)$를 피할 경우, 색칠 수의 상한을 $O((k+\ell)^4)$에서 $O((k+\ell)^2)$로 향상시키기 위해.
• 원래 추측의 상한 $k+\ell-1$이 잘못되었음을 보여주는 반례를 구성하기 위해.
• 2-블록 사이클을 피하는 해밀턴 방향그래프에 대해 엄밀한 비어림과 색칠 수 경계를 확립하여, 그 기저 그래프가 $(k+\ell-1)$-비어림임을 보여주기 위해.

제안 방법

• 2-블록 사이클을 가지지 않는 방향그래프의 정점 이웃 구조를 분석하기 위해 사이클-나무와 외부 간선을 활용한 새로운 구조적 분해 기법을 도입한다.
• 두 단계 색칠 프레임워크를 적용한다: 먼저 $F^{(1)}$ 내부 구조를 $k+2\ell-1$개의 색으로 칠하고, 그 다음 $F^{(2)}$ 외부 간선을 2개의 색으로 칠하여, 이를 조합하여 올바른 색칠을 구성한다.
• 사이클-나무의 순서에 대한 귀납법을 사용하여, 함수 $\phi$의 역상에 의해 유도되는 부분그래프 $F^{(1)}$가 $(k+2\ell-2)$-비어림임을 증명한다.
• 각 정점이 전방 또는 후방 방향으로 최대 $\ell-2$개의 외부 이웃을 가짐을 보여주는 핵심 보조정리를 활용하여, 이웃의 크기 증가를 제한한다.
• 해밀턴 성질을 활용하여 Theorem 1.5의 비어림 결과를 적용하여, 이러한 방향그래프의 기저 그래프가 $(k+\ell-1)$-비어림임을 증명한다.
• 구조적 분석과 비어림 추론을 조합하여, $F^{(1)}$과 $F^{(2)}$의 곱 색칠을 통해 최종 색칠 수 경계를 유도한다.

실험 결과

연구 질문

• RQ1 강한 연결된 방향그래프가 2-블록 사이클 $c(k,\ell)$를 가지지 않을 경우, 색칠 수가 추측한 바와 같이 $k+\ell-1$ 이하일까?
• RQ2 2-블록 사이클을 피하는 $k$-색칠 가능한 방향그래프의 색칠 수가 $k+\ell$의 이차함수로 경계지을 수 있을까?
• RQ3 2-블록 사이클을 피하는 방향그래프에 해밀턴 사이클이 존재할 경우, 그 기저 그래프가 $(k+\ell-1)$-비어림일까?
• RQ4 원래 추측의 엄밀한 상한 $k+\ell-1$이 잘못되었음을 보여주는 반례를 구성할 수 있을까?

주요 결과

• 모든 2-블록 사이클 $c(k,\ell)$를 가지지 않는 강한 연결된 방향그래프의 색칠 수는 최대 $2(2k-3)(k+2\ell-1)$ 이며, 이는 $O((k+\ell)^2)$이다.
• 논문은 원래 추측의 상한 $k+\ell-1$이 잘못되었음을 보여주는 방향그래프를 구성하여, 추측이 일반적으로 성립하지 않음을 증명한다.
• 2-블록 사이클을 피하는 해밀턴 방향그래프의 기저 그래프는 $(k+\ell-1)$-비어림이므로, 색칠 수는 최대 $k+\ell$이며, 이 경계는 엄밀하다.
• 함수 $\phi$에 의해 정점의 역상에 의해 유도되는 부분그래프 $F^{(1)}$가 $(k+2\ell-2)$-비어림임을 증명하여, 개선된 색칠 수 경계를 가능하게 한다.
• 각 정점이 전방 또는 후방 방향으로 최대 $\ell-2$개의 외부 이웃을 가짐을 증명하여, 이는 이웃 크기의 경계를 결정하는 데 핵심적이다.
• 최종 색칠은 $F^{(1)}$에 대해 $k+2\ell-1$개의 색과 $F^{(2)}$에 대해 2개의 색을 사용한 곱 색칠을 통해 구성되며, 이는 코어 부분그래프에 대해 $2(k+2\ell-1)$개의 색을 사용하는 올바른 색칠을 유도한다.