Abstract:Motivated by generalizations of de Bruijn cycles to various combinatorial structures (Chung, Diaconis, and Graham), we study various Euler tours in set systems. Let $\mathcal{G}$ be a hypergraph whose corank and rank are $c\geq 3$ and $k$, respetively. The minimum $t$-degree of $\mathcal{G}$ is the fewest number of edges containing every $t$-subset of vertices. An Euler tour (family, respectively) in $\mathcal{G}$ is a (family of, respectively) closed walk(s) that (jointly, respectively) traverses each edge of $\mathcal{G}$ exactly once. An Euler tour is spanning if it traverses all the vertices of $\mathcal{G}$. We show that $\mathcal{G}$ has an Euler family if its incidence graph is $(1+\lceil k/c \rceil)$-edge-connected. Provided that the number of vertices of $\mathcal{G}$ meets a reasonable lower bound, and either $2$-degree is at least $k$ or $t$-degree is at least one for $t\geq 3$, we show that $\mathcal{G}$ has a spanning Euler tour. To exhibit the usefulness of our results, we solve a number of open problems concerning ordering blocks of a design (these have applications in other fields such as erasure-correcting codes). Answering a question of Horan and Hurlbert, we show that a Steiner quadruple system of order $n$ has a (spanning) Euler tour if and only if $n\geq 8$ and $n\equiv 2,4 \pmod 6$, and we prove a similar result for all Steiner systems, as well as all designs except for 2-designs whose index $\lambda$ is less than the largest block size. We nearly solve a conjecture of Dewar and Stevens on the existence of universal cycles in pairwise balanced designs. Motivated by R.L. Graham's question on the existence of Hamiltonian cycles in block-intersection graphs of Steiner triple systems, we establish the Hamiltonicity of the block-intersection graph of a large family of (not necessarily uniform) designs. All our results are constructive and of polynomial time complexity.

Hamiltonian Cycles on Ammann-Beenker Tilings

Another Hamiltonian Cycle in Bipartite Pfaffian Graphs

Spanning Euler Tours in Hypergraphs

Hamiltonian Claw-Free Graphs Involving Induced Cycles

Enumeration of Hamiltonian Cycles on a Thick Grid Cylinder -- Part II: Contractible Hamiltonian Cycles

Enumeration of nonisomorphic Hamiltonian cycles on square grid graphs

Algorithmic methods of finite discrete structures. Hamiltonian cycle of a complete graph and the Traveling salesman problem

Contractible Hamiltonian Cycles in Triangulated Surfaces

Hamilton cycles in pseudorandom graphs

ASP-Completeness of Hamiltonicity in Grid Graphs, with Applications to Loop Puzzles

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

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

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

Hexagonal and trigonal quasiperiodic tilings

Cycles and paths in Jacobson graphs

Facet-Hamiltonicity

Hamiltonian cycles on bicolored random planar maps

Hamiltonian Cycle in Semi-Equivelar Maps on the Torus

Hidden Hamiltonian Cycle Recovery via Linear Programming

Constructing Optimal Cyclic Tours for Planar Exploration and Obstacle Avoidance : A Graph Theory Approach

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