[英]How is TSP NP-Hard?
NP-Hard问题是NP中的每个问题都具有多项式时间(Cook或Karp,多种定义)的化简问题。 这些可能包含NP中不存在的问题,实际上甚至不需要包含可确定的问题(例如停止问题)。
NP-Complete问题是NP中的那些问题,也是NP-Hard。
如果P不等于NP,那么NP中将存在无数个问题,这些问题既不在P中,也不在NP-Complete中(Ladner定理)。
TSP问题的优化版本已显示为NP难,但由于尚有已知的验证算法,因此尚未知道它是否在NP中。
TSP问题的决策版本已显示为NP完整(NP内和NP硬)。
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.