b 완전 코디얼 그래프에 관한 연구

초록

b-채색수는 그래프 G에 대해 색 클래스가 k개인 색칠이 존재할 때 가능한 가장 큰 정수 k를 말한다. 여기서 각 색 클래스는 그 클래스에 속한 어떤 정점이 다른 모든 색 클래스에 속한 정점과 인접하도록 요구한다. 본 논문에서는 모든 유도 부분그래프에 대해 b-채색수가 색채수와 일치하는 코디얼 그래프들의 특징을 규명한다. 즉, 코디얼 그래프 G가 어떤 유도 부분그래프 H에 대해서도 χ(H)=b(H)를 만족하는 조건을 완전하게 기술한다.

상세 요약

b-채색수(b‑chromatic number)는 전통적인 색채수(χ)와 달리 각 색 클래스에 “대표 정점”(b‑vertex)이 존재하도록 하는 제약을 추가한다. 대표 정점은 자신의 색 클래스 외에 모든 다른 색 클래스에 적어도 하나씩 인접해야 하므로, 색의 수가 늘어날수록 그래프 구조에 더 강한 연결성이 요구된다. 이러한 특성 때문에 b‑채색수는 일반적인 색채수보다 크거나 같으며, 두 수가 일치하는 경우를 “b‑완전(b‑perfect)”이라고 부른다.

코디얼 그래프는 사이클이 없는 완전 그래프와 트리 구조를 포함하는 넓은 그래프 클래스이며, 완전 그래프와 트리 모두가 b‑완전임은 잘 알려져 있다. 그러나 코디얼 그래프 전체가 b‑완전인지 여부는 그래프의 구체적인 클리크와 최소 절단 구조에 따라 달라진다. 본 논문은 이러한 미묘한 차이를 포착하기 위해 다음과 같은 두 가지 핵심 아이디어를 도입한다.

첫째, 코디얼 그래프는 완전 순서(Perfect Elimination Ordering, PEO)를 가짐으로써 각 정점이 그 이후에 등장하는 정점들의 클리크에 포함되는 특성을 이용한다. 저자들은 PEO를 기반으로 “b‑대표 정점 후보 집합”을 정의하고, 이 후보 집합이 모든 색 클래스에 걸쳐 동시에 존재할 수 있는지를 판별하는 알고리즘적 절차를 제시한다. 이 과정에서 각 정점의 이웃 집합이 얼마나 다양한 색 클래스를 커버하는지가 핵심 판단 기준이 된다.

둘째, 유도 부분그래프에 대한 귀류법을 적용한다. 만약 어떤 유도 부분그래프 H에서 χ(H)≠b(H)라면, H는 반드시 특정 형태의 “b‑불균형 구조”(예: 두 개 이상의 클리크가 겹치면서도 대표 정점이 공유되지 못하는 구조)를 포함한다는 것을 증명한다. 이러한 구조는 코디얼 그래프의 PEO 특성과 충돌하므로, 전체 그래프 G가 b‑완전이 되기 위한 충분조건은 이러한 불균형 구조가 전혀 존재하지 않는 것과 동등함을 보인다.

결과적으로, 저자들은 “모든 최소 클리크가 서로 포함 관계에 있거나 완전히 독립적이다”는 조건과 “각 클리크에 속한 정점 중 최소 하나가 그 클리크 외의 모든 인접 클리크와 연결된다”는 조건을 동시에 만족하는 코디얼 그래프가 정확히 b‑완전 코디얼 그래프임을 정리한다. 이 정리는 기존에 알려진 트리와 완전 그래프의 특수 경우를 일반화하며, 알고리즘적으로는 O(n+m) 시간 안에 그래프가 b‑완전인지 여부를 판단할 수 있는 절차를 제공한다.

이러한 결과는 색채 이론과 구조적 그래프 이론 사이의 교차점을 명확히 함으로써, 색채 최적화 문제에서 b‑채색수라는 보다 강력한 매개변수를 활용할 수 있는 이론적 토대를 마련한다. 특히, 네트워크 설계, 스케줄링, 그리고 자원 할당 문제에서 색채 제약이 강하게 작용하는 상황에 대해 보다 정밀한 해석과 효율적인 알고리즘 설계가 가능해진다.