arXiv++ Combinatorics

We study a certain polytope arising from embedding the Hamiltonian cycle problem in a discounted Markov decision process. The Hamiltonian cycle problem can be reduced to finding particular extreme points of a certain polytope associated with the input graph. This polytope is a subset of the space of discounted occupational measures. We characterize the feasible bases of the polytope for a general input graph $G$, and determine the expected numbers of different types of feasible bases when the underlying graph is random. We utilize these results to demonstrate that augmenting certain additional constraints to reduce the polyhedral domain can eliminate a large number of feasible bases that do not correspond to Hamiltonian cycles. Finally, we develop a random walk algorithm on the feasible bases of the reduced polytope and present some numerical results. We conclude with a conjecture on the feasible bases of the reduced polytope.

A graph $G$ is $\ell$-hamiltonian if for any linear forest $F$ of $G$ with $\ell$ edges, $F$ can be extended to a hamiltonian cycle of $G$. We give a sharp upper bound for the maximum number of cliques of a fixed size in a non-$\ell$-hamiltonian graph. Furthermore, we prove stability for the bound: if a non-$\ell$-hamiltonian graph contains almost the maximum number of cliques, then it must be a subgraph of one of two examples.

In [Graphs Combin.~24 (2008) 469--483.], the third author and the fifth author conjectured that if $G$ is a $k$-connected graph such that $σ_{k+1}(G) \ge |V(G)|+κ(G)+(k-2)(α(G)-1)$, then $G$ contains a Hamiltonian cycle, where $σ_{k+1}(G)$, $κ(G)$ and $α(G)$ are the minimum degree sum of $k+1$ independent vertices, the connectivity and the independence number of $G$, respectively. In this paper, we settle this conjecture. This is an improvement of the result obtained by Li: If $G$ is a $k$-connected graph such that $σ_{k+1}(G) \ge |V(G)|+(k-1)(α(G)-1)$, then $G$ is Hamiltonian. The degree sum condition is best possible.

Szepietowski [A. Szepietowski, Hamiltonian cycles in hypercubes with $2n-4$ faulty edges, Information Sciences, 215 (2012) 75--82] observed that the hypercube $Q_n$ is not Hamiltonian if it contains a trap disconnected halfway. A proper subgraph $T$ is disconnected halfway if at least half of its nodes have parity 0 (or 1, resp.) and the edges joining all nodes of parity 0 (or 1, resp.) in $T$ with nodes outside $T$, are faulty. The simplest examples of such traps are: (1) a vertex with $n-1$ incident faulty edges, or (2) a cycle $(u,v,w,x)$, where all edges going out of the cycle from $u$ and $w$ are faulty. In this paper we describe all traps disconnected halfway $T$ with the size $|T|\le8$, and discuss the problem whether there exist small sets of faulty edges which preclude Hamiltonian cycles and are not based on sets disconnected halfway. We describe heuristic which detects sets of faulty edges which preclude HC also those sets that are not based on subgraphs disconnected halfway. We describe all $Q_4$ cubes that are not Hamiltonian, and all $Q_5$ cubes with 8 or 9 faulty edges that are not Hamiltonian.

For integers $k\ge 3$ and $1\le \ell\le k-1$, we prove that for any $α>0$, there exist $ε>0$ and $C>0$ such that for sufficiently large $n\in (k-\ell)\mathbb{N}$, the union of a $k$-uniform hypergraph with minimum vertex degree $αn^{k-1}$ and a binomial random $k$-uniform hypergraph $\mathbb{G}^{(k)}(n,p)$ with $p\ge n^{-(k-\ell)-ε}$ for $\ell\ge 2$ and $p\ge C n^{-(k-1)}$ for $\ell=1$ on the same vertex set contains a Hamiltonian $\ell$-cycle with high probability. Our result is best possible up to the values of $ε$ and $C$ and answers a question of Krivelevich, Kwan and Sudakov.

In this paper it is shown that a complete graph with $n$ vertices has an optimal diagram, i.e., a diagram whose crossing number equals the value of Guy's formula, with a free maximal linear tree and without free hamiltonian cycles for any odd integer $n \ge 7$.

