arXiv++ Combinatorics

In 1992, Bollobás and Meir showed that for every $k \geq 1$ there exists a constant $c_k$ such that, for any $n$ points in the $k$-dimensional unit cube $[0, 1]^k$, one can find a tour $x_1, \dots, x_n$ through these $n$ points with $\sum_{i = 1}^n |x_i - x_{i + 1}|^k \leq c_k$, where $x_{n + 1} = x_1$ and $|x - y|$ is the Euclidean distance between $x$ and $y$. Remarkably, this bound does not depend on $n$, the number of points. They conjectured that the optimal constant is $c_k = 2 \cdot k^{k / 2}$ and showed that it cannot be taken lower than that. This conjecture was recently revised for $k = 3$ by Balogh, Clemen and Dumitrescu, who showed that $c_3 \geq 2^{7/2} > 2 \cdot 3^{3/2}$. It remains open for all $k > 2$, with the best known upper bound $c_k \leq 2.65^k \cdot k^{k / 2} \cdot (1 + o_k(1))$. We significantly narrow the gap between lower and upper bounds on $c_k$, reducing it from exponential to linear. Specifically, we prove that $c_k \leq 2\mathrm{e}(k + 1) \cdot k^{k / 2}$ and $c_k = k^{k / 2} \cdot (2 + o_k(1))$, the latter establishing the conjecture asymptotically. We also obtain analogous results for related problems on Hamiltonian paths, spanning trees and perfect matchings in the unit cube. Our main tool is a new generalization of the ball packing argument used in earlier works.

Let $\mathbf{G}=\{G_1,\dots,G_{2n-1}\}$ be a collection of $2n-1$ bipartite graphs on the same bipartition $V=(X,Y)$ with $|X|=|Y|=n$. For a path $P$ with $V(P)=V$ and $|E(P)|=2n-1$, if there exists an injection $φ$: $E(P)\rightarrow [2n-1]$ such that $e\in E(G_{φ(e)})$ for each $e\in E(P)$, then we say that $P$ is a $\mathbf{G}$-transversal isomorphic to a Hamiltonian path. A bipartite graph collection $\mathbf{G}$ is called Hamiltonian connected if for any two vertices $x\in X$ and $y\in Y$, there exists a $\mathbf{G}$-transversal isomorphic to a Hamiltonian path between $x$ and $y$. In this paper, we give the minimum degree conditions to ensure the existence of a $\mathbf{G}$-transversal isomorphic to a Hamiltonian path and the Hamiltonian connectivity of $\mathbf{G}$, which improve the results of [Hu, Li, Li and Xu, Discrete Math., 2024.]

\noindent An \textit{\(m \times n\) grid graph} is the induced subgraph of the square lattice whose vertex set consists of all integer grid points \(\{(i,j) : 0 \leq i < m,\ 0 \leq j < n\}\). Let $H$ and $K$ be Hamiltonian cycles in an $m \times n$ grid graph $G$. We study the problem of reconfiguring $H$ into $K$ using a sequence of local transformations called \textit{moves}. A \textit{box} of $G$ is a unit square face. A box with vertices $a, b, c, d$ is \textit{switchable} in $H$ if exactly two of its edges belong to $H$, and these edges are parallel. Given such a box with edges $ab$ and $cd$ in $H$, a \textit{switch move} removes $ab$ and $cd$, and adds $bc$ and $ad$. A \textit{double-switch move} consists of performing two consecutive switch moves. If, after a double-switch move, we obtain a Hamiltonian cycle, we say that the double-switch move is \textit{valid}. We prove that any Hamiltonian cycle $H$ can be transformed into any other Hamiltonian cycle $K$ via a sequence of valid double-switch moves, such that every intermediate graph remains a Hamiltonian cycle. This result extends to Hamiltonian paths. In that case, we also use single-switch moves and a third operation, the \textit{backbite move}, which enables the relocation of the path endpoints.

During their investigation of power-sequence terraces, Anderson and Preece briefly mention a construction of a terrace for the cyclic group $\mathbb{Z}_n$ when $n$ is odd and $2n+1$ is prime; it is built using the discrete logarithm modulo $2n+1$. In this short note we see that this terrace gives rise to an orthogonal double cover (ODC) for the complete graph $K_n$ by Hamiltonian paths. This gives infinitely many new values for which such an ODC is known.

