소지름이 작은 이분 그래프의 색칠 문제

초록

본 논문은 지름이 제한된 이분 그래프에서 k‑리스트 색칠, k‑프리컬러링 연장, 그리고 서브젝트(전사) 동형 사상 문제들의 복잡성을 체계적으로 조사한다. 대부분의 경우 NP‑완전성을 증명하고, 특히 지름 3인 경우에 남은 List 3‑Coloring과 3‑Precoloring Extension 문제를 제외하고는 거의 완전한 분류를 제시한다. 또한 Surjective C₆‑Homomorphism 문제를 지름 4 이하의 이분 그래프에서 새로운 간단한 증명으로 NP‑완전함을 보이며, 이를 이용해 3‑Biclique Partition과 3‑Fall Coloring 문제의 NP‑완전성을 얻는다.

상세 분석

논문은 먼저 k‑List Coloring, List k‑Coloring, k‑Precoloring Extension (k‑PreExt) 세 가지 기본 색칠 문제를 정의하고, 입력 그래프가 이분 그래프이며 지름이 d≤4인 경우에 대한 복잡도 경계를 제시한다. 기존 연구에서 k≥3에 대해 k‑List Coloring이 전역적으로 NP‑완전임이 알려져 있었지만, 지름 제한이 추가될 때 어떤 경우에 다항시간 알고리즘이 존재할 수 있는지에 대한 질문은 남아 있었다. 저자들은 다음과 같은 주요 결과를 얻었다.

1. NP‑완전성 전파: 지름이 4 이하인 이분 그래프에 대해 3‑PreExt, Edge‑Surjective C₆‑Homomorphism, Surjective C₆‑Homomorphism이 모두 NP‑완전임을 보였다. 특히 Surjective C₆‑Homomorphism에 대한 기존 증명(Vikas, 2017)은 정점 수가 O(n²)인 복잡한 구조를 사용했지만, 본 논문은 선형 개수의 보조 정점만을 도입하는 보다 간결한 구성으로 동일한 결과를 얻었다.

2. Retract to C₆의 강화: C₆에 대한 리트랙트 문제를 “Y‑측 정점이 X‑측을 지배하고, Y‑측 모든 정점이 거리 ≤2 내에 다른 Y‑측 정점과 연결된다”는 추가 제약 하에서도 NP‑완전함을 증명했다. 이 강화된 결과는 이후 3‑PreExt의 지름 4 NP‑완전성 증명에 핵심적으로 활용된다.

3. 완전한 분류: 지름 d와 색 수 k에 대한 조합표를 제시한다. 대부분의 (k,d) 쌍에 대해 NP‑완전성을 입증했으며, 현재 남아 있는 미해결 케이스는 오직 (k=3, d=3)인 List 3‑Coloring과 3‑PreExt뿐이다. 이는 지름 3인 이분 그래프에서 3‑색칠 문제의 복잡도가 아직 미정임을 의미한다.

4. 알고리즘적 기여: 완전 이분 그래프(K_{a,b})에 대해 k‑PreExt를 선형 시간에 해결하는 알고리즘을 제시했다. 기존에는 P₅‑free 그래프나 (rP₁+P₅)‑free 그래프에 대해 XP‑시간 알고리즘만 알려져 있었으나, 여기서는 k를 파라미터로 하는 FPT 알고리즘을 제공한다.

5. 3‑Biclique Partition과 3‑Fall Coloring: 이전 연구(Fleischner et al., 2009)에서 제시된 3‑Biclique Partition의 NP‑완전성 증명에 오류가 있음을 지적하고, Surjective C₆‑Homomorphism 결과를 이용해 올바른 증명을 제공한다. 또한, 3‑Fall Coloring 문제를 지름 4 이하의 이분 그래프에서 NP‑완전함을 보이며, 만약 지름 3에서 NP‑완전함이 증명된다면 리스트 색칠 문제들의 완전한 이분류가 가능함을 논증한다.

전반적으로 이 논문은 “작은 지름”이라는 구조적 제한이 색칠 및 동형 사상 문제의 난이도에 미치는 영향을 정밀히 분석하고, 여러 문제 사이의 복잡도 전이 관계를 명확히 함으로써 그래프 이론과 알고리즘 설계 분야에 중요한 통찰을 제공한다.