【发布时间】：2016-09-06 11:34:51
【问题描述】：
我认为我对 NP-Complete、NP-Hard 等总体上有相当不错的理解，但突然间，偶然发现一些文献，我发现有人说一个“自然”的 NP-complete 问题——明确地用这些引号。我不明白他们的意思，所以我试着用谷歌搜索——它又弹出了好几次，但没有人费心解释他们所说的“自然”是什么意思。
有人可以向我解释一下在“自然”周围加上引号的上下文是什么——当他们说“自然”NP完全问题时是什么意思？
【问题讨论】：
标签： np
【发布时间】：2016-09-06 11:34:51
【问题描述】：
在 CS 理论的背景下，您经常看到有人通过定义在实践中不可能真正遇到的高度人为的问题来证明某些属性存在问题。例如，Ladner's theorem 表明如果 P ≠ NP，那么 NP 中存在一个问题，而 P 中没有 但也不是 NP - 完整的，但设计的特定问题是高度人为的，并且本质上是为了具有指定属性的唯一目的而构建的。这些问题在主观上被称为“非自然”问题，因为这些问题被发明出来具有某种性质。
“自然”问题是一个主观上本身就很有趣的问题——通常是以前研究过的东西——后来被证明具有一些有趣的理论性质。在这种情况下，一个“自然的”NP-完全问题将是一个实际出现在实践中的 NP-完全问题 - 例如，类似于 3-colorability，哈密顿循环问题，或布尔可满足性。
【讨论】：