The duality theorem of Lass relates the matching polynomials of a simple graph $G$ with the matching polynomials of its complement $\bar G$. In particular, this relation gives rise to Godsil's result, which offers a nice interpretation of the Lebesgue-Stieltjes integral associated with the Hermite orthogonality measure. In this work, we introduce the concept of path-cover polynomials. Similar to matching polynomials, we show that path-cover polynomials also satisfy duality relations and give combinatorial interpretations of the Lebesgue-Stieltjes integral and the inner product in the space of associated Laguerre polynomials. Similar duality relations hold for clique-cover polynomials and chromatic polynomials. As applications, we find an efficient algorithm that computes graph polynomials for cographs. We also give explicit formulas to compute the number of Hamiltonian paths and cycles in complete multipartite graphs.

Let $G = (G_1, G_2, \ldots, G_m)$ be a collection of $m$ graphs on a common vertex set $V$. For a graph $H$ with vertices in $V$, we say that $G$ contains a rainbow $H$ if there is an injection $c: E(H) \to [m]$ such that for every edge $e \in E(H)$, we have $e \in E(G_{c(e)})$. In this paper, we show that if $G = (G_1, \ldots, G_n)$ is a collection of graphs on $n$ vertices such that for every $i \in [n]$, $d_{G_i}(u) + d_{G_i}(v) \geq n$ whenever $uv \notin E(G_i)$, then either $G$ contains rainbow Hamiltonian paths between every pair of vertices, or $G$ contains a rainbow Hamiltonian cycle. Moreover, we prove a stronger version in which we may also embed prescribed rainbow linear forests into the Hamiltonian paths.

Havet and Thomassé proved that every tournament of order $n\geq 8$ contains every oriented Hamiltonian path, which was conjectured by Rosenfeld. Recently, it was shown that in any tournament $T$ of order $n\geq 8$, there exists an arc $e$ such that $T-e$ contains any oriented Hamiltonian path. A natural extension of this problem is to study the stability of this property under arbitrary arc deletion. In this paper, we prove that every arc $e$ in a tournament $T$ of order $n\geq 8$ satisfies that $T-e$ contains every oriented Hamiltonian path, except for some explicitly described exceptions.

We establish a bijective correspondence between Smirnov words with balanced letter multiplicities and Hamiltonian paths in complete $m$-partite graphs $K_{n,n,\ldots,n}$. This bijection allows us to derive closed inclusion-exclusion formulas for the number of Hamiltonian cycles in such graphs. We further extend the enumeration to the generalized nonuniform case $K_{n_1,n_2,\ldots,n_m}$. We also provide an asymptotic analysis based on Stirling's approximation, which yields compact factorial expressions and logarithmic expansions describing the growth of the number of Hamiltonian cycles in the considered graphs. Our approach unifies the combinatorial study of adjacency-constrained words and the enumeration of Hamiltonian cycles within a single analytical framework.

In 1934 L. Rédei published his famous theorem that the number of Hamiltonian paths in a tournament is odd. In fact it is a corollary of a stronger theorem in his paper. Stronger theorems were also obtained in the early 1970s by G.A. Dirac in his lectures at Aarhus University and by C. Berge in his monographs on graphs and hypergraphs. We exhibit the stronger theorems of Rédei, Dirac and Berge and explain connections between them. The stronger theorem of Dirac has two corollaries, one equivalent to Rédei's stronger theorem and the other related to Berge's stronger theorem.

We consider the problem of finding a Hamiltonian path or cycle with precedence constraints in the form of a partial order on the vertex set. We study the complexity for graph width parameters for which the ordinary problems $\mathsf{Hamiltonian\ Path}$ and $\mathsf{Hamiltonian\ Cycle}$ are in $\mathsf{FPT}$. In particular, we focus on parameters that describe how many vertices and edges have to be deleted to become a member of a certain graph class. We show that the problems are $\mathsf{W[1]}$-hard for such restricted cases as vertex distance to path and vertex distance to clique. We complement these results by showing that the problems can be solved in $\mathsf{XP}$ time for vertex distance to outerplanar and vertex distance to block. Furthermore, we present some $\mathsf{FPT}$ algorithms, e.g., for edge distance to block. Additionally, we prove para-$\mathsf{NP}$-hardness when considered with the edge clique cover number.

