1 证明从CNF到DNF的转换是NP-Hard 此问题是从Stack Overflow 迁移而来的，因为可以在Computer Science Stack Exchange上回答。 迁移 7年前。 如何证明从CNF到DNF的转换是NP-Hard？ 我不是在寻求答案，只是在提出一些有关如何证明它的建议。 20 complexity-theory np-hard satisfiability sat-solvers normal-forms
2 Lambda微积分中的“应用顺序”和“正常顺序” 应用顺序：在评估函数本身之前，请始终充分评估函数的参数，例如- （λ X 。X2（λ X 。（X + 1 ）2 ）））→ （λ X 。X 2（2 + 1 ））→ （λ X 。X 2（3 ））→ 3 2 → 9 (λx.x2(λx.(x+1) 2)))→(λx.x2(2+1))→ (λx.x2(3))→ 32 → 9(\lambda x. x^2(\lambda x.(x+1) \ \ 2))) \rightarrow (\lambda x. x^2(2+1))\rightarrow \ (\lambda x. x^2(3)) \rightarrow \ 3^2 \ … 14 logic lambda-calculus normal-forms
3 CFG的正常形式（如Chomsky正常形式）的重要性 我知道无上下文语法可以用来表示无上下文语言，可能会有歧义。我们也有正常形式，例如Chomsky和Greibach正常形式。我不明白这个需要。 为什么它们在语言理论中很重要？我提到的所有教科书都讲述了这些正常形式，但没有说明其重要性。 12 formal-languages context-free formal-grammars normal-forms
1 DNF到CNF的转换：简单或困难 关于证明从CNF到DNF的转换是NP-Hard的线程（以及相关的Math线程）： 从DNF到CNF的另一个方向如何？容易还是困难？ 在本文的第2页上，他们似乎暗示了两个方向，当他们说“ 我们对从CNF表示转换为DNF表示（反之亦然）时最大的尺寸爆炸感兴趣 ”时，两个方向都同样困难。 但是DNF-SAT在P中，而CNF-SAT在NP中。因此，在给定DNF表达式，应该有一个满足条件的 CNF表达式其长度是的长度的多项式。而且转换可以在多边形时间内完成。它是否正确？ϕ1个ϕ1个\phi_1ϕ2ϕ2\phi_2ϕ1个ϕ1个\phi_1ϕ1个→ ϕ2ϕ1个→ϕ2\phi_1 \to \phi_2 编辑：更改等效于equisatisfiable（即，附加的变量允许在）。ϕ2ϕ2\phi_2 10 complexity-theory logic satisfiability normal-forms