무작위 K‑SAT 문제의 해 공간 이질성: 이론과 시뮬레이션

초록

**
무작위 K‑SAT에서 제약 밀도 α가 임계값 α_cm에 도달하면 해 공간이 균질에서 이질로 전이한다. 이때 해들은 지수적으로 많은 ‘커뮤니티’로 나뉘며, α가 더 커져 α_d에 이르면 커뮤니티가 완전히 분리돼 클러스터가 된다. 저자는 복제 대칭성(CRS) 방법으로 α_cm을 계산하고, 해 공간 무작위 보행과 SEQSAT 알고리즘 실험을 통해 커뮤니티 존재와 그 동역학적 영향을 확인한다.

**

상세 분석

**
본 논문은 무작위 K‑SAT 문제의 해 공간 구조를 미시적으로 탐구한다. 기존 연구에서는 α가 클러스터링 전이점 α_d를 초과하면 해 공간이 여러 클러스터(또는 Gibbs state)로 분리된다고 알려졌지만, 저자들은 그보다 낮은 α_cm에서 이미 해 공간 내부에 ‘커뮤니티’라 불리는 미세 구조가 형성된다고 주장한다. 이를 위해 먼저 해‑해 겹침(overlap) q를 정의하고, 겹침값별 해 쌍의 수 N(q)를 지수적 규모의 엔트로피 밀도 s(q)=N⁻¹ln N(q)로 표현한다. s(q)의 볼록성 여부가 해 공간의 균질성 여부를 판단하는 핵심 지표가 된다.

복제 대칭성(CRS) 캐비티 방정식을 이용해 자유 엔트로피 φ(x)=max_q