从顶点覆盖（Vertex Cover）到碰撞集（Hitting Set）的归约

碰撞集问题

给定一组集合{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}。

这样就完成了从顶点覆盖到碰撞集的归约。