Decrease And Conquer Topological Order Algorithm Design By Kleinberg