NP中的NO-VERTEX-COVER是否?

时间:2017-04-28 17:45:58

标签: algorithm np

这是顶点覆盖问题的反向版本。考虑一个决策问题,询问给定图G =(V,E)和非负整数k,是否存在大小不大于k的顶点覆盖。回答这个问题是否是NP?请向我解释。

1 个答案:

答案 0 :(得分:1)

简短回答是否定的(除非co-NP = NP)。

您的决策问题NO-VERTEX-COVER正是众所周知的VERTEX-COVER问题的补充;后一个问题是NP - 完成(当然,在NP中)。因此,您的问题NO-VERTEX-COVER位于co-NP。 (回想一下co-NP中存在问题,当且仅当其补码在NP时才会出现。)

由于问题的补充VERTEX-COVERNP - 完整,因此除非co-NP=NPNO-VERTEX-COVER问题不在NP中。 (这是根据一个定理说明如果co-NP不等于NP,那么NP - 完整问题就在co-NP中。)