트리의 순환 구간 엣지 색채화 완전 해석

초록

본 논문은 단순 연결 트리 (G)에 대해, 모든 정수 (t)에 대해 사이클리컬-인터벌 (t)-색채가 존재함을 증명하고, 그 가능한 (t)값들을 정확히 규정한다. 색채가 각 정점에서 인접한 색들의 집합이 연속 구간이거나, 보색 집합이 연속 구간이 되도록 하는 새로운 색채 개념을 도입하고, 트리 구조의 특성을 이용해 존재조건과 구성을 체계적으로 기술한다.

상세 분석

논문은 먼저 기존의 ‘인터벌 색채(Interval edge‑coloring)’ 개념을 확장하여 ‘순환 구간 색채(cyclically‑interval coloring)’를 정의한다. 이는 색 번호를 원형(1부터 (t)까지 순환)으로 생각하고, 각 정점 (x)에 대해 인접 색 집합 (S_G(x,\varphi))가 연속된 정수 구간이거나, 그 보색 ({1,\dots ,t}\setminus S_G(x,\varphi))가 연속 구간이 되면 만족한다. 이 정의는 기존 인터벌 색채가 허용하지 않던 ‘색의 랩 어라운드’ 현상을 포괄한다는 점에서 의미가 크다.

트리 (T)는 사이클이 없고, 각 정점의 차수가 최대 (\Delta(T))임을 이용해, 색채에 필요한 최소 색 수는 (\chi’(T)=\Delta(T))라는 사실을 재확인한다. 저자는 먼저 (\Delta(T))부터 (|E(T)|)까지 모든 정수 (t)에 대해 순환 구간 (t)-색채가 존재함을 귀납적으로 증명한다. 핵심 아이디어는 ‘잎 정점(leaf)’을 하나씩 제거하면서 색채를 확장하는 방식이다. 잎 정점 (v)와 그 인접 간선 (e)에 대해, 현재 색채 (\varphi)가 존재하면 (e)에 남은 색 중 하나를 할당하고, 필요시 색 번호를 순환 이동시켜 정점 (v)의 색 집합이 인터벌 혹은 보색 인터벌 형태가 되도록 조정한다.

특히, 저자는 두 가지 중요한 보조정리를 제시한다. 첫째, 임의의 부분 트리 (T’)에 대해 (\mathfrak{M}_{t})에 속한다면, (T) 전체도 같은 (t)에 대해 속한다는 ‘확장 정리’. 둘째, 색 번호가 연속 구간이 아닌 경우에도, 원형 구조를 이용해 ‘갭(gap)’을 하나의 연속 구간으로 변환할 수 있음을 보이는 ‘갭 변환 정리’이다. 이 두 정리를 결합하면, 트리의 임의의 차수 분포에 관계없이 색 번호를 적절히 재배열해 언제든지 정점마다 조건 a) 혹은 b)를 만족시킬 수 있다.

결과적으로, 논문은 다음과 같은 정리를 얻는다.

• 모든 트리 (T)는 (\mathfrak{M})에 속한다.
• (T)가 (\mathfrak{M}_{t})에 속하기 위한 필요충분조건은 (\Delta(T)\le t\le |E(T)|)이다.

이때 (|E(T)|=|V(T)|-1)이므로, 가능한 색 수 구간은 (