Let C be a set of m cities with distances d(c_i, c_j) element Z^+ for each pair of cities c_i, c_j element C, and let B be a positive integer. Then the traveling salesman problem asks if there is a tour of C having length B or less, i.e., a permutation
status | proved NP-complete