patternModerate
What complexity class does this variation of traveling salesman problem belong to?
Viewed 0 times
thissalesmanproblemwhatbelongtravelingdoesvariationclasscomplexity
Problem
Given a TSP instance $T$, decide whether changing the city coordinates by adding a vector of coordinates $v$ will change the optimal TSP objective by atleast $x$. The city coordinates are integers.
The problem is in PSPACE but even the verification problem seems to be NP-hard. Is that true?
If the verification problem is NP-hard, what exact complexity class does this problem belong to?
The problem is in PSPACE but even the verification problem seems to be NP-hard. Is that true?
If the verification problem is NP-hard, what exact complexity class does this problem belong to?
Solution
I'm assuming that you're thinking of the Euclidean traveling salesman problem, where $c$ and $v$ are vectors in $\mathbb{Z}^{2n}$, with two coordinates for each city. Let $minTSP(c)$ denote the length of the minimum traveling salesman tour for the cities with coordinates $c$. Then your problem asks whether
$$
minTSP(c + v) \ge min TSP(c) + x.
$$
But then the special case $c=0$ is equivalent to asking whether $minTSP(v) \ge x$, which is coNP-hard.
$$
minTSP(c + v) \ge min TSP(c) + x.
$$
But then the special case $c=0$ is equivalent to asking whether $minTSP(v) \ge x$, which is coNP-hard.
Context
StackExchange Computer Science Q#2737, answer score: 10
Revisions (0)
No revisions yet.