무작위 3SAT 해 공간의 군집화와 동결 현상 완전 탐색

이 논문은 무작위 3‑SAT 문제의 해 구조를 완전 탐색을 통해 정밀히 조사하고, 통계물리학에서 예측된 군집화와 동결 현상이 실제 중간 규모 인스턴스에서도 나타남을 실증한다. 먼저, 무작위 K‑SAT 인스턴스를 N개의 불리언 변수와 M개의 절(clause)로 정의하고, 제약 밀도 α=M/N을 도입한다. α가 증가함에 따라 만족 가능한 인스턴스 비율이 급격히 감소하는 만족성 전이가 존재하며, 이 전이는 이론적으로도 엄밀히 증명된 바 있다. 저자들은 N=25부터 150까지의 다양한 크기의 3‑SAT 인스턴스를 생성하고, ‘makewf’ 프로그램을 이용해 무작위 절을 배치한다. 이후 ‘relsat’라는 전수 탐색 알고리즘을 사용해 모든 만족 해를 열거한다. 각 해를 정점으로, 한 변수만 다른 해와 연결하는 그래프를 구성하고, 이 그래프의 연결 성분을 ‘군집’(cluster)이라 정의한다. 이 정의는 기존의 ‘cavity‑clusters’와 완전히 동일하지는 않지만, 대부분의 통계적 특성을 보존한다는 점을 논문은 강조한다. 군집 수 S를 로그 스케일로 정규화한 복잡도 함수 Σ(N)=log S/N을 계산하고, 이를 설문 전파(survey propagation) 방정식으로부터 얻은 비대칭 예측값과 비교한다. 결과는 α≈4.0 부근, 특히 만족성 임계점 α₍s₎≈4.267 근처에서 이론적 예측과 매우 높은 일치를 보이며, 군집화 전이점 α≈3.92에서도 군집이 존재함을 확인한다. 이는 비대칭 이론이 실제 제한된 크기의 시스템에도 적용 가능함을 시사한다. 다음으로, 해의 ‘동결(freezing)’ 현상을 조사한다. 동결은 군집 내부에서 특정 변수들이 모든 해에서 동일한 값을 갖는 현상으로, 이를 탐지하기 위해 ‘whitening’ 절차를 사용한다. whitening은 만족된 절에 속한 변수들을 ‘*’(joker)로 교체하고, 이 과정을 반복해 고정점인 whitening core를 만든다. 변수들이 *가 아닌 상태로 남아 있으면 해당 군집이 동결된 것으로 판단한다. 저자들은 절을 하나씩 무작위로 제거하면서, 모든 해가 완전 *‑전부가 되는 최소 α를 동결 전이점 α₍f₎로 정의한다. 실험 결과 α₍f₎=4.254±0.009 로, 만족성 임계점 바로 아래에 위치한다. 이 값은 현재 알려진 최적의 확률적 지역 탐색(stochastic local search) 알고리즘이 성공적으로 작동하는 최대 α와 거의 일치한다. 설문 전파(SP) 디커레이션 역시 α≈4.252에서 한계에 도달한다는 이전 연구와 일치한다. 따라서 동결된 군집이 존재하는 영역이 알고리즘적 난이도의 실질적 한계임을 강력히 뒷받침한다. 스케일링 분석을 시도했지만, 기존에 제시된 ν₍s₎≈1.5는 N≈10⁴ 수준에서만 나타나는 교차 현상이며, 실제 중간 규모(N≤150)에서는 크기 의존성이 거의 없었다. 동결 전이의 경우는 특히 크기 의존성이 미미해, 교차점이 일정하게 유지된다. 이는 동결 현상이 군집화보다 더 강인한 특성을 가지고 있음을 의미한다. 논문은 또한 전체 해 집합을 확보함으로써 Monte‑Carlo 기반 방법으로는 접근하기 어려운 정밀한 구조적 정보를 얻을 수 있음을 강조한다. 정의된 군집과 whitening core는 어떤 크기의 SAT 인스턴스에도 적용 가능하며, 실제 산업 현장의 K‑SAT 문제에 대한 연구에 새로운 방향을 제시한다. 향후 연구로는 2‑SAT와 같은 해가 매우 많은 문제, K>3인 SAT, 그리고 실제 데이터에 기반한 CSP에 대한 군집·동결 분석이 제안된다. 마지막으로, 군집화와 동결 현상이 해 자체보다 덜 민감하게 나타나는 점을 관찰했으며, 이는 이론적 모델과 실험적 관측 사이의 격차를 메우는 중요한 단서가 될 것이다.