An iterative algorithm to eliminate edges for traveling salesman problem based on a new binomial distribution

Traveling salesman problem (TSP) is one of the extensively studied NP-hard problems. The recent research showed that the TSP on sparse graphs could be resolved in the relatively shorter computation time than that on the complete graph Kn$K_{n}$. This paper updates a previous probability model for the optimal Hamiltonian cycle edges according to the frequency quadrilaterals in Kn$K_{n}$. A new binomial distribution for TSP is rebuilt to show the probability that an edge e has the frequency 5 in a frequency quadrilateral. Based on the binomial distribution, an iterative algorithm is designed to compute the sparse graphs for TSP. There are two steps at each computation cycle. Firstly, N frequency quadrilaterals containing an edge e in the input graph is chosen to compute the average frequency f̄(e)$\bar {f}(e)$ with the frequency quadrilaterals where e has the frequency 5. Secondly, half edges with the small values f̄(e)$\bar {f}(e)$ are eliminated. The two steps are repeated until a sparse graph is computed. The computation time of the algorithm is O(Nn2)$O(Nn^{2})$. For the TSP instances in the TSPLIB, the experimental results illustrated that the sparse graphs with the O(nlog2n)$O(n\log _{2} n)$ edges are computed and the original optimal solution is preserved. The experiments means the optimal Hamiltonian cycle edges have the bigger average frequency f̄(e)$\bar {f}(e)$ in Kn$K_{n}$ and the subgraphs of Kn$K_{n}$ so they are preserved in the computation process.

[1]  Etienne de Klerk,et al.  A comparison of lower bounds for the symmetric circulant traveling salesman problem , 2011, Discret. Appl. Math..

[2]  Ola Svensson,et al.  Approximating Graphic TSP by Matchings , 2011, 2011 IEEE 52nd Annual Symposium on Foundations of Computer Science.

[3]  Maciej Liskiewicz,et al.  A new upper bound for the traveling salesman problem in cubic graphs , 2012, J. Discrete Algorithms.

[4]  William J. Cook,et al.  Certification of an optimal TSP tour through 85, 900 cities , 2009, Oper. Res. Lett..

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

[6]  Matthew S. Levine Finding the right cutting planes for the TSP , 1999, JEAL.

[7]  Heidi Gebauer Enumerating all Hamilton Cycles and Bounding the Number of Hamilton Cycles in 3-Regular Graphs , 2011, Electron. J. Comb..

[8]  Glencora Borradaile,et al.  Polynomial-Time Approximation Schemes for Subset-Connectivity Problems in Bounded-Genus Graphs , 2012, Algorithmica.

[9]  Andreas Björklund,et al.  The traveling salesman problem in bounded degree graphs , 2012, TALG.

[10]  Stefan Hougardy,et al.  Edge Elimination in TSP Instances , 2014, WG.

[11]  Yong Wang An approximate method to compute a sparse graph for traveling salesman problem , 2015, Expert Syst. Appl..

[12]  José R. Correa,et al.  TSP Tours in Cubic Graphs: Beyond 4/3 , 2012, SIAM J. Discret. Math..

[13]  David Eppstein,et al.  Fast hierarchical clustering and other applications of dynamic closest pairs , 1999, SODA '98.

[14]  Marek Chrobak,et al.  On common edges in optimal solutions to traveling salesman and other optimization problems , 1988, Discret. Appl. Math..

[15]  Yong Wang,et al.  A Binomial Distribution Model for the Traveling Salesman Problem Based on Frequency Quadrilaterals , 2016, J. Graph Algorithms Appl..

[16]  Micha Sharir,et al.  On the number of crossing-free matchings, (cycles, and partitions) , 2006, SODA '06.

[17]  Richard Bellman,et al.  Dynamic Programming Treatment of the Travelling Salesman Problem , 1962, JACM.

[18]  Amin Saberi,et al.  The asymmetric traveling salesman problem on graphs with bounded genus , 2009, SODA '11.

[19]  M. Held,et al.  A dynamic programming approach to sequencing problems , 1962, ACM National Meeting.

[20]  Hiroshi Nagamochi,et al.  An Exact Algorithm for TSP in Degree-3 Graphs Via Circuit Procedure and Amortization on Connectivity Structure , 2012, Algorithmica.

[21]  Richard M. Karp,et al.  On the Computational Complexity of Combinatorial Problems , 1975, Networks.

[22]  Jaroslav Nesetril,et al.  Sparsity - Graphs, Structures, and Algorithms , 2012, Algorithms and combinatorics.