완전 그래프와 엔큐브의 구간 엣지 색칠 연구

초록

본 논문은 구간 엣지 색칠(interval edge‑colouring) 개념을 이용해 완전 그래프 K₂ₙ과 n‑차원 큐브 Qₙ의 가능한 색상 수 t에 대한 하한을 제시한다. K₂ₙ에 대해 W(K₂ₙ) ≥ 4n‑2‑p‑q (n = p·2^q, p 홀수) 를, Qₙ에 대해서는 W(Qₙ) ≥ n(n+1)/2 를 증명하고, 각각의 구간 t‑색칠 존재 조건을 도출한다. 또한 기존의 복잡도 결과와 정규 그래프에 대한 일반적 성질을 정리한다.

상세 분석

구간 엣지 색칠은 그래프 G의 모든 간선을 1,…,t의 정수 색으로 색칠하되, 각 정점 x에 인접한 간선들의 색이 연속적인 d_G(x)개의 색 집합 S(x,α) 를 이루도록 하는 색칠을 말한다. 이러한 색칠이 존재하면 G는 구간‑색칠 가능(N)이라 하고, 가능한 최소·최대 색 수를 각각 w(G), W(G) 로 정의한다. 기존 연구에 따르면, 삼각형이 없는 그래프에서 W(G) ≤ |V(G)|‑1 이며, 특히 이분 그래프에서는 W(G) ≤ d(G)(Δ(G)‑1)+1 이다. 일반 그래프에 대해서는 W(G) ≤ 2|V(G)|‑3, 혹은 |V(G)|≥3일 때 W(G) ≤ 2|V(G)|‑4 와 같은 상한이 알려져 있다. 정규 그래프 G에 대해 χ′(G)=Δ(G) 이면 G∈N이며, Δ(G)≤t≤W(G) 인 모든 t에 대해 구간 t‑색칠이 존재한다는 정리가 핵심이다.

본 논문은 이러한 일반 이론을 바탕으로 두 종류의 그래프, 즉 짝수 정점 수를 갖는 완전 그래프 K₂ₙ과 n‑차원 하이퍼큐브 Qₙ에 대해 구체적인 하한을 구한다. 먼저 K₂ₙ에 대해 기존 결과인 W(K₂ₙ) ≥ 3n‑2 를 개선하여, n을 p·2^q (p는 홀수, q≥0) 로 표현했을 때 W(K₂ₙ) ≥ 4n‑2‑p‑q 라는 식을 증명한다. 증명은 K₄ₘ을 K₂ₘ의 부분 그래프로 보고, 이미 존재하는 구간 W(K₂ₘ)‑색칠을 이용해 새로운 색을 추가하는 귀납적 구성법을 사용한다. 이 과정에서 색상 집합을 적절히 이동시켜 연속성을 유지하면서 전체 색 수를 4m‑1 만큼 늘릴 수 있음을 보인다. 결과적으로 2n‑1 ≤ t ≤ 4n‑2‑p‑q 인 모든 t에 대해 K₂ₙ이 구간 t‑색칠을 갖는다는 직접적인 존재론적 결론을 얻는다.

다음으로 Qₙ에 대해서는 w(Qₙ)=n (정규 이분 그래프이므로 χ′=Δ=n) 임을 확인하고, W(Qₙ) ≥ n(n+1)/2 라는 하한을 제시한다. 여기서는 Qₙ = K₂ × Qₙ₋₁ 라는 직교곱 구조를 이용한다. Qₙ₋₁의 구간 W(Qₙ₋₁)‑색칠을 두 개의 복제본에 각각 적용하고, 복제본 사이의 교차 간선을 기존 색에 n을 더한 색으로 배정함으로써 전체 그래프에 연속적인 색 집합을 유지한다. 이 과정을 n번 반복하면 W(Qₙ) ≥ W(Qₙ₋₁)+n 이므로, 초기값 W(Q₁)=1 로부터 귀납적으로 W(Qₙ) ≥ n(n+1)/2 를 얻는다. 따라서 n ≤ t ≤ n(n+1)/2 인 모든 t에 대해 Qₙ은 구간 t‑색칠을 가진다.

마지막으로, 홀수 차수의 완전 그래프 K_p (p 홀수) 는 χ′(K_p)=p 이지만 Δ(K_p)=p‑1 이므로 χ′≠Δ가 되어 N에 속하지 않음이 확인된다. 또한 정규 그래프의 구간 색칠 가능성을 판정하는 문제가 NP‑complete임을 언급하며, 본 연구가 제공하는 구체적 하한이 이러한 복잡도 문제에 대한 구조적 이해를 돕는다는 점을 강조한다.