데이터 축소와 그래프 색칠 문제의 커널화 복잡도

초록

이 논문은 그래프의 구조적 변형 거리(예: 정점 삭제)로 매개변수를 잡은 q‑Coloring 문제에 대해 커널화 가능 여부를 조사한다. 저자들은 특정 그래프 클래스 F에 대해 q‑List‑Coloring의 “NO‑인스턴스”가 작은 부분그래프에 국한될 수 있으면, F + k_v 그래프에 대한 q‑Coloring이 O(k^q·g(q)) 크기의 다항 커널을 가짐을 보인다. 반대로, 경로나 트리와 같은 제한된 클래스에 대해 3‑Coloring은 다항 커널이 존재하지 않음을 증명한다. 또한 지배 집합 파라미터와 같은 비전통적 매개변수에 대한 상·하한도 제시한다.

상세 분석

논문은 먼저 Cai가 제안한 F + k_v 표기법을 활용해, “정점 삭제 거리”를 매개변수로 하는 q‑Coloring 문제를 정의한다. 여기서 F는 색칠이 다항시간에 해결 가능한 그래프 클래스이며, 입력 그래프 G는 F에 속하는 부분그래프 G − X와 크기 k=|X|인 모듈레이터 X로 구성된다. 저자들은 q‑List‑Coloring의 NO‑인스턴스가 F 내에서 g(q)개의 정점만을 포함하는 작은 증거 서브그래프로 축소될 수 있는 경우, 일반적인 커널화 스키마를 설계한다. 이 스키마는 모듈레이터 X의 모든 가능한 색 할당을 검사하고, 각 할당에 대해 남은 그래프 G − X에 대한 리스트 색칠 가능성을 리스트‑색 제한 g(q) 이하의 서브인스턴스로 검증한다. 결과적으로 전체 인스턴스는 O(k·q·g(q))개의 정점으로 압축된다. 이 방법은 특히 Cograph + k_v와 S‑Cochordal + k_v 클래스에 적용돼 다항 커널을 얻는다.

반면, 하한 결과는 커널리덕션이 불가능함을 보이기 위해 복잡도 이론의 “압축 불가능성”을 이용한다. Bölender 등(2011)의 결과를 확장해, 3‑Coloring을 트리폭 파라미터에 대해 다항 커널이 존재한다면 coNP‑complete 문제들이 디스틸레이션을 가질 수 있음을 보이며, 이는 NP⊈coNP/poly라는 가정 하에 모순이다. 저자는 이를 더 강하게 만들어, 단일 경로에 대한 정점 삭제 거리(즉, Path + k_v) 파라미터에서도 다항 커널이 존재하지 않음을 증명한다. 이 하한은 “NO‑인스턴스가 최소 t개의 정점으로 구성된 불가약 인스턴스”라는 개념을 도입해, 커널 크기가 O(k^{t−ε}) 이하가 될 경우 NP⊆coNP/poly가 성립한다는 논리적 귀결을 만든다.

또한, 지배 집합(Dominating Set) 파라미터에 대한 특수한 결과도 제시한다. 지배 집합 X가 주어지면 3‑Coloring을 O*(3^{|X|}) 시간에 해결할 수 있음을 보이며, 반대로 지배 집합 크기로 매개변수화한 경우 다항 커널이 존재하지 않음을 증명한다. 그러나 “Dominated + k_v”(각 연결 성분에 지배 정점이 존재하는 그래프) 클래스에 대해서는 3‑Coloring에 대한 다항 커널을 설계한다. 이는 지배 구조가 충분히 강할 때만 커널화가 가능함을 시사한다.

전반적으로 논문은 구조적 파라미터와 리스트 색칠의 증명 복잡도 사이의 깊은 연관성을 밝혀, 어떤 파라미터는 다항 커널을 허용하고, 어떤 파라미터는 복잡도 가정 하에 불가능함을 체계적으로 구분한다.