Np完整性 - 需要对还原进行一些澄清

时间:2012-11-18 17:48:22

标签: algorithm np-complete np np-hard

我想在一个概念中做一些澄清。 为了证明问题是NP完成,我们使用减少。

现在假设我有L< = L'。减少从L到L'或者我可以反过来做吗?即我可以证明如果L可以用L'求解,那么L'是NP完全的吗?

我对此很困惑。

例如。为了减少从火腿循环到火腿路径,我们这样做是向后的方式。

此外,我无法通过减少火腿循环来解决我必须表明“在具有至少k个边缘的图形中是否存在从s到t的路径”的问题。

请给我一个澄清,并指导我解决上述问题。感谢

1 个答案:

答案 0 :(得分:1)

为了表明语言L是NP完全的,你实际上需要证明两件事,L是NP,L是NP难。通常,证明L在NP中很容易,但不要忘记这样做。

显示L的正常方式是NP-hard,实际上表明L的多项式时间决定可用于构建已被证明为NP的语言L'的多项式时间决策器。 -complete。

必须如此。存在多项式时间可判定语言L的许多情况,其中可以从用于NP完全语言的多项式时间判定器构建多项式时间判定器。例如,考虑用两种颜色着色图的多项式时间可判定问题,与NP完全一般图着色问题相比。

我在评论你关于汉密尔顿循环的问题时给了你一个提示。你有没有读过这个提示并想过它?如果是,请回答这个问题。