假设图G的最小顶点覆盖,可以构成一个HITTING SET,那么设(v1,v2),(v3,v4)…… 是G的的各条边,记为S1,S2……。通过二分式的询问可以找到一个和Si都相交的最小集合H,这正好是G的最小顶点覆盖。成立。