算法概論第八章課後習題8.8

題目：在精確的4SAT(EXACT4SAT)問題中，輸入爲一組子句，每個句子都是恰好爲4個文字的析取，且每個變量最多在每個子句中出現一次。目標是求它的滿足賦值——如果賦值存在。證明精確的4SAT是NP-完全問題。 證明：首先證明4SAT與3SAT等價，4SAT子句的形式（ a1 , a2 , a3 , a4 ）,可以通過新增兩個變量來將其拆分分成兩個包含三個文字的子句:( a1 , a2 , y

>>阅读原文<<