SAT问题reducible to旅行商问题。也就是说可以认为SAT问题是旅行商问题在某种情况下的其他表述。而SAT问题...
算法导论34.5.4 The traveling-salesman problem