是从双向图DAG构造的单向图吗？

Question

对于上图。

for evert vertex:
   remove back edge from children to it.

它认为这将始终导致DAG，但我无法证明这一点。是否有任何证据或有人可以提供相反的论点？

Answer 1

根据this stackoverflow答案，顶点应具有总顺序。

因为顶点在列表中（上述算法），等效于总排序。

因此，它将始终形成DAG。