顶点覆盖问题的NP完全证明和近似算法求解