碰撞集问题
给定一组集合{S1,S2,S3,…,Sn}和预算b,问是否存在一个集合H,其大小不超过b,且H和所有Si(i=1, 2, …, n)相交。
顶点覆盖问题
给定图G,问是否存在一个顶点集合V,其大小不超过b,且使得G中的每一条边都接触V中的至少一个顶点。
Vertex Cover → Hitting Set
已知顶点覆盖问题是NP-完全问题,现在将其归约到碰撞集问题,以此来证明碰撞集问题也是NP-完全问题。
对于顶点覆盖问题的图G,对G中的每一条边创建一个集合Si,Si的元素为该边的两个顶点。如下图所示,将G归约到一组集合S1,S2,S3:
这样,当碰撞集问题有解时,顶点覆盖问题就有解,只需要选取碰撞集的解H对应的所有点,即为对应顶点覆盖问题的解。比如对于图中的碰撞集问题,假设b为2,则一个解为H={A,C},此时,选取A和C点构成顶点集合V,即为顶点覆盖问题的解。
最后怎么当碰撞集无解时,顶点覆盖问题无解。用该命题的逆否命题证明,当顶点覆盖问题有解时,用对应的解V中的每个顶点对应于生成的那一组集合的元素得到的集合H,即为碰撞集问题的解。比如对于图中的的顶点覆盖题,其中一个解为V={A,C},则碰撞集的一个解为H={A,C}。
这样就完成了从顶点覆盖到碰撞集的归约。