Extracting Knowledge to Predict TSP Asymptotic Time Complexity

Computational science (CS) is often referred to as the third science, complementing both theoretical and laboratory science. In this field, new challenges are continuously arising. It allows doing things that were previously too difficult to do due to the complexity of the mathematics, the large number of calculations involved, or a combination of both. The asymptotic time complexity definition of both deterministic and non-deterministic algorithms to solve all kind of problems is one of the key points in computer science. Knowing the limit of the execution time of an algorithm when the size of the problem goes to infinity is essential. In particular, data-dependent applications is an extremely challenging problem because for a specific issue the input data sets may cause variability in execution times. The development of an entire approach to define the asymptotic time complexity of a hard data-dependent parallel application that solves the traveling salesman problem (TSP) is the focus of this study. This is a process designed to explore data in search of patterns and/or relationships, and then to predict performance order for new data sets by applying historical detected patterns. Two different parallel TSP algorithms are presented. One of these is used to show the usefulness and the profits of the proposed approach, and the other one is used as witness. The experimental results are quite promising.

[1]  R. Bland,et al.  Large travelling salesman problems arising from experiments in X-ray crystallography: A preliminary report on computation , 1989 .

[2]  Cheng-Yan Kao,et al.  Solving traveling salesman problems by combining global and local search mechanisms , 2002, Proceedings of the 2002 Congress on Evolutionary Computation. CEC'02 (Cat. No.02TH8600).

[3]  Gaston H. Gonnet,et al.  Using traveling salesman problem algorithms for evolutionary tree construction , 2000, Bioinform..

[4]  David Sankoff,et al.  The Median Problem for Breakpoints in Comparative Genomics , 1997, COCOON.

[5]  Emilio Luque,et al.  Tuning Application in a Multi-cluster Environment , 2006, Euro-Par.

[6]  Emilio Luque,et al.  A knowledge-based methodology to predict performance order of data-dependent applications , 2007, DMIN.

[7]  R. Vohra,et al.  The Orienteering Problem , 1987 .

[8]  J. MacQueen Some methods for classification and analysis of multivariate observations , 1967 .

[9]  Bruce L. Golden,et al.  Solving the traveling salesman problem with annealing-based heuristics: a computational study , 2002, IEEE Trans. Syst. Man Cybern. Part A.

[10]  Jan Karel Lenstra,et al.  Some Simple Applications of the Travelling Salesman Problem , 1975 .

[11]  H. D. Ratliff,et al.  Order-Picking in a Rectangular Warehouse: A Solvable Case of the Traveling Salesman Problem , 1983, Oper. Res..

[12]  Abraham P. Punnen,et al.  The traveling salesman problem and its variations , 2007 .

[13]  Mile K. Stojcev Algorithms sequential and parallel: a unified approach , 2001 .

[14]  R. Gomory,et al.  Sequencing a One State-Variable Machine: A Solvable Case of the Traveling Salesman Problem , 1964 .

[15]  Emilio Luque,et al.  A Computational Approach to TSP Performance Prediction Using Data Mining , 2007, 21st International Conference on Advanced Information Networking and Applications Workshops (AINAW'07).

[16]  E. M. O. Junior,et al.  Performance prediction and tuning in a multi-cluster environment , 2006 .

[17]  Jean-Yves Potvin,et al.  Vehicle Routing , 2009, Encyclopedia of Optimization.

[18]  Daniel P. Huttenlocher,et al.  Comparing Images Using the Hausdorff Distance , 1993, IEEE Trans. Pattern Anal. Mach. Intell..

[19]  Egon Balas,et al.  The prize collecting traveling salesman problem , 1989, Networks.

[20]  Richard M. Karp,et al.  Reducibility among combinatorial problems" in complexity of computer computations , 1972 .

[21]  Donald L. Miller,et al.  Exact Solution of Large Asymmetric Traveling Salesman Problems , 1991, Science.

[22]  Ronald L. Graham,et al.  Some NP-complete geometric problems , 1976, STOC '76.

[23]  Ekrem Duman,et al.  Precedence constrained TSP arising in printed circuit board assembly , 2004 .