OpenDSA 全教程

Chapter 28 Limits to Computing

| 关于   «  14. SAT 到 3-SAT 的归约   ::   目录   ::   16. 团到独立集的归约  »

15. 3-SAT 到团的归约

15.1. 3-SAT 到团的归约

下面的幻灯片表明, 3-SAT 问题的一个输入实例可以在多项式时间内归约为 CLIQUE 问题的一个等价输入实例。

Settings

Proficient Saving... Error Saving
Server Error
Resubmit

这个归约有助于为团(Clique)问题提供 NP 完全性证明。 .. odsascript:: AV/NP/threeSATtoCliqueCON.js

   «  14. SAT 到 3-SAT 的归约   ::   目录   ::   16. 团到独立集的归约  »

关闭窗口