閉路を含まない有向グラフを有向非巡回グラフ (directed acyclic graph, DAG)と呼びます。ある頂点に向かう辺が無い場合、その頂点をソース (source) と言い、ある頂点から出る辺が無い場合、その頂点をシンク (sink) と言います。辺が一つも付いていない孤立した頂点はソースかつシンクです。任意の DAG には少なくとも一つのソースとシンクがありますが、複数あることもあります: 例えば辺が無いグラフでは全ての頂点がソースかつシンクです。 図 6.6有向非巡回グラフ (頂点 e, f, j がソース、頂点 b,c,p がシンク) 前節で示した、\mathit{u.post} < \mathit{v.post} を満たす任意の辺 u \rightarrow v には v から u への有向路があるという事実を思い出してください。この事実を使えば、頂点を帰りがけ順に並
