將任何命題公式轉換為CNF格式的復雜性

Question

將任何命題公式轉換為CNF格式的復雜性是多少？ 這是NP完全問題嗎？

Answer 1

將一般Well-Formed公式轉換為等效 CNF的標准算法具有指數運行時間 ，因為在最壞的情況下，n子句WFF等效於2 ^ n子句CNF 。

但是，您可以在多項式時間內將任意布爾公式轉換為非嚴格等效的CNF ，但僅在布爾公式可滿足時才可滿足 。 這是用於證明3CNF是NP完全的標准還原，使得更一般的SAT是NP完全的。 看到這里 。