我认为我对NP-Complete,NP-Hard等有一个相当不错的理解,但突然间,在一些文献中磕磕绊绊,我发现有人说“自然”NP完全问题 – 明确地与那些引号.我不明白他们的意思,所以我试着去谷歌 – 它多次弹出,但没有人费心解释他们的意思是“自然”.

有人可以向我解释一下将引号置于“自然”周围的背景 – 当他们说出一个“自然的”NP完全问题时,这意味着什么？

最佳答案 在CS理论的背景下,你经常会看到有人通过定义在实践中没有人会真正遇到的高度设计的问题来证明某些属性存在问题.例如,
Ladner’s theorem表明,如果P≠NP,那么NP中的问题不在P中,但也不是NP完全的,但设计的具体问题是高度设计的,并且基本上是为单一构造的具有指定财产的目的.这些问题在主观上被称为“不自然”的问题,因为这个问题被发明为具有某些特性.

一个“自然”问题是一个主观上本身就很有趣的问题 – 通常是之前已经研究过的东西 – 后来被证明具有一些有趣的理论属性.在这种情况下,一个“自然的”NP完全问题将是一个实际上在实践中出现的NP完全问题 – 比如3-colorability,Hamiltonian循环问题或布尔可满足性.