20.2.4 无环有向图算法