トポロジカルソート

有向グラフ トポロジカル順序とは、頂点の間の全順序 であって全ての辺 に対して が成り立つものを言います。くだけて言うと、トポロジカル順序とは全ての辺が右から左に行くように頂点を一列に並べたものです。 が有向閉路を持っている場合にはトポロジカル順序が存在しないのは定義から明らかです ――閉路に含まれる頂点のうち一番右にある頂点からは左に向かう辺が出てしまいます!

有向グラフ の任意の帰りがけ順序を考えます。前述の解析より、 を満たす任意の辺 に対して には から への有向路が含まれます。したがってもし が非巡回ならば、全ての辺 に対して です。ここから任意の有向非巡回グラフ がトポロジカル順序を持つことが言えます。具体的には、 の任意の帰りがけ順序を逆にしたものが のトポロジカル順序です。

前図の DAG に対する帰りがけ順序の逆順
図 6.8
前図の DAG に対する帰りがけ順序の逆順

トポロジカル順序を別のデータ構造に書き出す必要があるなら、探索の途中で頂点をそのまま配列に書くことで 時間で行えます:

procedure ()

for 頂点 do

for 頂点 do

if then

()

return

procedure ()

for の形をした辺 do

if then

()

return

図 6.9
陽なトポロジカルソート

陰的なトポロジカルソート

しかしトポロジカル順序を別のデータ構造に格納するというのは多くの場合やりすぎです。トポロジカルソートの応用では頂点をトポロジカル順序に並べたリストが得たいのではなくて、トポロジカル順序 (あるいはその逆順) に沿って頂点ごとに何らかの計算を行いたい状況がほとんどであり、このような応用では、グラフのトポロジカル順序を記録する必要はありません!

有向非巡回グラフの頂点をトポロジカル順序の逆順で処理したいならば、頂点を再帰的深さ優先探索の最後で処理するようにすればそれで済みます。結局、トポロジカル順序とは帰りがけ順序の逆順なのですから!

procedure ()

for 頂点 do

for 頂点 do

if then

()

procedure ()

for の形をした辺 do

if then

()

else if then

エラーを出す

()

もし入力されるグラフが非巡回であることが事前に分かっているなら、頂点の状態を保存する代わりに印をつけるようしてこのアルゴリズムをさらに簡略化できます:

procedure ()

for 頂点 do

の印を消す

for 頂点 do

if に印が付いていない then

()

procedure ()

に印をつける

for の形をした辺 do

if に印が付いていない then

()

()

これは一般的な深さ優先探索と全く同じで、 に変わっているだけです!

有向非巡回グラフに対する帰りがけ順の処理はとてもよく使われるので、私はこの処理を次のように省略して書くことがあります:

procedure ()

for 帰りがけ順の頂点 do

例えば先述の陽的なトポロジカルソートは次のように書けます:

procedure ()

for 帰りがけ順の頂点 do

return

DAG をトポロジカル順序通りに処理したい場合には、頂点をトポロジカル順序に配列に保存し、その配列に対して単純な for ループを回すことで行えます。順序を配列に書き出すことができない場合には、DAG 逆 (reversal) と呼ばれるグラフに対して深さ優先探索を行うことでも同じ処理を行えます。有向グラフ の逆とは の全ての辺 に取り換えることで得られるグラフであり、 と表されます。有向グラフ に含まれる閉路は でも閉路を作るので、DAG の逆は DAG です。 におけるシンクは におけるソースとなります (逆も成り立ちます)。また におけるトポロジカル順序が のトポロジカル順序の逆順であることは帰納法によって示せます1。標準的な隣接リストで表された任意の有向グラフの逆は で計算できます: 詳細は簡単な練習問題とします。


  1. の逆の帰りがけ順序が の帰りがけ順序の逆順であるとは限りませんが、 のトポロジカル順序であることは言えます。[return]

広告