In the HITTING SET problem, we are given a family of sets {S1, S2, … , Sn} and a budget b, and we wish to find a set H of size <= b which intersects every Si, if such an H exists.In other words, we want H∩Si ≠ Ø for all i.

show that HITTING SET is NP-complete.

我们很容易就能把顶点覆盖规约到HITTING SET

证明:veriex cover -> hitting set
要找图G的一个顶点覆盖,我们可以找这样一个hitting set:
其中 S = {S1, S2, … , Sn} 为每条边的集合,Si = {Vi1, Vi2} 表示从节点Vi1到 Vi2的边。另b= G的顶点数N。
如果找到这样的一个Hitting set : H, 就代表着我们找到了一个,大小<=N, 且覆盖了每一条边的集合,那么它就是一个顶点覆盖。

因为veriex cover是NP完全的,veriex cover -> hitting set, 所以HITTING SET 是NP完全的

证明HITTING SET 是NP完全相关推荐

  1. 证明:hitting set是NP完全问题

    <算法概论>P266 8.9 首先证明hitting set(我暂且翻译为击中集)是一个NP问题.给定该问题的一个实例,包括一组集合{S1,S2,...,Sn},大小限制b,再给定问题的一 ...

  2. 【计算理论】计算复杂性 ( 无向图独立集问题 | 独立集问题是 NP 完全问题证明思路 | 证明独立集问题是 NP 完全问题 )

    文章目录 一.独立集问题 二.独立集问题是 NP 完全问题证明思路 二.证明独立集问题是 NP 完全问题 一.独立集问题 无向图的独立集 , 指的是在无向图中找到点集的子集 , 使得它们两两之间 , ...

  3. 【计算理论】计算复杂性 ( 证明团问题是 NP 完全问题 )

    文章目录 一.团问题是 NP 完全问题 证明思路 二.证明团问题是 NP 完全问题 一.团问题是 NP 完全问题 证明思路 证明一个命题是 NP\rm NPNP 完全问题 : ① 证明是 NP\rm ...

  4. 8.3 证明STINGY SAT是NP完全问题

    题目 STINGY SAT is the following problem: given a set of clauses(each a disjunction of literals) and a ...

  5. 算法证明题 8.9 HITTING SET

    题目描述 In the HITTING SET problem,we are given a family of sets{S1,S2,-,Sn} and a budget b,and we wish ...

  6. NP问题总结(概念+例子+证明)

    目录 基本概念 证明思路 常见例子 21个常见NPC问题 原理论证 基本概念 P类问题:(polynominal)    存在多项式时间算法的问题,即在多项式时间内可解的问题: 例如:冒泡排序.快速排 ...

  7. 【计算理论】计算复杂性 ( 3-SAT 是 NP 完全问题 | 团问题是 NP 完全问题 | 团问题是 NP 完全问题证明思路 )

    文章目录 一.3-SAT 是 NP 完全问题 二.团问题是 NP 完全问题 三.团问题是 NP 完全问题 证明思路 一.3-SAT 是 NP 完全问题 布尔可满足性问题 ( Boolean Satis ...

  8. P问题、NP问题、NPC问题的概念及实例证明

    美剧<基本演绎法>(也就是美版"福尔摩斯")第 2 季第 2 集中,两位研究 NP 问题的数学家被谋杀了,凶手是同行,因为被害者即将证明"P=NP 问题&qu ...

  9. 【计算理论】计算复杂性 ( NP 完全问题 - 布尔可满足性问题 ★ | 布尔可满足性问题是 NP 完全问题证明思路 ) ★

    文章目录 一.NP 完全问题 - 布尔可满足性问题 ★ 二.布尔可满足性问题是 NP 完全问题证明思路 一.NP 完全问题 - 布尔可满足性问题 ★ 布尔可满足性问题 ( Boolean Satisf ...

最新文章

  1. Android中关于dip和px以及转换的总结
  2. 四剑客查找字符_linux 四剑客 find 、grep、sed、awk整理
  3. 2020 开春程序员面试必备!拿走不谢!
  4. 陕西省地形图与陕西地形高程数据DEM下载
  5. 修改 设备的mac 地址
  6. Firefox XPI插件安装方法
  7. 80386与8086的区别
  8. 【程序员如何买基金 五】挑选合适的指数和指数基金
  9. OA实施分析:OA系统选型警惕哪些陷阱
  10. 《虚拟化安全解决方案》一2.2 配置VMware ESXi
  11. Apache2 虚拟主机 详解
  12. 每个开发人员都应该学习的 10 种算法
  13. 数据预处理归一化Z-score归一化Min-Max归一化程序
  14. 第六章:TestOps的先决条件与TiP的类型
  15. 数据库导出表结构工具mysql-front
  16. 迅雷非善类,搜狐需谨慎,浅析迅雷发家史
  17. java个人职业生涯规划范文
  18. word之图表和公式的自动编号(zz)
  19. 线段拟合(带拉格朗日乘子,HGL)
  20. 高等数学(第七版)同济大学 习题8-6 个人解答

热门文章

  1. 【Livepano】VR全景嵌入人物视频详细教程
  2. dts无损音乐什么意思_QQ音乐,网易云,AppleMusic谁的音质好?
  3. 樱桃一次吃多少合适 这些知识一定要关心
  4. 解决Win2016提示 “发生身份验证错误 要求的函数不受支持“的问题
  5. 腾讯云下centos git 克隆远程仓库
  6. 常见3种视频加密原理知多少
  7. The projects in the reactor contain a cyclic reference
  8. iOS内购-防越狱破解刷单
  9. 迅雷极速版服务器未响应,迅雷极速版频繁崩溃,求大神帮忙
  10. Scratch案例——画彩虹