ormula_2。这个被选择的顶点是formula_31中拥有最小的formula_38值的顶点。当一个顶点formula_6从formula_31中转移到了formula_2中，算法对formula_6的每条外接边formula_43进行松弛。《算法导论》中给出了以下伪代码：该伪代码计算并保留图formula_44中原点formula_4到每一顶点formula_10的最短距离formula_12。其中，函数formula_48将顶点集合formula_31中有最小formula_38值的顶点form