最短路和生成树的一些思考

Dijkstra正确性

• 每一种路径对应的
• 若某次di