큐빅 그래프와 서브큐빅 다중그래프의 구간 엣지 색채 상한 연구

본 논문은 구간 엣지 색채(interval edge‑coloring)의 개념을 큐빅 그래프와 큐빅 다중그래프에 적용하여 색상의 상한을 정밀하게 규명한다. 구간 t‑색채는 색이 1부터 t까지 모두 사용되고, 각 정점에 인접한 간선들의 색이 서로 다르며 연속적인 정수 구간을 이루는 경우를 말한다. 기존 연구에서는 정규 그래프, 삼각형이 없는 그래프, 평면 그래프 등에 대해 다양한 상한이 제시되었지만, 큐빅(정도 3) 그래프에 특화된 결과는 부족했다. **주요 정의 및 선행 연구** - 다중그래프는 다중 간선을 허용하지만 루프는 없으며, Δ는 최대 차수를 의미한다. - 정규 그래프 G가 구간 색채 가능(N) ⇔ χ′(G)=Δ (정리 1, Asratian·Kamalian). - 삼각형이 없는 연결 그래프는 t ≤ |V|−1 (정리 2). - 일반 연결 그래프는 t ≤ 3|V|/2 (정리 4) 등 다양한 상한이 알려져 있다. **큐빅 다중그래프에 대한 새로운 상한** 정리 9는 “연결된 큐빅 다중그래프 G가 구간 색채를 가질 경우 t ≤ |V(G)|+1”을 증명한다. 증명은 각 정점이 차수 3이므로, 색 구간의 길이가 정확히 3임을 이용한다. 색 구간이 겹치는 구조를 분석하면 전체 색 수가 정점 수보다 2 이상 초과하면 색 충돌이 발생한다는 귀류법을 적용한다. 정리 10은 임의의 n에 대해 |V|=2n인 큐빅 다중그래프를 구성해 t=|V|+1을 달성함으로써 이 상한이 날카롭다는 것을 보여준다. **단순 큐빅 그래프에 대한 상한** 정리 11은 “연결된 큐빅 그래프 G가 구간 색채를 가질 경우 t ≤ |V(G)|−1”이며, K₄는 예외적으로 t=|V|+1이 가능함을 명시한다. 증명은 단순성(다중 간선이 없음)과 3‑정규성을 활용해 색 구간이 서로 겹치지 않도록 배치할 수 없음을 보인다. 정리 12는 |V|=2n인 큐빅 그래프를 구성해 t=|V|−1을 달성, 상한이 최적임을 확인한다. **평면 큐빅 그래프와의 연관성** 4‑색 정리(모든 브리지를 갖지 않는 평면 큐빅 그래프는 3‑엣지‑컬러링 가능)와 정리 1을 결합하면, 이러한 그래프는 구간 색채를 가질 수 있다(정리 13). 또한 2‑연결 평면 큐빅 그래프에 대해 정리 14는 t ≤ |V|−1이라는 상한을 제공한다. **특수 그래프군** - **큐빅 할린 그래프**: 정리 15는 모든 큐빅 할린 그래프가 구간 색채 가능하고 w(G)=3임을 보인다. - **모비우스 사다리 M₂ₙ**: 정리 16에 따르면 w(M₂ₙ)=3, t의 상한은 2n+2이며, 구간 색채가 존재한다. - **프리즘 그래프 Cₙ□K₂**: 정리 17은 동일한 형태의 상한을 제시한다. - **다이아몬드 링 kD**: 정리 18은 k가 짝수·홀수일 때 각각 다른 상한을 제공하며, 구간 색채 존재 조건을 명시한다. **이분 서브큐빅(다중)그래프** 정리 19는 기존에 이분 단순 그래프에 대해 w(G)≤4임을 보여주었으며, 논문은 이를 다중그래프까지 확장한다(정리 20). 차수가 ≤3인 모든 이분 다중그래프는 색을 1~4 사이에 배치해 구간 색채를 만들 수 있다. **결합된 결과와 코롤라리** - 정리 9와 정리 20을 결합하면, 연결된 이분 큐빅 다중그래프는 t ≤ |V|+1 (코롤라리 2)이며, 상한이 날카롭다. - 정리 3과 정리 19를 이용하면, 정점 수가 12 이상인 연결된 이분 큐빅 단순그래프는 t ≤ |V|−1 (코롤라리 3)이다. **결론 및 의의** 본 연구는 큐빅(다중)그래프에 특화된 구간 엣지 색채 상한을 정확히 규정함으로써, 기존의 일반 그래프에 대한 상한보다 훨씬 강력한 결과를 제공한다. 상한이 날카롭다는 것을 보여주는 구체적인 그래프 구성(정리 10, 12, 14 등)은 이론적 완전성을 확보한다. 또한, 이분 서브큐빅 다중그래프에 대한 4색 상한은 실제 스케줄링 문제 등 응용 분야에 직접적인 영향을 미칠 수 있다. 향후 연구에서는 이러한 상한을 더 일반적인 차수 제한 그래프나 비정규 다중그래프로 확장하거나, 알고리즘적 구현을 통한 구간 색채 구성 방법을 탐구하는 방향이 기대된다.