证明碰撞集（HITTING SET）问题是NP完全问题

问题描述：

给定一组集合{S1,S2,S3,…,Sn}和预算b，求一个集合H，其中H和所有Si相交且H的规模不超过b。求证该问题是NP完全问题

证明：

（1）先证该问题是一个NP问题。
假设给出集合H的所有元素，显然可以在多项式时间内验证该集合H是否满足条件要求（和Si逐一比较是否有交集并检查规模是否超过b），所以该问题是个NP问题
（2）再证该问题是一个NP难问题。
已知图的最小顶点覆盖问题（Vertex Cover）是NP难问题（在算法概论书中已有证明），只要能找到一种把最小顶点覆盖问题规约到碰撞集问题的方法，即可以证明碰撞集问题是NP难问题。
规约方式如下：
假设有一个图G(V,E)，则把该图的每一条边对应一个集合Si，边上的两个点即该集合的元素，即每个集合有两个元素，如S1={v1,v2}，这样一来，就能构造出|E|个集合。求图G的最小顶点覆盖问题，可以转化成求这|E|个集合的碰撞集，最小顶点覆盖的顶点就是H的元素，最小顶点覆盖数即为b。
所以碰撞集是一个NP问题且是一个NP难问题，即碰撞集为一个NP完全问题

证明碰撞集（HITTING SET）问题是NP完全问题相关推荐

NP完全问题的归约-碰撞集(HITTING SET)
原题: 在碰撞集(HITTING SET)问题中,给定一组集合{S1, S2, S3, -, Sn}和预算b,我们希望求一个与所有Si相交且规模不超过b的集合H(H与所有Si相交不为空). 证明: ( ...
Hitting Set 碰撞集问题
8.9 In the HITTING SET problem, we are given a family of sets {S1,S2,-,Sn}, and a budget b, and we w ...
从顶点覆盖（Vertex Cover）到碰撞集（Hitting Set）的归约
碰撞集问题给定一组集合{S1,S2,S3,-,Sn}和预算b,问是否存在一个集合H,其大小不超过b,且H和所有Si(i=1, 2, -, n)相交. 顶点覆盖问题给定图G,问是否存在一个顶点集合V ...
【计算理论】计算复杂性 ( 证明团问题是 NP 完全问题 )
文章目录一.团问题是 NP 完全问题证明思路二.证明团问题是 NP 完全问题一.团问题是 NP 完全问题证明思路证明一个命题是 NP\rm NPNP 完全问题 : ① 证明是 NP\rm ...
证明：hitting set是NP完全问题
<算法概论>P266 8.9 首先证明hitting set(我暂且翻译为击中集)是一个NP问题.给定该问题的一个实例,包括一组集合{S1,S2,...,Sn},大小限制b,再给定问题的一 ...
【计算理论】计算复杂性 ( NP 完全问题 - 布尔可满足性问题 ★ | 布尔可满足性问题是 NP 完全问题证明思路 ) ★
文章目录一.NP 完全问题 - 布尔可满足性问题 ★ 二.布尔可满足性问题是 NP 完全问题证明思路一.NP 完全问题 - 布尔可满足性问题 ★ 布尔可满足性问题 ( Boolean Satisf ...
【计算理论】计算复杂性 ( 无向图独立集问题 | 独立集问题是 NP 完全问题证明思路 | 证明独立集问题是 NP 完全问题 )
文章目录一.独立集问题二.独立集问题是 NP 完全问题证明思路二.证明独立集问题是 NP 完全问题一.独立集问题无向图的独立集 , 指的是在无向图中找到点集的子集 , 使得它们两两之间 , ...
【计算理论】计算复杂性 ( 3-SAT 是 NP 完全问题 | 团问题是 NP 完全问题 | 团问题是 NP 完全问题证明思路 )
文章目录一.3-SAT 是 NP 完全问题二.团问题是 NP 完全问题三.团问题是 NP 完全问题证明思路一.3-SAT 是 NP 完全问题布尔可满足性问题 ( Boolean Satis ...
通过3SAT证明支配集是NPC问题
往期文章: NPC简介 NP-hard问题证明 NPC 证明(一) NPC 证明(二) 本文介绍如何通过3SAT归约,进而证明支配集是NPC问题. 3SAT问题 → \rightarrow → 3-S ...

证明碰撞集（HITTING SET）问题是NP完全问题

问题描述：

证明：

证明碰撞集（HITTING SET）问题是NP完全问题相关推荐

最新文章

热门文章