[논문 리뷰] Colourings with Bounded Monochromatic Components in Graphs of Given Circumference

Bojan Mohar, Bruce Reed외 1명|arXiv (Cornell University)|2016. 12. 16.

Advanced Graph Theory Research인용 수 6

한 줄 요약

이 논문은 둘레가 최대 $k$인 그래프가 모든 단색 성분 크기가 최대 $k$가 되도록 $O(\log k)$-색으로 칠해질 수 있음을 보이며, 이 상한은 상수 인자에 대해 최적임을 증명한다. 이 결과는 분리자와 사이클 구조를 이용한 귀납적 분해를 통해 도출되었으며, 고정된 사이클이나 경로를 소수로 포함하지 않는 그래프에 대한 열악한 색칠 추측의 핵심 케이스를 해결한다.

ABSTRACT

We prove that every graph with circumference at most $k$ is $O(\\log k)$-colourable such that every monochromatic component has size at most $O(k)$. The $O(\\log k)$ bound on the number of colours is best possible, even in the setting of colourings with bounded monochromatic degree.

연구 동기 및 목표

• 둘레가 최대 $k$인 그래프에 대해 모든 단색 성분 크기가 유계가 되도록 하기 위한 최소 색 수를 결정하는 것.
• 둘레가 유계인 그래프 계열에 대한 열악한 색수의 점근적 상한을 확립하는 것.
• Ossona de Mendez 등이 제기한 $H$-소수 없는 그래프의 열악한 색수에 대한 추측의 핵심 케이스를 해결하는 것.
• 고정된 경로나 사이클을 소수로 포함하지 않는 그래프에서 이전의 선형 상한보다 개선된 열악한 색칠 상한을 확보하는 것.

제안 방법

• 모든 단색 성분 크기가 최대 $k$가 되도록 $\lfloor 3\log_2 k \rfloor$-색으로 칠하기 위해 $k + |V(G)|$에 대한 귀납법을 사용한다.
• 최소 분리자와 3-연결성에 기반한 재귀적 분해를 적용하며, 3-연결되지 않은 그래프는 더 작은 부분그래프로 분해하여 처리한다.
• 3-연결 그래프의 경우 길이가 $k$인 사이클 $Q$를 식별하고, 잔여 그래프 $G' = G - V(Q)$를 분석한다. 이 그래프의 둘레는 감소한다.
• 그래프 $G'$의 둘레를 $\lfloor \frac{1}{2}k \rfloor$ 이하로 bound하여, 더 적은 색 수로 재귀적으로 색칠할 수 있도록 한다.
• 크기가 2 이하인 클리크를 사전에 색칠하고, 이 클리크와 교차하는 단색 성분가 클리크 내부에만 포함되도록 보장한다.
• 그래프 $G'$와 $S = V(Q) \cup C$에 대해 서로소인 색 집합을 사용하며, $S \setminus C$에는 추가로 하나의 색을 할당하여 총 색 수가 $\lfloor 3\log_2 k \rfloor$ 이내로 유지되도록 한다.

실험 결과

연구 질문

• RQ1 둘레가 최대 $k$인 그래프에서 단색 성분 크기를 $k$로 유계화하기 위해 필요한 최소 색 수는 얼마인가?
• RQ2 색 수에 대한 $O(\log k)$ 상한은 향상될 수 있는가, 아니면 점근적으로 최적인가?
• RQ3 특히 사이클과 경로에 대해 $H$-소수 없는 그래프의 열악한 색수는 $H$의 트리 깊이 $\mathrm{td}(H)$와 어떻게 관련이 있는가?
• RQ4 Ossona de Mendez 등이 제기한 추측, 즉 $f(H) = \mathrm{td}(H) - 1$ 이 $H = C_{k+1}$ 및 $H = P_{k+1}$ 인 경우에도 참인가?
• RQ5 고정된 경로나 사이클을 소수로 포함하지 않는 그래프에서 이전의 선형 상한을 개선할 수 있는가?

주요 결과

• 모든 둘레가 최대 $k$인 그래프는 모든 단색 성분 크기가 최대 $k$가 되도록 $\lfloor 3\log_2 k \rfloor$-색으로 칠할 수 있으며, 이는 $O(\log k)$ 상한을 증명한다.
• 생성된 그래프 예시를 통해 $k$-색칠이 임의의 $d$에 대해 단색 차수 $\Omega(d)$를 유도하므로, $O(\log k)$ 상한은 상수 인자에 대해 최적임을 보였다.
• 단색 성분 크기가 $k$ 이하가 되도록 하는 데 필요한 최소 색 수를 $g(k)$로 정의하면, $g(k) = \Theta(\log k)$ 임을 증명하였다.
• 열악한 색수 $f(k)$에 대해 $\lfloor \log_2 k \rfloor + 1 \leq f(k) \leq \lfloor 3\log_2 k \rfloor$ 라는 상한이 확립되었으며, 이는 이전의 선형 상한보다 개선된 결과이다.
• 결과는 Ossona de Mendez 등이 제기한 추측, 즉 $f(H) = \mathrm{td}(H) - 1$ 를 지지하며, 사이클 및 경로 케이스는 추측된 값의 약 3배 이내에 해당한다.
• $G_{k,d}$의 구성은 둘레가 $2^k$인 그래프의 $k$-색칠이 반드시 단색 차수가 최소 $d$인 정점을 포함함을 보여, 하한을 증명한다.