다이아몬드 금지 그래프의 색칠 문제와 클리크 폭

초록

이 논문은 다이아몬드와 최대 5개의 정점을 가진 그래프 H를 동시에 금지한 (diamond, H)-free 그래프에서 색칠 문제의 복잡도를 완전하게 구분한다. H가 선형 포레스트이면 다항시간 알고리즘이 존재하고, 그 외에는 NP‑완전임을 보인다. 핵심은 (diamond, P₁+2P₂)-free 그래프의 클리크 폭이 유계임을 증명하는 것으로, 이를 위해 k‑partite 그래프의 완전한 k‑분해 기법을 도입한다. 또한 이 방법을 확장해 네 개의 새로운 (H₁,H₂)-free 클래스에 대해 클리크 폭 유계성을 얻어, 기존에 남아 있던 13개의 미해결 케이스를 8개로 줄인다.

상세 분석

논문은 먼저 색칠 문제(Colouring)의 일반적 난이도가 k=3일 때 이미 NP‑complete임을 상기하고, 제한된 그래프 클래스에서의 복잡도 분류가 중요한 연구 주제임을 강조한다. 기존 연구에서는 하나의 금지 서브그래프 H만을 고려한 경우가 완전히 해결됐지만, 두 개의 금지 서브그래프(H₁,H₂)를 동시에 금지하는 경우는 아직 많은 공백이 존재한다. 특히 다이아몬드(2P₁+P₂)를 포함하는 클래스는 구조적 제약이 강해 보이지만, 작은 사이클(C₅~C₇)의 존재가 알고리즘 설계를 복잡하게 만든다. 저자들은 이러한 어려움을 피하기 위해 (diamond, P₁+2P₂)-free 그래프가 “완전 k‑분해 가능”(totally k‑decomposable)이라는 새로운 구조적 특성을 가짐을 보인다. 이 특성은 기존의 이분 그래프에 대한 정준 분해(canonical decomposition)를 k‑partite 그래프로 일반화한 것으로, 재귀적으로 K₁ 형태로 분해될 수 있으면 클리크 폭이 2k 이하로 제한된다. 논문에서는 이 이론을 정식화하고, (diamond, P₁+2P₂)-free 그래프를 적절한 연산(삭제, 합성, 라벨 교환 등)으로 완전 k‑분해 가능한 형태로 변환함으로써 클리크 폭이 유계임을 증명한다. 클리크 폭이 유계이면, 모노이드 제2차 논리(MSO₂)로 정의 가능한 색칠 문제는 Courcelle의 정리와 그 확장에 의해 다항시간에 해결 가능하므로, (diamond, P₁+2P₂)-free 그래프에서 Colouring이 P‑시간에 풀린다. 이와 동시에 저자들은 동일한 기법을 적용해 (diamond, P₂+P₃), (K₃, P₁+2P₂), (K₃, P₁+P₂+P₃) 등 네 개의 추가적인 (H₁,H₂)-free 클래스에 대해서도 클리크 폭 유계성을 확보한다. 결과적으로 기존에 알려진 13개의 미해결 케이스 중 5개를 해결해 남은 미해결 케이스를 8개로 감소시켰다. 논문 말미에서는 H가 6개 이상의 정점을 가질 때의 색칠 문제 복잡도와 남은 클리크 폭 문제에 대한 열린 질문을 제시한다.