如果k为小常数，最小顶点覆盖问题存在多项式时间算法