P₂+P₃, C₄)‑자유 그래프의 색상 재구성 그래프와 재색가능성 완전 규명

초록

본 논문은 (P₂+P₃, C₄)‑자유 그래프에 대해 색상 재구성 그래프 Rₖ(G)의 연결성(재색가능성)을 완전히 판별하는 구조 정리를 제시한다. 또한 χ(G)보다 큰 모든 k에 대해 Rₖ(G)의 지름이 O(n²) 이하임을 보이며, 이는 그래프의 퇴화도 ρ(G) 기준의 Cereceda 추측을 해당 그래프 클래스에 대해 확인한 결과이다.

상세 분석

논문은 먼저 (P₂+P₃, C₄)‑자유 그래프의 구조를 두 경우로 나눈다. 하나는 C₆을 포함하는 경우, 다른 하나는 C₆을 포함하지 않는 경우이다. C₆을 포함하지 않을 때는 기존의 (2K₂, C₄)‑자유 그래프(즉, 의사‑분할 그래프)와 유사한 구조를 보이며, 특히 그래프가 5‑캡을 포함하지 않으면 C₅의 블로업(blow‑up) 형태가 된다. C₆을 포함하는 경우에는 새로운 그래프 클래스 H₁과 H₂를 정의하고, 이들 혹은 C₅ 블로업과 완전합(join)된 형태로 나타낼 수 있음을 보인다. 중요한 관찰은 이러한 구조에서 항상 비교 가능한 정점 쌍이 존재하거나, 그래프가 특정 블로업 형태이므로 색상 재구성 그래프가 쉽게 연결됨을 보이는 점이다.

재색가능성에 대한 핵심 정리는 다음과 같다. (P₂+P₃, C₄)‑자유 그래프 G가 위의 구조 중 하나에 해당하면, χ(G)보다 큰 모든 k에 대해 Rₖ(G)가 연결된다. 특히, 그래프가 재색가능하면 k>χ(G)일 때 Rₖ(G)의 지름이 최대 2n²임을 증명한다. 이는 기존에 알려진 “재색가능하면 지름은 O(n²)”라는 일반적인 기대와 일치하지만, 여기서는 구체적인 상수 2를 제시함으로써 강력한 결과를 얻는다.

또한, 퇴화도 ρ(G)를 이용한 Cereceda의 추측을 다룬다. 논문은 (P₂+P₃, C₄)‑자유 그래프에 대해 k>ρ(G)+1이면 Rₖ(G)의 지름이 O(n²)임을 보인다. 이는 기존에 트리, ρ(G)=2인 그래프, 그리고 의사‑분할 그래프 등에 대해 알려진 특수 경우를 일반화한 것으로, 퇴화도 기반의 상한이 이 클래스에서도 유지된다는 중요한 통찰을 제공한다.

기술적인 측면에서, 저자들은 여러 보조 정리(O₁~O₈)를 활용해 각 정점 집합(A_i, B_i, D_i, Z, T)의 인접 관계를 정밀히 분석한다. 특히, 비교 가능한 정점 쌍이 존재하면 즉시 재색가능성을 얻을 수 있음을 이용해 구조 정리를 간결히 증명한다. 또한, 블로업 구조와 완전합을 이용해 색상 전이 과정에서 한 번의 정점 색상 교체만으로도 원하는 색상 배치를 얻을 수 있음을 보이며, 이는 지름 상한을 O(n²)로 제한하는 핵심 아이디어이다.

결과적으로, 논문은 (P₂+P₃, C₄)‑자유 그래프에 대한 재색가능성 판정 문제를 완전 해결하고, 색상 재구성 그래프의 지름에 대한 강력한 상한을 제공함으로써 그래프 색상 재구성 이론에 새로운 장을 연다.