15. 3-SAT 到团的归约¶
15.1. 3-SAT 到团的归约¶
下面的幻灯片表明， 3-SAT 问题的一个输入实例可以在多项式时间内归约为 CLIQUE 问题的一个等价输入实例。
这个归约有助于为团（Clique）问题提供 NP 完全性证明。 .. odsascript:: AV/NP/threeSATtoCliqueCON.js
| 关于 « 14. Circuit SAT 到 SAT 的归约 :: 目录 :: 16. 独立集到顶点覆盖的归约 »
下面的幻灯片表明， 3-SAT 问题的一个输入实例可以在多项式时间内归约为 CLIQUE 问题的一个等价输入实例。
这个归约有助于为团（Clique）问题提供 NP 完全性证明。 .. odsascript:: AV/NP/threeSATtoCliqueCON.js
隐私 | | 许可协议 « 14. Circuit SAT 到 SAT 的归约 :: 目录 :: 16. 独立集到顶点覆盖的归约 »
