2
Max-Sat의 다항식 시간 분해 가능 인스턴스
Max-Sat 문제는 가능한 한 많은 절을 만족시키는 CNF 공식의 할당을 찾도록 요청합니다. 더 간단한 문제 SAT의 경우 다항식 시간으로 해결할 수있는 알려진 특수한 사례가 많이 있습니다. 예를 들어, 다항식 시간에서 2-SAT를 해결할 수 있습니다. Max-Sat의 경우 2-CNF 수식의 경우에도 Max-Sat이 NP-hard이므로 상황이 다릅니다 (각 절에는 2 개의 변수 만 포함됨). …