Algorithm Np完备性-需要在归约中进行一些澄清吗

Algorithm Np完备性-需要在归约中进行一些澄清吗,algorithm,np-complete,np,np-hard,Algorithm,Np Complete,Np,Np Hard,我想澄清一下概念。 为了证明一个问题是NP完全的,我们使用约化 现在假设我有L来证明语言L是NP完全的,你实际上需要证明两件事,L是NP中的,L是NP难的。通常,证明L在NP中是很容易的,但别忘了这样做 证明L是NP难的通常方法是,实际上,证明L的多项式时间判定器可用于为已被证明是NP完全的语言L'构建多项式时间判定器 必须是那样的。多项式时间可判定语言L的许多情况下,多项式时间判定器可以从NP完全语言的多项式时间判定器构建。例如,考虑一个具有两种颜色的图的多项式时间可判定问题,而不是NP完全图

我想澄清一下概念。 为了证明一个问题是NP完全的,我们使用约化


现在假设我有L来证明语言L是NP完全的,你实际上需要证明两件事,L是NP中的,L是NP难的。通常,证明L在NP中是很容易的,但别忘了这样做

证明L是NP难的通常方法是,实际上,证明L的多项式时间判定器可用于为已被证明是NP完全的语言L'构建多项式时间判定器

必须是那样的。多项式时间可判定语言L的许多情况下,多项式时间判定器可以从NP完全语言的多项式时间判定器构建。例如,考虑一个具有两种颜色的图的多项式时间可判定问题,而不是NP完全图着色问题。
我在评论你关于哈密顿循环的问题时给了你一个提示。你读过这个提示并考虑过吗?如果是,请回答这个问题。

如果我把k=|v |-1放在这个问题中,那么我就可以得到哈密顿路径问题的多项式时间判定器。对吗?但是问题是从Ham循环,而不是Ham路径,所以你需要考虑从Hamiltonian循环到Hamiltonian路径的约化。