귀하의 의견에 따라 제 자신의 질문에 대한 답변을 제안해도 되겠습니까? 중요한 SAT의 변형은 P.
3 CNF 표현을 감안할 때 : 우리가 "문제 1"중요 SAT의 변형 부르 자 , 그것은 사실이다 F는 만족할 수 있지만, 중 어떤 조항 추가입니다 F는 이 시켰음 무엇입니까?FFF
그리고 "문제 2": 3-CNF 식 주어지면, F 가 의미하는 모든 절을 포함하고 고유 한 모델을 갖는 것이 사실 입니까?FF
3-CNF 공식 주어 집니다.F
경우 문제 2의 예 인스턴스는, 다음의 절 밖으로 F는 암시되지 F 다음에 대한 하나의 가능한 만족 할당 커버 F를 . 이러한 절을 F에 추가 하면이를 불안정하게 만듭니다. F 는 결과적으로 문제 1의 예입니다.FFFFFF
경우 문제 2의 어떤 인스턴스이며, 다음 : 사례 1 : 그것은 밖으로 조항이 존재 F 에 의해 암시 F를 . 그런 다음이 절을 F에 추가 해도 만족도가 바뀌지 않습니다. F 는 결과적으로 문제 1의 사례 가 아니다. 사례 2 : F 는 그것이 암시하지만 불만족스러운 모든 절을 포함한다. F 는 결과적으로 문제 1의 사례가 아니다. 사례 3 : F 는 암시하는 모든 절을 포함하지만 적어도 2 개의 다른 모형을 가진다. Kaveh의 의견에 따르면,«은 모델이 변수 p에 따라 다르다고 가정하고이를 포함하는 절을 추가해도 만족도가 변경되지 않습니다. » F 는 결과적으로 문제 1이 아닙니다.FFFFFFFFF
그런 다음 는 문제 1 의 예입니다. iff F 는 문제 2의 예입니다.FF
문제 2 명확 인스턴스에 대한 P의 문제 (이다, 정확히있다 IFF에 문제 2의 예 인스턴스입니다 ( NF =n(n-1)(n-2)( n삼)F 중 3 개의 절 중 어느 하나에 반대의 문자가없는 경우 –n은 변수의 개수입니다). 문제 1도 마찬가지입니다.n ( n - 1 ) ( n - 2 )삼엔