证明从CNF到DNF的转换是NP-Hard

要进行深入分析，请查看本文“关于将CNF转换为DNF”

@ A.Schulz：史蒂夫·库克（Steve Cook）论文中的原始定义使用库克归约法对其进行定义。看来这是讨论一般NP硬度en.wikipedia.org/wiki/NP-hard

CNF <-> DNF转换不是决定，必须将其转换为语言。它更多的是具有输入和输出的功能，它必须转换为决策问题，以询问其是否在NP等中。认为非决策问题已被证明会导致规模的指数膨胀（例如，在Vors ref中），因此NP决策问题的完整版本（如果有的话）可能会大大简化。同样因为Vors ref显示了CNF <-> DNF转换的实际复杂性是一个活跃的研究问题...请注意，压缩算法的效率有些相似...

@vzn这个问题询问它是否为NP-硬，而不是NP-完整。这意味着不需要NP的成员资格，因此不必成为决策问题。