在一个无向图G=(V,E)中,我们称D⊆V为一个占优集,是指每个V∈V都属于D或与D中一个节点为邻。在占优集问题中,输入为一个图和预算b,目标是求图的一个规模不超过b的控制集——如果该集存在。证明该问题是NP-完全的。
解答:
可以将顶点覆盖问题规约到支配集问题。若要在图G(V,E)中求不得大于b的一个顶点覆盖,可以先对图G做一个预处理;对每条边(u,v)∈E,添加一个辅助顶点w,及两条边(u,w)和(v,w)。对每条边都这样处理后得到一个新图G’。容易看出,若原图G中存在不大于b的顶点覆盖,这个顶点覆盖也是新图G‘的一个支配集。反过来,若新图G’中存在一个不大于b的支配集,那么对这个支配集进行一些处理后也能得到一个图G的不大于b的顶点覆盖。处理过程:设该支配集为D,对于每条边(u,v)及相应的辅助顶点w,若w∉D,则不用做任何处理,若w∈D且u,v∉D,那么可以在D中将w替换成u或者v,若u∈D∨v∈D,则直接将w从D中删掉即可。