Foveating Pyramid Solution of Travelling Salesman Problem
Introduction
In this short intoroduction we discuss the mental mechanisms involved in solving the Traveling Salesman Problem (TSP). TSP refers to the task of finding the shortest tour of n cities given the intercity distances (costs). When the distances between cities are Euclidean, the problem is called ETSP [4]. A simple way to present ETSP to a subject is to show n points on a computer screen and ask the subject to produce a tour by clicking on the points. TSP (including ETSP) belongs to the class of difficult problems called NPhard. Difficult means that finding an optimal solution (i.e., the shortest tour) may require, in the worst case, performing an exhaustive search through all tours. Because the number of tours for an ncity problem is equal to (n1)!/2 and, thus, grows very quickly with the number of cities n, determining lengths of all tours is usually impossible. For this reason, TSP is called computationally intractable. Because of the intractability of TSP, researchers interested in problem solving concentrated their efforts on finding approximating algorithms  that is, algorithms that can produce nearoptimal solutions fairly quickly. Good approximating algorithms can produce solutions that are only a few percent longer than an optimal solution, and the time of solving the problem is a loworder polynomial function of the number of cities [1, 2, 3].
Interestingly, humans are known to produce closetooptimal solutions to ETSP problems in time that is (on average) proportional to the number of cities [4, 5, 6, 7]. That is, the tours produced by the subjects are, on average, only a few percent longer than the shortest tours, and the solution time is a linear function of the number of cities. The two main attempts to emulate human performance by a computational model were undertaken by Graham et al. [4] and by MacGregor et al. [5]. The present study directly derives from that of Graham et al. model [4]. In particular, the model presented in this paper is an elaboration of that of Graham et al.
Graham's et al. attempt to formulate a new approximating algorithm for ETSP was motivated by the failure to identify an existing algorithm that could provide a good fit to the subjects' data. The main aspect of Graham et al.'s model [4] was its
 (multiresolution) pyramid architecture, and
 coarsetofine process of successive tour approximations.
Approximating TSP by Foveating Pyramid
The Model
The pyramid that simulates nonuniform distribution of visual aquity is called foveating pyramid (FP). In the human visual system, the visual acuity is inversely proportional to the distance from the center of the retina, fovea [12]. This dependence of visual acuity on the distance from the fovea is related to the nonuniform density of receptors on the retina. The nonuniform density of receptors allows the visual system to avoid handling too much visual information at one time but to still have a high resolution within the fovea and a quite large field of view in the periphery. The foveating pyramid model has similar properties. It is a conventional pyramid in the sense of having multiple representations of the image, the representations being different in the sizes of the receptive fields and their resolution. Unlike conventional pyramids, where every layer has information about the entire image, in the new pyramid the highest resolution representation (at the first layer) has information about only a small part of the image around its fixation point. The representation on the second layer has information about a larger part of the image, but the information is characterized by a lower resolution than the first layer and so on.
When a human subject produces a solution to an ETSP problem by working successively on individual parts of the problem, the size of the attentional window is not necessarily fixed. It is known that a human observer may attend to a small part of the visual field when the details are important. Alternatively, she may attend to a large part of the visual field when the global aspects are of interest [13]. This pyramid model has similar properties. The choice about which part of the ETSP problem to analyze and how large this part should be is established in a topdown process in which the global aspects are used to guide decisions on more local representations.
Before the solution process begins, the FP forms a hierarchical representation of the problem. The goal of building this representation is to identify clusters of cities on many levels of resolution, as well as to establish spatial relations among the clusters. This is done in a topdown process called bisection, which is illustrated in Figure 1. Figure 1a shows an ETSP problem where several clearly defined clusters are present. Figure 1b shows the intensity distribution after the problem was blurred by a Gaussian filter (the size of the Gaussian filter is not critical). Then, for each position on the Xaxis, the maximum intensity I_{maxY}(X) along the Y direction is found. Similarly, for each position on the Yaxis, the maximum intensity I_{maxX}(Y) along the X direction is found. Then, a minimum of each of these two distributions is determined, min I_{maxY}(X), min I_{maxX}(Y), and the smaller of the two corresponds to the boundary between two clusters on the coarsest level (see Figure 1b, top left and top center panels). Then, the process of blurring (with proportionally smaller filters) and bisecting is repeated as shown on the remaining panels of Figure 1b. The bisection process ends when each city is in its own cluster. After the pyramid representation is built, the solution process begins.
The solution process starts at the top layer, h, in which the entire problem is represented by two clusters. The initial tour involves just these two clusters. More exactly, the tour involves centers of gravity of the cities within clusters. The starting city is chosen randomly. Then, the tour is refined recursively within the receptive fields that contain the starting city. As a result, the tour is represented on many layers of the pyramid; different parts of the tour "residing" on layers having different spatial resolution. The cities in the fovea are represented with the highest resolution, and the cities that are farther away from the fovea are represented with resolution that falls off gradually. After the starting city and its immediate neighborhood is described at the highest resolution, the simulated fovea is moved to the next city (clockwise or counterclockwise) on the existing tour, and the part of the tour "ahead" of the current city is projected down to layers with higher resolution so that a gradual transition between resolutions is maintained (the direction of the solution, clockwise vs. counterclockwise, is determined randomly). When a part of the tour on a layer j is projected to layer j1, new clusters emerge. These clusters are inserted into the existing tour by using cheapest insertion [2]. Specifically, the new cluster (which is treated as a city) is inserted between pairs of consecutive cities in the existing tour, but only those pairs that are within k cities of the current city in the existing tour are tried. Thus, the parameter k represents the magnitude of local search involved in solving TSP. The values of k in the range between 0 and 8 were used. Larger values of k correspond to greater amounts of local search, which is likely to lead to better solutions.
For more details consult references [14].↑
References

