Decrease And Conquer Topological Sort Complexity And Contradiction