| 关于英文版 « 16.3. NP 完全性 :: 目录 :: 16.5. 公式可满足性 »

16.4. 电路可满足性¶

16.4.1. 电路可满足性¶

Proficient

Saving...

Error Saving

Server Error
Resubmit

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

隐私 | | 许可协议 « 16.3. NP 完全性 :: 目录 :: 16.5. 公式可满足性 »