M분할 샌드위치 문제의 복잡도 완전 분류

초록

이 논문은 반사적 완전 2‑색 그래프에 의해 정의되는 CSP의 구조적 분류를 제시하고, 이를 이용해 행렬 분할 문제와 그 샌드위치 변형의 P와 NP‑complete를 다항시간 안에 판별할 수 있는 알고리즘을 제공한다.

상세 분석

논문은 먼저 행렬 M을 0,1,* 로 채운 대칭 행렬로 보고, 이를 2‑색(빨강‑파랑) 완전 그래프로 변환한다. 이 변환을 통해 M‑분할 문제는 그래프 ν(G)와 M 그래프 사이의 동형사상 존재 여부와 동등함을 보인다. 핵심은 반사적 완전 2‑색 그래프(모든 정점 쌍에 적어도 하나의 색이 존재)에서 CSP의 복잡도를 구조적으로 구분할 수 있느냐는 질문이다. 저자들은 ‘동질 집합(homogeneous set)’ 개념을 확장한 ‘동질 연결(homogeneous concatenation)’을 정의하고, 이러한 구조가 반복적으로 적용될 때 CSP가 Datalog 로 해결 가능함을 증명한다(정리 16). 반대로, 특정 작은 2‑색 서브그래프 집합 F가 대상 그래프에 포함되면 그 그래프는 K₃을 pp‑구성(p‑pp‑construct)하게 되고, 이는 CSP가 NP‑complete임을 의미한다. 이를 위해 Siggers 멱 Sig(H)와 p‑사이클 멱 Cycₚ(H)를 도입해, Sig(H)가 특정 조건을 만족하면 K₃을 pp‑구성함을 보이고, Cycₚ(H)→H 동형사상이 존재하지 않을 경우 NP‑hardness를 확보한다. 중요한 중간 결과는 ‘교대 성분(alternating component)’ 개념으로, 교대 성분의 크기가 4 이하이면 정리 16의 충분조건에 부합하고, 초과하면 반드시 F에 포함되는 서브그래프가 존재해 NP‑complete가 된다. 최종적으로 정리 46은 반사적 완전 2‑색 그래프에 대해 “구조적 조건 A(동질 연결 가능) ⇔ CSP는 P” 그리고 “구조적 조건 B(작은 서브그래프 F 포함) ⇔ CSP는 NP‑complete”을 정확히 매핑한다. 이 분류는 다항시간 알고리즘(코릴러리 47)으로 검증 가능하므로, 임의의 2‑색 그래프에 대해 NP‑complete인 기존 결과와 대비된다. 이러한 이론적 토대를 바탕으로 저자들은 행렬 분할 문제와 그 샌드위치 변형에 대한 완전한 복잡도 분류를 도출한다. 특히, 리스트 제약이 있는 샌드위치 문제는 정리 16에 의해 다항시간 해결 가능하거나, F에 포함되는 경우 NP‑complete가 된다. 전체적으로 이 논문은 CSP 이론, 대수적 구조, 그리고 그래프 이론을 결합해 기존에 드문 일반적인 행렬 분할 클래스에 대한 효율적 알고리즘을 제공함과 동시에 복잡도 경계선을 명확히 제시한다.