Research Article | Open Access
Jan Faigl, "An Application of Self-Organizing Map for Multirobot Multigoal Path Planning with Minmax Objective", Computational Intelligence and Neuroscience, vol. 2016, Article ID 2720630, 15 pages, 2016. https://doi.org/10.1155/2016/2720630
An Application of Self-Organizing Map for Multirobot Multigoal Path Planning with Minmax Objective
In this paper, Self-Organizing Map (SOM) for the Multiple Traveling Salesman Problem (MTSP) with minmax objective is applied to the robotic problem of multigoal path planning in the polygonal domain. The main difficulty of such SOM deployment is determination of collision-free paths among obstacles that is required to evaluate the neuron-city distances in the winner selection phase of unsupervised learning. Moreover, a collision-free path is also needed in the adaptation phase, where neurons are adapted towards the presented input signal (city) to the network. Simple approximations of the shortest path are utilized to address this issue and solve the robotic MTSP by SOM. Suitability of the proposed approximations is verified in the context of cooperative inspection, where cities represent sensing locations that guarantee to “see” the whole robots’ workspace. The inspection task formulated as the MTSP-Minmax is solved by the proposed SOM approach and compared with the combinatorial heuristic GENIUS. The results indicate that the proposed approach provides competitive results to GENIUS and support applicability of SOM for robotic multigoal path planning with a group of cooperating mobile robots. The proposed combination of approximate shortest paths with unsupervised learning opens further applications of SOM in the field of robotic planning.
Self-Organizing Map (SOM) is an unsupervised neural network proposed by Kohonen in 1982 as a technique to map a high-dimensional input space into a lower dimensional (usually 2D) output space. Although SOM has been originally proposed for data visualization, it has been applied to many other problems including a solution of the Traveling Salesman Problem (TSP) . The TSP stands to find a closed shortest tour to visit a given set of cities (locations) such that each city is visited exactly once and the tour returns to the starting city. It is known that the TSP is NP-hard and it is a well studied problem in operational research , where efficient heuristics have been proposed [3, 4].
On the other hand, the earliest application of SOM to the TSP was proposed independently by Angéniol et al.  and Fort  in 1988. Since that, several approaches have been developed to improve performance of the unsupervised learning of SOM for the TSP, for example, by a combination with -opt heuristic , using inhibition mechanism , considering geometric properties of the associated solution , and so forth; see extensive overviews in [10–12]. However, most of the approaches consider the Euclidean variant of the TSP in which cities are locations in a plane. Although few works on SOM for other routing problems have been published [13–16], non-Euclidean TSP is relatively unnoticed by the research community. It is probably because of the main difficulty of SOM for the non-Euclidean TSP that is a determination of the best matching neuron to the input signal presented to the network. It can be nontrivial to evaluate a suitable distance function and thus it can decrease performance of any algorithm based on elastic net principles .
For the unsupervised learning of SOM for the TSP, the best matching neuron is determined as the distance between the neuron weights and cities, which can be easily computed as the Euclidean distance. In robotic planning, the problem is to find a shortest path to visit a given set of cities and such a distance corresponds to the length of the shortest path among obstacles, which is more computationally demanding than computation of the Euclidean distance. The requirement for collision-free paths connecting the particular cities in the tour is the main reason why the problem is called the multigoal path planning (MTP) rather than the TSP to emphasize this difficulty . Therefore, we aim to extend existing SOM approaches for the TSP to address more challenging MTP problems.
A simple and fast approximation of the shortest path in the polygonal domain has been proposed in  that enables to deploy the SOM for the TSP  to the robotic MTP. In this paper, the approximation is further developed to address the multirobot variant of the MTP, where shortest paths (for robots) among obstacles are requested to visit the given set of locations in the polygonal domain. The addressed problem is considered as a variant of the Multiple Traveling Salesman Problem (MTSP) with minmax objective  in which we aim to minimize the longest tour. This variant has a suitable objective function for motivational inspection planning or search and rescue scenarios, where it is desired to search the given environment as quickly as possible, and the total mission time corresponds to the length of the longest path a robot has to travel .
This presented work reports on an extension of the SOM for the MTSP with minmax objective proposed in  to a more general approach for the multirobot multigoal path planning problem to visit a given set of locations in the polygonal domain . The proposed approach is based on our previous work on approximation of the shortest path in for SOM-based solution of routing problems [18, 20, 21]. Therefore, we focus on an evaluation of the proposed extensions and an alternative inexpensive procedure for the competitive rule for the SOM-based MTSP-Minmax. The performance of the proposed approach is compared with a combinatorial heuristic algorithm for the MTSP-Minmax called GENIUS . The presented results indicate that the proposed extensions make SOM competitive with the combinatorial approach from the solution quality and required computational time points of view. Furthermore, solutions found by SOM provide interesting features in relation to the robotic motivational problem, where SOM tends to provide mutually noncrossing tours for the robots.
The rest of the paper is organized as follows. An overview of the related work is presented in the next section. The problem statement, used notation, and terminology are introduced in Section 3. A detailed description of the selected reference combinatorial algorithm , the considered SOM for the MTSP , and utilized approximation of the shortest path in are presented in Section 4 to provide a better understanding of the proposed extensions and the evaluated algorithms’ variants. The proposed extensions of the SOM for the MTSP  to address the multirobot MTP problem are presented in Section 5. Evaluation results and comparisons of the algorithms in several problems motivated by the inspection planning are reported in Section 6. Conclusion and remarks about further work are discussed in Section 7.
2. Related Work
Various problems can be formulated as the TSP or MTSP, but in our case, the considered problem is motivated by path planning problems in inspection and search missions, where single or a group of mobile robots is requested to visit a given set of locations as quickly as possible. The problem is called the multigoal path planning (MTP) problem [17, 23] in robotics, and the additional problem to the standard formulation of the MTSP is the necessity to consider paths among obstacles to avoid possible collision of the robots with obstacles in the workspace.
For a simple case, when paths between two locations are given, the multigoal path planning problem can be directly formulated as the TSP . In general, a determination of such a collision-free path for a mobile robot can be computationally very demanding . However, if a point robot can be assumed and the robot workspace can be represented by the polygonal domain, the shortest path roadmap approach can be used . Thus, a solution of the TSP in a form of the found tour, for example, using visibility graph, can be considered as the requested collision-free path (solution) of the MTP for a single mobile robot.
In robotic planning, cities can represent sensing locations at which the robot gathers information about its surrounding environment to “see” the whole workspace . The problem of searching the workspace is called the inspection task, and one of the feasible approaches is based on a formulation as a problem of finding the set of sensing locations and consecutive solution of the TSP . Suitable sensing locations can be found by a sensor placement algorithm, for example, [29–32]. Then, a group of cooperating mobile robots can be used to decrease the required time to inspect the environment and thus the inspection task can be formulated as the MTSP .
Several methods for the MTSP have been proposed in literature which is also the case for a very closed problem formulation known as the Vehicle Routing Problem (VRP) where capacity of each vehicle is considered . Beside auction-based techniques  and multiagent solutions , soft-computing techniques such as genetic algorithms have been proposed for these problems . Note that the MTSP can be transformed into the TSP using transformation proposed in ; however, such a solution can be highly degenerated for the MTSP with minmax objective. It is because, in the TSP, the total tour length is minimized, that is, a tour with zero length can be provided while a sum of the lengths of the all tours for individual salesmen can be minimal. Therefore, it is necessary to address the minmax objective directly .
The MTSP-Minmax has been addressed by the combinatorial heuristic in , where authors propose to find optimal solution of the MTSP-Minmax using the distance constraint VRP formulation. A solution of the MTSP is used as the distance constraint that is gradually decreasing and if the VRP does not have a solution, the previous solution of the MTSP is considered as the optimal solution.
Soft-computing techniques have been also applied to the MTSP-Minmax, such as ant colony optimization , genetic algorithms , and also SOM in . Particular soft-computing approaches for Euclidean instances of the MTSP-Minmax have been evaluated in  and our early results on robotic problems with obstacles in . Therefore, in the presented work, we are focused on the evaluation of the SOM-based solution of the multirobot multigoal path planning and its comparison with the GENIUS algorithm . The used SOM is directly based on  combined with the ideas proposed in  that have been accompanied by the approximation of the shortest path originally proposed in [18, 21], which significantly decreases the required computational time for SOM adaptation. Therefore, GENIUS , the considered SOM , and the approximations of the shortest path are described in detail in Section 4.
3. Problem Statement
The studied problem of the multirobot multigoal path planning with minmax objective is motivated by inspection missions, where a group of mobile robots is requested to visit a given set of sensing locations, where sensor measurements are taken. In particular, the mission is to inspect all reachable areas of the environment as quickly as possible. The environment is represented by a polygonal map and the given sensing locations are determined in such a way that the whole environment is covered by visiting them . It is assumed that a map of the environment is available; each robot has a differential drive and its shape can be bounded by a disk with a limited radius. For simplicity and without loss of generality, a point robot is considered in the polygonal domain created by enlarging the original map by the radius of the disk, and all free space is reachable by the robot. Then, the multigoal path planning problem is formulated as the MTSP-Minmax that can be defined as follows: for a given polygon with holes , a set of cities (sensing locations) lying inside and salesmen (robots) find closed tours starting at the selected city such that each city is visited by one salesman and the length of the longest tour is minimized. The city is called the depot in the rest of this paper.
3.1. Used Notation
The SOM adaptation schema is considered in the polygonal domain ; therefore, few terminology notes are presented here to clarify the used terms and symbols for underlying geometrical structures utilized in the approximation of the shortest path in .
The robot workspace is represented by the polygonal map consisting of vertices and thus is a closed, multiply connected region, whose boundary is a union of line segments, forming closed polygonal cycles (polygons), where is the number of holes (obstacles). A distance between two points inside is a length of a path among obstacles that can be a straight line segment or consists of the map vertices. Thus, a path between two points and consists of a finite number of straight line segments joining the points and vertices of .
can be divided into a set of nonoverlapping convex polygons that are formed from vertices. Such convex polygons are called cells and represent convex polygon partition of ; that is, each cell forms a closed polygonal cycle of line segments joining vertices. A line segment is called diagonal if it connects two nonadjacent vertices and it is entirely contained in . A point inside is always inside some cell and a path between two points and can be constructed from the shortest path between vertices of and .
Regarding SOM for the TSP, weights of a particular neuron represent a point (called node) that lies in and therefore is always inside some cell. Such a cell of the node is denoted as . An overview of the used symbols is in Symbols section at the end of the paper.
3.2. Quality of Solution
The motivational problem of the multigoal path planning for a group of cooperating robots is formulated as the MTSP. The minmax variant of the MTSP leads to minimizing the longest tour and therefore we consider the maximal length of the individual tours as one of the solution quality indicators. However, SOM and also GENIUS are randomized algorithms and therefore the performance indicators should be computed from several trials. For the TSP, the usual indicators are the percentage deviation of the mean solution to the optimum tour (denoted as the PDM) and the percentage deviation from the optimum of the best solution value, denoted as the PDB. Finding an optimal solution for the considered instances of the MTSP-Minmax is computationally very demanding and therefore the best found solution for the particular problem instance (found by the evaluated algorithms) is considered as the reference solution. The longest tour of this reference solution is denoted as and it is used to compute the PDM and PDB as follows:(i)Reference solution length of the particular problem instance found as the longest tour of the best solution of several solutions found by particular selected algorithm(s).(ii)Maximal length of the individual tours in a solution of the MTSP. Consider (iii)Percentage deviation to the reference solution value of the mean solution value . Consider (iv)Percentage deviation to the reference solution value of the best solution value . Consider where is the best (the shortest the longest tour) solution from several solutions of the particular problem instance found by a particular algorithm variant.
The advantage of the percentage deviations of the tour lengths is that they provide a scale independent metric for particular instances of the MTSP and thus it can be used to aggregate results for various problems and many trials. However, it does not provide any indication to how the workload is divided into the particular robots; that is, what are the differences in the lengths of the individual tours? We propose two quality indicators to measure the quality of cooperation. The first is a percentage deviation of the lengths in a tour. This indicator is called a Cooperative Quotient (CQ) and its zero value means an ideal cooperation. The second indicator considers the total travelled distance by all robots and it is called Collaborative Effort (CE). These indicators are computed as follows:(i)Cooperative Quotient is compouted as where is the root of the sample variance, , and is the average value of the tour lengths.(ii)Collaborative Effort is computed as
4. Use Approaches
The GENIUS algorithm has been used to find a solution of the MTSP-Minmax in . It is a combinatorial method representing a general approach for the TSP that is based on two heuristics: GENI (Generalized Insertion) and US (Unstringing and Stringing) . The first heuristic is a construction method while the second heuristic is an optimization method. Tours are initially constructed by GENI. After that, the tabu search technique is used to exchange cities from one tour to another, while GENI is utilized for vertices inserting/removing. Finally, the US optimization procedure is used. It removes a vertex from the tour and inserts the vertex into the same tour by GENI. The procedure is repeated until a vertex reinsertion improves the quality of solution. The parameter of the GENI algorithm defines the size of the neighborhood that is used to select the best possible vertex insertion. Performance of the tabu search can be controlled by three additional parameters: , and . The parameter determines the size of the global neighborhood to select an appropriate tour for a vertex exchange and controls the number of iterations for which a move of vertex according to the particular tour is declared tabu. The maximum allowed number of iterations without improvement is defined by the parameter.
Recommended values of parameters have been suggested by authors . Two sets of parameters can be considered. The first set can be called fast, because it provides a compromise between computational requirements of the algorithm and the quality of solution. The second set provides high quality solutions, but it is computationally demanding. That is why the algorithm with this set of parameters is denoted as GENIUS-quality in this paper. Note that for each operation stored in the tabu list, the value of is selected randomly from the interval .
GENIUS is a combinatorial approach; therefore, only distances between cities are need. In the case of the Euclidean TSP, distances can be computed as the Euclidean distance, while for the motivation problem of multigoal path planning, shortest paths between cities have to be found. The shortest paths can be determined from the full visibility graph that can be constructed in , where is the number of vertices of and is the number of cities. All shortest paths between cities can be found by Dijkstra’s algorithm in , where is the number of edges of the visibility graph. All distances of the shortest paths can be precomputed and stored in the distance matrix.
4.2. SOM Adaptation Schema for the MTSP-Minmax
The SOM for the MTSP-Minmax  uses two-layered competitive learning networks, where each network contains two-dimensional input vector and an array of output units. An association between the learning network and its geometrical representation of one TSP tour is shown in Figure 1. An input vector represents coordinates of the city and weights and can be interpreted as coordinates of the node . Nodes are connected to a ring representing the tour; thus, an individual ring of nodes is created for each salesman. The network is initialized with small random connection weights and cities are then sequentially applied to the network in a random order to avoid local minima. The output nodes compete to be the winner for a given city according to the following competitive rule:where denotes the Euclidean distance between the city and the node , is the length of the ring, into which the node belongs, and is the average length of the rings. Basically, the rule prefers nodes from shorter rings and thus it aims to minimize the longest ring (tour).
The weights of the winner node and its neighbouring nodes are updated to get closer to the presented city according to the neighbouring function . The adaptation function moves a node towards the city by the rulewhere is the fractional learning rate. The used neighbouring function is for and otherwise, where is the gain parameter, is the distance (in the number of nodes) of a node from the winner measured along the ring, and is the number of nodes in the ring that is set to , where is the number of cities and is the number of salesmen. The gain is decreased after each complete presentation of the cities to the network (one learning epoch) according to the gain decreasing rate . An appropriate initial value of depends on the number of cities and it is set according to the formula . The used values of learning and decreasing rates are and , respectively. The whole adaptation procedure of the SOM for the MTSP-Minmax is depicted in Algorithm 1.
In the MTSP with a common depot, the adaptation procedure must ensure that all tours are connected with the depot. Therefore, a winner node from each ring is selected and adapted to the depot. After that, other cities are presented to the network in a random order and the winner node is selected from all noninhibited nodes. The network evolves until each city has the winner node sufficiently close.
An inhibition mechanism is used to associate distinct winners to each city during one learning epoch, that is, a complete presentation of all cities to the network. A winner node is marked as inhibited and it does not compete to be winner for another city for the rest of the current learning epoch. At the end of each epoch, tours can be constructed from the winners by traversing each ring. The length of each tour can be then found as a sum of the city–city distances. An example of the algorithm performance for the Euclidean MTSP-Minmax is shown in Figure 2.
(a) Epoch 36
(b) Epoch 41
(c) Epoch 45
(d) Epoch 51
(e) Epoch 63
(f) Epoch 74, the final solution
The efficiency of the SOM algorithm relies on the determination of the winner (6), which uses a node–city distance. Moreover, the MTSP-Minmax needs an efficient determination of the shortest path between two nodes (node–node) to compute the length of each individual ring. The winner is then adapted towards the city, which can be interpreted as a movement along the shortest path to the city according to the neighboring function in (7). In the multigoal path planning problem, nodes have to be inside and therefore all paths (and distances) have to respect obstacles. The efficient determination of the collision-free path in a presence of obstacles is therefore crucial for an applicability of the SOM procedure to the robotic planning problems.
4.3. Approximation of the Node–City Path
The idea of the quick determination of the collision-free path in has been proposed in  and it is based on determination of approximate path in a supporting division of the free space into convex cells that forms a convex polygon partition. The convex polygon partition is induced by diagonals; therefore, each cell of the convex partition consists of diagonals and edges representing obstacles or the border polygon of . During the SOM adaptation, a node (neuron weights) is always placed inside and thus it is always placed in some convex cell of the partition. The shortest path from a vertex of such a cell to the particular city can be used as approximation of the shortest path from a node to the city. Note that such a path passes diagonals of the convex polygonal partition (see example in Figure 3) which is further utilized to improve the approximation.
The shortest paths from map vertices to all cities can be found in the visibility graph, for example, by Dijkstra’s algorithm in time , where is the number of cities, is the number of vertices, and is the number of visible pairs (city–city, city–vertex, and vertex–vertex), which can be bounded to . The graph can be found in using the algorithm .
The approximation can be formally described as follows. Let a polygonal representation of the robot workspace be with vertices and let be a convex polygon partition of into convex cells , , where each cell is represented as a sequence of polygon vertices and a node is in a cell . The initial approximate path from to the city is found as the shortest path over vertex of to such that , where denotes the Euclidean distance between two points and is the length of the shortest path between two vertices (vertex and city in particular). The problem of finding the cell is the point-location problem, which can be solved in or in the average complexity by the “bucketing” technique .
Such a rough approximation of the shortest path can be further improved by an iterative evaluation of the direct visibility from the node to the vertices of the approximate path. Let a node be inside the cell and approximation of the path from to the vertex be a sequence of vertices , . Then, the refinement of the path is an iterative examination of the direct visibility test between and that iterates over the particular vertices of the path. The visibility test is based on the method described in . Just instead of a triangulation used in , we propose using a convex partition. If a straight line from to the vertex for crosses only diagonals or it entirely lies in one cell, then the vertex is directly visible and all vertices for can be removed from the sequence representing the collision-free path from to ; see Figure 3 where a direct connection of the node with the city passes only diagonals and thus it is a collision-free.
The complexity of this path refinement depends in the worst case on the number of vertices and it can be even worse than a determination of the visibility graph from . However, the real-time performance is much better . For example, if only one direct visibility test is considered, then, in final learning epochs, nodes are very close to the cities; hence, the node is in the same cell as the city or it is just in the next cell. Also if a node and the city are not directly visible, after the node movement towards the city along the approximate path, the city becomes visible and the path refinement provides the shortest path; see Figure 4. This expected behaviour has been experimentally verified for particular variants of the path refinement and various environments in .
4.4. Approximation of the Node–Node Path
In the SOM for the MTSP-Minmax, it is also necessary to determine the lengths of the particular rings that represent the individual tours for the robots (salesmen). In this case, node–node distances have to be computed, which represent two-point shortest path queries. Here, precomputed shortest paths from the map vertices to the cities do not help. However, approximation of the shortest path between two nodes can be based on the algorithm for the approximate the node–city path. This idea has been utilized in  to compute the coverage of from the current ring. The approximation works as follows.
Let a node be in the cell and a node be in the cell . A path between and is constructed from the shortest path between vertices of each cell , where and . The particular vertices and are selected according to the minimization of the total path length Such a path can be refined in a similar manner like the aforementioned node–city path. For a further details, see [20, 21].
In this approximation, only the convex partition and the visibility graph for the vertices of are utilized. The visibility graph for the cities is not used; therefore, the needed supporting structures depend only on . Note that for a very high number of cities, for example, several thousands, this approximation of the node–node shortest collision-free path can be utilized also for the node–city distance queries in the winner selection and thus it can reduce the total memory requirements of the algorithm.
5. SOM for the MTSP-Minmax in the Polygonal Domain
Having the approximations of the shortest node–city and node–node paths, the SOM for the MTSP–Minmax  (described in Section 4.2) can be directly applied to multigoal path planning problems in the polygon domain . The main difference is that instead of the Euclidean distance, the needed distances in the adaptation are computed as the length of the collision-free path found by the described approximations. Thus, paths found by the approximations of the shortest node–city and node–node paths are used in Algorithm 1 in the select_winner and adapt procedures.
For the adaptation phase, the paths are considered for updating the neuron weights such that the weights are set to represent a point at the particular straight line segment of the path. Just these distances and movement of the nodes in the adaptation are changed in the SOM schema. All other parts and properties remain from the original algorithm . An example of the SOM evolution in is shown in Figure 5.
(a) Learning epoch 3
(b) Learning epoch 10
(c) Learning epoch 17
(d) Learning epoch 24
(e) Learning epoch 30
(f) Learning epoch 36
(g) Learning epoch 40
(h) Learning epoch 46
(i) Learning epoch 52
(j) Learning epoch 55
(k) Learning epoch 60
(l) Learning epoch 79, the final found solution
Beside the approximation of the node–node path, a length of the ring can be estimated in a less computationally intensive way by the following approach. The ring of nodes represents a tour over cities and the length of the tour can be used as the ring length to compute the weight in the competitive rule (6). If shortest distances between the cities are precomputed, such a length can be determined in a linear time (proportionally to the number of cities in the particular tour represented by the ring). It is only necessary to maintain association of the city with its winner in the current learning epoch. The city tour is formed from the cities associated with the winners. However, the winner is associated with the city until a new winner is selected. If a node has been selected as a winner to one city in the previous learning epoch and as a winner to another city in the current epoch, the association with the previous city is cleared to reflect change of the ring shape. A tour represented by the ring is then formed by the cities associated with the nodes along the ring.
Note that particular winners can be pulled away from the cities during adaptation of another winner, because they can be in its neighborhood. So, such a city–city tour is only approximation of the current ring. Tours represented by the rings may not necessarily contain all the cities. For example, in the initial phase of the adaptation, only the cities presented to the network can have their winner. Thus, the length of the tour can be a rough approximation of the ring length. However, in the final learning epochs, most of the winners are preserved over the epochs and this approximation of the ring length is becoming more accurate.
Examples of city–city tour represented by the current ring are shown in Figure 6, where only one salesman is considered for illustrative purposes. The first figure shows tour after eleven complete presentations of all cities during the twelfth learning epoch. Although the ring does not contain self-crossings, the tour has several self-crossings and it does not visit all the cities. After several learning epochs, the tour is complete and finally it is the same as the ring, because winners match the cities.
(a) Learning epoch 12
(b) Learning epoch 42
(c) Learning epoch 47
(d) Learning epoch 50
The impact of the proposed approximations of the shortest paths in to the solution quality and computational requirements of the SOM for the MTSP-Minmax  has been evaluated in several multirobot multigoal path planning problems motivated by inspection missions. Due to a lack of common instances of the MTSP for environments with obstacles, a set of environments used in the motion planning has been utilized (maps and all the evaluated problems are available at http://comrob.fel.cvut.cz/jf/data/mtsp/). For these environments, cities have been found as a set of sensing locations in the inspection task, for example, like in , by the sensor placement algorithm .
Parameters of the environments are shown in Table 1, where is the number of vertices, is the number of holes, and is the number of convex cells (regions) of the supporting convex partition. Environments jh, pb, ta, and h2 represent maps of real buildings; thus, they provide a representative size of the inspection planning problems. The examined problems are organized into three sets (see Table 2), where denotes the number of sensing locations (cities) and the subscript in the name denotes visibility range in meters utilized for the sensor placement; see .
|(a) Small set|
|(b) Middle set|
|(c) Large set|
Beside the sensing locations considered as the cities, a particular location of the depot also influences a solution of the MTSP. The depot has been placed as an additional city in the free space that is close to the center of the free space of . In addition, for warehouse, jh and h2 environments, the depot is also placed near to the entrance and therefore two problems are created for these environments. The subscripts A and B are used to distinguish position of the depot, where B denotes the depot close to the entrance.
The performance of the SOM algorithm with the proposed shortest path approximations is compared with solutions found by the GENIUS algorithm for both parameters as the GENIUS-quality and GENIUS-fast variants; see Section 4.1. The SOM for the MTSP-Minmax is considered in two variants according to the utilized method to determine a length of the ring. The first variant is based on the approximation of the shortest node–node path described in Section 4.4 and it is denoted as SOM-nn. The second variant, called SOM-cc, uses a length of the city tour represented by the ring; see Section 5.
Both SOM and GENIUS are randomized algorithms; therefore, each problem has been solved 20 times by the particular algorithm variant. The used notation follows Section 3.2, but ratios are used rather than absolute values for presenting aggregated results among the particular set of problems according to Table 2.
The parameters of the SOM procedure are used as they have been presented in Section 4.2. The adaptation has been terminated if the is less than 0.001 or after 180 learning epochs. A number of neurons in the ring is set to , where is the number of cities and is the number of salesmen. The utilized node–city approximation uses the full path refinement (pa); see  for further details.
6.1. Aggregated Results for the Problem Sets
For aggregated results, denotes the average length ratio , where is the length of the longest tour and is the best solution found by the GENIUS-quality. The average ratio of is computed as the ratio of the particular and the value of for ; the ratio is denoted as . The average value of is used, because it is already relative for the particular solution. The required computational time of the path refinement is evaluated as the time ratio . It is computed as the time to find a solution divided by the average required time for the same problem and selected algorithm variant. Standard deviations are computed as the root of sample variances.
GENIUS Heuristic. Performance of the GENIUS algorithm for the quality and fast variants is presented in Table 3. The standard deviations of are about 0.06 for all presented results. The reference value for is found as the best solution of GENIUS-quality. In both variants, is very low; therefore, found solutions have almost identical length to the tours. Values of are higher than those in all cases. It is mainly due to the postoptimization procedure, which is repeated only if the longest tour is shorter than other tours after the US postoptimization procedure. The algorithm is terminated if the shortened tour is still the longest tour. A further improvement of other tours can be possible, but it will not decrease the minmax objective.
|(a) Problem set middle|
|(b) Problem set large|
Determination of the Ring Length. Aggregated results for the SOM-nn and SOM-cc variants are presented in Table 4. Also in this case, the reference value for is found as the best solution of GENIUS-quality, but the reference value for the time ratio is the required computational time for the SOM-nn algorithm variant. The standard deviations of values are about eight percent. In both SOM variants, the solution is found in less than 86 and 100 learning epochs for the middle and large problem sets, respectively. Here, the proposed ring length determination in SOM-cc outperforms the SOM-nn variant in the solution quality and also in the required computational time. Note that is less than one. Even though is lower about few percentage points for SOM-cc, is almost identical for both variants. increases with the number of salesmen, which indicates higher differences in the individual tour lengths of the particular solution.
|(a) Problem set middle|
|(b) Problem set large|
Results presented in Tables 3 and 4 provide an overall comparison of the algorithms’ performance. Regarding values of , the GENIUS algorithm provides overall better solutions with respect to the minmax objective. For the large set, the SOM-cc variant provides similar like GENIUS-quality and significantly better results than GENIUS-fast. The is lower for SOM, which is mainly because GENIUS improves only the longest tour.
6.2. Results for Individual Problems
Particular results for individual problems for three salesmen () and five salesmen () are presented in Tables 5 and 6, respectively. Here, denotes the length (in meters) of the longest tour of the best found solution from all solutions found by the four evaluated algorithm variants. The columns and denote the particular percentage deviations from , namely, Section 3.2.
Overall, solutions found by the GENIUS-quality are better according to the PDM and PDB. However, an important aspect of the SOM solutions should be remarked. SOM tries to preserve a topology of the input space, which leads to preferring solutions without mutually crossings tours. This behaviour is illustrated in the selected four best solutions found by the GENIUS and SOM algorithms that are presented in Figure 7. Note that both algorithms found solutions with very similar length to the length of the longest tour. From the path planning point of view, the SOM solutions provide an interesting feature, because if found tours do not cross, such a solution also automatically guarantees the coordination of the robots motion.
(a) GENIUS, = 46.3 m, = 1.5%, and = 182.7 m
(b) GENIUS, = 11.7 m, = 1.6%, and = 46.1 m
(c) GENIUS, = 80.5 m, = 0.4%, and = 240.3 m
(d) SOM, = 46.1 m, = 6.0%, and = 172.8 m
(e) SOM, = 11.6 m, = 3.4%, and = 44.8 m
(f) SOM, = 81.7 m, = 5.1%, and = 231.2 m
(g) GENIUS, = 253.06 m, = 0.3%, and = 1261.9 m
(h) SOM, = 275.4 m, = 13.6%, and = 1147.0 m
6.3. Real Required Computational Time
The real required computational time of the evaluated GENIUS and SOM algorithms has been measured during the experimental verification. Two supporting structures have to be precomputed for the used approximation of the shortest paths in SOM: the polygon partition and the visibility graph. The required time to create a convex polygon partition is in units or tens of milliseconds and it is negligible in comparison to the required time of the SOM adaptation procedure. Also the construction of the visibility graph is very fast in comparison to SOM or GENIUS algorithms. It is found in 41 milliseconds for the largest problem with 575 cities. The most time expensive part of the preparation phase is the computation of the shortest paths between cities (and vertices); this is required for both GENIUS and SOM algorithms. Therefore, this time is included in the presented results.
The algorithms have been implemented in C++ and compiled by G++ 4.2 with -O2 optimization. All results presented in this paper have been computed using the same computational environment, with the Athlon X2 CPU running at 2 GHz and 1 GB RAM and only one CPU core has been utilized. Therefore, real computational requirements of each particular algorithm can be directly compared with the results presented in Tables 5 and 6.
The computational time depends on the number of cities and also on the particular environment; therefore, times can be presented as histograms of average values for a range of the number of cities. The average required computational time for instances of the MTSP with three salesmen is presented in Figure 8. The GENIUS-quality algorithm is very computationally intensive, while GENIUS-fast is faster than the proposed SOM-cc. According to the quality of found solutions, the SOM-cc provides the best trade-off between the quality of solutions and the required computational time.
The SOM adaptation procedure for the MTSP-Minmax has been applied to problems in the polygonal domain, which represent instances of the non-Euclidean MTSP. The motivation of the studied problem is multigoal path planning in the polygonal domain; thus, the problem remains in a plane. However, the main issue of SOM in this type of problems is a determination of the shortest path among obstacles, which is needed in the competitive and adaptation phases of SOM for the TSP. Therefore, a fast determination of the shortest path is needed, which can be addressed by approximate path and its determination is supported by suitable data structures. The used approach is based on the convex partition that (according to the results) provides a sufficient quality of the approximation while it is also computationally feasible.
The proposed algorithm has been performed more than five thousand times, which indicates its sufficient robustness. The experimental results also show that the proposed SOM-cc variant provides better solution than a direct computation of the ring length. SOM-cc does not require approximation of the shortest path between two nodes; therefore, only the node–city path queries are part of the adaptation procedure. The quality of found solutions is competitive with the general heuristic GENIUS, but the SOM algorithm is less computationally intensive than the GENIUS-quality variant.
The presented work in this paper is based on an experimental application of well known and an already available SOM adaptation schema. Based on the experiments, the following results can be considered as the main contributions of the paper: (i)Relatively simple supporting structures allow application of SOM principles in the polygonal domain. (ii)SOM provides interesting feature for the multirobot path planning, because solutions with noncrossing tours are advantageous for a multirobot coordination. (iii)SOM-based algorithm provides competitive results to the combinatorial algorithm GENIUS in the examined instances of the non-Euclidean MTSP-Minmax in the polygonal domain. (iv)A rough approximation of the shortest node–city paths seems to be sufficient for the SOM adaptation procedure, which enables possible SOM application in 3D multigoal path planning, where approximation of the shortest path is necessary. (v)A length of the ring can be computed by a length of the tour represented by the ring, which avoids necessity of two-point shortest path queries.
Even though the proposed approach provides competitive results for the examined non-Euclidean MTSP, it can be improved in several ways. First, the used SOM schema  will be more likely outperformed by more recent SOM variants, for example, by the Coadaptive Net algorithm , which uses restricted set of nodes in the winner node selection phase and also less number of neighbouring nodes to a winner node can be adapted. Thus, the computational time can be further decreased. The approximations of the shortest path can be used in other SOM-based algorithms for the TSP, because it principally provides the distance between a node and the presented city to the network.
Regarding the found feature of SOM solutions of the MTSP, the noncrossing tours are more likely found, and a frequency of such solutions guaranteeing multirobot coordination can be increased. In , authors proposed an adaptation procedure for two robotic arms, which can be possibly applied in the MTSP. From this perspective, SOM should pay more attention to planning problems where both the cooperation and the coordination are part of the planning.
|:||The polygonal domain representing the world to be inspected|
|:||The number of vertices of|
|:||The number of holes of|
|:||A vertex of the polygonal domain|
|:||A set of the sensing locations (cities),|
|:||The number of cities (sensing locations)|
|:||Starting city (depot),|
|:||A set of convex polygons (cells)|
|:||The number of convex regions of|
|:||The number of neurons representing a tour|
|:||The number of salesmen|
|:||The Euclidean distance between points and|
|:||The length of the shortest path between two vertices of ,|
|:||A node representing weights of the th neuron|
|:||Parameters of the used SOM adaptation schema.|
The author declares that there are no competing interests.
The presented work is supported by the Czech Science Foundation (GAČR) under Research Project no. 13-18316P.
- T. Kohonen, M. R. Schroeder, and T. S. Huang, Eds., Self-Organizing Maps, Springer, Berlin, Germany, 3rd edition, 2001.
- D. L. Applegate, R. E. Bixby, V. Chvátal, and W. J. Cook, The Traveling Salesman Problem: A Computational Study, Princeton University Press, Princeton, NJ, USA, 2006.
- S. Lin and B. W. Kernighan, “An effective heuristic algorithm for the traveling-salesman problem,” Operations Research, vol. 21, no. 2, pp. 498–516, 1973.
- K. Helsgaun, “An effective implementation of the Lin-Kernighan traveling salesman heuristic,” European Journal of Operational Research, vol. 126, no. 1, pp. 106–130, 2000.
- B. Angéniol, G. de La Croix Vaubois, and J.-Y. Le Texier, “Self-organizing feature maps and the travelling salesman problem,” Neural Networks, vol. 1, no. 4, pp. 289–293, 1988.
- J.-C. Fort, “Solving a combinatorial problem via self-organizing process: an application of the Kohonen algorithm to the traveling salesman problem,” Biological Cybernetics, vol. 59, no. 1, pp. 33–40, 1988.
- L. I. Burke, “Neural methods for the traveling salesman problem: insights from operations research,” Neural Networks, vol. 7, no. 4, pp. 681–690, 1994.
- S. Somhom, A. Modares, and T. Enkawa, “A self-organising model for the travelling salesman problem,” Journal of the Operational Research Society, vol. 48, no. 9, pp. 919–928, 1997.
- N. Aras, B. J. Oommen, and I. K. Altinel, “The Kohonen network incorporating explicit statistics and its application to the travelling salesman problem,” Neural Networks, vol. 12, no. 9, pp. 1273–1284, 1999.
- E. M. Cochrane and J. E. Beasley, “The co-adaptive neural network approach to the Euclidean travelling salesman problem,” Neural Networks, vol. 16, no. 10, pp. 1499–1525, 2003.
- J.-C. Créput and A. Koukam, “A memetic neural network for the Euclidean traveling salesman problem,” Neurocomputing, vol. 72, no. 4–6, pp. 1250–1264, 2009.
- J. Faigl, “On the performance of self-organizing maps for the non-Euclidean traveling salesman problem in the polygonal domain,” Information Sciences, vol. 181, no. 19, pp. 4214–4229, 2011.
- K. Smith, M. Palaniswami, and M. Krishnamoorthy, “Neural techniques for combinatorial optimization with applications,” IEEE Transactions on Neural Networks, vol. 9, no. 6, pp. 1301–1318, 1998.
- H. Ghaziri and I. H. Osman, “A neural network algorithm for the traveling salesman problem with backhauls,” Computers and Industrial Engineering, vol. 44, no. 2, pp. 267–281, 2003.
- A. Modares, S. Somhom, and T. Enkawa, “A self-organizing neural network approach for multiple traveling salesman and vehicle routing problems,” International Transactions in Operational Research, vol. 6, no. 6, pp. 591–606, 1999.
- S. Somhom, A. Modares, and T. Enkawa, “Competition-based neural network for the multiple travelling salesmen problem with minmax objective,” Computers & Operations Research, vol. 26, no. 4, pp. 395–407, 1999.
- S. Alatartsev, S. Stellmacher, and F. Ortmeier, “Robotic task sequencing problem: a survey,” Journal of Intelligent and Robotic Systems: Theory and Applications, vol. 80, no. 2, pp. 279–298, 2015.
- J. Faigl, M. Kulich, V. Vonásek, and L. Přeučil, “An application of the self-organizing map in the non-Euclidean Traveling Salesman Problem,” Neurocomputing, vol. 74, no. 5, pp. 671–679, 2011.
- T. Bektas, “The multiple traveling salesman problem: an overview of formulations and solution procedures,” Omega, vol. 34, no. 3, pp. 209–219, 2006.
- J. Faigl, Multi-goal path planning for cooperative sensing [Ph.D. thesis], Czech Technical University in Prague, 2010.
- J. Faigl, “Approximate solution of the multiple watchman routes problem with restricted visibility range,” IEEE Transactions on Neural Networks, vol. 21, no. 10, pp. 1668–1679, 2010.
- P. M. França, M. Gendreau, G. Laporte, and F. M. Müller, “The m-traveling salesman problem with minmax objective,” Transportation Science, vol. 29, no. 3, pp. 267–275, 1995.
- M. Saha, T. Roughgarden, J.-C. Latombe, and G. Sánchez-Ante, “Planning tours of robotic arms among partitioned goals,” The International Journal of Robotics Research, vol. 25, no. 3, pp. 207–223, 2006.
- L. B. Gueta, R. Chiba, J. Ota, T. Ueyama, and T. Arai, “Coordinated motion control of a robot arm and a positioning table with arrangement of multiple goals,” in Proceedings of the IEEE International Conference on Robotics and Automation (ICRA '08), pp. 2252–2258, Pasadena, Calif, USA, May 2008.
- J. H. Reif, “Complexity of the mover's problem and generalizations,” in Proceedings of the 20th Annual Symposium on Foundations of ComputerScience (SFCS '79), pp. 421–427, IEEE Computer Society, October 1979.
- S. N. Spitz and A. A. G. Requicha, “Multiple-goals path planning for coordinate measuring machines,” in Proceedings of the IEEE International Conference on Robotics and Automation (ICRA '00), pp. 2322–2327, San Francisco, Calif, USA, April 2000.
- T. Danner and L. E. Kavraki, “Randomized planning for short inspection paths,” in Proceedings of the IEEE International Conference on Robotics and Automation (ICRA '00), vol. 2, pp. 971–976, San Francisco, Calif, USA, April 2000.
- H. González-Baños, D. Hsu, and J.-C. Latombe, “Motion planning: recent developments,” in Autonomous Mobile Robots: Sensing, Control, Decision-Making and Applications, S. Ge and F. Lewis, Eds., chapter 10, CRC Press, New York, NY, USA, 2006.
- H. González-Baños, “A randomized art-gallery algorithm for sensor placement,” in Proceedings of the 17th Annual Symposium on Computational Geometry (SCG '01), pp. 232–240, New York, NY, USA, June 2001.
- G. D. Kazazakis and A. A. Argyros, “Fast positioning of limited-visibility guards for the inspection of 2D workspaces,” in Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS '02), vol. 3, pp. 2843–2848, Lausanne, Switzerland, September 2002.
- J. Faigl and M. Kulich, “Sensing locations positioning for multi-robot inspection planning,” in IEEE Workshop on Distributed Intelligent Systems—Collective Intelligence and Its Applications (DIS '06), pp. 79–84, Prague, Czech Republic, June 2006.
- J. Faigl, M. Kulich, and L. Přeučil, “A sensor placement algorithm for a mobile robot inspection planning,” Journal of Intelligent & Robotic Systems, vol. 62, no. 3, pp. 329–353, 2011.
- M. G. Lagoudakis, E. Markakis, D. Kempe et al., “Auction-based multi-robot routing,” in Robotics: Science and Systems, S. Thrun, G. S. Sukhatme, and S. Schaal, Eds., pp. 343–350, The MIT Press, 2005.
- P. Kalina, J. Vokřínek, and V. Mařík, “Agents toward vehicle routing problem with time windows,” Journal of Intelligent Transportation Systems: Technology, Planning, and Operations, vol. 19, no. 1, pp. 3–17, 2015.
- S. Yuan, B. Skinner, S. Huang, and D. Liu, “A new crossover approach for solving the multiple travelling salesmen problem using genetic algorithms,” European Journal of Operational Research, vol. 228, no. 1, pp. 72–82, 2013.
- M. Bellmore and S. Hong, “Transformation of multisalesmen problem to the standard traveling salesman problem,” Journal of the Association for Computing Machinery, vol. 21, no. 3, pp. 500–504, 1974.
- L. Bertazzi, B. Golden, and X. Wang, “Min-max vs. min-sum vehicle routing: a worst-case analysis,” European Journal of Operational Research, vol. 240, no. 2, pp. 372–381, 2015.
- I. Vallivaara, “A Team ant colony optimization algorithm for the multiple travelling salesmen problem with MinMax objective,” in Proceedings of the 27th IASTED International Conference on Modelling, Identification, and Control, pp. 387–392, ACTA Press, February 2008.
- J. Kubalík and J. Faigl, “Iterative prototype optimization with evolved improvement steps,” in Proceedings of the 9th European Conference on Genetic Programming (EuroGP '06), pp. 154–165, Budapest, Hungary, April 2006.
- J. Kubalík, J. Kléma, and M. Kulich, “Application of soft computing techniques to rescue operation planning,” in Proceedings of the 7th International Conference on Artificial Intelligence and Soft Computing (ICAISC '04), pp. 897–902, June 2004.
- M. Kulich, J. Faigl, J. Kléma, and J. Kubalík, “Rescue operation planning by soft computing techniques,” in Proceedings of the IEEE 4th International Conference on Intelligent Systems Design and Application, vol. 1-2, pp. 103–108, IEEE, Budapest, Hungary, August 2004.
- M. Gendreau, A. Hertz, and G. Laporte, “New insertion and postoptimization procedures for the traveling salesman problem,” Operations Research, vol. 40, no. 6, pp. 1086–1094, 1992.
- M. H. Overmars and E. Welzl, “New methods for computing visibility graphs (SCG '88),” in Proceedings of the 4th Annual Symposium On Computational Geometry, pp. 164–171, Urbana-Champaign, Ill, USA, June 1988.
- M. Edahiro, I. Kokubo, and T. Asano, “A new pointlocation algorithm and its practical efficiency: comparison with existing algorithms,” ACM Transactions on Graphics, vol. 3, no. 2, pp. 86–109, 1984.
- M. Kallmann, “Path planning in triangulations,” in Proceedings of the IJCAI Workshop on Reasoning, Representation, and Learning in Computer Games, pp. 49–54, Edinburgh, Scotland, 2005.
- O. Devillers, S. Pion, and M. Teillaud, “Walking in a triangulation,” International Journal of Foundations of Computer Science, vol. 13, no. 2, pp. 181–199, 2002.
- A. Plebe and A. M. Anile, “A neural-network-based approach to the double traveling salesman problem,” Neural Computation, vol. 14, no. 2, pp. 437–471, 2002.
Copyright © 2016 Jan Faigl. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.