최대 2-SAT는 2-SAT에서 다항식 시간을 절감 할 수 있습니까?

Question

나는 2-SAT가 다항식 시간에 솔루브 할 수 있고 2-SAT는 NP-HARD이다.

이 진술에 관한 문제가 있습니다. 최대 2-SAT는 2-SAT에서 다항식 시간이 절감됩니다.감소가 어떻게 생겼는지 설명해 주시겠습니까?나는 그것에 대한 유일한 윤이 필요하지만 증거는 아닙니다.

Answer 1

여기에 혼란이 있다고 생각합니다.MAX-2-SAT는 NP-HARD (및 그 결정 버전이 NP 완성)이며, 2-SAT는 P와 NP에도 있습니다.즉, 2-SAT는 MAX-2-SAT의 (결정 버전의 결정 버전)에서 다항식 시간이 절감됩니다.P= NP가 아니면 Converse는 true가 아닙니다.

$ \ phi $ $ m $ 절과 함께 2-sat 공식이되도록합니다. 인스턴스 $ \ phi $ 의 2-SAT (의사 결정 버전) max-2-sat to-sat to-sat을 줄이려면 단순히 여부를 확인하는 것만으로 $ m $ (즉, 모두) 수학 용기 "> $ \ phi $ 의 조항이 만족 가능합니다.