3SAT课本题目 8.20

Solution： 将顶点覆盖问题归约到支配集问题。如果要在图G（V，E）中求一个不大于b的顶点覆盖，按照以下规则预处理图G：给条边（u，v）∈E加上辅助顶点w，还有两条边（u，w）和（v，w），比如： 对于新图G’，如果原图G有不大于b的顶点覆盖，那么它也是G’的一个支配集。如果G’存在不大于b的支配集，预处理后也能得到G的不大于b的顶点覆盖。 设支配集为D，对于每条边（u，v）还有相应的辅助顶

>>阅读原文<<