题目：

 

证明：

　　很容易将最小顶点覆盖归约到HITTING SET。假设要求图G的最小顶点覆盖，可以建立一个 HITTING SET 实例，其中 S₁ , S₂ , S₃,...,S_n    即是图G的各条边，比如{v₁,v₂},{v₃,v₄},... 。通过二分式的询问，可以找到一个与 Si都相交的最小集合H，这正好就是图G的最小顶点覆盖。