假設給我們一個任意的圖，它可能是也可能不是DAG（有向無圈圖），推廣拓撲排序算法，以使得給定有向圖G的輸入，它的輸出是以下兩者之一： (a) 一個拓撲排序，于是確定了G為DAG； 或者 (b) G中的一個圈，于是確定了G不是DAG. 注意到輸出的解可能不是唯一的，輸出任意一個答案即可。