The Hamiltonian cycle polynomial can be evaluated to count the number of Hamiltonian cycles in a graph. It can also be viewed as a list of all spanning cycles of length $n$. We adopt the latter perspective and present a pair of original proofs for the Hamiltonian cycle identity which relates the Hamiltonian cycle polynomial to the important determinant and permanent polynomials. The first proof is a more accessible combinatorial argument. The second proof relies on viewing polynomials as both linear algebraic and combinatorial objects whose monomials form lists of graphs. Finally, a similar identity is derived for the Hamiltonian path polynomial.

In any graph, the maximum size of an induced path is bounded by the maximum size of a path. However, in the general case, one cannot find a converse bound, even up to an arbitrary function, as evidenced by the case of cliques. Galvin, Rival and Sands proved in 1982 that, when restricted to weakly sparse graphs, such a converse property actually holds. In this paper, we consider the maximal function $f$ such that any planar graph (and in general, any graph of bounded genus) containing a path on $n$ vertices contains an induced path of size $f(n)$, and prove that $f(n) \in Θ\left(\frac{\log n}{\log \log n}\right)$ by providing a lower bound matching the upper bound obtained by Esperet, Lemoine and Maffray, up to a constant factor. We obtain these tight bounds by analyzing graphs ordered along a Hamiltonian path that admit an edge partition into a bounded number of sets without crossing edges. In particular, we prove that when such an ordered graph can be partitioned into $2k$ sets of non-crossing edges, then it contains an induced path of size $Ω_k\left(\left(\frac{\log n}{\log \log n}\right)^{1/k} \right)$ and provide almost matching upper bounds.

For integer $n$, the $n$-iterated line graph $L^n(G)$ of an undirected graph $G$ is defined to be $L(L^{n-1}(G))$, where $L^1(G)$ is the line graph $L(G)$ of $G$. In this paper we introduce hamiltonian path index. Hamiltonian path index, denoted by $h_p(G)$, is the minimum number $n$ such that $L^n(G)$ contains a hamiltonian path. We show that hamiltonian path index of $G$ exists for any graph $G$ and we set the exact value of hamiltonian path index for trees and discuss the problem about graphs with hamiltonian 2-connected blocks.

A Hamiltonian path in a digraph $D$ in which the initial vertex dominates the terminal vertex is called a Hamiltonian bypass. Let $D$ be a 2-strong digraph of order $p\geq 3$ and let $z$ be some vertex of $D$. Suppose that every vertex of $D$ other than $z$ has degree at least $p$. We introduce and study a conjecture which claims that there exists a smallest integer $k$ such that if $d(z)\geq k$, then $D$ contains a Hamiltonian bypass. In this paper, we prove: (i) If $D$ is Hamiltonian or $z$ has a degree greater than $(p-1)/3$, then $D$ contains a Hamiltonian bypass. (ii) If a strong balanced bipartite digraph $B$ of order $2a\geq 6$ satisfies the condition that $d^+(u)+d^-(v)\geq a+1$ for all vertices $u$ and $v$ from different partite sets such that $B$ does not contain the arc $uv$, then $B$ contains a Hamiltonian bypass. Furthermore, the lower bound $a+1$ is sharp. The first result improves a result of Benhocine (J. of Graph Theory, 8, 1984) and a result of the author (Math. Problems of Computer Science, 54, 2020) We also suggest some conjectures and problems.

Every semicomplete multipartite digraph contains a quasi-Hamiltonian path, but the problem of finding a quasi-Hamiltonian path with prescribed start and end vertex is NP-complete even when restricted to semicomplete multipartite digraphs with independence number exactly 3. Bang-Jensen, Wang and Yeo (arXiv 2024) showed that deciding the presence of a quasi-Hamiltonian cycle which does not contain at least one vertex from each color class is NP-complete. Similarly, deciding the presence of a quasi-Hamiltonian cycle which intersects every part exactly once is also NP-complete as shown in the same work. In this paper, we continue the study of paths with constraints on the number of covered vertices from each color class. We consider the problem of finding a path with prescribed start and end vertex that contains at least $a$ and at most $b$ vertices from each color class where all color classes have size exactly $α$. This unifies the Hamiltonian path problem, the quasi-Hamiltonian path problem and the path-version of the cycle problems mentioned above, among other problems. Using Schaefer's dichotomy theorem, we classify the complexity of almost all problems in our framework. Notable open problems are the Hamiltonian path problem on semicomplete multipartite digraphs as well as the quasi-Hamiltonian path problem restricted to semicomplete multipartite digraphs with independence number 2. We then investigate the quasi-Hamiltonian path problem restricted to semicomplete multipartite digraphs with independence number 2. We generalize sufficient criteria for Hamiltonian $(s,t)$-paths in semicomplete digraphs to sufficient criteria for quasi-Hamiltonian $(s,t)$-paths in this class. Although this does not settle the problem, the initial results suggest that this special case may be solvable in polynomial time.

