有向非巡回グラフ

有向非巡回グラフ、有向非循環グラフ、有向無閉路グラフ（ゆうこうひじゅんかいグラフ、）とは、グラフ理論における閉路のない有向グラフのことである。有向グラフは頂点と有向辺（方向を示す矢印付きの辺）からなり、辺は頂点同士をつなぐが、ある頂点formula_1から出発し、辺をたどり、頂点formula_1に戻ってこないのが有向非巡回グラフである。
有向非巡回グラフは様々な情報をモデル化するのに使われる。有向非巡回グラフにおける到達可能性は半順序を構成し、全ての有限半順序は到達可能性を利用し有向非巡回グラフで表現可能である。順序づけする必要があるタスクの集合は、あるタスクが他のタスクよりも前に行う必要があるという制約により、頂点をタスク、辺を制約条件で表現すると有向非巡回グラフで表現できる。トポロジカルソートを使うと、妥当な順序を手に入れることができる。加えて、有向非巡回グラフは一部が重なるシーケンスの集合を表現する際の空間効率の良い表現として利用できる。また、有向非巡回グラフはイベント間の因果関係を表現することにも使える。さらに、有向非巡回グラフはデータの流れが一定方向のネットワークを表現することにも使える。
無向グラフにおける対応する概念は森で、森は閉路のない無向グラフである。森から方向を選ぶとpolytreeと呼ばれる特殊な有向非巡回グラフを作ることができる。しかしながら、無向非巡回グラフ（森）に方向付けする方法では作れない有向非巡回グラフがあり、全ての無向グラフはacyclic orientationがあるため、辺に方向付けると有向非巡回グラフになる。この理由から、directed acyclic graphと呼ぶよりもacyclic directed graphと呼ぶ方が正確である。
定義.
グラフは、頂点（vertex）と、2 つの頂点を結ぶ辺（edge）によって形成される。頂点は、辺によってペアで接続されるあらゆる種類のオブジェクトである。
有向グラフの場合、各辺はある頂点から別の頂点への方向性を持つ。
有向グラフの経路（path）とは、各辺の終点となる頂点が次の辺の始点となる頂点と同じであるという性質を持つ辺の列である。
経路は、その最初の辺の始点となる頂点が最後の辺の終点となる頂点と同じであるとき、サイクル（閉路）を形成する。
有向非巡回グラフは、サイクルを持たない有向グラフのことである。
有向グラフの頂点 は、頂点 を始点とし頂点 を終点とする経路が存在するとき、頂点 から到達可能であるという。
特別な例として、すべての頂点は、自分自身から（辺がの数が 0 の経路によって）到達可能であると考えられる。
ある頂点が、非自明な経路（辺の数が 1 つ以上の経路）で自身に到達できる場合、その経路はサイクルである。
このため、どの頂点も非自明な経路では自身に到達できないグラフ、としても有向非巡回グラフを定義することができる。
数学的特性.
到達可能性関係・推移閉包・推移簡約.
DAG における関係は、 DAG の頂点の半順序 ≤ として形式化できる。
この半順序では、頂点 と頂点 は、DAG 内に から への有向パスが存在するとき、すなわち が から到達可能なときに、 ≤ として順序づけられる。
しかし、異なる DAG から、同じ到達可能性関係と同じ半順序集合が得られる場合もある。
例えば、2 つの辺 → 、 → を持つ DAG は、3 つの辺 → 、 → 、 → を持つ DAG と同じ到達可能性関係を持ち、どちらも頂点が ≤ ≤ の順に並んだ半順序集合を持つ。
DAG の推移閉包は、 と同じ到達可能性関係を表す DAG の中で、最も多くの辺を持つものである。
これは、頂点 から に到達できるときには必ず辺 → を持つ。
つまり、 の到達可能性関係において異なる要素の関連するペア ≤ は必ず辺を持つので、到達可能性関係 ≤ をグラフ理論的に直訳したものと考えてよい。
この方法はより一般的に有効で、全ての有限半順序集合（、≤）に対して、 の各メンバーに頂点を持ち、 ≤ で関連する要素のペアに辺を持つグラフは、自動的に DAG の推移閉包となり、（、≤）を到達可能性関係として持つ。
このようにして、全ての有限半順序集合は、DAG の到達可能性関係として表すことができる。
DAG のとは、 と同じ到達可能性関係を表す DAG の中で、最も少ない辺を持つものである。
これは のサブグラフであり、 が から に至るより長いパスを持つ場合に辺 → を廃棄することで形成される。
推移閉包と同様、推移簡約も DAG に対して一意に定義される。
一方、DAG 以外の有向グラフでは、同じ到達可能性関係を持つ最小部分グラフが複数存在する場合がある。
DAG が半順序 ≤ で表される到達可能性関係を持つとき、 の推移簡約は サブグラフであり、≤ の にある全てのペアに対し辺 → を持つ。 
推移簡約は同じ半順序を表す他のグラフに比べて辺の数が少なく、グラフの描画が単純になるため、半順序を視覚化するのに便利である。
半順序のハッセ図は、推移簡約を図示したもので、各辺の向きを、辺の始点の頂点を終点の頂点よりも低い位置に置いて示している。