리스트 H‑컬러링 근사계산 복잡도 삼분법

초록

본 논문은 그래프 H의 구조에 따라 리스트 H‑컬러링을 근사적으로 셈하는 문제의 복잡도를 세 가지 클래스로 완전하게 구분한다. H가 무반사 이분 그래프이거나 완전 반사 그래프이면 다항시간에 해결 가능하고, H가 무반사 이분 순열 그래프 또는 반사 적절 구간 그래프이면 #BIS와 동등한 중간 복잡도를 가진다. 그 외의 모든 H에 대해서는 #SAT에 AP‑환원 가능하므로 FPRAS는 존재하지 않는다. 또한 최대 차수가 6 이하인 입력 그래프에 대해서도 동일한 결과가 유지된다.

상세 분석

논문은 먼저 리스트 H‑컬러링(#List‑H‑Col) 문제를 정의하고, 정확한 셈에 대한 기존 결과(Dyer‑Greenhill)와 근사 셈에 필요한 복잡도 이론(FPRAS, AP‑reduction, #SAT, #BIS)을 정리한다. 핵심은 H의 구조를 두 개의 상속 그래프 클래스—무반사 이분 순열 그래프(bipartite permutation graph)와 반사 적절 구간 그래프(reflexive proper interval graph)—로 구분함으로써 근사 복잡도를 삼분법으로 나누는 것이다.

(i) H가 무반사 완전 이분 그래프이거나 반사 완전 그래프이면, 리스트 제약이 있더라도 각 정점의 색 선택이 독립적으로 이루어지므로 전체 셈을 다항시간에 계산할 수 있다. 이는 기존의 #H‑Col 정확 셈 결과와 일치한다.

(ii) 그 외에 H가 무반사 이분 순열 그래프이거나 반사 적절 구간 그래프이면, 저자들은 #BIS(이분 그래프의 독립 집합 근사계산)와 AP‑동등성을 보인다. 이를 위해 그래프 이론적 특성(예: 순열 그래프의 비교 가능 순서, 구간 그래프의 인터벌 표현)을 이용해 리스트 H‑컬러링 인스턴스를 #BIS 인스턴스로 변환하는 다항시간 감소를 구성한다. 이때 #BIS가 아직 중간 복잡도로 알려져 있어, 해당 경우는 FPRAS가 존재하지 않을 가능성이 높지만 #SAT 수준의 난이도는 아니다.

(iii) 위 두 경우에 속하지 않는 모든 H에 대해서는 #SAT에 AP‑환원함을 보인다. 여기서는 H가 포함하는 복잡한 구조(예: K′₂와 같은 유도 서브그래프)를 리스트 제약을 통해 추출하고, 이를 이용해 #SAT 인스턴스로 변환한다. 결과적으로 #List‑H‑Col은 #SAT와 동등한 난이도를 가지며, NP=RP가 아니면 FPRAS는 존재하지 않는다.

또한 저자들은 차수 제한 Δ≥6인 경우에도 동일한 삼분법이 유지된다는 점을 증명한다. 이는 차수 제한이 있더라도 위의 변환이 차수 증가 없이 수행될 수 있음을 의미한다. Δ가 3~5인 경우는 아직 완전히 해결되지 않았으며, 특정 H에 대해 FPT‑AS가 존재함을 예시로 제시한다.

마지막으로, 기존의 가중 리스트 컬러링 복잡도 이론과 달리, 이 논문은 보편적인 대수적 도구(멀티모르피즘 등)를 사용하지 않고 그래프 이론적 성질과 직접적인 감소를 통해 결과를 얻었다는 점이 특징이다.