第二个是有向无环图的判定？