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

본 논문은 구간 엣지 t‑coloring이라는 특수한 엣지 색칠 개념을 연구한다. 구간 엣지 t‑coloring은 그래프 G의 모든 엣지를 1부터 t까지의 색으로 색칠하되, (i) 색 1부터 t까지 모두 최소 한 번씩 사용되고, (ii) 각 정점 v에 인접한 d_G(v)개의 엣지가 연속된 색 구간을 이루는 것을 요구한다. 이러한 색칠이 가능한 그래프들의 집합을 𝒩이라 정의하고, 각각의 그래프 G∈𝒩에 대해 최소 가능한 t값을 w(G), 최대 가능한 t값을 W(G)라 명명한다. 기존 연구(Asratian & Kamalian, 1994 등)에서는 이분 그래프가 𝒩에 속하면 W(G)≤d(G)·Δ(G)−1이라는 일반적인 상한을 제시하였다(정리 1). 또한, 정규 그래프에 대해서는 χ′(G)=Δ(G) 이면 G∈𝒩이며, w(G)≤t≤W(G) 인 모든 t 에 대해 구간 색칠이 가능하다는 정리 2가 알려져 있다. 본 논문의 주요 목표는 두 종류의 이분 그래프, 즉 **이분 원통** C(m,n)=Pₘ□Cₙ와 **이분 토러스** T(m,n)=Cₘ□Cₙ에 대해 W(G)의 하한을 구체적으로 제시하는 것이다. ### 1. 이분 원통 C(m,n) 정리 3에서는 W(C(m,n))≥3m+2n−2임을 증명한다. 이를 위해 저자는 정점 집합을 V(G)=\{x_i^j | 1≤i≤m, 1≤j≤n\} 로 두고, 각 간선을 좌표 (i,j) 에 따라 여섯 종류로 구분한다. 이후 색칠 α를 다음과 같이 정의한다. - 가로 방향(행) 간선에 대해 α(e)=i+2j−1 등의 선형식, - 세로 방향(열) 간선에 대해 α(e)=i+2j−2 등의 식, - 원통의 양 끝을 연결하는 간선에 대해 별도의 식을 부여한다. 각 경우에 대해 색 번호가 1부터 t=3m+2n−2까지 모두 사용됨을 보이고, 정점 x_i^j에 인접한 네 개(또는 세 개)의 간선이 연속된 색 구간을 형성함을 상세히 검증한다. 특히, 모든 색이 사용되는지를 보이기 위해 각 색 k에 대해 적어도 하나의 간선 e가 α(e)=k 임을 보이는 집합 F_k를 구성한다. 이 과정을 통해 α가 구간 엣지 t‑coloring임을 확인하고, 따라서 W(C(m,n))≥3m+2n−2라는 하한을 얻는다. ### 2. 이분 토러스 T(m,n) 정리 4에서는 W(T(m,n))≥3m+3n 임을 증명한다. 토러스는 두 개의 사이클을 카르테시안 곱한 구조이므로, 정점 집합을 V(G)=\{x_i^j | 1≤i≤m, 1≤j≤n\} 로 두고, 여덟 종류의 간선을 구분한다. 색칠 β는 복잡한 경우 구분을 통해 정의되며, 주요 아이디어는 원통 경우와 유사하게 좌표에 선형식을 적용하되, 두 방향 모두에서 주기성을 고려해 색 번호가 겹치지 않도록 조정한다. 증명 과정에서는 (i) 모든 색 1…t가 사용됨을 보이기 위해 색별 간선 집합 S_k를 정의하고, (ii) 각 정점 x_i^j에 인접한 네 개(또는 여섯 개)의 간선이 연속된 색 구간을 이루는지를 경우별로 검증한다. 특히 토러스의 경우, 각 정점의 차수가 4이므로 연속된 네 색이 필요하고, 저자는 이를 만족하도록 색 번호를 설계한다. 결과적으로 β가 구간 엣지 t‑coloring이며, t=3m+3n 임을 확인한다. ### 3. 파생 결과 및 의의 정리 2와 정리 4를 결합하면, T(m,n)에 대해 t≥max{3m+3n, …} 이면 t∈𝒩임을 보이는 코롤라리가 도출된다. 이는 토러스가 매우 넓은 색 범위에서 구간 색칠이 가능함을 의미한다. 또한, 논문은 기존의 일반적 상한 W(G)≤d(G)·Δ(G)−1과 비교했을 때, 제시된 하한이 실제로 그 상한에 근접하거나 경우에 따라 크게 차이가 나는 것을 보여준다. 특히 C(m,n)과 T(m,n) 모두 차수가 일정(원통은 Δ=4, 토러스는 Δ=4)함에도 불구하고, m, n이 커질수록 W(G)는 선형적으로 증가한다는 점은 구간 색칠 문제의 구조적 풍부함을 강조한다. 마지막으로, 참고문헌에서는 구간 색칠의 기원(Asratian & Kamalian, 1987), 복잡도 결과(Sevastianov, 1990; Cook, 1971; Karp, 1972) 및 관련 그래프 이론 서적을 인용함으로써 연구의 이론적 배경을 충분히 제시한다. 본 논문은 구체적인 색칠 구성을 통해 이분 원통과 토러스에서 구간 엣지 색칠이 가능한 색의 최대 범위를 명시적으로 제시함으로써, 구간 색칠 이론에 새로운 하한 결과를 추가하고, 향후 더 복잡한 격자형 그래프나 고차원 토러스에 대한 연구의 토대를 마련한다.