위상전이와 난이도 무작위 SAT의 새로운 시각

초록

이 논문은 무작위 k‑SAT, 특히 3‑SAT에서 관찰되는 만족 가능성 급격한 감소가 진정한 위상전이인지 단순한 급격한 임계 현상인지 검토한다. 실험적으로 해의 개수가 로그정규분포를 따르고, 전체 해의 개수를 세는 카운팅 문제는 전형적인 위상전이와 같은 경향을 보이지 않음을 보여준다. 이를 통해 만족 가능성 비율이 전통적인 오더 파라미터라기보다 임계값 현상일 가능성을 제시한다.

상세 분석

논문은 먼저 무작위 3‑SAT 인스턴스들의 해의 개수를 대규모 샘플링을 통해 측정하고, 그 분포가 로그정규(log‑normal) 형태임을 확인한다. 로그정규분포는 평균이 지수적으로 증가하면서도 분산이 크게 늘어나는 특성을 가지므로, 임계 비율(clauses/variables ≈ 4.26) 근처에서도 해의 총수는 여전히 지수적 규모를 유지한다. 이는 “해가 거의 없어진다”는 직관과는 달리, 실제로는 해가 매우 적은 몇몇 인스턴스와 해가 매우 많은 다른 인스턴스가 공존한다는 것을 의미한다.

다음으로 저자는 만족 가능성(satisfiability probability, SAT‑probability)을 전통적인 위상전이의 오더 파라미터로 보는 기존 관점을 비판한다. 물리학에서 위상전이는 자유에너지의 비가역적 변곡점, 혹은 특정 관측량의 비연속적 변화와 연관된다. 그러나 SAT‑probability는 단순히 “인스턴스가 만족 가능한가”라는 이진 판단을 평균한 값에 불과하며, 그 자체가 급격히 변하는 현상은 ‘sharp threshold’라 불리는 조합론적 현상과 동일시될 수 있다.

이를 검증하기 위해 저자는 해의 총수를 정확히 세는 #SAT 문제의 평균 실행시간을 측정한다. #SAT은 #P‑완전 문제로, 이론적으로는 SAT보다 훨씬 어려운 문제이다. 실험 결과, #SAT의 평균 난이도는 임계 비율을 지나도 뚜렷한 비약적 상승을 보이지 않는다. 오히려 난이도는 인스턴스 크기와 변수‑절 수 비율에 따라 부드럽게 증가하며, 특정 ‘임계점’에서 급격히 변하지 않는다. 이는 SAT‑probability가 위상전이의 전형적인 지표가 아니라, 단순히 확률적 임계 현상을 나타내는 지표일 가능성을 뒷받침한다.

또한 논문은 로그정규분포가 나타나는 메커니즘을 무작위 절 생성 과정과 연결한다. 각 절은 k개의 변수 중 무작위로 선택되며, 변수 부호도 독립적으로 정해진다. 이러한 독립적인 선택 과정은 곱셈적 효과를 만들어내어, 로그정규분포가 자연스럽게 발생한다는 통계적 설명을 제공한다.

결론적으로, 저자는 ‘위상전이’라는 용어를 사용할 때는 물리학적 정의에 부합하는 비가역적 매크로스케일 변화가 동반되어야 함을 강조한다. 현재 무작위 SAT 연구에서 관찰되는 급격한 SAT‑probability 감소는 ‘sharp threshold’라는 조합론적 현상으로 해석하는 것이 더 타당하며, 진정한 위상전이와는 구별되어야 한다는 점을 주장한다.