Dijkstra 算法实现中潜在的效率低下和优先级更新漏掉的问题

在 Dijkstra 算法中,当找到通向邻居的更短路径时,无论邻居是否已经存在于优先级队列中,都应更新其优先级。 在此代码中,优先级仅在 queue.hasValue(neighbor) 返回 true 时才会发生变化。但是,如果邻居尚未在队列中,则将其添加;但是如果它已经存在,则代码会更改其优先级。 这种逻辑只要 queue.changePriority 执行如预期一样,就是正确的,但是如果 PriorityQueue 实现中存在问题(例如没有真正更新优先级或无法处理重复项),则可能会很脆弱。如果 PriorityQueue 不去除重复项,则邻居可能会在队列中出现多次,且具有不同的优先级。