less than 1 minute read

走在路上突然想到这个问题,但是一时没想出来。

所以其实就抓住Dijstra和Bellman-Ford的最关键区别 - Dijkstra的节点在出堆之后就不再考虑了,而B-F每一次都对所有节点操作 - 来构造反例。思路是使某一节点出堆之后还能被更新(且不是负环的情况,因为负环本来就不可能有解。)

dij