NP中的问题如何解决?NP难解决而NP难解决吗?


14

最长的时间,我一直认为,如果一个问题同时是(1)NP困难和(2)在NP中,那么这个问题就是NP完全的。

但是,在著名的论文“椭球方法及其在组合优化中的后果”中,作者声称分数色数问题属于NP且是NP难的,但尚不知道它是NP完全的。在论文的第三页上,作者写道:

...我们注意到图的顶点堆积问题在某种意义上等于分数色数问题,并评论一个现象,即后一个问题是的一个问题示例,即N P -hard但是(到目前为止)还不知道N P-完成。NPNPNP

这怎么可能?我是否在NP-complete的定义中缺少细微的细节?

Answers:


27

看来问题在于每种方法使用的减少量,并且使用的是不同的减少量:它们的含义可能是“ 硬性库克减少量”和“ N P-完全性状卡普减少量”。NPNP

有时人们使用的库克还原版本 -hardness,因为它是适用于更广泛的计算问题(不只是决策问题)。虽然最初的定义都ñ P -hardness和ñ P -completeness二手库克减少(多项式时间图灵减少)已成为罕见的使用减少库克为ñ P(除非明确说明)-completeness。我不记得最近有一篇文章使用N P -complete来表示N P -complete wrt Cook减少。(附带说明,第一个要证明为N P的问题NPNPNPNPNPNPNP-难道TAUT不是SAT,而SAT的完整性在该证明中是隐含的。)

现在,如果您看第195页底部的文章的第7节,您将看到它们的意思是硬度,包括图灵降低。NP

因此,它们在这里的意思是问题在于,对于N P wrt Cook折减很难,但是对于N P wrt Karp折减(多项式多次多折减)很难。NPNPNP


1
您是说Taut的DNF-Tautology吗?那不是完整的CoNP吗?因为CNF重言式是微不足道的。
Tayfun Pay

1
@TayfunPay:最有可能针对任意公式的重言式,而不仅仅是CNF或DNF。而且,库克减少法是Co-NP-complete和NP-complete相同的,这就是Kaveh提到此轶事的原因。
frafl 2013年

1
@ Tayfun,Cook在通用公式中证明了这一点,并将其用于DNF-TAUT是本文的推论。两者都是NP- Hard Cook减少量。
卡夫

@frafl,“ NP-complete”在Karp 1972年的论文中定义。库克(Cook)在1971年的论文中对库克减少量进行了定义,并证明TAUT对它们是NP难的。这也证明了许多问题与库克减排量是等效的。但是,NP竞争性在原始论文中没有明确说明。
卡夫
By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.