제한된 차수의 부울 CSP 근사계산 복잡도 완전 분류

초록

본 논문은 변수 등장 횟수가 제한된(차수 제한) 부울 CSP의 근사계산 문제를 연구한다. 차수가 6 이상인 경우, 모든 제약이 선형(affine)이면 다항시간에 정확히 해결되고, 제약이 {0},{1}와 이항 함의(implication)만으로 표현될 수 있으면 #BIS 문제와 동등함을 보인다. 그 외의 경우에는 NP=RP가 성립하지 않는 한 FPRAS가 존재하지 않는다. 차수가 낮은 경우에는 초그래프 독립집합 계수 문제와 연관된 새로운 복잡도 구간이 나타난다.

상세 분석

이 연구는 부울 CSP(제약 만족 문제)의 ‘sharp’ 버전, 즉 해의 개수를 세는 #CSP 문제를 제한된 차수 환경에서 근사적으로 계산하는 난이도를 완전하게 구분한다. 차수란 변수 하나가 전체 제약식에 몇 번 등장하는지를 의미하며, 차수가 작을수록 인스턴스가 희소(sparse)해진다. 저자들은 특히 차수 상한이 6 이상일 때 전체 언어에 대해 세 가지 상호 배타적인 복잡도 클래스를 도출한다. 첫 번째는 모든 관계가 affine, 즉 선형 방정식 형태(예: XOR)로 표현될 수 있는 경우이다. affine 관계는 가우시안 소거와 같은 선형대수적 기법으로 정확히 해의 개수를 다항시간에 계산할 수 있기에, 이 경우는 P에 속한다. 두 번째 경우는 각 관계가 {0},{1}와 이항 함의(implication)만을 이용해 구성될 수 있는 경우이다. 이러한 언어는 ‘implicative’라 불리며, 기존 연구에서 #BIS(이분 그래프의 독립집합 근사계산)와 동등함이 알려져 있었다. 저자들은 제한 차수 하에서도 #BIS와 정확히 등가임을 보이며, 이는 #BIS가 현재 알려진 가장 어려운 중간 복잡도 문제 중 하나임을 재확인한다. 마지막으로, 위 두 경우에 속하지 않는 모든 언어는 NP=RP가 성립하지 않는 한 FPRAS가 존재하지 않는다. 이는 복잡도 이론에서 흔히 사용되는 ‘no‑FPRAS unless NP=RP’ 결과와 일치하지만, 차수 제한이라는 추가 제약 하에서도 동일하게 적용된다는 점이 새롭다. 차수가 5 이하로 낮아지면 상황이 복잡해진다. 저자들은 차수 3,4,5에 대해 각각 초그래프(하이퍼그래프) 독립집합 문제와의 연관성을 밝혀, 기존 #BIS와는 다른 복잡도 구간이 존재함을 제시한다. 이러한 결과는 제한 차수 CSP가 단순히 변수 등장 횟수만 줄이면 쉽게 풀리는 것이 아니라, 제약 구조와 차수 사이의 미묘한 상호작용에 따라 전혀 다른 난이도 구간을 형성한다는 중요한 통찰을 제공한다.