Solving the Traveling Salesman Problem through Extended Changing Crossover Operators

In order to efficiently obtain an approximate solution of the traveling salesman problem (TSP), a new method of extended changing crossover operators (ECXO) which can change any crossover operator of both genetic algorithms (GAs) and ant colony optimization (ACO) for another crossover operator at any time is proposed. In ECXO, all the cyclic paths which are produced by some operator are not only able to be delivered to another operator and are but also able to be updated by it. Through ECXO, we can succeed to search for the global optimum solution while maintaining diversity of the cyclic paths. In this study, we investigate an ECXO which mainly controlls edge assembly crossover (EAX), since recently EAX is found to be powerful to find out the global optimum solution by preserving good edges of previous tours and maintaining diversity of cyclic paths in the population. EAX represents any tour as a set of edges that connect two cities. With EAX a parent can exchange his edges with another parent’s ones reciprocally to create sub-cyclic paths, before restructuring a cyclic path by combining them with making distances minimum. EAX is an extension of edge exchange crossover (EXX) with which a parent can change his edge for another parent’s edge and he can make arrangement of his edges reverse or foward. Our C experiments show that EAX is superior to both edge recombination crossover (EX) and ACO from points of view of ability to combine parents’ sub-paths together to create a global optimum solution if parents’ sub-paths are locally optimal, that with EAX alone any child spends much time on creating locally optimal sub-paths because he can not take into consideration of edges’ lengths when he generates sub-cyclic paths, that since with EX or ACO any child or any ant selects the next city he visits by edges’ lengths or by tours’ lengths deposited on edges as pheromone, he can only generate local optimum paths and can not select an optimum one by considering global links of edges, he is apt to fall into the local optimum solution. Hence we study ECXO (ACO(or EX)(→EXX)→EAX) in which we generate cyclic-paths which are locally optimum and which have variety of arranging edges with EX, ACO and EXX in early generations, and we generate cyclic-paths with EAX to create global optimum solution efficiently after generations, where EAX succeeds cyclic-paths EX, ACO and EXX generate. The efficiency of ECXO is verified by C experiments using the data of lin318 which is a midium sized TSP in TSPLIB. Table 1 demonstrates its verification. Table 1 shows best length, average length, the number of optimum trials, relative error which is defined as ((average length)/(optimal length) 1), computational time to find the best length, and average computational time to find it. The average length is the average value of fifteen best lengths. They are obtained from 15 independent runs by using different seed-ids which range from one to fifteen, where seed-id generates different initial random tours for lin318, where EAX has Ncross of 30. From Table 1, it has been shown that four ECXOs as well as EAX can find best lengths and their relative errors are low. Four ECXOs can find the best solution earlier than EAX and its improvement-ratio ranges from 10% to 30%. Among them ECXO (EX→EAX) has least amount of mean time to find the optimum one. In Fig. 1 we compare four ECXOs and EAX on the convergence speed to the optimal length of 42,029. The data is obtained from a trial of seed_id of one with Ncross of 100. It shows that firstly ECXO (EX → EXX → EAX) find the best solution at 2,224 sec and that secondly ECXO (EX → EAX), thirdly EAX, fourthly ECXO (ACO→EAX), and finally ECXO(ACO → EXX→EAX) find it at 3,055 sec. In this paper it has been also shown that we can select the optimal generation to change crossover operators based on diversity and convergence of chromosomes. The efficiency of ECXO is also verified by bench-mark test using d198 and pcb442 in TSPLIB. Table 1. Comparison of ECXOs with EAX, EX, EXX and ACO on best length, average length, the number of optimal trials, relative error, and computational time to find the best length. Results are obtained from fifteen independent trials. Ncross=30 in EAX. The optimum length of lin318 is 42,029 in TSPLIB

[1]  Keld Helsgaun,et al.  An effective implementation of the Lin-Kernighan traveling salesman heuristic , 2000, Eur. J. Oper. Res..

[2]  Cheng-Yan Kao,et al.  An evolutionary algorithm for large traveling salesman problems , 2004, IEEE Trans. Syst. Man Cybern. Part B.

[3]  John J. Grefenstette,et al.  Genetic Algorithms for the Traveling Salesman Problem , 1985, ICGA.

[4]  J. K. Lenstra,et al.  Local search in combinatorial optimization (2nd revised edition) , 2003 .

[5]  Hajime Kita,et al.  A genetic solution for the traveling salesman problem by means of a thermodynamical selection rule , 1996, Proceedings of IEEE International Conference on Evolutionary Computation.

[6]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[7]  Lawrence Davis,et al.  Applying Adaptive Algorithms to Epistatic Domains , 1985, IJCAI.

[8]  Ryouei Takahashi Solving the traveling salesman problem through genetic algorithms with changing crossover operators , 2005, Fourth International Conference on Machine Learning and Applications (ICMLA'05).

[9]  Luca Maria Gambardella,et al.  Ant colony system: a cooperative learning approach to the traveling salesman problem , 1997, IEEE Trans. Evol. Comput..

[10]  David S. Johnson,et al.  The Traveling Salesman Problem: A Case Study in Local Optimization , 2008 .

[11]  Brian W. Kernighan,et al.  An Effective Heuristic Algorithm for the Traveling-Salesman Problem , 1973, Oper. Res..

[12]  Cheng-Yan Kao,et al.  Some issues of designing genetic algorithms for traveling salesman problems , 2004, Soft Comput..

[13]  José Ignacio Hidalgo,et al.  A hybrid heuristic for the traveling salesman problem , 2001, IEEE Trans. Evol. Comput..

[14]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[15]  Bernd Freisleben,et al.  New Genetic Local Search Operators for the Traveling Salesman Problem , 1996, PPSN.

[16]  Darrell Whitley,et al.  Scheduling problems and traveling salesman: the genetic edge recombination , 1989 .

[17]  Edward W. Felten,et al.  Large-step markov chains for the TSP incorporating local search heuristics , 1992, Oper. Res. Lett..

[18]  D. J. Smith,et al.  A Study of Permutation Crossover Operators on the Traveling Salesman Problem , 1987, ICGA.