For an arrangement $\mathcal{H}$ of hyperplanes in $\mathbb{R}^n$ through the origin, a region is a connected subset of $\mathbb{R}^n\setminus\mathcal{H}$. The graph of regions $G(\mathcal{H})$ has a vertex for every region, and an edge between any two vertices whose corresponding regions are separated by a single hyperplane from $\mathcal{H}$. We aim to compute a Hamiltonian path or cycle in the graph $G(\mathcal{H})$, i.e., a path or cycle that visits every vertex (=region) exactly once. Our first main result is that if $\mathcal{H}$ is a supersolvable arrangement, then the graph of regions $G(\mathcal{H})$ has a Hamiltonian cycle. More generally, we consider quotients of lattice congruences of the poset of regions $P(\mathcal{H},R_0)$, obtained by orienting the graph $G(\mathcal{H})$ away from a particular base region $R_0$. Our second main result is that if $\mathcal{H}$ is supersolvable and $R_0$ is a canonical base region, then for any lattice congruence $\equiv$ on $P(\mathcal{H},R_0)=:L$, the cover graph of the quotient lattice $L/\equiv$ has a Hamiltonian path. [...]

We construct an explicit Hamiltonian cycle in the state graph of the 5-puzzle on a toroidal 2x 3 grid, a graph with 720 vertices. The cycle is described by a short symbolic sequence of 48 moves over the alphabet {L,R,V}, repeated $15$ times, which can be verified directly. We also find a shorter 24-move sequence whose repetition yields a 2-cycle cover, which can be spliced into a Hamiltonian path. These constructions arise naturally from a general method: lifting Hamiltonian cycles from a quotient graph under the action of the puzzle's symmetry group. The method produces compact, human-readable cycle encodings and appears effective in broader settings, suggesting a combinatorial grammar underlying Hamiltonian paths in symmetric configuration spaces.

We consider the problem of finding a Hamiltonian path or a Hamiltonian cycle with precedence constraints in the form of a partial order on the vertex set. We show that the path problem is $\mathsf{NP}$-complete for graphs of pathwidth 4 while the cycle problem is $\mathsf{NP}$-complete on graphs of pathwidth 5. We complement these results by giving polynomial-time algorithms for graphs of pathwidth 3 and treewidth 2 for Hamiltonian paths as well as pathwidth 4 and treewidth 3 for Hamiltonian cycles. Furthermore, we study the complexity of the path and cycle problems on rectangular grid graphs of bounded height. For these, we show that the path and cycle problems are $\mathsf{NP}$-complete when the height of the grid is greater or equal to 7 and 9, respectively. In the variant where we look for minimum edge-weighted Hamiltonian paths and cycles, the problems are $\mathsf{NP}$-hard for heights 5 and 6, respectively.

We establish tight lower and upper bounds on the number of edges in traceable graphs in several classes of dense graphs. A graph is traceable if it has a Hamiltonian path. We show that the bound is: - quadratic for the class of graphs of bounded neighborhood diversity, bounded size of maximum induced matching or bounded cluster vertex deletion number; - n log n for the class of cographs or, more generaly, bounded modular-width, and for the class of bounded distance to cograph; and - sligthly superlinear for the class of bounded shrub-depth.

Faulty networks are useful because link or node faults can occur in a network. This paper examines the Hamiltonian properties of hypercubes under certain conditional faulty edges. Let consider the hypercube \( Q_n \), for \( n \geq 5 \) and set of faulty edges \( F \) such that \( |F| \leq 4n - 17 \). We prove that a Hamiltonian path exists connecting any two vertices in \( Q_n - F \) from distinct partite sets if they verify the next two conditions: (i) in $Q_n - F$ any vertex has a degree at least 2, and (ii) in $Q_n - F$ at most one vertex has a degree exactly equal to 2. These findings provide an understanding of fault-tolerant properties in hypercube networks.