Hal인 그래프의 강 색인 선형 시간 알고리즘

본 논문은 Halin 그래프에 대한 강 색인(strong chromatic index, sχ′)을 선형 시간 안에 정확히 계산할 수 있는 알고리즘을 제시한다. 강 색인은 그래프 G의 엣지를 색칠할 때, 인접하거나 거리 1 이내에 있는 두 엣지가 같은 색을 가질 수 없도록 하는 최소 색 수를 의미한다. 이는 라인 그래프 L(G)의 제곱 L(G)²를 정점 색칠 문제로 변환함으로써 기존의 강 엣지 색칠 문제를 정점 색칠 문제로 재정의한다. **배경 및 선행 연구** 강 색인에 대한 일반적인 상한은 (2−ε)Δ² (Δ는 최대 차수)이며, cubic 그래프에 대해서는 Andersen이 10 이하임을 보였다. 또한, chordal 그래프와 cocomparability 그래프, 그리고 트리폭이 제한된 그래프들에 대해서는 다항식 시간 알고리즘이 알려져 있다. Halin 그래프는 평면 트리 T와 그 잎들을 순환시킨 사이클 C로 구성된 특수한 그래프군으로, 트리폭이 최대 3이다. 따라서 L(T)²는 chordal이며, 이로부터 sχ′(T)=χ(L(T)²)=ω(L(T)²)≤2Δ−1이라는 식을 얻을 수 있다. **주요 기여** 1. **Cubic Halin 그래프에 대한 선형 시간 알고리즘** - 트리 T를 임의의 잎 r을 루트로 뿌리화하고, 각 정점 x에 대해 서브트리 Tₓ와 그에 대응하는 서브그래프 H(x)를 정의한다. - H(x)의 경계 B(x)는 최대 9개의 엣지로 구성된다: (a) 부모‑자식 연결, (b) 사이클 C와 연결된 두 엣지, (c) 해당 접점들의 남은 두 엣지. - k≤10(강 색인 상한)인 경우, B(x)의 모든 색 배치를 k⁹가지(최대 10⁹) 탐색하고, 각 배치가 H(x) 전체에 확장 가능한지를 불리언 테이블에 저장한다. - 테이블은 포스트오더 순회로 하위 서브트리에서 계산된 정보를 이용해 상수 시간에 합성한다. 두 하위 서브트리 y, z의 경계 교집합은 1개의 엣지만 포함하고, B(x)와 B(y), B(z)의 교집합은 최대 4개이므로 색 충돌 검사가 상수 시간에 가능하다. - 최종적으로 루트의 경계 색 배치가 TRUE이면 전체 그래프가 k색으로 강 색칠 가능함을 보이며, 전체 복잡도는 O(n)이다. 2. **일반 차수 Halin 그래프에 대한 선형 시간 알고리즘** - 각 정점 x에 대해 6가지 유형의 엣지를 정의한다. 첫 번째 유형은 x와 연결된 트리 내부 엣지(수량이 무제한), 나머지 5가지 유형은 사이클 C와의 접점, 부모‑자식 관계 등으로 제한된 수량을 가진다. - 각 유형별 색 사용 현황을 0/1 행렬 M(6×k)로 표현하고, 행렬의 GF(2) 랭크가 6 이하임을 이용해 색 배치의 동등 클래스(equivalence class)를 상수 개수만큼 정의한다. - 두 서브트리의 결합 시, 모든 동등 클래스에 대해 테이블 조회를 통해 결합 가능성을 검사한다. 동등 클래스의 수가 상수이므로 결합 검사는 O(1)이며, 전체 트리 탐색은 O(n)이다. - 중요한 관찰은 sχ′(G)가 sχ′(T)와 sχ′(T)+5 사이의 6가지 후보값 중 하나라는 점이다. 이는 식 (1)과 Lemma 1을 이용해 도출되며, 실제 색상 수는 차수와 특정 예외(예: 휠 그래프, \(\overline{C_6}\))에 따라 결정된다. **알고리즘 상세** - **경계 정의**: B(x)에는 x와 부모 사이의 엣지, 사이클 C와 연결된 두 엣지, 그리고 이들 엣지와 인접한 추가 엣지가 포함된다. 이는 모든 거리 ≤1인 충돌 가능 엣지를 포함하도록 설계되었다. - **색 배치 테이블**: 각 경계 색 배치에 대해 TRUE/FALSE 값을 저장한다. TRUE이면 해당 배치가 H(x) 전체에 확장 가능함을 의미한다. - **동적 프로그래밍**: 하위 서브트리 y, z의 테이블을 이용해 x의 테이블을 상수 시간에 계산한다. 색 배치의 일관성(consistency)은 교집합 엣지들의 색이 동일하고, 거리 ≤1인 모든 엣지 쌍이 서로 다른 색을 갖는지를 검사함으로써 보장된다. - **전체 검증**: 루트 x₀의 테이블에서 색이 서로 다른 3개의 경계 엣지를 가진 배치가 TRUE이면 전체 그래프가 k색 강 색칠이 가능함을 확인한다. **복잡도 분석** - 각 정점마다 경계 크기가 상수(≤9)이며, 색 배치 조합도 상수(k⁹)이다. 테이블 구축 및 결합 단계는 모두 상수 시간에 수행된다. 따라서 전체 알고리즘은 O(n) 시간, O(n) 메모리를 사용한다. **결과 및 의의** - Halin 그래프의 강 색인은 트리 부분의 최대 차수에 기반한 몇 개의 후보값 중 하나이며, 제안된 알고리즘은 이를 선형 시간에 정확히 결정한다. - 차수가 3인 경우와 일반 차수 경우를 모두 포괄함으로써, 기존에 다항식 시간에 머물렀던 강 색인 문제를 실질적인 선형 시간 해결책으로 끌어올렸다. - 또한, 경계 기반 동적 프로그래밍과 색 배치 동등 클래스 개념을 도입함으로써, 다른 제한된 트리폭 그래프군에도 유사한 접근법을 적용할 가능성을 제시한다.