공간 결합 제약 만족 문제에서 임계값 포화 현상

본 논문은 제한된 윈도우로 공간적으로 결합된 K‑SAT 및 Q‑컬러링 CSP 체인에 대해 설문 전파(SP)와 보간법을 이용해 임계값 구조를 분석한다. 결합이 무한히 길어질 경우 SAT‑UNSAT 전이점은 개별 모델과 동일하지만, SP 임계값과 동적 임계값은 윈도우 크기가 커짐에 따라 개별 모델의 전이점으로 포화한다. 클러스터링 단계는 유지되며, 이러한 현상은 알고리즘적 하한을 강화할 가능성을 제시한다.

저자: S. Hamed Hassani, Nicolas Macris, Rudiger Urbanke