무작위 K 만족 문제의 유한 크기 스케일링과 전이 현상

초록

본 논문은 무작위 K‑만족(K‑SAT) 문제를 확률적 로컬 탐색 알고리즘으로 풀 때 나타나는 여러 상전이를 유한‑크기 스케일링(FSS) 관점에서 분석한다. 특히, 불만족 절(unsatisfied clause) 밀도를 지표로 삼아 잡음 파라미터와 제약 밀도 변화에 따른 해 가능(absorbing) 단계와 불가능(active) 단계의 전이를 명확히 구분한다. 해의 클러스터링(퍼콜레이션) 구조를 기반으로 두 가지 가능한 FSS 지수값을 제시하고, K=2,3에 대해 수치 실험으로 그 타당성을 검증한다.

상세 분석

본 연구는 무작위 K‑SAT 인스턴스에 대해 스토캐스틱 로컬 서치(SLS) 알고리즘, 특히 WalkSAT 계열을 적용했을 때 나타나는 동적 전이를 비평형 흡수상 전이(absorbing‑active transition)의 프레임워크로 재구성한다. 핵심 변수는 시간에 따라 변하는 불만족 절의 밀도 ρ(t)이며, 이는 시스템이 흡수 상태(ρ=0)로 수렴하는지, 아니면 지속적으로 활성 상태(ρ>0)를 유지하는지를 판단한다. 저자는 전이점 α_c(노이즈 η) 근처에서 ρ의 평균값 ⟨ρ⟩이 크기 N에 따라 스케일링되는 형태 ⟨ρ⟩≈N^{-β/ν⊥} f