A road interchange where $n$ roads meet and in which the drivers are not allowed to change lanes can be modelled as an embedding of a 2-coloured (hence bipartite) multigraph $G$ with equal-sized colour classes into an orientable surface such that there is a face bounded by a Hamiltonian cycle (Kurauskas, 2017). The case of $G$ a complete bipartite graph $K_{n,n}$ corresponds to a complete $n$-way interchange where drivers approaching from each of $n$ directions can exit to any other direction. The genus of the underlying surface can be interpreted as the number of bridges in the interchange. In this paper we study the minimum genus, or the minimum number of bridges, of a complete interchange with a restriction that it is symmetric under the cyclic permutation of its roads. We consider both (a) abstract combinatorial/topological symmetry, and (b) symmetry in the 3-dimensional Euclidean space $\mathbb{R}^3$. The proof of (a) is based on the classic voltage and transition graph constructions. For (b) we use, among other techniques, a simple new combinatorial lower bound.

We show that every $3$-uniform hypergraph $H=(V,E)$ with $|V(H)|=n$ and minimum pair degree at least $(4/5+o(1))n$ contains a squared Hamiltonian cycle. This may be regarded as a first step towards a hypergraph version of the Pósa-Seymour conjecture.

In this paper, we investigate Hamiltonian path problem in the context of split graphs, and produce a dichotomy result on the complexity of the problem. Our main result is a deep investigation of the structure of $K_{1,4}$-free split graphs in the context of Hamiltonian path problem, and as a consequence, we obtain a polynomial-time algorithm to the Hamiltonian path problem in $K_{1,4}$-free split graphs. We close this paper with the hardness result: we show that, unless P=NP, Hamiltonian path problem is NP-complete in $K_{1,5}$-free split graphs by reducing from Hamiltonian cycle problem in $K_{1,5}$-free split graphs. Thus this paper establishes a "thin complexity line" separating NP-complete instances and polynomial-time solvable instances.

In this paper, we use the theory of Riordan matrices to introduce the notion of a Riordan graph. The Riordan graphs are a far-reaching generalization of the well known and well studied Pascal graphs and Toeplitz graphs, and also some other families of graphs. The Riordan graphs are proved to have a number of interesting (fractal) properties, which can be useful in creating computer networks with certain desirable features, or in obtaining useful information when designing algorithms to compute values of graph invariants. The main focus in this paper is the study of structural properties of families of Riordan graphs obtained from infinite Riordan graphs, which includes a fundamental decomposition theorem and certain conditions on Riordan graphs to have an Eulerian trail/cycle or a Hamiltonian cycle. We will study spectral properties of the Riordan graphs in a follow up paper.

We prove that if an $n$-vertex graph with minimum degree at least $3$ contains a Hamiltonian cycle, then it contains another cycle of length $n-o(n)$; this implies, in particular, that a well-known conjecture of Sheehan from 1975 holds asymptotically. Our methods, which combine constructive, poset-based techniques and non-constructive, parity-based arguments, may be of independent interest.

We enumerate labelled and unlabelled Hamiltonian cycles in complete $n$-partite graphs $K_{d,d,\ldots,d}$ having exactly $d$ vertices in each part (in other words, Turán graphs $T(nd, n))$. We obtain recurrence relations that allow us to find the exact values $b_{n}^{(d)}$ of such cycles for arbitrary $n$ and $d$

