Decrease And Conquer Topological Order Algorithmic Definition