Approximate and Randomized Algorithms for Computing a Second Hamiltonian Cycle
Argyrios Deligkas,George B. Mertzios,Paul G. Spirakis,Viktor Zamaraev
DOI: https://doi.org/10.1007/s00453-024-01238-z
IF: 0.909
2024-06-14
Algorithmica
Abstract:In this paper we consider the following problem: Given a Hamiltonian graph G , and a Hamiltonian cycle C of G , can we compute a second Hamiltonian cycle of G , and if yes, how quickly? If the input graph G satisfies certain conditions (e.g. if every vertex of G is odd, or if the minimum degree is large enough), it is known that such a second Hamiltonian cycle always exists. Despite substantial efforts, no subexponential-time algorithm is known for this problem. In this paper we relax the problem of computing a second Hamiltonian cycle in two ways. First, we consider approximating the length of a second longest cycle on n -vertex graphs with minimum degree and maximum degree . We provide a linear-time algorithm for computing a cycle of length at least , where . This results provides a constructive proof of a recent result by Girão, Kittipassorn, and Narayanan in the regime of . Our second relaxation of the problem is probabilistic. We propose a randomized algorithm which computes a second Hamiltonian cycle with high probability , given that the input graph G has a large enough minimum degree. More specifically, we prove that for every \(0<p\le 0.02\) , if the minimum degree of G is at least , then a second Hamiltonian cycle can be computed with probability at least in time. This result implies that, when the minimum degree is sufficiently large, we can compute with high probability a second Hamiltonian cycle faster than any known deterministic algorithm. In particular, when , our probabilistic algorithm works in time.
computer science, software engineering,mathematics, applied