Decrease And Conquer Topological Order Algorithm Meaning