완전 그래프 K₂ₙ의 구간 엣지 색칠에서 가능한 최대 색 수 하한

초록

본 논문은 짝수 정점 수 2n을 갖는 완전 그래프 K₂ₙ에 대해, 구간 엣지 색칠이 가능한 경우 사용할 수 있는 색의 최대 개수 W(K₂ₙ)가 최소 3n‑2임을 증명한다. 저자는 구체적인 색칠 규칙을 정의하고, 이를 통해 1부터 3n‑2까지의 색을 연속적으로 배정함으로써 하한을 달성한다.

상세 분석

논문은 먼저 그래프 이론에서 사용되는 기본 개념을 정리한다. 무방향 단순 그래프 G의 정점 집합 V(G), 간선 집합 E(G), 정점 x의 차수를 d_G(x), 최대 차수를 Δ(G), 그리고 엣지 색칠 수 χ′(G)를 소개한다. 구간 엣지 색칠은 색이 1,2,…,t 로 순서대로 존재하고, 각 정점에 인접한 간선들의 색이 연속적인 구간을 이루는 특수한 엣지 색칠이다. 구간 색칠이 가능한 그래프 집합을 N이라 하고, 그 중 가장 많은 색을 사용할 수 있는 경우의 색 수를 W(G)라 정의한다. 기존 연구에서는 일반 그래프에 대해 W(G)≤2|V(G)|‑3, |V(G)|≥3인 경우 W(G)≤2|V(G)|‑4 등 여러 상한이 알려져 있다. 또한 정규 그래프에 대해 χ′(G)=Δ(G) ⇔ G∈N 이라는 정리와, 이 조건을 판별하는 문제가 NP‑complete임을 언급한다. 이러한 배경을 바탕으로 K₂ₙ이 정규 그래프이며 χ′(K₂ₙ)=Δ(K₂ₙ)=2n‑1이므로 K₂ₙ∈N임을 확인한다. 기존에 알려진 하한인 W(K₂ₙ)≥2n‑1+⌊log₂(2n‑1)⌋보다 더 강한 3n‑2를 제시한다. 증명은 n≥4인 경우에 대해 구체적인 색칠 함수를 α를 정의함으로써 이루어진다. α는 정점 번호 i와 j에 따라 다섯 개의 경우로 나뉘며, 각각 i+j‑2, i+j+n‑3, n+j‑i, j‑i, 2(i‑1) 등 다양한 식으로 색을 할당한다. 이때 색은 1부터 3n‑2까지 모두 사용되고, 각 정점에 인접한 간선들의 색은 정확히 d_G(x)=2n‑1개의 연속된 정수 구간을 이룬다. 따라서 α는 구간 엣지 색칠이며, 사용된 색의 개수가 3n‑2임을 보인다. 논문은 이 구성을 통해 W(K₂ₙ)≥3n‑2임을 증명하고, n≤3인 경우는 기존 하한과 일치함을 언급한다. 전체적으로 증명은 구성적이며, 복잡한 경우 구분을 통해 색 할당이 충돌 없이 이루어짐을 확인한다. 이 결과는 완전 그래프의 구간 색칠 연구에 새로운 하한을 제공하고, 향후 상한과 정확한 값 탐구에 중요한 기준이 된다.