What is the purpose of finding a lower bound in the Traveling Salesman Problem?

  • Thread starter Thread starter Zurtex
  • Start date Start date
AI Thread Summary
Finding a lower bound in the Traveling Salesman Problem (TSP) is crucial for narrowing down potential solutions and understanding the complexity of the problem. While an upper bound indicates the maximum distance, a larger lower bound helps to refine the search for the optimal route, providing more precise estimates. The effectiveness of these bounds is essential, as a smaller lower bound can reduce the accuracy of the solution, making it less useful. Ultimately, the goal is to determine the shortest route efficiently, as calculating all possible routes is computationally expensive. Establishing these bounds aids in navigating the problem more effectively, leading to better approximations of the optimal solution.
Zurtex
Science Advisor
Homework Helper
Messages
1,118
Reaction score
1
At my maths class today we just started the final module of my further maths A level class. In the lesson we met the traveling salesman problem, I understand why it is such a difficult problem and I understand why we can easily work out an upper band and why it is useful.

However our teacher did not know why we had to work out a lower bound as surely a value smaller than this would be better.

If anyone could explain this too me I would be grateful.
 
Mathematics news on Phys.org
The traveling salesman thing asks you to find the optimal path through the 'maze' if you will. It is important to find bounds on this, both upper and lower, so that you know roughly how long it wil take. Finding *an* upper bound is easy, as is finding a lower bound, but you would prefer to find the *largest* lower bound (and the smallest upper bound). Knowing a small bound less than some other lower bound doesn't help you anymore than knowing a bound bigger than the larger bound does.


I mean, would you rather know your test score was more than 70% or more than 10%? One clearly narrows the options down (for the better).


Just knowing the salesman travels more than 7 miles does imply he travels more than 5 miles, but knowing he travels more than 5 miles doesn't imply he travels more than 7 does it?



As it is finding the exact answer takes n! steps for n towns. If you can get a path that is at most in error by 20% say in n^2 steps you'd take it.


If you know replace you lower bound by something even smaller you decrease the effectiveness of this shortcut cos you increase the percentage error.

Is that sort of clear?
 
So rather than a way of working out a shorter route it is more a way of decreasing the amount of workings required?
 
It isn't that you're working out a shorter route (what can be shorter than the shortest), but that you are finding out that the shortest route is at least as big as something. Just knowing that the shortest route is at least x miles tells you what''s going on. The aim ought to be to find the shortest route. This is very hard and takes about n! calculations for n towns. This is the complexity of it. If you figure out a way to do it very quickly yo'ure on the way to a million dollars.

We can in theory work through every possible combination of routes, but that's very time consuming, what you try and do is pick some clever way of doing it that you know it gives you an error you can live with.

If I tell you that the optimum route takes between 10 and 20 miles is that better or worse than me saying it's between 16 and 17? The larger the lower bound the better (and the smaller the top bound), but it is only an estimate that gives you more knowledge, and allows you to know if you're getting closer to the optimum. What really counts is bounding it above, absolutely.
 
Hmmm, I think I about get that thanks.
 
Suppose ,instead of the usual x,y coordinate system with an I basis vector along the x -axis and a corresponding j basis vector along the y-axis we instead have a different pair of basis vectors ,call them e and f along their respective axes. I have seen that this is an important subject in maths My question is what physical applications does such a model apply to? I am asking here because I have devoted quite a lot of time in the past to understanding convectors and the dual...
Insights auto threads is broken atm, so I'm manually creating these for new Insight articles. In Dirac’s Principles of Quantum Mechanics published in 1930 he introduced a “convenient notation” he referred to as a “delta function” which he treated as a continuum analog to the discrete Kronecker delta. The Kronecker delta is simply the indexed components of the identity operator in matrix algebra Source: https://www.physicsforums.com/insights/what-exactly-is-diracs-delta-function/ by...
Back
Top