3 ms·
so I guess, one way to put it, is to look at the Traveling Salesman Problem? The decision problem asks “given a set of cities is there a tour shorter than leng
by mygo 8y ago
so I guess, one way to put it, is to look at the Traveling Salesman Problem?
The decision problem asks “given a set of cities is there a tour shorter than length n?”. This is NP-Complete.
However the pop culture version of the problem is “given a set of cities, what is a tour of the shortest possible length?”. This would be the PPAD-complete version of the problem, since that solution does exist, it’s just unknown and not known to be tractable within polynomial time?
Can the Nash Equilibrium problem have a decision version whose answer is either true or false?
- sometimesijust 8y agoTSP is NP-hard for optimisation version and NP-complete for decision version. Consider how you would test that a minimal solution is minimal vs testing whether a given solution has less than a given cost. PPAD is less complete than these two classes. The decision problem for Nash Equilibria might be, does a second equilibrium exist?
- mygo 8y agoAah gotcha. So you’re saying it’s easier to verify the solution to a Nash equilibrium problem than it is to verify the solution to the TSP optimization problem?