Np-硬度降低

时间:2012-01-09 13:30:11

标签: algorithm np-complete np-hard np

如果我想表明问题是np-hard,可以多次使用现有的np-hard问题吗?例如,在图中使用哈密顿量周期n次,其中n是顶点数?或者我是否需要将图形转换为可以通过一次使用的现有np-hard问题轻松解决的问题?

3 个答案:

答案 0 :(得分:4)

你需要显示确切的对话。

如果你证明你可以用NP-Hard问题解决你的问题,那么它没有任何证据。 [您可以使用SAT解决NP中的每个问题,Cook-Levin Theorem]。

如果您的问题在多项式时间内是可解的,那么您需要证明 - NP-Hard问题也是如此。这实际上是一种减少。

例如:如果我可以证明我可以使用shortest path来解决TSP - 它是否会使最短路径NP-Hard?当然不是!它只显示TSP至少与最短路径一样难!

答案 1 :(得分:1)

通过纽约从巴黎到伦敦旅行并不能证明这条路是最短路径。

答案 2 :(得分:0)

我不是数学家,但是如果你能证明问题至少和现有的已知的NP难问题或其倍数一样复杂,那么这肯定是足够的证明? 常识表明,如果剥皮豹子比剥皮2只猫更复杂,那么它比剥皮猫更复杂,等等!