For even $k$, the matchings connectivity matrix $\mathbf{M}_k$ encodes which pairs of perfect matchings on $k$ vertices form a single cycle. Cygan et al. (STOC 2013) showed that the rank of $\mathbf{M}_k$ over $\mathbb{Z}_2$ is $Θ(\sqrt 2^k)$ and used this to give an $O^*((2+\sqrt{2})^{\mathsf{pw}})$ time algorithm for counting Hamiltonian cycles modulo $2$ on graphs of pathwidth $\mathsf{pw}$. The same authors complemented their algorithm by an essentially tight lower bound under the Strong Exponential Time Hypothesis (SETH). This bound crucially relied on a large permutation submatrix within $\mathbf{M}_k$, which enabled a "pattern propagation" commonly used in previous related lower bounds, as initiated by Lokshtanov et al. (SODA 2011). We present a new technique for a similar pattern propagation when only a black-box lower bound on the asymptotic rank of $\mathbf{M}_k$ is given; no stronger structural insights such as the existence of large permutation submatrices in $\mathbf{M}_k$ are needed. Given appropriate rank bounds, our technique yields lower bounds for counting Hamiltonian cycles (also modulo fixed primes $p$) parameterized by pathwidth. To apply this technique, we prove that the rank of $\mathbf{M}_k$ over the rationals is $4^k / \mathrm{poly}(k)$. We also show that the rank of $\mathbf{M}_k$ over $\mathbb{Z}_p$ is $Ω(1.97^k)$ for any prime $p\neq 2$ and even $Ω(2.15^k)$ for some primes. As a consequence, we obtain that Hamiltonian cycles cannot be counted in time $O^*((6-ε)^{\mathsf{pw}})$ for any $ε>0$ unless SETH fails. This bound is tight due to a $O^*(6^{\mathsf{pw}})$ time algorithm by Bodlaender et al. (ICALP 2013). Under SETH, we also obtain that Hamiltonian cycles cannot be counted modulo primes $p\neq 2$ in time $O^*(3.97^\mathsf{pw})$, indicating that the modulus can affect the complexity in intricate ways.

Let $G$ be a simple graph, and let $Δ(G)$ and $χ'(G)$ denote the maximum degree and chromatic index of $G$, respectively. Vizing proved that $χ'(G)=Δ(G)$ or $Δ(G)+1$. We say $G$ is $Δ$-critical if $χ'(G)=Δ+1$ and $χ'(H)<χ'(G)$ for every proper subgraph $H$ of $G$. In 1968, Vizing conjectured that if $G$ is a $Δ$-critical graph, then $G$ has a 2-factor. Let $G$ be an $n$-vertex $Δ$-critical graph. It was proved that if $Δ(G)\ge n/2$, then $G$ has a 2-factor; and that if $Δ(G)\ge 2n/3+12$, then $G$ has a hamiltonian cycle, and thus a 2-factor. It is well known that every 2-tough graph with at least three vertices has a 2-factor. We investigate the existence of a 2-factor in a $Δ$-critical graph under "moderate" given toughness and maximum degree conditions. In particular, we show that if $G$ is an $n$-vertex $Δ$-critical graph with toughness at least 3/2 and with maximum degree at least $n/3$, then $G$ has a 2-factor. In addition, we develop new techniques in proving the existence of 2-factors in graphs.

We study straight-line drawings of graphs where the vertices are placed in convex position in the plane, i.e., \emph{convex drawings}. We consider two families of graph classes with convex drawings: \emph{outer $k$-planar} graphs, where each edge is crossed by at most $k$ other edges; and, \emph{outer $k$-quasi-planar} graphs where no $k$ edges can mutually cross. We show that the outer $k$-planar graphs are $\lfloor3.5\sqrt{k}\rfloor$-degenerate, and consequently that every outer $k$-planar graph can be colored with $\lfloor3.5\sqrt{k}\rfloor + 1$ colors. We further show that every outer $k$-planar graph has a balanced vertex separator of size at most $2k+3$. For each fixed $k$, these small balanced separators allow us to test outer $k$-planarity in quasi-polynomial time, e.g., this implies that none of these recognition problems is NP-hard unless the Exponential Time Hypothesis fails. We also show that the class of outer $k$-quasi-planar graphs and the class of planar graphs are incomparable. Finally, we restrict outer $k$-planar and outer $k$-quasi-planar drawings to \emph{full} drawings (where no crossing appears on the boundary of the outer face) and to \emph{closed} drawings (where the vertex sequence on the boundary of the outer face is a Hamiltonian cycle in the graph). For each $k$, we express \emph{closed outer $k$-planarity} and \emph{closed outer $k$-quasi-planarity} in \emph{extended monadic second-order logic}. Due to a result of Wood and Telle (New York J. Math., 2007) every outer $k$-planar graph has treewidth at most $3k+11$. Thus, Courcelle's theorem implies that closed outer $k$-planarity is linear time testable. We leverage this result to further show that full outer $k$-planarity can also be tested in linear time.