Graph Theory  An Algorithmic Approach.
Christofides, N.
Academic Press, New York, London, San Francisco (1975) 
The Traveling Salesman Problem.
Lawler, E.L., Lenstra, J.K., Rinnooy Kan, A.H.G., Shmoys, D.B.
Wiley, New York (1985) 
The traveling salesman problem and its variations.
Gutin, G., Punnen, A.P.
Kluwer (2002) 
The travelling salesman problem: A hierarchical model.
Graham, S.M., Joshi, A., Pizlo, Z.
Memory and Cognition 28 (2000) 11911204 
A model of human performance on the traveling salesperson problem.
MacGregor, J.N., Ormerod, T.C., Chronicle, E.P.
Memory and Cognition 28 (2000) 11831190 
Pyramid algorithms as models of human cognition.
Pizlo, Z., Li, Z.
In: Proceedings of SPIEIS&T Electronic Imaging, Computational Imaging, SPIE (2003) 112 
Human performance on visually presented Traveling Salesman Problems.
Vickers, D., Butavicius, M., Lee, M., and Medvedev, A.
Psychological Research, 65 (2001), 3445. 
A Pyramid Framework for Early Vision.
Jolion, J.M., Rosenfeld, A.
Kluwer (1994) 
Problem solving in human beings and computers.
Pizlo, Z., Joshi, A., Graham, S.M.
Technical Report CSD TR 94075, Department of Computer Sciences, Purdue University (1994) 
An exponential pyramid model of solving the Traveling Salesman Problem.
Graham, S. M., Pizlo, Z., and Joshi, A.
Journal of Mathematical Psychology, 40, p. 356 (abstract) 
Polynomialtime approximation schemes for euclidean tsp and other geometric problems.
Arora, S.
Journal of the Association for Computing Machinery 45 (1998) 753782 
Physiology based simulation model of triangle shape recognition.
Pizlo, Z.
Biological Cybernetics, 58 (1998), 5162. 
An exponential pyramid model of the timecourse of size processing.
Pizlo, Z., Rosenfeld, A., Epelboim, J.
Vision Research 35 (1995) 10891107 
Scanning from coarse to fine spatial scales in the human visual system after the onset of a stimulus.
Watt, R.J.
Journal of the Optical Society of America 4 (1987) 20062021
Fovea Pyramid Solution of Travelling Salesman Problem (TSP)
This tool allows to solve the Traveling Salesman problem in a coarse to fine strategy.
References
Traveling Salesman Problem: a Foveating Pyramid Model.
Z. Pizlo, E. Stefanov, J. Saalweachter, Z. Li, Y. Haxhimusa and W. G. Kropatsch
Journal of Problem Solving, 1(1):83101, October 2006. Purdue University Press. []
 Demo version of the TSP (1.95.2)(June, 10 2004  Jack Saalweachter and Emil Stefanov)
↑
MST Pyramid Solution of Travelling Salesman Problem  Demo
Start the small demo to see the solution process.Usage notice
↑