トポロジカルソート
トポロジカルソート（）は、グラフ理論において、有向非巡回グラフ（）の各ノードを順序付けして、どのノードもその出力辺の先のノードより前にくるように並べることである。有向非巡回グラフは必ずトポロジカルソートすることができる。
有向非巡回グラフのノードの集合に到達可能性関係 "R" (ノード "x" から "y" への(各辺の向きに逆行しない)経路が存在するとき、またそのときに限り "xRy" とする)を定めると、"R" は半順序関係となる。トポロジカルソートとは、この "R" を全順序になるように拡張したものとみなせる。