\[VC總結系列——關於有向無環圖 \]
總目錄
Ⅰ. 定義
Ⅱ. 性質
Ⅲ. 判定
Ⅳ. 更新日志
Ⅰ. 定義
有向無環圖：邊有向，且此圖無環，在OIer口中也稱之為 $ DAG \(，\) DAG $也和 拓撲排序 息息相關（見圖）
反例：（標准的有向有環圖）
Ⅱ. 性質
-
能拓撲排序
（鏈接代填）的圖，一定是有向無環圖。 -
有向無環圖 一定能拓撲排序。
形象表達兩者（$ topsort \(、\) DAG $）的關系圖：
Ⅲ. 判定
法一. 檢驗此圖是否可以拓撲排序即可。
法二. 利用$ DFS $，搜索此圖是否存在返祖邊，如果有那就是環，則不是有向無環圖。
您也可以在luogu找到這篇文章