13. Circuit SAT 到 SAT 的归约¶
13.1. Circuit SAT 到 SAT 的归约¶
下面的幻灯片表明，电路可满足性（Circuit Satisfiability）问题的一个实例可以在多项式时间内归约为 SAT 问题的一个等价实例。
这个归约有助于为 SAT 提供 NP 完全性证明。 .. odsascript:: AV/NP/circuit.js .. odsascript:: AV/NP/circuitSATtoSATCON.js
| 关于 « 12. NP 完全性证明 :: 目录 :: 14. SAT 到 3-SAT 的归约 »
下面的幻灯片表明，电路可满足性（Circuit Satisfiability）问题的一个实例可以在多项式时间内归约为 SAT 问题的一个等价实例。
这个归约有助于为 SAT 提供 NP 完全性证明。 .. odsascript:: AV/NP/circuit.js .. odsascript:: AV/NP/circuitSATtoSATCON.js
隐私 | | 许可协议 « 12. NP 完全性证明 :: 目录 :: 14. SAT 到 3-SAT 的归约 »
