标签:最小顶点覆盖