CSC215 数据结构和高级编程

第 16 章 计算的极限

| 关于   英文版   «  16.16. 团到独立集的归约   ::   目录   ::   16.18. 3-SAT 到哈密顿回路的归约  »

16.17. 独立集到顶点覆盖的归约

16.17.1. 独立集到顶点覆盖

下面的幻灯片表明, INDEPENDENT SET 的一个输入实例可以在多项式时间内归约为 VERTEX COVER 的一个等价输入实例。

Settings

Proficient Saving... Error Saving
Server Error
Resubmit

这个归约有助于为顶点覆盖(Vertex Cover)问题提供 NP 完全性证明。

   «  16.16. 团到独立集的归约   ::   目录   ::   16.18. 3-SAT 到哈密顿回路的归约  »

关闭窗口