| 关于英文版 « 9.4. NP 完全性证明 :: 目录 :: 9.6. 公式可满足性 »

9.5. 电路可满足性¶

9.5.1. 电路可满足性¶

Proficient

Saving...

Error Saving

Server Error
Resubmit

虽然检查给定的真值赋值是否满足给定电路很容易，但我们没有简便的方法知道任意电路是否具有某个满足性赋值。

隐私 | | 许可协议 « 9.4. NP 完全性证明 :: 目录 :: 9.6. 公式可满足性 »