问题 哈密​​顿路径与ST的区别


我正在阅读用于查找最小生成树的算法(在加权图的情况下)以及查找图是否具有哈密顿路径(这取决于哈密顿循环的存在)。我把一切搞砸了。那么哈密顿路径和生成树之间的区别是什么?两者都覆盖图中的所有顶点。虽然我们可以使用有效的算法来查找生成树(可能是最小的生成树),但为什么我们不能找到哈密尔顿电路的算法?我们可以继续一次添加和删除一条边,直到我们达到一个周期,也许,我们可以找到一个哈密顿周期?


8571
now


起源



答案:


这两个问题完全不同。将最小生成树视为连接您只需支付一次以构建道路的地方的问题,但您可以根据需要多次使用它。很容易想出最便宜的道路配置(例如通过Kruskal的算法),它允许您从任何地方旅行到任何其他地方。

另一方面,汉密尔顿循环要求您最小化实际行进距离,即从一个地方到另一个地方的每次移动都很重要。 (它还要求你永远不要两次访问一个地方,但这是一个小细节。)这个问题基本上是非本地的,从某种意义上说,你无法通过本地探索选项来判断你是否正在做正确的事情。下一步。相比之下,贪婪的MST算法保证选择正确的下一个边缘,以便在每一步添加到树中。

顺便说一句,没有人说“我们不能为HP提供有效的算法”。可能是我们还没有找到一个:-)


7
2017-07-23 13:53



这不是真的,因为有christofides算法来解决旅行商问题,并保证在最佳值的3/2范围内。 hp是tsp问题的(廉价)近似值。也许使用空间填充曲线更容易。 - Bytemain
根据 维基百科但是,Christofides仅适用于欧几里德加权图。当然,有许多特殊情况可以有效地完成TSP或HP。 - Kerrek SB
克雷克:你的意思是它必须满足三角不等式吗?这是一个链接 scribd.com/doc/19417995/Euclidean-vs-nonEuclidean-Geometry。但我想不出一个真实世界的应用程序?你介意告诉我更多吗?你检查三角不等式吗? - Bytemain
是的,三角形不等式意味着你的图形在欧几里德空间中等距离存在。您从中获得了一些本地信息,因为您知道A-> B-> C总是至少与A-> C一样长,这在一般加权图中是您不知道的。例如。如果A-> B和B-> C成本为1,但A-> C成本为10,则可以通过用ABC替换AC来改善,但根据欧几里德的假设,您永远不需要费心去测试。 - Kerrek SB
顺便说一句,这与微分几何意义上的“非欧几里德几何”无关。后一种意义上的几何 总是 满足局部三角不等式;它不需要在本地 平面。 - Kerrek SB


答案:


这两个问题完全不同。将最小生成树视为连接您只需支付一次以构建道路的地方的问题,但您可以根据需要多次使用它。很容易想出最便宜的道路配置(例如通过Kruskal的算法),它允许您从任何地方旅行到任何其他地方。

另一方面,汉密尔顿循环要求您最小化实际行进距离,即从一个地方到另一个地方的每次移动都很重要。 (它还要求你永远不要两次访问一个地方,但这是一个小细节。)这个问题基本上是非本地的,从某种意义上说,你无法通过本地探索选项来判断你是否正在做正确的事情。下一步。相比之下,贪婪的MST算法保证选择正确的下一个边缘,以便在每一步添加到树中。

顺便说一句,没有人说“我们不能为HP提供有效的算法”。可能是我们还没有找到一个:-)


7
2017-07-23 13:53



这不是真的,因为有christofides算法来解决旅行商问题,并保证在最佳值的3/2范围内。 hp是tsp问题的(廉价)近似值。也许使用空间填充曲线更容易。 - Bytemain
根据 维基百科但是,Christofides仅适用于欧几里德加权图。当然,有许多特殊情况可以有效地完成TSP或HP。 - Kerrek SB
克雷克:你的意思是它必须满足三角不等式吗?这是一个链接 scribd.com/doc/19417995/Euclidean-vs-nonEuclidean-Geometry。但我想不出一个真实世界的应用程序?你介意告诉我更多吗?你检查三角不等式吗? - Bytemain
是的,三角形不等式意味着你的图形在欧几里德空间中等距离存在。您从中获得了一些本地信息,因为您知道A-> B-> C总是至少与A-> C一样长,这在一般加权图中是您不知道的。例如。如果A-> B和B-> C成本为1,但A-> C成本为10,则可以通过用ABC替换AC来改善,但根据欧几里德的假设,您永远不需要费心去测试。 - Kerrek SB