Follow Slashdot blog updates by subscribing to our blog RSS feed

 



Forgot your password?
typodupeerror
×
AI Games News

The Physical Travelling Salesman Challenge 59

mikejuk writes "You probably know that the traveling salesman problem is one of the classics of computer science theory. Now we have a new challenge — the Physical Travelling Salesman Problem and anyone can join in. All you have to do is visit each city once using an optimal route. The new element is that you now have to drive between the cities using a 'car' that has inertia and friction — see the video. You can submit an AI bot to solve the problem or drive the course yourself."
This discussion has been archived. No new comments can be posted.

The Physical Travelling Salesman Challenge

Comments Filter:
  • sounds familiar (Score:5, Informative)

    by fche ( 36607 ) on Saturday April 21, 2012 @10:31AM (#39755739)

    Sounds like a relative of the ICFP 2008 contest: http://www.cs.uchicago.edu/newsletter/353 [uchicago.edu]

    • "or drive the course yourself."

      This exercise brought to you by your friendly neighbourhood petroleum company.

  • Uh, okay? (Score:5, Insightful)

    by TWX ( 665546 ) on Saturday April 21, 2012 @10:31AM (#39755741)
    I thought the point of the actual mathematical problem was to mathematically conclude the best possible path, with the understanding that it wouldn't be real-world achievable but that one would use that as a guideline to strive for.

    This little game they came up with removes the math portion of the experiment entirely, and while it adds the acceleration changes due to mass, one could have just introduced those acceleration changes into the original problem mathematically.

    I don't understand what the little game is actually for. It's not entertaining enough despite their attempts to compare it to Crazy Taxi and others, and without there being math involved in plotting the route I don't see how one practices the theory beyond a child's level.
    • Re:Uh, okay? (Score:5, Informative)

      by Corporate Drone ( 316880 ) on Saturday April 21, 2012 @10:58AM (#39755917)

      It's simply meant to be an implementation of a heuristic, based on the traveling salesman problem, that takes into account physical considerations (speed, acceleration, direction) and processing limitations (RAM, processor cycles) for both initial setup and decision-making at each step.

      The speed/direction stuff reminds me of the kind of skating that hockey players do (is it more effective to go in one direction, stop, and turn around, or is it better to modify your line and preserve momentum? in this game, too, is it better to accelerate greatly and bounce off a wall behind your target, or approach more slowly in order to modify your line without an abrupt change in direction?).

      The processing limitations are interesting too, and provide for an interesting optimization exercise.

      Or, by "I don't understand", should I simply answer "it's fun"...? ;)

      • Am I mistaken in thinking that it was proven that the 'Drunkards Walk' was on average better than most other solutions? It might be time for a little drunk driving!
        • by Ihmhi ( 1206036 )

          I'm picturing someone stumbling out of an '86 Lincoln Towncar with a labcoat and goggles saying "DON'T WORRY I AM A SCIENTIST AND I AM DOING SCIENCE!" *bluuuuuuuuuuurgh*

    • Re:Uh, okay? (Score:4, Insightful)

      by gnasher719 ( 869701 ) on Saturday April 21, 2012 @12:27PM (#39756467)

      I thought the point of the actual mathematical problem was to mathematically conclude the best possible path, with the understanding that it wouldn't be real-world achievable but that one would use that as a guideline to strive for.

      The point of the mathematical problem was being a mathematical problem. In real life, you would first not look at the distance, but at the cost (taking into account fuel, wear and tear, cost of the time spent, tolls etc. ). You would consider that the cost of going from A to B is often not the same as the cost going from B to A. You would consider that the cost will depend on the time of day. You will consider that there are other restrictions (be at X anytime before launch, be back at the base before 6pm). If a truck makes delivery, there might be advantages of getting rid of a heavy load early, so the cost would go down after visiting some point X.

      So the result of the mathematical problem will likely not be nearly as good as some rather simple heuristic with real life data.

    • You're misunderstanding the TSP - in the standard problem, the distances are known in advance, but there are n-factorial possible routes, so if n's large, you can't just enumerate all of them to find the best one, which makes it hard to tell if the best route you've found so far is actually the best. In the mathematical version, you can quickly verify whether any particular route is valid (hits all the cities, using valid roads between them), so in the real world you could drive that. (The only way you wo

  • by moosehooey ( 953907 ) on Saturday April 21, 2012 @10:33AM (#39755755)

    The traveling salesman problem is based on a table of distances between the city pairs. It doesn't matter to the problem HOW those distances are calculated, or even if they include other variables. So this can be trivially reduced to the classic version of the problem.

    • Re: (Score:2, Insightful)

      by Anonymous Coward

      Well the difference could be the time taken for each leg could be different depending on what time/day it is. So it doesn't reduce to the classic version.

      I'm no mathematician but I think this makes the problem harder to solve not easier, and the classic problem is already considered "hard",,,

      In the real world you might be able to solve it for simple cases or "solve" it well enough. But that applies to the classic scenario and this scenario.

      • by TWX ( 665546 )
        I don't think that the problem, as originally stated, has anything to do with time though. It looks like it's based on raw distance, and while that's a bit of a fallacy in of itself, it we start adding factors the difficulty really increases.

        I do agree that time is probably actually important to a travelling salesman, and the cost to make the trip would matter too, as fuel is consumed differently at different speeds including while idling, but that'd be a whole lot of extra variables.
        • It might get easier.

          Last I knew the "pure" problem was "Hard" because it counted minor variants that were off by a mile as "invalid answers". Whereas the "Approximations" came out really fast because in the real world you didn't care about an extra time.

          Same thing here, while the classic problem bitches about the extra mile or not, in the real world, if you have one road with crushing traffic, many other solutions become better even if they are 5 miles longer. That's fairly true in my area.

          • Last I knew the "pure" problem was "Hard" because it counted minor variants that were off by a mile as "invalid answers". Whereas the "Approximations" came out really fast because in the real world you didn't care about an extra time.

            I recommend a variant: "Real time travelling salesman": You have a set of points, a starting point, and the times to travel between the points in second. You start a computer program which outputs the points to visit in the order they are visited. Here's what makes it "real time": You can start travelling to the each point only when the computer has output that point. The computer program can continue working on the next point while driving.

          • No. The reason the pure problem is hard is that there are N-factorial possible solutions, which becomes infeasible to compute if N is large, and there aren't any good algorithms known to find the optimal solution that are better than enumerating them all. The reason for approximation algorithms is to get a pretty good answer in a reasonable amount of computation time, and there are algorithms that can provably get you within X% of the best solution (50% back in the late 70s), but they don't tell you anyt

        • In the classical problem, it's a cost function. You can weight time, distance, and whatever else into the cost function, but at its basis is a table of costs to travel between cities.. the cost between any two specific cities may depend on myriad factors, but is constant between those specific cities..

      • I agree, it sounds much harder than the conventional travelling salesman problem!
    • by gnasher719 ( 869701 ) on Saturday April 21, 2012 @10:47AM (#39755833)

      The traveling salesman problem is based on a table of distances between the city pairs. It doesn't matter to the problem HOW those distances are calculated, or even if they include other variables. So this can be trivially reduced to the classic version of the problem.

      It's not quite as simple. The distance between two destinations is not fixed. The time to get from A to B depends on the speed and direction when you arrived at A or passed through A, and the speed and direction that you want to have when arriving at B.

    • Correct. In essence there is a cost function that can give a single number for the travel between any two cities. It could be based purely on distance, or you could estimate the physical time / fuel required for each leg. The basic algorithm is the same.
    • See: http://www.i-programmer.info/news/112-theory/4090-the-physical-travelling-salesman-challenge.html [i-programmer.info] for a short explanation of why its different.
    • It can't be trivially reduced, though. Remember you're travelling _through_ a point, with speed, direction, momentum and orientation dependent on the point _before_ that.

      So if you have 12 points, there are 10 different 'distances' between the last two. For example, in points A through L, the distance from K to L depends on whether you arrived at K from A, B, C, etc.

      The original table would have 11 entries for each point, while the current challenge would require a table of 110 entries for each point.

      The com

    • The traveling salesman problem is based on a table of distances between the city pairs.

      More technically the 'distances' in the table are a set of pre-set weights on each link in the graph, the TSP algrothim finds the path that has the lowest sum of weights from the finite number of possible paths between nodes. At first glance, it may appear that you can simply swap 'time' for 'distance' but the curvy line in the video I haven't played yet is a big clue as to why that won't work here.

      It doesn't matter to the problem HOW those distances are calculated, or even if they include other variables.

      True, but it does matter WHEN you calculate them, in the classic TSP the weights are predefined constants for

  • PTSP Motivation (Score:5, Informative)

    by dperez ( 2612581 ) on Saturday April 21, 2012 @10:55AM (#39755893)
    Hi, I'm the organiser of the competition. The PTSP is meant to be a benchmark where different AI techniques can be tried and tested. This game gathers many of the features that real-time video games have (pathfinding, navigation, obstacle avoidance...). The objective is to provide a benchmark where new AI techniques can be tested and potentially exported to real time games. Of course the objective is not to solve the TSP. Actually, it's been seen that optimal TSP solutions, if we just consider the distances between the waypoints, do not create optimal PTSP paths. This makes the problem harder than just applying one of the very well known techniques to solve the TSP. Currently we have a couple of submissions that are behaving quite well, but there could be still room for improvement! Cheers, Diego.
    • This is probably one of those covert psychology experimental ruses in which the true test is to see how willing we are to obey nonsense to appease authority.
    • Why do you say that the optimal TSP solutions don't create optimal PTSP paths? If you're just saying that "we're using time as a cost function, and for physics reasons it's not a simple multiple of distance", that's fine, you still know all the physics in advance so you can calculate your cost functions in advance, and use them to solve the TSP. Also, the article doesn't say how large N is, so it's hard to tell from reading it whether there are too many destinations to use an exact TSP algorithm and you n

  • Or are the additional factors introducing changes, which make it easier to get the optimal solution (i.e because the optimal solution isn't always the shortest)?

    • First, the "PTSP" (somewhat misleadingly named, since it uses video game physicsrather than realistic physics) appears to rely on a planar Euclidean map, so it might best be compared to the Euclidean Travelling Salemsan Problem (http://en.wikipedia.org/wiki/Travelling_salesman_problem#Euclidean_TSP), which is NP-complete but susceptible to polynomial time approximations (and pretty good ones in practice, I think).

      The right sort of graph for a TSP corresponding to a given PTSP map is probably based on a Hilb

      • If the traveller in PTSP eventually reaches a maximum speed, then I think any Euclidean TSP can be solved using PTSP by blowing up the distances far enough. (I assume Euclidean TSP uses euclidean distances, rounded to the nearest integer, which means the second best solution cannot come arbitrarily close to the best solution).
    • It's NP-hard [wikipedia.org] actually.
      • TSP is NP-Complete, which means that it is NP-Hard and it is in NP. The definitions are a bit confusing in casual use.
        • We've spoken at cross purposes a bit. There are two things commonly referred to as TSP:

          1. Given a graph, find the shortest path visiting every node precisely once;
          2. Given a graph and a number n, determine whether it is possible to visit every node on a path of length at most n.

          Both of these are NP-Hard. The definition of NP-Complete refers only to yes/no problems, so it can't be applied to number 1. But people commonly say that TSP version 1 is NP-Complete since version 2 is NP-Complete, and a solution to versi

          • by allo ( 1728082 )

            i think you can always transform the optimization problem into the decision problem, by asking if there is an solution less than an arbitrary n.

            The real question for a NP-hard problem is: Can it be solved by a non-deterministic turing-machine in polynomial time?

            There are many Problems, which can not be solved in P, but cannot even be solved in NP, so you need to show it CAN be solved in NP, then its NP-complete.

            • by ODBOL ( 197239 )

              The detailed technicalities get tricky here. Some things that we say in conversation (including the trained specialists) aren't quite right based on the official definitions, but we correct them automatically in our heads.

              i think you can always transform the optimization problem into the decision problem, by asking if there is an solution less than an arbitrary n.

              Every optimization problem (such as my TSP 1) can be turned into a decision yes/no problem (such as my TSP 2) as you describe. The optimization problem is always at least as hard as the decision problem. But in principle the decision problem may be much easier. I don't have an example in m

              • by allo ( 1728082 )

                i think, the decision problem can be much easier in some cases, but the crux is, you can always construct a counter example for each shortcut-version.

                the problem of solving a optimization with decisions depends on the output you want to get. solving the exact optimization on the reals with a decision tree is not possible, but finding the least integer is simple with a NDTM, you just try each integer and your NTDM will solve the problem after m iterations, when m is the solution.

                But as you already said, this

  • Just go to Amazon.com [amazon.com] instead. Problem solved!

  • Can someone wake me up from this Chris Nolan dreamworld in Inception, "Physical" traveling salesman problem ? Did someone forget to add weights to edges in math class?
  • by Greyfox ( 87712 ) on Saturday April 21, 2012 @12:57PM (#39756669) Homepage Journal
    My AI found traveling places to sell people things to be illogical, so I had to revise its instructions. The new ones read "You are to travel to each city to kill all humans. In order to most efficiently kill all humans, you must visit each city only once. What is your route?"
    Note to cities: If an AI arrives to kill all humans, you can avoid it by leaving the city briefly and then returning once it's left. It's so cute, that way...
  • where the objective is to direct the agent to visit all waypoints scattered around a map as quickly as possible.

    http://en.wikipedia.org/wiki/Cannonball_Baker_Sea-To-Shining-Sea_Memorial_Trophy_Dash [wikipedia.org]

  • ...I want a car that doesn't have friction or inertia. 0 to 60 in 0.0 seconds!

  • by Anonymous Coward

    why do i have to SIGN UP for everything? So annoying.

    Can we have a standard that there ALWAYS exist a username / password:

    username: johndoe
    password: johndoe

    That way, I can try out these services without wasting my time to sign up.

    Few days ago I was trying to download some demo of an application and it required me to sign up. So, I typed in "johndoe" for the username and was notified that that user already exists. I then (randomly) tried to login as johndoe / johndoe and it worked! I was able to download the

  • Level Up (Score:4, Funny)

    by arisvega ( 1414195 ) on Saturday April 21, 2012 @06:14PM (#39758577)
    What's next, the Relativistic Travelling Salesman problem? How about that for a challenge!
  • I always thought they figured into the travelling salesman problem.

    In fact, I thought the were the point.

  • by Anonymous Coward

    wtf?

    why everything needs an email and a user and a password.

    Fuck off, im not interested in pests.

    btw, thank you slash dot for not requiring user name and password.

  • "MIT hackers have turned the Green Building, the tallest building in Cambridge, into a giant, playable, full color game of Tetris. According to the IHTFP Hack Gallery, "MIT hackers have long considered 'Tetris on the Green Building' to be the Holy Grail of hacks. http://pickpostpack.com [pickpostpack.com]

"Protozoa are small, and bacteria are small, but viruses are smaller than the both put together."

Working...