我认为我对NP-Complete，NP-Hard等有一个相当不错的理解，但突然间，在某些文献中磕磕绊绊，我发现有人说“自然”NP完全问题 - 明确地用那些引号。我不明白它们是什么意思，所以我试着去谷歌 - 它多次弹出，但没有人费心解释它们的意思是“自然”。
有人可以向我解释在“自然”周围加上引号的背景 - 当他们说出“自然的”NP完全问题时，这是什么意思？
答案 0 :(得分：2)
在CS理论的背景下，你经常看到有人通过定义在实践中没有人可能会遇到的高度设计的问题来证明某些属性存在问题。例如，Ladner's theorem表示如果 P ≠ NP ，则 NP 中的问题不在 P 但也不是 NP - 完整，但设计的具体问题是高度设计的，并且基本上是为了具有指示的属性而构建的。这些问题在主观上被称为“不自然”的问题，因为这个问题被发明为有一些财产。
“自然”问题是一个主观上本身就很有趣的问题 - 通常是之前已经研究过的东西 - 后来被证明具有一些有趣的理论属性。在这种情况下，“自然” NP - 完整问题将是 NP - 完全问题，实际上在实践中出现 - 例如，3-colorability，Hamiltonian cycle问题，或布尔可满足性。