プリム法
上の初期化アルゴリズムで、次の状態になっている。 nearest vertex とは Q[0] にあり、これが最新の追加である。 fringe とは Q 上の v であり、最も近い頂点を除去した後で v の距離が ∞ より小さいもの。 not seen とは Q 上の v であり、最も近い頂点を除去した後で v の距離が ∞ であるもの。 このwhileループは、remove minimum がヌルを返すと終了する。隣接リストは有向グラフを返せるように設定する。