电路可满足性和q-sat有什么区别？

Question

为什么QSat PSPACE完整且电路可满足性NP完整？他们不是同一回事吗？

Answer 1

QSAT是与TQBF（真实数量布尔公式）有关的问题。这些公式在开始时就绑定了变量。如果公式的计算结果为true或false，则该公式为TQBF语言中的a。如果它是PSPACE完整的，则该语言驻留在PSPACE中，并且也是PSPACE硬语言。使用递归算法来确定公式的求值（取决于公式是否具有量词）将告诉您这些陈述是否正确。通过证明它是PSPACE困难的，您表明该语言必须在多项式时间内可简化为TQBF。

CSAT问题是关于确定布尔电路是否具有一组在输出方面评估为真的输入的决策问题。它在NP空间中被证明是NP完全的，并且可以在多项式时间内还原。

在不考虑输出状态（真或假）的情况下确定其空间分类的QSAT评估以及其缩减时间，通过公式是否没有量词（从而返回公式）或确定公式来求解递归算法检查第一个变量的两个可能值（如果有量词）。此评估用于解决该问题所需的存储空间量，尤其是对数空间。 CSAT是根据输出状态（在这种情况下，真正是可解决的状态）进行评估的，因此，它不是由空间要求决定的，而是由总还原时间决定的。具体包含n个任意门，可以在O（2 ^ 0.4058n）中确定。