greedy TSP non-deterministic