최대 차수 3 그래프의 파싱머니 엣지 컬러링 연구

초록

본 논문은 최대 차수가 3인 연결 그래프에 대해, 알버트슨‑하스가 증명한 “γ ≥ 13/15”라는 파싱머니 엣지 컬러링 하한을 일반화한다. 5개의 정점으로 이루어진 예외 그래프를 제외하고는 모든 그래프가 이 하한을 만족하며, 극한 사례는 페테르센 그래프와 또 하나의 그래프 두 개뿐이다. 핵심 도구는 δ‑최소 엣지 컬러링의 구조적 특성이다.

상세 분석

논문은 먼저 Δ=3인 그래프 G에 대해 색깔 집합 {α,β,γ,δ}를 사용한 엣지 컬러링 φ를 정의하고, δ 색을 가능한 적게 쓰는 경우를 δ‑minimum 컬러링이라 명명한다. δ‑minimum 컬러링은 언제나 존재하며, Lemma 1에 의해 임의의 δ‑improper 컬러링을 δ‑minimum 컬러링으로 변형할 수 있음을 보인다. 이를 바탕으로 s(G)=|E_φ(δ)|를 정의하고, s(G)와 그래프의 구조 사이의 관계를 여러 명제와 보조정리로 탐구한다.

Theorem 4는 δ‑minimum 컬러링에서 δ‑색이 사용된 각 엣지를 A_φ, B_φ, C_φ 중 하나에 배정하고, 각각에 대응하는 홀 사이클 C_A(e), C_B(e), C_C(e)를 구성한다. 이 사이클들은 서로 정점이 겹치지 않으며, 각 사이클은 δ‑색 엣지 하나와 α‑β, β‑γ, α‑γ가 교대로 색칠된 경로(또는 짧은 사이클)로 이루어진다. 특히, 두 사이클이 서로 다른 집합에 속하면 최소 거리 2를 유지하고, 하나의 사이클에 속한 세 개 이상의 δ‑엣지는 최대 4개의 엣지만을 포함한다는 제한을 얻는다. 이러한 구조적 제약은 δ‑색이 차지하는 비율 s(G)/m을 정확히 파악하는 데 핵심이 된다.

Lemma 5와 Lemma 6은 정점 차수가 2인 경우와 그래프가 3‑regular(즉, cubic)인 경우에 대한 추가적인 제약을 제공한다. 특히, cubic 그래프가 spanning 홀 사이클 집합 C를 가질 때, 두 사이클 사이의 거리 혹은 연결 방식이 제한되어, 결국 δ‑색이 차지하는 비율을 낮출 수 없음을 보인다. Lemma 7은 δ‑색 엣지가 서로 인접할 경우 그 주변 구조가 2K₂ 형태임을 보여, δ‑색 엣지들의 배치를 강하게 제한한다.

이러한 구조적 결과를 바탕으로 Section 3에서는 두 가지 주요 응용을 제시한다. 첫 번째는 Payan이 제시한 “강한 매칭” 개념과 연결된 결과로, Theorem 8은 δ‑minimum 컬러링에서 δ‑색 엣지 집합이 강한 매칭이며, 각 엣지의 양 끝점이 차수 3임을 보인다. 이는 Corollary 9와 결합해, 최대 차수 3인 그래프가 적어도 s(G)개의 정점을 제거하면 3‑컬러링이 가능함을 의미한다.

두 번째 응용은 파싱머니 엣지 컬러링, 즉 전체 엣지 중 최대 비율을 3‑컬러링에 할당하는 문제이다. 정의된 γ(G)=c(G)/|E(G)|와 Lemma 10을 통해 γ(G)=1−s(G)/m임을 증명한다. 이후 Theorem 11은 그래프의 홀 girth g₀(G)를 이용해 γ(G)≥1−2/(3·g₀(G))라는 일반적인 하한을 얻는다. 특히, Petersen 그래프와 그와 동형인 또 하나의 그래프만이 γ(G)=13/15를 만족하는 극한 사례임을 보이며, 이는 Steffen의 이전 결과를 일반화한다. 마지막으로 Lemma 12, 13과 Theorem 14는 차수 1 정점 제거와 가감 가능한 삼각형 축소를 통해 γ(G)의 하한을 더욱 정밀하게 추정한다. 전체적으로 논문은 δ‑minimum 컬러링의 정교한 구조 분석을 통해, 최대 차수 3인 모든 그래프(특수 5‑정점 그래프 제외)가 γ≥13/15를 만족한다는 강력한 결론을 도출한다.