3‑SAT 해의 클러스터와 고정 변수: 백색화와 장거리 좌절의 엔트로피 분석

초록

본 논문은 무작위 3‑SAT 공식의 한 만족 해를 시작점으로, 단일 변수 플립을 통해 도달 가능한 해들의 클러스터를 정의한다. 클러스터 내에서 변수가 고정되는 두 메커니즘(백색화에 의한 고정 코어와 장거리 좌절)을 구분하고, 백색화 알고리즘으로 고정 코어를 탐지한다. 장거리 좌절은 탐지가 어려워 엔트로피 기반 belief‑propagation(BP) 알고리즘이 수렴하지 못하게 만든다. BP 수렴을 위해 백색화 결과에 따라 극소수 변수만 외부 고정하면 수렴한다. 엔트로피 계산을 통해, 임계 밀도 근처의 대규모 무작위 3‑SAT에서 Survey‑Propagation(SP)이나 WalkSAT이 찾은 해는 가장 큰 클러스터에도, 가장 풍부한 클러스터에도 속하지 않음을 보인다. 이는 단일 클러스터 내부에 추가적인 커뮤니티 구조가 존재할 가능성을 시사한다.

상세 분석

이 연구는 무작위 3‑SAT 공식의 해 공간을 ‘클러스터’라는 연결 그래프로 형식화한다. 클러스터는 두 해가 단 하나의 변수 값을 바꾸는 단일 스핀 플립으로 연결될 때 형성되며, 같은 클러스터 내 모든 해는 연속적인 플립 경로로 서로 변환 가능하다. 클러스터 내에서 변수가 모든 해에서 동일한 값을 갖는 경우를 ‘고정 변수’라 정의하고, 고정 메커니즘을 두 가지로 구분한다. 첫 번째는 ‘고정 코어’ 형성으로, Parisi의 백색화(whitening) 절차를 통해 식별된다. 백색화는 초기 해에서 두 개 이상의 변수에 의해 만족되는 절을 흰색으로 표시하고, 흰색 절에만 연결된 변수들을 순차적으로 흰색으로 전파한다. 최종적으로 흰색이 되지 않은 변수는 어떠한 단일 플립으로도 해를 유지할 수 없으므로 고정된다. 이 과정은 변수 순서에 무관하게 동일한 결과를 보장한다. 두 번째 메커니즘은 ‘장거리 좌절(long‑range frustration)’이다. 백색화만으로는 완전히 흰색이 된 해라도, 서로 멀리 떨어진 비흰색 변수들 사이에 논리적 충돌이 존재하면 추가적인 고정이 발생한다. 이러한 좌절은 지역 탐색으로는 드러나지 않으며, 엔트로피 기반 belief‑propagation(BP) 알고리즘이 수렴하지 못하게 만든다. 저자들은 BP가 수렴하려면 백색화 결과에 따라 전체 변수의 극히 일부(백색화가 식별한 변수)를 외부 고정시켜야 함을 실험적으로 확인했다.

엔트로피 계산은 ‘엔트로피 캐비티 방법(entropic cavity method)’을 이용한다. 초기 조건을 백색화된 해로 설정하고, 제로 에너지 BP 방정식(σ‑전파와 메시지 업데이트)을 반복한다. 수렴 시 얻어지는 자유 에너지에서 엔트로피를 추출한다. 결과는 기존 평균장(mean‑field) 이론과 일치하며, 특히 식(5)로 제시된 비흰색 변수 비율 ρₙw에 대한 예측이 실험적 데이터와 매우 근접한다.

실험에서는 두 종류의 공식 집합을 사용한다. ‘type‑A’는 절마다 금지 패턴을 균등하게 무작위 선택한 전형적인 무작위 3‑SAT이며, α=4.20~4.25 구간에서 N=10⁶ 규모의 인스턴스를 생성하고 SP와 WalkSAT으로 다섯 개의 만족 해를 얻었다. ‘type‑B’는 사전에 지정된 플랜트 해(모든 변수 +1)를 만족하도록 절을 구성한 공식이다. type‑B에서는 플랜트 해를 초기 조건으로 할 때 BP가 빠르게 수렴하지만, SP나 WalkSAT이 제공한 해를 초기 조건으로 하면 수렴에 실패한다. 이는 플랜트 해와 SP/WalkSAT 해가 서로 다른 고정 코어와 장거리 좌절 구조를 가지고 있음을 의미한다.

결과적으로, 임계 밀도 αₛ 근처에서 SP와 WalkSAT이 찾은 해는 전체 해 공간에서 가장 큰 엔트로피를 갖는 클러스터에도, 가장 많은 해를 포함하는 클러스터에도 속하지 않는다. 이는 ‘클러스터 내부에 또 다른 커뮤니티 구조가 존재한다’는 새로운 시각을 제공한다. 고정 코어와 장거리 좌절이 결합된 복합 고정 메커니즘은 기존의 평균장 이론이 포착하지 못한 미세 구조를 드러내며, 향후 알고리즘 설계와 복잡도 이론에 중요한 함의를 가진다.