Google Search

Friday, November 2, 2012

A Travelling Salesman Problem special case: 30-year-old problem solved

ScienceDaily (Sep. 13, 2012) — The science of computational complexity aims to solve the TSP -- the Travelling Salesman Problem -- when the time required to find an optimal solution is vital for practical solutions to modern-day problems such as air traffic control and delivery of fresh food. Warwick Business School's Dr Vladimir Deineko and colleagues have now solved a 30-year-old TSP special case problem.

The Travelling Salesman Problem, or TSP, was first defined around 150 years ago. The problem then was to find the shortest possible route for salesmen to visit each of their customers once and finish back where they started. In the 21st century, this same problem now applies to a multitude of activities -- delivering fresh stock to supermarkets, supplying manufacturing lines, air traffic control, and even DNA sequencing. Complex and sophisticated computer programmes using optimisation -- where algorithms produce the best possible result from multiple choices -- now form the basis of solutions to these modern-day problems. The time required to find an optimal solution is vital for practical application of the TSP. How long can lorry drivers wait for their route to be finalised when the salads they hope to deliver will only be fresh for another 24 hours? How long can air traffic control keep an airliner flying in circles around Heathrow Airport?

The theoretical background behind these types of questions is studied in the theory of computational complexity. The TSP is of paramount significance for this branch of knowledge. Even a small incremental step in understanding the nature of this problem is of interest and benefit to the scientific community.

Associate Professor Dr Vladimir Deineko of Warwick Business School, together with Eranda Cela (University of Technology Graz, Austria) and Gerhard Woeginger (Eindhoven University, the Netherlands) have addressed a special case of the TSP, or open problem as it is termed, first identified 30 years ago. Dr Deineko's and his colleagues' work gives a solution of theoretical significance for computer science and operational research.

Dr Deineko comments, "The TSP has served as a benchmark problem for all new and significant approaches developed in optimisation. It belongs to the set of so called NP-hard problems. There are obviously some special cases when the TSP can be solved efficiently. The simplest possible case is when the cities are the points on a straight line and the distances are as-the-crow-flies-distances. One can easily get the shortest route for visiting all the points in this case. Probably the next simplest case would be the case when the cities are the points on two perpendicular lines and the distances are again as-the-crow-flies-distances (so-called X-and-Y-axes TSP).

"Despite its apparent simplicity, this special case problem has been circulating in the scientific community for around 30 years. Until our work, it was not known whether an algorithm existed which would guarantee finding an optimal solution to any instance of these problems within a reasonable amount of time. We have now proved that the X-and-Y axes TSP can be easily solved in a number of steps proportional to the square of the number of cities."

Dean of WBS, Professor Mark Taylor, comments, "I congratulate Dr Deineko and his colleagues in advancing our knowledge of this enormously complex subject. They have produced cutting-edge research which is not only of great importance to the scientific community, but ultimately also of great relevance to all of us who depend on modern technology as we go about our daily lives."

Share this story on Facebook, Twitter, and Google:

Other social bookmarking and sharing tools:

Story Source:

The above story is reprinted from materials provided by University of Warwick, via AlphaGalileo.

Note: Materials may be edited for content and length. For further information, please contact the source cited above.

Journal Reference:

Eranda Çela, Vladimir Deineko, Gerhard J. Woeginger. The x-and-y-axes travelling salesman problem. European Journal of Operational Research, 2012; 223 (2): 333 DOI: 10.1016/j.ejor.2012.06.036

Note: If no author is given, the source is cited instead.

Disclaimer: Views expressed in this article do not necessarily reflect those of ScienceDaily or its staff.


View the original article here

Thursday, November 1, 2012

Making Sudoku puzzles less puzzling

ScienceDaily (Oct. 11, 2012) — For anyone who has ever struggled while attempting to solve a Sudoku puzzle, University of Notre Dame complex networks researcher Zoltan Toroczkai and Notre Dame postdoctoral researcher Maria Ercsey-Ravasz are coming to the rescue. They can not only explain why some Sudoku puzzles are harder than others, they have also developed a mathematical algorithm that solves Sudoku puzzles very quickly, without any guessing or backtracking.

Toroczkai and Ercsey-Ravasz, of Romania's Babes-Bolyai University, began studying Sudoku as part of their research into the theory of optimization and computational complexity. They note that most Sudoku enthusiasts use what is known as a "brute force" system to solve problems, combined with a good deal of guessing. Brute force systems essentially deploy all possible combinations of numbers in a Sudoku puzzle until the correct answer is found. While the method is successful, it is also time consuming.

Instead, Toroczkai and Ercsey-Ravasz have proposed a universal analog algorithm that is completely deterministic (no guessing or exhaustive searching) and always arrives at the correct solution to a problem, and does so much more quickly.

The researchers also discovered that the time it took to solve a problem with their analog algorithm correlated with the difficulty of the problem as rated by human solvers. This led them to develop a ranking scale for problem or puzzle difficulty. The scale runs from 1 through 4, and it matches up nicely with the "easy" through "hard" to "ultra-hard" classification currently applied to Sudoku puzzles. A puzzle with a rating of 2 takes, on average, 10 times as long to solve than one with rating of 1. According to this system, the hardest known puzzle so far has a rating of 3.6, and it is not known if there are even harder puzzles out there.

"I had not been interested in Sudoku until we started working on the much more general class of Boolean satisfiability problems," Toroczkai said. "Since Sudoku is a part of this class, it seemed like a good testbed for our solver, so I familiarized myself with it. To me, and to a number of researchers studying such problems, a fascinating question is how far can us humans go in solving Sudoku puzzles deterministically, without backtracking -- that is without making a choice at random, then seeing where that leads to and if it fails, restarting. Our analog solver is deterministic -- there are no random choices or backtracks made during the dynamics."

Toroczkai and Ercsey-Ravasz believe their analog algorithm potentially can be applied to a wide variety of problems in industry, computer science and computational biology.

The research experience has also made Toroczkai a devotee of Sudoku puzzles.

"Both my wife and I have several Sudoku apps on our iPhones, and we must have played thousands of times, racing to get the shortest completion times on all levels," he said. "She often sees combinations of patterns that I completely miss. I have to deduce them. Without paper and pencil to jot down possibilities, it becomes impossible for me to solve many of the puzzles that our solver categorizes as hard or ultra-hard."

Toroczkai and Ercsey-Ravasz's methodology was first published in the journal Nature Physics, and its application to Sudoku, appears in the Oct. 11 edition of the journal Nature Scientific Reports.

Share this story on Facebook, Twitter, and Google:

Other social bookmarking and sharing tools:

Story Source:

The above story is reprinted from materials provided by University of Notre Dame. The original article was written by William G. Gilroy.

Note: Materials may be edited for content and length. For further information, please contact the source cited above.

Journal References:

Mária Ercsey-Ravasz, Zoltán Toroczkai. Optimization hardness as transient chaos in an analog approach to constraint satisfaction. Nature Physics, 2011; 7 (12): 966 DOI: 10.1038/nphys2105Mária Ercsey-Ravasz, Zoltán Toroczkai. The Chaos Within Sudoku. Scientific Reports, 2012; 2 DOI: 10.1038/srep00725

Note: If no author is given, the source is cited instead.

Disclaimer: Views expressed in this article do not necessarily reflect those of ScienceDaily or its staff.


View the original article here