「formula_20からformula_21が最小である頂点を取り除く」の部分は、オリジナルは単純に集合内を探索するアルゴリズムだが、formula_1を優先度付きキュー(フィボナッチヒープ)にすることで、より計算量が減る。