안정성 두 그래프의 b‑컬러링: 난이도와 효율적 알고리즘

초록

본 논문은 안정성(독립집합 최대 크기)이 2인 그래프, 즉 삼각형이 없는 그래프의 보완인 co‑bipartite와 co‑tree, tree‑cograph 등에서 b‑컬러링 문제의 구조적 특성을 밝히고, 전자는 NP‑완전임을, 후자는 다이나믹 프로그래밍으로 다항시간에 해결할 수 있음을 보인다. 또한 이러한 그래프들은 b‑연속(b‑continuous)과 b‑단조(b‑monotonic) 성질을 만족한다는 새로운 이론적 결과를 제시한다.

상세 분석

논문은 먼저 안정성 ≤2인 그래프, 즉 삼각형이 없는 그래프의 보완을 연구 대상으로 삼는다. 이 클래스는 모든 bipartite 그래프의 보완을 포함하며, 구조적으로는 매칭과 깊은 연관이 있다. 핵심 정리인 Lemma 2는 “색이 같은 두 정점을 연결하는 간선들의 집합이 강하게 최대 매칭(strongly maximal matching)일 때와 그때만 b‑컬러링이 된다”는 것을 보이며, 매칭의 증강 경로(augmenting path) 길이가 1 또는 3인 경우가 b‑컬러링을 방해한다는 구체적인 조건을 제시한다. 이를 기반으로 Theorem 4는 강하게 최대 매칭을 한 단계씩 늘리는 과정이 다항시간에 구현될 수 있음을 보이고, 결과적으로 안정성 ≤2인 모든 그래프가 b‑연속임을 증명한다.

b‑단조성(b‑monotonicity) 역시 매칭 관점에서 증명된다. 정점 하나를 삭제했을 때 강하게 최대 매칭의 크기가 최대 1만큼 감소한다는 사실을 이용해, χ_b(G) ≥ χ_b(G−v) 임을 보인다(Theorem 6).

복잡도 측면에서는 co‑bipartite 그래프에서 b‑컬러링을 결정하는 문제가 NP‑complete임을 보인다. 이를 위해 최소 최대 매칭(minimum maximal matching) 문제의 NP‑complete성을 bipartite 그래프에 제한한 결과(Yannakakis & Gavril)와의 정규 변환을 사용한다. 변환 과정에서 각 원래 간선 uv에 대해 8개의 보조 정점과 9개의 보조 간선을 추가해 새로운 bipartite 그래프 H_G를 만든다. H_G에서 강하게 최대 매칭의 크기를 최소화하는 것이 원래 그래프의 b‑컬러링 존재 여부와 일대일 대응함을 증명함으로써 NP‑hardness를 확보한다(Theorem 7).

마지막으로, co‑tree와 tree‑cograph에 대해선 구조적 분해를 이용한 동적 계획법을 설계한다. co‑tree는 트리의 보완이므로 트리 분해와 매칭의 크기 정보를 테이블에 저장해 하향식으로 최적 매칭을 구한다. tree‑cograph는 cograph와 트리의 합성 구조이므로, cotree와 modular decomposition을 결합해 각 모듈마다 가능한 매칭 크기와 색상 수를 합성한다. 이 알고리즘은 O(n³) 이하의 시간 복잡도로 χ_b를 정확히 계산하며, 앞서 증명한 b‑연속·b‑단조 성질도 자연스럽게 따라온다.

전체적으로 논문은 매칭 이론을 b‑컬러링 문제에 정교히 연결함으로써, 그래프 이론과 알고리즘 복잡도 사이의 새로운 교량을 제공한다. 특히 안정성 두 그래프에서 b‑연속·b‑단조성을 일반화한 점과, NP‑hard 영역과 다항시간 해결 가능한 영역을 명확히 구분한 점이 학문적·실용적 의의를 갖는다.