이분 그래프 원통과 토러스의 구간 엣지 색칠 최대 색 수 하한

초록

본 논문은 이분 원통 C(m,n)=Pₘ□Cₙ와 이분 토러스 T(m,n)=Cₘ□Cₙ에 대해 구간 엣지 색칠이 가능한 경우의 최대 색 수 W(G)의 하한을 제시한다. 구성된 명시적 색칠 규칙을 통해 W(C(m,n))≥3m+2n−2, W(T(m,n))≥3m+3n 임을 증명하고, 기존의 일반적 상한 W(G)≤d(G)·Δ(G)−1과 비교하여 두 그래프 클래스에서 하한이 꽤 높은 수준임을 보여준다.

상세 분석

논문은 구간 엣지 t‑coloring이라는 특수한 색칠 개념을 중심으로 전개된다. 이 색칠은 (1) 색 번호가 1부터 t까지 연속적으로 사용되고, (2) 각 정점 v에 인접한 d_G(v)개의 색이 연속된 구간을 이룬다는 두 조건을 만족한다. 이러한 색칠이 가능한 그래프 집합을 𝒩이라 정의하고, 그 안에서 최소 t 값을 w(G), 최대 t 값을 W(G)라 부른다. 기존 연구에 따르면, 이분 그래프가 𝒩에 속하면 W(G)≤d(G)·Δ(G)−1이라는 일반적인 상한이 존재한다(정리 1).

본 논문은 이 일반적 상한과는 별도로, 구체적인 그래프 구조인 C(m,n)과 T(m,n)에서 W(G)의 하한을 직접 구성한다. 저자는 각 정점 (i,j)∈V(G)와 인접한 간선에 대해 좌표 i, j에 기반한 선형식(예: α(e)=i+2j−1 등)을 제시하고, 이를 통해 색 번호가 1부터 t 까지 모두 사용됨을 보인다. 특히, 색칠 α와 β는 각각 원통과 토러스에 대해 정의되며, 각 정점에서 발생하는 색 구간이 정확히 d_G(v)개의 연속된 색으로 이루어지는지를 세세히 검증한다.

구간 색칠이 가능한지 여부는 NP‑complete 문제이지만, 여기서는 특정 구조에 대해 명시적인 색칠을 제공함으로써 𝒩에 속함을 보이고, 동시에 W(G)≥3m+2n−2 (원통)와 W(G)≥3m+3n (토러스)라는 강력한 하한을 얻는다. 이 하한은 기존 상한 d(G)·Δ(G)−1과 비교했을 때, 특히 m, n이 커질수록 차이가 크게 나타나며, 두 그래프가 매우 많은 색을 사용할 수 있음을 시사한다.

또한, 정리 4와 그에 따른 추론(코롤라리)에서는 T(m,n)에서 t≥max{3m+3n, …} 이면 t∈𝒩임을 보인다. 이는 구간 색칠이 가능한 색의 범위가 넓어짐을 의미한다. 논문은 이러한 결과가 그래프 이론에서 구간 색칠 문제의 구조적 이해를 심화시키고, 특히 격자형 이분 그래프에서 색칠 가능한 최대 색 수를 추정하는 데 실용적인 기준을 제공한다는 점을 강조한다.