모비우스 사다리의 구간 엣지 색칠

초록

본 논문은 3차 정규 그래프인 모비우스 사다리(Mobius ladder)에 대해 구간 엣지 t‑색칠의 존재 여부를 조사한다. 저자는 모든 모비우스 사다리에서 구간 엣지 색칠이 가능함을 증명하고, 가능한 색의 총 개수 t의 정확한 범위를 제시한다. 이를 위해 그래프의 대칭성, 회전 변환, 그리고 기존의 구간 색칠 이론을 결합한 구성적 증명을 제공한다. 결과적으로 t는 최소 3부터 최대 3n/2(여기서 2n은 정점 수)까지 연속적인 정수값을 가질 수 있음을 확인한다.

상세 분석

구간 엣지 t‑색칠은 각 정점 x에 대해 인접한 d_G(x)개의 색이 연속된 구간을 이루도록 하는 색칠이며, 색 1부터 t까지 모두 사용되어야 한다는 추가 조건을 가진다. 모비우스 사다리 M_n은 2n개의 정점과 3n개의 간선으로 이루어진 3차 정규 그래프이며, 기본적인 구조는 2n‑길이의 원형 사이클에 서로 마주 보는 정점들을 연결하는 대각선(‘리본’)이 추가된 형태이다. 이러한 대칭성은 색칠을 구성할 때 반복적인 패턴을 만들기에 유리하다.

먼저 저자는 M_n이 브리지 없는 3차 정규 그래프이므로 Vizing의 정리로부터 엣지 색칠 수는 정확히 3임을 확인한다. 그러나 구간 색칠의 추가 제약 때문에 단순히 3색으로는 충분하지 않을 수 있다. 이를 해결하기 위해 저자는 ‘스위치 변환’과 ‘색 이동’ 기법을 도입한다. 구체적으로, 원형 사이클을 따라 색을 1,2,3,… 순서대로 배치하고, 대각선 간선에 대해서는 사이클 색과 겹치지 않도록 적절히 색을 끼워 넣는다. 이때 각 정점이 보는 색은 {k, k+1, k+2} 형태의 연속 구간이 되도록 k를 조정한다.

핵심은 색의 총 개수 t를 늘리면 사이클에 삽입할 수 있는 ‘빈칸’이 증가한다는 점이다. 저자는 t를 3에서 시작해 단계적으로 하나씩 증가시키며, 각 단계마다 기존 색칠에 새로운 색을 삽입하는 방법을 귀납적으로 증명한다. 삽입 과정에서 발생할 수 있는 색 충돌을 방지하기 위해 ‘교차 교환’(cross‑exchange)이라는 절차를 사용한다. 이 절차는 두 인접한 색 구간을 교환함으로써 새로운 색을 삽입할 여지를 만든다.

결과적으로, t가 3부터 3n/2까지의 모든 정수에 대해 구간 엣지 t‑색칠이 존재함을 보인다. 여기서 상한 3n/2는 전체 간선 수 3n을 고려한 최소 색 사용량과, 각 색이 최소 한 번씩 사용되어야 하는 조건을 동시에 만족시키는 최대값이다. 또한, t가 이 범위를 벗어날 경우(예: t<3 또는 t>3n/2) 색의 연속성 혹은 전체 색 사용 조건을 위배하게 되어 구간 색칠이 불가능함을 논증한다.

이러한 결과는 기존에 알려진 사이클, 완전 그래프, 그리고 일부 카테시안 곱 그래프에 대한 구간 색칠 결과와 일맥상통하면서도, 비평면적이며 비이분적인 3차 정규 그래프인 모비우스 사다리의 경우에도 동일한 구조적 원리가 적용될 수 있음을 보여준다.