Abstract:We revisit the problem of algorithmically deciding whether a given infinite connected graph has an Eulerian path, namely, a path that uses every edge exactly once. It has been recently observed that this problem is $D_3^0$-complete for graphs that have a computable description, whereas it is $\Pi_2^0$-complete for graphs that have a highly computable description, and that this same bound holds for the class of automatic graphs. A closely related problem consists of determining the number of ends of a graph, namely, the maximum number of distinct infinite connected components the graph can be separated into after removing a finite set of edges. The complexity of this problem for highly computable graphs is known to be $\Pi_2^0$-complete as well. The connection between these two problems lies in that only graphs with one or two ends can have Eulerian paths. In this paper we are interested in understanding the complexity of the infinite Eulerian path problem in the setting where the input graphs are known to have the right number of ends. We find that in this setting the problem becomes strictly easier, and that its exact difficulty varies according to whether the graphs have one or two ends, and to whether the Eulerian path we are looking for is one-way or bi-infinite. For example, we find that deciding existence of a bi-infinite Eulerian path for one-ended graphs is only $\Pi_1^0$-complete if the graphs are highly computable, and that the same problem becomes decidable for automatic graphs. Our results are based on a detailed computability analysis of what we call the Separation Problem, which we believe to be of independent interest. For instance, as a side application, we observe that König's infinity lemma, well known to be non-effective in general, becomes effective if we restrict to graphs with finitely many ends.

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

On the Structure of Hamiltonian Graphs with Small Independence Number

Another Hamiltonian Cycle in Bipartite Pfaffian Graphs

Hamilton cycles in pseudorandom graphs

Graphs with Many Hamiltonian Paths

Non-crossing Hamiltonian Paths and Cycles in Output-Polynomial Time

Finding a Lower Bound for k-Unbounded Hamiltonian Cycles

Hamiltonian Claw-Free Graphs Involving Induced Cycles

Hamiltonian Claw-Free Graphs and O -Heavy Graphs Involving Induced Cycles

Pancyclicity of Hamiltonian graphs

Hamilton cycles, minimum degree and bipartite holes

Solving The Hamiltonian Path Problem Using Optical Fiber Network

Hamiltonian cycles in 7-tough $(P_3\cup 2P_1)$-free graphs

On Hamilton cycles in graphs defined by intersecting set systems

Beyond Quasi-Adjoint Graphs: On Polynomial-Time Solvable Cases of the Hamiltonian Cycle and Path Problems

Computing Hamiltonian Paths with Partial Order Restrictions

Few hamiltonian cycles in graphs with one or two vertex degrees

Improved upper bounds on even-cycle creating Hamilton paths

Approximate and Randomized Algorithms for Computing a Second Hamiltonian Cycle

On the complexity of the Eulerian path problem for infinite graphs