Decrease And Conquer Topological Order Algorithm Definition Math