5. 电路可满足性¶
5.1. 电路可满足性¶
虽然检查给定的真值赋值是否满足给定电路很容易， 但我们没有简便的方法知道任意电路是否具有某个满足性赋值。 .. odsascript:: AV/NP/circuit.js .. odsascript:: AV/NP/circuitSATCON.js
| 关于 « 4. NP 完全性证明 :: 目录 :: 6. 公式可满足性 »
虽然检查给定的真值赋值是否满足给定电路很容易， 但我们没有简便的方法知道任意电路是否具有某个满足性赋值。 .. odsascript:: AV/NP/circuit.js .. odsascript:: AV/NP/circuitSATCON.js
隐私 | | 许可协议 « 4. NP 完全性证明 :: 目录 :: 6. 公式可满足性 »
