NP-hard类问题：所有的非确定性多项式时间可解的判定问题构成NP类问题。

证明1：问题A给定限制条件得到一个特例B问题

证明2：问题B是NPC问题

首先必须知道以下概念：

1. P Problem

如果一个问题可以找到一个能在多项式的时间里解决它的算法，那么这个问题就属于 P 问题，即算法的时间复杂度是多项式级的。比如 n n n 个数中间找到最大值，或者 n n n 个数排序之类的。

2. NP Problem

NP 问题的另一个定义是可以在多项式的时间里猜到一个解的问题；很显然，所有的 P 类问题都是 NP 问题，能在多项式时间内解决，必然能多项式地验证一个解。

3. NPC Problem

存在一个NP问题，使得所有的该类NP问题都可以多项式时间地规约(Polynomial-time Reducibility) 为NPC问题。根据规约的传递性，对NP问题进行一层接一层地规约，最终可以得到一个足够泛化的NP问题，即NPC问题。

4.最具代表性的NP-Hard问题：TSP

售货员旅行问题 (traveling salesman problem)，是最具有代表性的NP问题之一。假设一个推销员需要从西安出发，经过河南，北京，上海，…，等 n 个城市，最后返回西安。任意两个城市之间都有高铁直达，但票价不等。现在假设公司只给报销 C 块钱，问是否存在一个行程安排，使得他能遍历所有城市，而且总的路费小于 w？
推销员旅行问题显然是 NP 的。要想知道一条总路费小于 w的行程是否存在，在最坏情况下，必须检查所有可能的旅行安排! 这将是个超级数字。
目前的方法接近一个一个的排着试，还没有找到更好可以寻得最短路径的方法。对七个城而言，共有 6!=720 个排法，还比较简单；但若有 20 个城，则排法就有 19! 种。这超级数字，用计算机算的话，需要3000年，可想而知，如此庞大。

NP-hard类问题证明相关推荐

np 元素位置_证明SAT的NP完全性（NP-completeness）
看懂本文需要提前有哪些知识? 知道什么是图灵机,非确定图灵机知道什么是SAT问题什么是NP问题? 首先我们要知道,NP一般都是针对决定性问题(Decision problem)的.比如今天我们要讨 ...
零知识证明：安全定义
之前在本科的课程仅仅略微介绍了下零知识证明,之后自学了一些相关内容,但不成体系.本学期跟着邓老师较为系统地学习了 ZKP,发现自己之前有很多的误解,临近期末整理下重要内容. 参考文献: Goldrei ...
P问题、NP问题、NPC问题的概念及实例证明
美剧<基本演绎法>(也就是美版"福尔摩斯")第 2 季第 2 集中,两位研究 NP 问题的数学家被谋杀了,凶手是同行,因为被害者即将证明"P=NP 问题&qu ...
NP问题总结（概念+例子+证明）
目录基本概念证明思路常见例子 21个常见NPC问题原理论证基本概念 P类问题:(polynominal) 存在多项式时间算法的问题,即在多项式时间内可解的问题: 例如:冒泡排序.快速排 ...
【计算理论】计算复杂性 ( 无向图独立集问题 | 独立集问题是 NP 完全问题证明思路 | 证明独立集问题是 NP 完全问题 )
文章目录一.独立集问题二.独立集问题是 NP 完全问题证明思路二.证明独立集问题是 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 ...
Np计算机领域,我国数学家证明NP=P
2020年7月出版的<计算机科学>(中国计算机学会会刊)发表了国防科技大学教授.湘潭大学计算机学院特聘教授姜新文题为<哈密顿图判定问题的多项式时间算法>的论文,这标志着在数学和 ...
【计算理论】计算复杂性 ( NP 完全问题 - 布尔可满足性问题 ★ | 布尔可满足性问题是 NP 完全问题证明思路 ) ★
文章目录一.NP 完全问题 - 布尔可满足性问题 ★ 二.布尔可满足性问题是 NP 完全问题证明思路一.NP 完全问题 - 布尔可满足性问题 ★ 布尔可满足性问题 ( Boolean Satisf ...

NP-hard类问题证明