证明CLIQUE（团问题）是NP完全
一个图G的k团是G的k个顶点的集合，使得这个集合中每对顶点之间都有边。
CLIQUE问题是：给定一个图G和常数k，G有没有k团？
下面通过把顶点覆盖问题归约到CLIQUE来证明：CLIQUE是NP完全的。
【证明】
显然，CLIQUE是NP(NP定义: 可以在多项式时间验证结果正确性的问题)。
在给定的图G中猜测k个顶点的一个集合，并验证此集合中的任何两点之间都有边。
给定图G的顶点覆盖问题的一个实例（G，k），构造一个团问题实例（G’，n－k），其中
- n是图G顶点的总个数。
- G’是图G中边的补，即，G’有边（u，v）当且仅当图G没有边（u，v）。
令C是图G的顶点覆盖，且C中有k个顶点；
令C’是C中顶点的补，也就是G’的（n－k）团（其实，C是G的顶点覆盖，则G中任何一条边至少有一个顶点在C中，则C的补就是在G中不存在边的顶点的集合，而G’是G中边的补，因此C’是G’的（n－k）团）。
（当）假设C’不是G’的（n－k）团，则C’中存在顶点对（u，v），在G’中没有边，那么这条边就在G中，但由于u和v都不在C中，故产生矛盾，假设不成立。
（仅当）设（u，v）是G中的边，但没有被C覆盖，则u和v都在C’中，但边（u，v）不在G’中，故产生矛盾。
由此可以证明，CLIQUE是NP完全的。
利用归约来证明给定问题是NP完全的步骤：
设P1是已知的NP完全问题，P2是要证明的NP完全问题。
断言：P1当且仅当P2
（当）用P2来证明P1；
（仅当）用P1来证明P2。
一般都是用假设不成立而产生矛盾来证明问题的。
证明CLIQUE（团问题）是NP完全_zhanghao_新浪博客
证明CLIQUE（团问题）是NP完全相关推荐
- 【计算理论】计算复杂性 ( 证明团问题是 NP 完全问题 )
文章目录 一.团问题是 NP 完全问题 证明思路 二.证明团问题是 NP 完全问题 一.团问题是 NP 完全问题 证明思路 证明一个命题是 NP\rm NPNP 完全问题 : ① 证明是 NP\rm ...
- 【计算理论】计算复杂性 ( 3-SAT 是 NP 完全问题 | 团问题是 NP 完全问题 | 团问题是 NP 完全问题证明思路 )
文章目录 一.3-SAT 是 NP 完全问题 二.团问题是 NP 完全问题 三.团问题是 NP 完全问题 证明思路 一.3-SAT 是 NP 完全问题 布尔可满足性问题 ( Boolean Satis ...
- 证明：hitting set是NP完全问题
<算法概论>P266 8.9 首先证明hitting set(我暂且翻译为击中集)是一个NP问题.给定该问题的一个实例,包括一组集合{S1,S2,...,Sn},大小限制b,再给定问题的一 ...
- 可能与不可能的边界：P/NP问题趣史
作者:Lance Fortnow 译者:杨帆 读者:锅巴GG 在这本书里,我们将探讨许多计算问题,其中一部分可能永远都无法用简单的计算得到答案.试着解答它们是计算机科学,乃至整个数学和科学领域最重要的 ...
- 计算理论期末2022哈工大
计算理论2022期末(哈工大) 一.请回答关于图灵机的问题.(15 分) 确定图灵机的形式化定义是什么? 不确定图灵机和确定图灵机的区别是什么? 二.请回答设计图灵机相关的问题(画出状态转移图即可). ...
- NPC问题的证明（可满足性问题、3-CNF可满足性问题、团问题、顶点覆盖问题）
NPC问题的证明 一.基础概念 P问题:如果一个判定问题能在多项式的时间内解决,那么这个判定问题就属于P问题 NP问题:对于一个判定问题,如果给定一个可能的解实例(称为"证书"), ...
- 【计算理论】计算复杂性 ( NP 类不同表述 | 团问题 | P 对 NP 问题 )
文章目录 一.NP 类不同表述 二.团问题 三.P 对 NP 问题 ( P vs NP ) 一.NP 类不同表述 NP\rm NPNP 对应的 确定性图灵机 表述 : NP\rm NPNP 类就是有 ...
- 【计算理论】计算复杂性 ( 无向图独立集问题 | 独立集问题是 NP 完全问题证明思路 | 证明独立集问题是 NP 完全问题 )
文章目录 一.独立集问题 二.独立集问题是 NP 完全问题证明思路 二.证明独立集问题是 NP 完全问题 一.独立集问题 无向图的独立集 , 指的是在无向图中找到点集的子集 , 使得它们两两之间 , ...
- 证明碰撞集（HITTING SET）问题是NP完全问题
问题描述: 给定一组集合{S1,S2,S3,-,Sn}和预算b,求一个集合H,其中H和所有Si相交且H的规模不超过b.求证该问题是NP完全问题 证明: (1)先证该问题是一个NP问题. 假设给出集合H ...
- 【计算理论】计算复杂性 ( NP 完全问题 - 布尔可满足性问题 ★ | 布尔可满足性问题是 NP 完全问题证明思路 ) ★
文章目录 一.NP 完全问题 - 布尔可满足性问题 ★ 二.布尔可满足性问题是 NP 完全问题证明思路 一.NP 完全问题 - 布尔可满足性问题 ★ 布尔可满足性问题 ( Boolean Satisf ...
最新文章
- 流量控制与可靠传输机制
- d3设置line长度_使用d3画一些基本的图形
- getResources().getIdentifier(textView01, id, cn.xxx.xxx);
- python教材免费版-北大内部教材python版算法与数据结构PDF电子书免费下载
- 12.2 全局CSS样式
- foxpro 打印 字体_【部编版同步复习】16年级上册期中预测卷，可打印！
- python多进程怎么样_Python执行多进程任务的方法
- python error loading package_Pycharm Available Package无法显示/安装包的问题Error Loading Package List解决...
- 谁该为马化腾表态这个乌龙尴尬？
- Nginx gzip参数详解及常见问题（已解决）
- yacc语法分析minipascal_用Yacc实现语法分析器-4-编译原理
- 计算机英语 1000字论文范文,英语论文格式写作 1000字论文格式-免费论文范文
- DIY LDAC蓝牙接收器（二）硬件调试篇
- 【python算法】算法之线性增长与二次方增长小实验举例
- 清华学霸教你1小时入门 Python 爬虫，别说学长没帮你
- Failed to set attribute: Invalid input data or parameter 解决
- FreeRTOS 简介
- VIN码识别/车牌识别：是入口，是门面
- s3fs挂载对象存储到本地
- DDR4时序标准规范(二)