b‑완전 그래프의 완전한 특징화

초록

b‑색칠은 각 색 클래스에 해당 색을 대표하는 정점이 다른 모든 색 클래스와 인접하도록 하는 색칠이며, b‑채색수는 가능한 최대 색 수이다. 그래프가 모든 유도 부분그래프에서 b‑채색수와 색수(χ)가 일치하면 b‑완전이라 한다. 본 논문은 22개의 특정 그래프를 금지된 인듀스 서브그래프 목록으로 제시함으로써 b‑완전 그래프를 정확히 특징화한다. 이 결과는 b‑완전 그래프를 다항시간에 인식하고, 최적 색칠을 수행할 수 있는 알고리즘을 바로 얻는다는 의미이다.

상세 분석

b‑색칠은 기존의 정점 색칠 개념을 강화한 것으로, 각 색 클래스에 ‘대표 정점’이 존재해 모든 다른 색 클래스와 인접해야 한다는 추가 제약을 둔다. 이때 가능한 색의 최대 개수를 b‑채색수 φ(G)라 정의한다. b‑완전 그래프는 모든 유도 부분그래프 H에 대해 φ(H)=χ(H)인 그래프군으로, 이는 색칠 최적화 문제에서 구조적 강점을 제공한다. 기존 연구에서는 트리, 완전 이분 그래프, 일부 특수 그래프 클래스가 b‑완전임을 보였으나, 일반 그래프에 대한 완전한 특징화는 부재했다. 본 논문은 이러한 공백을 메우기 위해 22개의 금지 그래프 목록을 제시한다. 이 목록은 작은 사이클, 완전 그래프, 그리고 특정한 결합 구조를 포함하며, 각각이 b‑완전성 위반의 최소 예시이다. 저자들은 최소 반증 그래프를 가정하고, 동질 집합(homogeneous set)과 분리 집합(separating set) 이론을 활용해 구조적 모순을 도출한다. 특히, 금지 그래프 중 다수는 ‘거짓 b‑대표 정점’이 존재하게 만드는 패턴을 가지고 있어, 이를 제거하면 그래프는 자연스럽게 b‑채색수와 색수가 일치한다는 점을 증명한다. 이와 같은 귀류법과 구성적 분석을 통해, 금지 그래프가 존재하지 않을 경우 그래프는 반드시 b‑완전임을 보인다. 결과적으로, b‑완전 그래프는 금지 그래프가 없는 그래프와 동치임을 보이며, 이는 다항시간 인식 알고리즘을 설계하는 데 직접적인 기반이 된다. 또한, 금지 그래프 검증을 통해 최적 색칠을 수행하는 절차를 제시함으로써, b‑완전 그래프에 대한 색칠 문제를 효율적으로 해결할 수 있다.