顶点覆盖问题的求解算法研究科学出版社PDF电子教材