Abstract:Finding a Hamiltonian cycle in a given graph is computationally challenging, and in general remains so even when one is further given one Hamiltonian cycle in the graph and asked to find another. In fact, no significantly faster algorithms are known for finding another Hamiltonian cycle than for finding a first one even in the setting where another Hamiltonian cycle is structurally guaranteed to exist, such as for odd-degree graphs. We identify a graph class -- the bipartite Pfaffian graphs of minimum degree three -- where it is NP-complete to decide whether a given graph in the class is Hamiltonian, but when presented with a Hamiltonian cycle as part of the input, another Hamiltonian cycle can be found efficiently. We prove that Thomason's lollipop method~[Ann.~Discrete Math.,~1978], a well-known algorithm for finding another Hamiltonian cycle, runs in a linear number of steps in cubic bipartite Pfaffian graphs. This was conjectured for cubic bipartite planar graphs by Haddadan [MSc~thesis,~Waterloo,~2015]; in contrast, examples are known of both cubic bipartite graphs and cubic planar graphs where the lollipop method takes exponential time. Beyond the lollipop method, we address a slightly more general graph class and present two algorithms, one running in linear-time and one operating in logarithmic space, that take as input (i) a bipartite Pfaffian graph $G$ of minimum degree three, (ii) a Hamiltonian cycle $H$ in $G$, and (iii) an edge $e$ in $H$, and output at least three other Hamiltonian cycles through the edge $e$ in $G$. We also present further improved algorithms for finding optimal traveling salesperson tours and counting Hamiltonian cycles in bipartite planar graphs with running times that are not known to hold in general planar graphs.

Solving the Hamiltonian path problem with a light-based computer

Solving The Hamiltonian Path Problem Using Optical Fiber Network

Fiber Non-Turing All-Optical Computer for Solving Complex Decision Problems

Hamiltonian (s, t)-paths in solid supergrid graphs

Solving graph problems with single-photons and linear optics

Time-Free Solution to Hamilton Path Problems Using P Systems with D-Division

Using a Hamiltonian cycle problem algorithm to assist in solving difficult instances of Traveling Salesman Problem

Simple Necessary Conditions for the Existence of a Hamiltonian Path with Applications to Cactus Graphs

Hamiltonian path and Hamiltonian cycle are solvable in polynomial time in graphs of bounded independence number

Computing Tutte Paths

The hamiltonian path graph is connected for simple s, t paths in rectangular grid graphs

The Hamiltonicity, Hamiltonian Connectivity, and Longest (s, t)-path of L-shaped Supergrid Graphs

Comparison among Classical, Probabilistic and Quantum Algorithms for Hamiltonian Cycle problem

Dynamic Lightpath Protection in WDM Optical Networks Using Ant-based Mobile Agents

Solving NP-complete problems with delayed signals: an overview of current research directions

Finding Hamiltonian and Longest (s, t)-paths of C-shaped Supergrid Graphs in Linear Time

Graphs with Many Hamiltonian Paths

Parallel Construction of Hamiltonian Paths for Conforming Tetrahedral Meshes.

An extension of the Christofides heuristic for a single-depot multiple Hamiltonian path problem

Solving Combinatorial Optimization Problems on a Photonic Quantum Computer

Another Hamiltonian Cycle in Bipartite Pfaffian Graphs