We look at the unbiased Maker-Breaker Hamiltonicity game played on the edge set of a complete graph $K_n$, where Maker's goal is to claim a Hamiltonian cycle. First, we prove that, independent of who starts, Maker can win the game for $n = 8$ and $n = 9$. Then we use an inductive argument to show that, independent of who starts, Maker can win the game if and only if $n \geq 8$. This, in particular, resolves in the affirmative the long-standing conjecture of Papaioannou. We also study two standard positional games related to Hamiltonicity game. For Hamiltonian Path game, we show that Maker can claim a Hamiltonian path if and only if $n \geq 5$, independent of who starts. Next, we look at Fixed Hamiltonian Path game, where the goal of Maker is to claim a Hamiltonian path between two predetermined vertices. We prove that if Maker starts the game, he wins if and only if $n \geq 7$, and if Breaker starts, Maker wins if and only if $n \geq 8$. Using this result, we are able to improve the previously best upper bound on the smallest number of edges a graph on $n$ vertices can have, knowing that Maker can win the Maker-Breaker Hamiltonicity game played on its edges. To resolve the outcomes of the mentioned games on small (finite) boards, we devise algorithms for efficiently searching game trees and then obtain our results with the help of a computer.

In this paper we give a proof of Enomoto's conjecture for graphs of sufficiently large order. Enomoto's conjecture states that, if $G$ is a graph of order $n$ with minimum degree $δ(G)\geq \frac{n}{2}+1$, then for any pair of vertices $x$, $y$ in $G$, there is a Hamiltonian cycle $C$ of $G$ such that $d_C(x,y)=\lfloor \frac{n}{2}\rfloor$. The main tools of our proof are Regularity Lemma of Szemerédi and Blow-up Lemma of Komlós et al.

Chen, Faudree, Gould, Jacobson, and Lesniak determined the minimum degree threshold for which a balanced $k$-partite graph has a Hamiltonian cycle. We give an asymptotically tight minimum degree condition for Hamiltonian cycles in arbitrary $k$-partite graphs in which all parts have at most $n/2$ vertices (a necessary condition). To do this, we first prove a general result which both simplifies the process of checking whether a graph $G$ is a robust expander and gives useful structural information in the case when $G$ is not a robust expander. Then we use this result to prove that any $k$-partite graph satisfying the minimum degree condition is either a robust expander or else contains a Hamiltonian cycle directly.

Firstly, for a general graph, we find a recursion formula on the number of Hamiltonian cycles and one on cycles. By this result, we give some new polynomial invariants. Secondly, we give a condition to tell whether a polynomial defined by recursion on edges is a invariant. Then, we give an generaliztion of the Tutte polynomial. Finally, We have a try on distinguishing different graphs by using these polynomials.

A $(p, q)$-leaper is a fairy chess piece that, from a square $a$, can move to any of the squares $a + (\pm p, \pm q)$ or $a + (\pm q, \pm p)$. Let $L$ be a $(p, q)$-leaper with $p + q$ odd and $C$ a cycle of $L$ within a $(p + q) \times (p + q)$ chessboard. We show that there exists a second leaper $M$, distinct from $L$, such that a Hamiltonian cycle $D$ of $M$ exists over the squares of $C$. We give descriptions of $C$ and $M$ in terms of continued fractions. We introduce the notion of a direction graph, roughly a leaper graph from which all information has been abstracted away save for the directions of the moves, and we study $C$ and $D$ in terms of direction graphs. We introduce the notion of a dual generalized chessboard, a generalized chessboard $B$ of more than one square such that the leaper graph of a leaper $L$ over $B$ is connected and isomorphic to the leaper graph of a second leaper $M$, distinct from $L$, over $B$, and we give constructions for dual generalized chessboards.