두 사이클 직교곱의 제곱 그래프 색칠 연구

초록

본 논문은 두 사이클 (C_m)과 (C_n)의 직교곱 (C_m\Box C_n)의 제곱 그래프 (G^2)에 대한 색칠 문제를 다룬다. 일반적인 경우 색수는 7 이하이며, 예외적으로 ((m,n)=(3,3))에서는 9, ((m,n)=(4,4)) 혹은 ((3,5))에서는 8이 필요함을 보인다. 또한 (\chi(G^2)=\lceil mn/\alpha(G^2)\rceil) 라는 형태의 정확한 색수 공식이 성립한다는 추측을 제시한다.

상세 분석

이 연구는 그래프 이론에서 거리‑2 인접성을 고려한 제곱 그래프 (G^2)의 색칠 문제를 사이클 직교곱이라는 특수한 구조에 적용한 최초의 시도 중 하나이다. 먼저, (C_m\Box C_n)는 토러스 형태의 격자를 형성하며, 각 정점은 네 개의 이웃을 갖는다. 제곱 그래프를 구성하면, 거리 2 이내에 있는 모든 정점이 서로 연결되므로 각 정점의 차수가 크게 증가한다. 이러한 고차 연결성에도 불구하고, 저자들은 색수 상한을 7로 제한할 수 있음을 증명한다. 핵심 아이디어는 정점들을 ‘패턴 블록’으로 나누어 주기적인 색 배정을 설계하는 것이다. 특히, (m)과 (n)이 3 또는 4와 같은 작은 값일 때는 패턴이 깨져 기존 7색 배정이 불가능해지며, 그 결과 색수가 8 또는 9로 증가한다.

증명 과정에서는 먼저 독립 집합의 최대 크기 (\alpha(G^2))를 구하고, 이를 이용해 색수 하한 (\lceil mn/\alpha(G^2)\rceil)을 도출한다. 이후, 각 경우에 대해 구체적인 색 배정 알고리즘을 제시한다. 예를 들어, (m,n\ge5)인 경우에는 7색 주기 패턴을 격자 전체에 반복 적용함으로써 모든 인접 제약을 만족한다. 반면, ((3,3))에서는 정점 수가 9이지만 (\alpha(G^2)=1)이므로 색수는 9가 된다. ((4,4))와 ((3,5))의 경우는 (\alpha(G^2)=2)이지만 7색 배정이 불가능해 8색이 필요함을 보인다.

또한, 저자들은 실험적 계산과 작은 사례 분석을 통해 (\chi(G^2)=\lceil mn/\alpha(G^2)\rceil) 라는 일반적인 공식이 모든 (m,n)에 대해 성립할 가능성을 제시한다. 이는 색수 하한과 상한이 일치한다는 의미이며, 그래프 색칠 문제에서 드물게 정확한 해를 얻는 경우이다. 마지막으로, 이 추측을 증명하기 위한 잠재적 접근법으로는 라틴 사각형, 모듈러 색 배정, 그리고 대수적 그래프 이론 기법을 활용한 구조적 분석이 제안된다.