指没有回路的有向图。若一个有向图没有办法从某个顶点出发经过几条边再回到这个点，那就可以认为这是一幅有向无环图。