Decrease And Conquer Topological Order Definition Math