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

碰撞集问题 给定一组集合{S1,S2,S3,…,Sn}和预算b，问是否存在一个集合H，其大小不超过b，且H和全部Si（i=1, 2, …, n）相交。web 顶点覆盖问题 给定图G，问是否存在一个顶点集合V，其大小不超过b，且使得G中的每一条边都接触V中的至少一个顶点。svg Vertex Cover → Hitting Set 已知顶点覆盖问题是NP-彻底问题，如今将其归约到碰撞集问题，以此来证

>>阅读原文<<