王老师，我输入代码运行后，实际出队列的顺序跟图中的不一样，实际（15，0）出队列 在（13，3）出队列前面。我看了代码，应该是修改（25，1）为 （13，3）的时候，小顶堆不会自动更新顺序。需要对22行进行如下修改，更新已经在队列中，又改了dist的Vertex的优先级：
                   if (inQueue[nextVertex.id] == false){
                        queue.add(nextVertex);
                        inQueue[nextVertex.id] = true;
                    }
                    else { // 更新已经在队列中，又改了dist的Vertex的优先级
                        queue.remove(nextVertex);
                        queue.add(nextVertex);
                    }

第十三天：
地图软件是如何计算出最短路径的
我们把每个岔路口看作一个顶点，岔路口与岔路口之间的路看作一条边，路的长度就是边的权重。如果路是单行道，我们就在两个顶点之间画一条有向边；如果路是双行道，我们就在两个顶点之间画两条方向不同的边，这样就构成了一幅有向有权图。这个问题就转化为求一个有向有权图中，两个顶点最短路径的问题。
上述问题可以使用dijkstra算法
原理：将每个顶点到起始顶点的距离初始为无穷，然后从起始点开始，将其加入一个优先级队列中，从优先级队列中取出到源点距离最小的顶点，然后比较其周围顶点离源点的距离是否大于其到源点的距离+其到周围顶点的距离，如果大于的话，更新周围顶点到源点的距离为较小的值以及其前序节点，并将其加入优先级队列中（如果已经加入过，就不需加入了），再取出优先级队列中的距离最小值，循环往复，直到取出终止顶点t，或者优先级队列为空。此时倒序输出终止顶点t的前序节点，前序节点的前序节点。。。，直到前序节点的前序节点为s,此时路径即为最短路径。
计算最少红绿灯依然可以采用上述的思路，构造一个有向无权图。
对于地点跨度范围比较大，可以分阶段来计算，找出哪些点是必经的点，然后拆分阶段。具体到每个区域，可以找个合适的区域将源点与中点覆盖进去，来减少顶点的数量。