무작위 K SAT 트리에서의 행동 분석

초록

본 논문은 정규 d-진 트리 구조에 무작위 K‑SAT 문제를 배치하고, 표면 변수들을 고정한 뒤 해의 총 개수에 대한 모든 모멘트를 정확히 계산한다. 차수 d에 따라 모멘트가 발산하거나 소멸하는 임계값을 찾고, 무한 트리 내부에서 또 다른 전이 현상이 존재함을 보인다.

상세 분석

이 연구는 K‑SAT을 전통적인 무작위 그래프 대신 정규 d‑진(각 내부 정점이 정확히 d개의 자식을 갖는) 루트 트리 위에 정의한다. 표면(리프) 변수들을 고정함으로써 전체 변수 수 N이 트리 깊이 n에 비례하도록 설정하고, 각 함수 노드(클라우스)는 K개의 변수와 연결된 OR 절을 나타낸다. 저자들은 먼저 해의 총 개수 Z_R(L,n)을 확률 변수로 두고, 루트가 0 혹은 1을 취할 때 각각 F_R(n), G_R(n)으로 분리한다. 이때 각 클라우스가 루트 변수를 만족시키는지 여부에 따라 하위 서브트리들의 해 개수가 곱해지는 형태의 재귀식을 도출한다.

첫 번째 모멘트 ⟨Z⟩는 각 절이 독립적으로 만족될 확률 (2^K‑1)/2^K 를 이용해 간단히 ( (2^K‑1)/2^K·d/2 )^N 로 얻는다. 여기서 임계값 d_c = -log 2 / log(1‑2^{-K}) 가 등장하며, d > d_c이면 평균 해 개수가 지수적으로 증가하고, d < d_c이면 감소한다. 이는 무작위 그래프의 평균(annealed) 해 개수와 동일한 형태이므로, 트리 모델이 전형적인 평균‑성질을 그대로 보존함을 확인한다.

두 번째 모멘트 ⟨Z^2⟩는 F_R^2, F_R·G_R 등 두 종류의 평균을 동시에 다루어야 하므로, r_n = ⟨F·G⟩/⟨F^2⟩ 라는 비율을 도입해 단일 재귀식 r_n =