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

Yong Wang,Jeffrey B. Remmel
DOI: https://doi.org/10.1007/s10489-018-1222-2
IF: 5.3
2018-06-27
Applied Intelligence
Abstract: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\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$K_{n}$\end{document}. This paper updates a previous probability model for the optimal Hamiltonian cycle edges according to the frequency quadrilaterals in Kn\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$K_{n}$\end{document}. 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)\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$\bar {f}(e)$\end{document} with the frequency quadrilaterals where e has the frequency 5. Secondly, half edges with the small values f̄(e)\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$\bar {f}(e)$\end{document} are eliminated. The two steps are repeated until a sparse graph is computed. The computation time of the algorithm is O(Nn2)\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$O(Nn^{2})$\end{document}. For the TSP instances in the TSPLIB, the experimental results illustrated that the sparse graphs with the O(nlog2n)\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$O(n\log _{2} n)$\end{document} 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)\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$\bar {f}(e)$\end{document} in Kn\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$K_{n}$\end{document} and the subgraphs of Kn\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$K_{n}$\end{document} so they are preserved in the computation process.
computer science, artificial intelligence
What problem does this paper attempt to address?