Decrease And Conquer Topological Sorting Definition