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

6.5. 电路可满足性¶

6.5.1. 电路可满足性¶

Proficient

Saving...

Error Saving

Server Error
Resubmit

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

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