TSP(G): Let D−←0. Let D+←total weight of all edges of G While (D+−D−)< shortest edge of G: Let mid ←(D++D−)/2 If TSP-DEC(G,m)=H: Let D+←mid Else: Let D−←mid Return route H of length mid TSP-DEC(G,D): Use algorithm to find optimal route H If length of H≤D: Return route H Else: Return ⊥