Deterministic ``snakes and ladders heuristic for the Hamiltonian cycle problem

From MaRDI portal
Publication:744218

DOI10.1007/S12532-013-0059-2zbMATH Open1301.05326arXiv1902.10337OpenAlexW1986373227MaRDI QIDQ744218FDOQ744218


Authors: Pouya Baniasadi, Jerzy Filar, Michael Haythorpe, Serguei Rossomakhine, Vladimir Ejov Edit this on Wikidata


Publication date: 6 October 2014

Published in: Mathematical Programming Computation (Search for Journal in Brave)

Abstract: We present a polynomial complexity, deterministic, heuristic for solving the Hamiltonian Cycle Problem (HCP) in an undirected graph of order n. Although finding a Hamiltonian cycle is not theoretically guaranteed, we have observed that the heuristic is successful even in cases where such cycles are extremely rare, and it also performs very well on all HCP instances of large graphs listed on the TSPLIB web page. The heuristic owes its name to a visualisation of its iterations. All vertices of the graph are placed on a given circle in some order. The graph's edges are classified as either snakes or ladders, with snakes forming arcs of the circle and ladders forming its chords. The heuristic strives to place exactly n snakes on the circle, thereby forming a Hamiltonian cycle. The Snakes and Ladders Heuristic (SLH) uses transformations inspired by kopt algorithms such as the, now classical, Lin-Kernighan heuristic to reorder the vertices on the circle in order to transform some ladders into snakes and vice versa. The use of a suitable stopping criterion ensures the heuristic terminates in polynomial time if no improvement is made in n3 major iterations.


Full work available at URL: https://arxiv.org/abs/1902.10337




Recommendations




Cites Work


Cited In (12)

Uses Software





This page was built for publication: Deterministic ``snakes and ladders heuristic for the Hamiltonian cycle problem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q744218)