H‑컬러링의 새로운 난이도 향상

초록

이 논문은 두 가지 주요 결과를 제시한다. 첫째, k‑색가능 그래프를 (\binom{k}{\lfloor k/2\rfloor}-1) 색으로 색칠하는 문제를 모든 (k\ge 4) 에 대해 NP‑hard임을 보이며, 기존의 선형·준지수적 차이를 지수적 차이로 개선한다. 둘째, 목표 그래프 H의 박스 복합체(topological box complex)의 위상만으로, 모든 비이분 G에 대해 “G‑색가능 → H‑컬러링” 문제(PCSP)가 NP‑hard인지 여부를 완전히 판정한다. 이를 통해 K₃ 외에도 사각형‑없는 그래프와 원형 클리크 등 새로운 H에 대한 난이도를 확보한다. 핵심 도구는 약함함수(adjoint functor)를 이용한 PCSP 간 감소와 Z₂‑대칭 위상학이다.

상세 분석

논문은 먼저 전통적인 그래프 색칠 문제를 PCSP(promise CSP) 프레임워크 안으로 일반화한다. 여기서 PCSP(G,H)는 “입력 그래프가 G‑색가능이면 YES, H‑색불가능이면 NO”를 판정하는 문제이며, G→H가 존재하는 경우에만 정의된다. 저자들은 두 종류의 ‘hardness’를 정의한다. 오른쪽‑hardness는 모든 비이분‑루프‑없는 H에 대해 PCSP(G,H)가 NP‑hard가 되는 성질이며, 왼쪽‑hardness는 모든 비이분 G에 대해 PCSP(G,H)가 NP‑hard가 되는 성질이다.

첫 번째 주요 결과는 오른쪽‑hardness와 관련된다. 저자들은 ‘arc‑graph’(또는 line‑digraph) 변환을 이용해 그래프의 색수 χ를 제어한다. 구체적으로, K₆ → K_{2k} 문제를 K₄ → K_k 문제로 로그‑공간 감소시킴으로써, K₄가 오른쪽‑hard이면 모든 K_n도 오른쪽‑hard임을 보인다. 이와 함께, Huang의 2^{Ω(k^{1/3})} 색상 하드니스 결과를 블랙박스로 사용해, 모든 n≥4에 대해 PCSP(K_n, K_{⌊n\choose⌊n/2⌋⌋−1})가 NP‑hard임을 증명한다. 이는 기존의 “2n−1 색” 하드니스보다 훨씬 강력한 지수적 격차를 제공한다. 특히 n=6에서는 2·6−1=11 색 대신 19 색으로 하드니스를 개선한다.

두 번째 주요 결과는 왼쪽‑hardness와 위상학적 특성 사이의 직접적인 연결을 제시한다. 그래프 H의 박스 복합체 |Box(H)|는 H×K₂의 텐서곱에 4‑사이클을 붙여 만든 셀 복합체이며, 자연스럽게 Z₂‑대칭(좌우 반전)을 갖는다. 저자들은 임의의 그래프 동형사상 G→H가 |Box(G)|→|Box(H)|의 Z₂‑연속사상으로 전환된다는 사실을 이용한다. 이때 |Box(H₀)|가 |Box(H)|로 Z₂‑맵을 갖는다면, H가 왼쪽‑hard이면 H₀도 왼쪽‑hard임을 증명한다(정리 2.7). K₃의 박스 복합체가 원 S¹과 동형이므로, |Box(H)|가 S¹으로 Z₂‑맵을 갖는 모든 그래프는 왼쪽‑hard이다. 이는 기존에 알려진 K₃‑hardness 결과를 일반화한 것으로, 사각형‑없는 그래프(즉, 4‑사이클을 포함하지 않는 그래프)와 원형 클리크 K_{p/q} (2<p/q) 등 새로운 무한 클래스에 적용된다.

핵심 기술은 ‘adjoint functor’를 이용한 PCPC(PCSP) 간 감소이다. 저자들은 두 PCSP 사이에 왼쪽‑함자와 오른쪽‑함자를 구성함으로써, 한 문제의 난이도가 다른 문제에 그대로 전이된다는 일반 원리를 제시한다. 이는 기존의 minion homomorphism 기반 감소와는 달리, 보다 유연하고 위상학적 구조를 활용할 수 있게 한다.

전체적으로, 논문은 (1) 색상 수에 대한 지수적 하드니스 강화, (2) 박스 복합체 위상에 기반한 왼쪽‑hardness 판정, (3) adjoint functor를 통한 일반적인 PCSP 감소라는 세 축으로 그래프 컬러링과 PCSP 이론에 중요한 진전을 제공한다.