CSC215 数据结构和高级编程

第 16 章 计算的极限

| 关于   英文版   «  16.14. SAT 到 3-SAT 的归约   ::   目录   ::   16.16. 团到独立集的归约  »

16.15. 3-SAT 到团的归约

16.15.1. 3-SAT 到团的归约

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

Settings

Proficient Saving... Error Saving
Server Error
Resubmit

这个归约有助于为团(Clique)问题提供 NP 完全性证明。

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

关闭窗口