비균일 선택을 통한 3SAT 임계값 상한 개선

초록

본 논문은 3‑SAT 임계값을 상한하는 기존의 첫 번째 순간 방법에 비균일 정보를 이용한 새로운 해 선택 기준을 도입한다. 변수별 양·음 발생 횟수와 같은 균일 정보만을 사용하던 기존 방식과 달리, 각 해마다 달라지는 비균일 정보를 활용해 해 집합을 보다 정밀하게 제한함으로써 여러 확률 모델에서 상한값을 약간이지만 확실히 낮춘다.

상세 분석

첫 번째 순간 방법은 무작위 3‑SAT 공식에서 만족 가능한 해의 기대값을 계산해, 기대값이 1보다 작아지는 파라미터 구간을 상한으로 삼는다. 전통적으로는 “모든 자유 변수에 대해 동일한 기준”을 적용해 해를 선택했으며, 이는 변수의 양·음 발생 횟수와 같은 전역적인 통계치에만 의존한다. 이러한 균일 기준은 해 공간을 과도하게 포괄하거나, 반대로 지나치게 제한해 기대값을 과대·과소 추정하는 문제를 낳는다.

논문은 이 한계를 극복하기 위해 “비균일 정보”를 도입한다. 구체적으로, 각 변수에 대해 해당 변수의 특정 리터럴이 현재 해에서 차지하는 비중, 즉 그 변수의 진리값이 주변 절에 미치는 영향력을 해마다 다르게 평가한다. 이를 위해 저자들은 변수별 가중치 함수를 정의하고, 해를 선택할 때 가중치가 높은 변수에 대해 보다 엄격한 제한을 가한다. 수학적으로는 각 해 (S)에 대해
\