무작위 제약 만족 문제에서 변수 동결 현상의 분석

본 논문은 무작위 제약 만족 문제(CSP)의 해 집합이 제약 비율(α) 혹은 평균 차수(c)에 따라 겪는 구조적 변화를 심도 있게 분석한다. 서론에서는 CSP의 전통적인 계산 복잡도 분류와 무작위 인스턴스의 ‘전형적’ 난이도 개념을 소개하고, 특히 XOR‑SAT, k‑SAT, q‑coloring 세 가지 모델을 연구 대상으로 설정한다. 이들 모델은 각각 부울 변수, 이진 선형 방정식, 그리고 그래프 색칠이라는 서로 다른 물리적/수학적 구조를 갖지만, 모두 제약이 증가함에 따라 해 집합이 급격히 변한다는 공통점을 가진다. 첫 번째 주요 현상은 ‘클러스터링 전이’이다. α가 낮은 구간에서는 해가 하나의 거대한 클러스터에 모여 있지만, α가 특정 임계값 α_d를 넘어서면 해가 여러 개의 서로 멀리 떨어진 클러스터로 분리된다. XOR‑SAT의 경우, 이 전이는 2‑코어(percolation of the 2‑core)와 정확히 일치한다. 클러스터 내부에서는 변수들이 자유롭게 변할 수 있지만, 클러스터 간에는 큰 해밍 거리 차이가 존재한다. 두 번째 현상은 ‘동결 전이’(freezing transition)이다. 클러스터링 전이와는 별도로, 어느 정도 제약이 쌓이면 각 클러스터 안에서도 일부 변수들이 모든 해에서 동일한 값을 갖게 된다. 이러한 변수를 ‘동결 변수’라 부른다. 논문은 동결 전이가 α_f∈