k퇴화 그래프의 강 색인 상한 개선

초록

본 논문은 k‑퇴화 그래프에 대한 강 색인(Strong Chromatic Index)의 새로운 상한을 제시한다. 기존 연구에서 제시된 (4k‑1)·Δ‑k(2k+1)+1 보다 더 강력한 (4k‑2)·Δ‑2k²+1 을 증명하고, 특히 2‑퇴화 그래프에 대해서는 6Δ‑7 로 상한을 낮춘다. 또한 3이상의 차수를 가진 정점들이 숲을 이루는 특수한 그래프 클래스에 대해 4Δ‑3 의 상한을 얻으며, 최소 2‑연결 그래프에도 동일한 결과가 적용된다. 모든 결과는 그라프 이론에서 알려진 예시(예: 5‑사이클)와 비교해 최적에 가깝다는 점을 강조한다.

상세 분석

이 논문은 강 색인 문제를 k‑퇴화 그래프라는 희소 그래프 클래스에 한정하여 다루며, 기존 문헌에서 제시된 상한을 체계적으로 개선한다. 핵심 아이디어는 k‑퇴화 그래프가 모든 부분 그래프에서 차수가 ≤k 인 정점을 항상 찾을 수 있다는 특성을 이용해, 그래프의 간선을 순차적으로 ‘별(star)’ 형태의 집합 Λ₁, Λ₂,…, Λₘ 로 분할하는 방법이다. 각 Λᵢ는 중심 정점 wᵢ와 그 주변의 차수가 ≤k 인 이웃들로 구성된 별이며, Lemma 1(Chang‑Narayanan) 를 활용해 중심 정점이 이전에 선택된 다른 별의 중심과 겹치지 않도록 보장한다. 이렇게 역순으로 별들을 색칠하면서, 각 단계에서 새로 색칠하려는 간선 wᵢvᵢ와 인접한 모든 간선이 서로 다른 색을 가져야 하는 강 색인 조건을 만족시키기 위해, 이미 색칠된 인접 간선의 최대 개수를 정밀히 계산한다. 저자는 xᵢ, yᵢ, zᵢ 등으로 구분된 인접 정점 집합의 크기를 이용해, 최악의 경우에도 사용 가능한 색이 하나 이상 남아 있음을 보인다. 이 과정에서 얻어지는 색상의 총 개수는 (4k‑2)·Δ‑2k²+1 으로, 기존 (4k‑1)·Δ‑k(2k+1)+1 보다 Δ에 대한 계수가 1 감소하고, 상수항도 개선된다. 2‑퇴화 그래프(k=2)에서는 식이 6Δ‑7 로 구체화되며, 이는 이전의 10Δ‑10 혹은 8Δ‑4 보다 현저히 낮은 상한이다. 또한, 모든 3⁺ 차수 정점이 숲을 이루는 그래프에 대해 별 선택 과정을 더욱 제한적으로 수행함으로써, 색상 상한을 4Δ‑3 으로 끌어내는 추가 결과를 얻는다. 이 클래스는 최소 2‑연결 그래프와 동일한 구조적 특성을 가지므로, 최소 2‑연결 그래프에 대해서도 동일한 상한이 적용된다. 논문 말미에서는 5‑사이클이 강 색인 5 를 갖는 예시를 들어, 제시된 상한이 특정 경우에 정확히 달성됨을 보여 최적성(또는 최적에 근접함)을 강조한다. 전체 증명은 그리디 색칠 알고리즘에 기반하므로, 리스트 버전 강 색인에도 바로 확장 가능함을 언급한다.