무작위 가중 d‑CNF SAT 인스턴스의 고정‑파라미터 알고리즘

이 논문은 가중 d‑CNF SAT(WEIGHTED d‑SAT) 문제의 무작위 인스턴스에 대해, 파라미터 k와 확률 p = c·log n / n^{d‑1} (c>0) 로 생성된 공식 F_{n,p,k,d} 를 입력으로 하는 O(k²n + n^{O(1)}) 시간 알고리즘을 제시한다. 알고리즘은 “k‑동결(frozen)” 변수들을 먼저 FALSE 로 고정하고, 남은 변수들의 잔여 그래프가 로그 n 이하의 작은 연결 성분으로 분해될 경우 각 성분을 완전…

저자: Yong Gao