다중값 CSP를 위한 PPZ 알고리즘 분석

초록

본 논문은 (d, k)-CSP 문제에 대한 PPZ 알고리즘을 일반화하고, 성공 확률을 하한으로 제공한다. 핵심은 변수별 허용값 집합의 크기를 분석하고, 최악의 경우(유일 만족 할당)에서의 성공 확률을 정확히 추정하기 위해 서브모듈러 함수에 대한 상관 부등식을 이용한 것이다. 결과적으로 알고리즘은 2⁻ⁿ·G(d,k) 의 성공 확률을 보장하며, 기존의 Schöning 무작위 워크보다 큰 d에 대해 우수함을 보인다.

상세 분석

이 논문은 기존의 PPZ 알고리즘을 Boolean SAT(k‑SAT)에서 d‑값을 갖는 일반 CSP로 확장한다. 변수는