檢視有向无环图的原始碼

'''有向无环图'''在数学，特别是图论和计算机科学中，有向无环图指的是一个无回路的有向图。如果有一个非有向无环图，且A点出发向B经C可回到A，形成一个环。将从C到A的边方向改为从A到C，则变成有向无环图。有向无环图的生成树个数等于入度非零的节点的入度积。<ref>[https://zhuanlan.zhihu.com/p/109932832 因果推理初探（2）——有向无环图]知乎</ref>
== 应用 ==
一个无环的有向图称做有向无环图（Directed Acyclic Graph）。简称DAG 图。DAG 图是一类较有向树更一般的特殊有向图，如图 给出了有向树、DAG 图和有向图的例子。{| class="wikitable" style="float:right; margin: -10px 0px 10px 20px; text-align:left"
|<center><img src=" https://pic.baike.soso.com/ugc/baikepic2/31303/20180507104801-1440335330_png_716_194_41358.jpg/300   " width="180"></center><small>[]</small> 
|}

有向无环图是描述含有公共子式的表达式的[[有效工具]]。例如下述表达式：

((a+b)*b*(c+d)+(c+d)*e)*(c+d)*e

可以用第六章讨论的二叉树来表示，如图1 所示。仔细观察该表达式，可发现有一些相同的子表达式，如(c+d)和(c+d)*e 等，在二叉树中，它们也重复出现。若利用有向无环图，则可实现对相同子式的共享，从而节省存储空间。例如图2 所示为表示同一表达式的有向无环图。{| class="wikitable" style="float:right; margin: -10px 0px 10px 20px; text-align:left"
|<center><img src=" https://pic.baike.soso.com/ugc/baikepic2/5312/20180507104801-456323101_png_365_258_40306.jpg/300   " width="180"></center><small>[]</small> 
|}


检查一个有向图是否存在环要比无向图复杂。对于无向图来说，若深度优先遍历过程中遇到回边（即指向已访问过的顶点的边），则必定存在环；而对于有向图来说，这条回边有可能是指向深度优先生成森林中另一棵生成树上顶点的弧。但是，如果从有向图上某个顶点v 出发的遍历，在dfs(v)结束之前出现一条从顶点u 到顶点v 的回边，由于u 在生成树上是v 的[[子孙]]，则有向图必定存在包含顶点v 和u 的环。

有向无环图是描述一项工程或系统的进行过程的有效工具。除最简单的情况之外，几乎所有的工程（project）都可分为若干个称作活动（activity）的子工程，而这些子工程之间，通常受着一定条件的约束，如其中某些子工程的开始必须在另一些子工程完成之后。{| class="wikitable" style="float:right; margin: -10px 0px 10px 20px; text-align:left"
|<center><img src=" https://pic.baike.soso.com/ugc/baikepic2/21855/20180507104801-203274883_png_328_286_28096.jpg/300   " width="180"></center><small>[]</small> 
|}

对整个工程和系统，人们关心的是两个方面的问题：一是工程能否顺利进行：二是估算整个工程完成所必须的最短时间。这样两个问题都是可以通过对有向图进行拓扑排序和关键路径操作来解决的。

== 描述 ==
在图论中，如果一个有向图无法从某个顶点出发经过若干条边回到该点，则这个图是一个有向无环图（DAG图）。{| class="wikitable" style="float:right; margin: -10px 0px 10px 20px; text-align:left"
|<center><img src=" https://pic.baike.soso.com/ugc/baikepic2/30382/20170705114628-622565183.jpg/300   " width="180"></center><small>[]</small> 
|}

因为有向图中一个点经过两种路线到达另一个点未必形成环，因此有向无环图未必能转化成树，但任何有向树均为有向无环图。
==参考来源==
{{Reflist}}
[[Category:330 物理学总论]]