arXiv++ Combinatorics

In 1999, Katona and Kierstead conjectured that if a $k$-uniform hypergraph $\cal H$ on $n$ vertices has minimum co-degree $\lfloor \frac{n-k+3}{2}\rfloor$, i.e., each set of $k-1$ vertices is contained in at least $\lfloor \frac{n-k+3}{2}\rfloor$ edges, then it has a Hamiltonian cycle. Rödl, Ruciński and Szemerédi in 2011 proved that the conjecture is true when $k=3$ and $n$ is large. We show that this Katona-Kierstead conjecture holds if $k=4$, $n$ is large, and $V({\cal H})$ has a partition $A$, $B$ such that $|A|=\lceil n/2\rceil$, $|\{e\in E({\cal H}):|e \cap A|=2\}| <εn^4$ for a fixed small constant $ε>0$.

We study d-dimensional generalizations of three mutually related topics in graph theory: Hamiltonian paths, (unit) interval graphs, and binomial edge ideals. We provide partial high-dimensional generalizations of Ore and Posa's sufficient conditions for a graph to be Hamiltonian. We introduce a hierarchy of combinatorial properties for simplicial complexes that generalize unit-interval, interval, and co-comparability graphs. We connect these properties to the already existing notions of determinantal facet ideals and Hamiltonian paths in simplicial complexes. Some important consequences of our work are: (1) Every almost-closed strongly-connected d-dimensional simplicial complex is traceable. (This extends the well-known result "unit-interval connected graphs are traceable".) (2) Every almost-closed d-complex that remains strongly connected after the deletion of d or less vertices, is Hamiltonian. (This extends the fact that "unit-interval 2-connected graphs are Hamiltonian".) (3) Unit-interval complexes are characterized, among traceable complexes, by the property that the minors defining their determinantal facet ideal form a Groebner basis for a diagonal term order which is compatible with the traceability of the complex. (This corrects a recent theorem by Ene et al., extends a result by Herzog and others, and partially answers a question by Almousa-Vandebogert.) (4) Only the d-skeleton of the simplex has a determinantal facet ideal with linear resolution. (This extends the result by Kiani and Saeedi-Madani that "only the complete graph has a binomial edge ideal with linear resolution".) (5) The determinantal facet ideals of all under-closed and semi-closed complexes have a square-free initial ideal with respect to lex. In characteristic p, they are even F-pure.

We prove that a tournament and its complement contain the same number of oriented Hamiltonian paths (resp. cycles) of any given type, as a generalization of Rosenfeld's result proved for antidirected paths.

Xiong and Liu [L. Xiong and Z. Liu, Hamiltonian iterated line graphs, Discrete Math. 256 (2002) 407-422] gave a characterization of the graphs $G$ for which the $n$-th iterated line graph $L^n(G)$ is hamiltonian, for $n\ge2$. In this paper, we study the existence of a hamiltonian path in $L^n(G)$, and give a characterization of $G$ for which $L^n(G)$ has a hamiltonian path. As applications, we use this characterization to give several upper bounds on the hamiltonian path index of a graph.

For a finite set $S$ of points in the plane and a graph with vertices on $S$ consider the disks with diameters induced by the edges. We show that for any odd set $S$ there exists a Hamiltonian cycle for which these disks share a point, and for an even set $S$ there exists a Hamiltonian path with the same property. We discuss high-dimensional versions of these theorems and their relation to other results in discrete geometry.

Let $P$ be a finite point set in $\mathbb{R}^2$ with the set of distance $n$-chains defined as $$ Δ_n(P)=\{(|p_1-p_2|,|p_2-p_3|,\ldots,|p_n-p_{n+1}|):p_i \in P\}.$$ We show that for $2\leq n=O_{|P|}(1)$ we have $$|Δ_n(P)|\gtrsim \frac{|P|^{n}}{\log^{\frac{13}{2}(n-1)}|P|}.$$ Our argument uses the energy construction of Elekes and a general version of Rudnev's rich-line bound implicit in Rudnev's recent hinge paper which allows one to iterate efficiently on highly intersecting nested subsets of Guth-Katz lines. Let $G$ is a simple connected graph on $m=O(1)$ vertices with $m\geq 2$. Define the graph-distance set $Δ_G(P)$ as $$ Δ_G(P) = \{ (|p_{i}-p_{j}|)_{\{i,j\}\in E(G)} : p_i,p_j \in P\}.$$ Combining with results of Guth and Katz and Rudnev with the above, if $G$ has a Hamiltonian path we have $$ |Δ_G(P)| \gtrsim \frac{|P|^{m-1}}{\text{polylog}|P|}. $$ \end{abstract}

A shortcut of a directed path $v_1 v_2 \cdots v_n$ is an edge $v_iv_j$ with $j > i+1$. If $j = i+2$ the shortcut is called a hop. If all hops are present, the path is called hop complete, so the path and its hops form a square of a path. We prove that every tournament with $n \ge 4$ vertices has a Hamiltonian path with at least $(4n-10)/7$ hops, and has a hop complete path of order at least $n^{0.295}$. A spanning binary tree of a tournament is a spanning shortcut tree if for every vertex of the tree, all its left descendants are in-neighbors and all its right descendants are out-neighbors. It is well-known that every tournament contains a spanning shortcut tree. The number of shortcuts of a shortcut tree is the number of shortcuts of its unique induced Hamiltonian path. Let $t(n)$ denote the largest integer such that every tournament with $n$ vertices has a spanning shortcut tree with at least $t(n)$ shortcuts. We almost determine the asymptotic growth of $t(n)$ as it is proved that $Θ(n\log^2n) \ge t(n)-\frac{1}{2}\binom{n}{2} \ge Θ(n \log n)$.

A subgraph H= (V, F) of a graph G= (V,E) is non-separating if G-F, that is, the graph obtained from G by deleting the edges in F, is connected. Analogously we say that a subdigraph X= (V,B) of a digraph D= (V,A) is non-separating if D-B is strongly connected. We study non-separating spanning trees and out-branchings in digraphs of independence number 2. Our main results are that every 2-arc-strong digraph D of independence number alpha(D) = 2 and minimum in-degree at least 5 and every 2-arc-strong oriented graph with alpha(D) = 2 and minimum in-degree at least 3 has a non-separating out-branching and minimum in-degree 2 is not enough. We also prove a number of other results, including that every 2-arc-strong digraph D with alpha(D)<=2 and at least 14 vertices has a non-separating spanning tree and that every graph G with delta(G)>=4 and alpha(G) = 2 has a non-separating hamiltonian path.

Let $G$ be a simple graph of order $n$. The double vertex graph $F_2(G)$ of $G$ is the graph whose vertices are the $2$-subsets of $V(G)$, where two vertices are adjacent in $F_2(G)$ if their symmetric difference is a pair of adjacent vertices in $G$. A generalization of this graph is the complete double vertex graph $M_2(G)$ of $G$, defined as the graph whose vertices are the $2$-multisubsets of $V(G)$, and two of such vertices are adjacent in $M_2(G)$ if their symmetric difference (as multisets) is a pair of adjacent vertices in $G$. In this paper we exhibit an infinite family of graphs (containing Hamiltonian and non-Hamiltonian graphs) for which $F_2(G)$ and $M_2(G)$ are Hamiltonian. This family of graphs is the set of join graphs $G=G_1 + G_2$, where $G_1$ and $G_2$ are of order $m\geq 1$ and $n\geq 2$, respectively, and $G_2$ has a Hamiltonian path. For this family of graphs, we show that if $m\leq 2n$ then $F_2(G)$ is Hamiltonian, and if $m\leq 2(n-1)$ then $M_2(G)$ is Hamiltonian.

Let $k$ be an integer with $k\geq 2$. A digraph $D$ is $k$-quasi-transitive, if for any path $x_0x_1\ldots x_k$ of length $k$, $x_0$ and $x_k$ are adjacent. Suppose that there exists a path of length at least $k+2$ in $D$. Let $P$ be a shortest path of length $k+2$ in $D$. Wang and Zhang [Hamiltonian paths in $k$-quasi-transitive digraphs, Discrete Mathematics, 339(8) (2016) 2094--2099] proved that if $k$ is even and $k\ge 4$, then $D[V(P)]$ and $D[V(D)\setminus V(P)]$ are both semicomplete digraphs. In this paper, we shall prove that if $k$ is odd and $k\ge 5$, then $D[V(P)]$ is either a semicomplete digraph or a semicomplete bipartite digraph and $D[V(D)\setminus V(P)]$ is either a semicomplete digraph, a semicomplete bipartite digraph or an empty digraph.

Results on the existence of various types of spanning subgraphs of graphs are milestones in structural graph theory and have been diversified in several directions. In the present paper, we consider "local" versions of such statements. In 1966, for instance, D. W. Barnette proved that a $3$-connected planar graph contains a spanning tree of maximum degree at most $3$. A local translation of this statement is that if $G$ is a planar graph, $X$ is a subset of specified vertices of $G$ such that $X$ cannot be separated in $G$ by removing $2$ or fewer vertices of $G$, then $G$ has a tree of maximum degree at most $3$ containing all vertices of $X$. Our results constitute a general machinery for strengthening statements about $k$-connected graphs (for $1 \leq k \leq 4$) to locally spanning versions, i.e. subgraphs containing a set $X\subseteq V(G)$ of a (not necessarily planar) graph $G$ in which only $X$ has high connectedness. Given a graph $G$ and $X\subseteq V(G)$, we say $M$ is a minor of $G$ rooted at $X$, if $M$ is a minor of $G$ such that each bag of $M$ contains at most one vertex of $X$ and $X$ is a subset of the union of all bags. We show that $G$ has a highly connected minor rooted at $X$ if $X\subseteq V(G)$ cannot be separated in $G$ by removing a few vertices of $G$. Combining these investigations and the theory of Tutte paths in the planar case yields to locally spanning versions of six well-known results about degree-bounded trees, hamiltonian paths and cycles, and $2$-connected subgraphs of graphs.

We say a graph $G$ has a Hamiltonian path if it has a path containing all vertices of $G$. For a graph $G$, let $σ_2(G)$ denote the minimum degree sum of two nonadjacent vertices of $G$; restrictions on $σ_2(G)$ are known as Ore-type conditions. Given an integer $t\geq 5$, we prove that if a connected graph $G$ on $n$ vertices satisfies $σ_2(G)>{t-3\over t-2}n$, then $G$ has either a Hamiltonian path or an induced subgraph isomorphic to $K_{1, t}$. Moreover, we characterize all $n$-vertex graphs $G$ where $σ_2(G)={t-3\over t-2}n$ and $G$ has neither a Hamiltonian path nor an induced subgraph isomorphic to $K_{1, t}$. This is an analogue of a recent result by Momège, who investigated the case when $t=4$.

Alphatrion conjectured that it is possible to label the vertices of an $n$-dimensional hypercube with distinct positive integers such that for every Hamiltonian path $a_1, \dots, a_{2^n},$ we have $a_i + a_{i+1}$ prime for all $i.$ We prove the conjecture by proving the more general result that a graph $G = (V, E)$ can be labeled with distinct positive integers such that the edge sum for all $e \in E$ is prime if and only if $G$ is bipartite.

The conjecture, still widely open, posed by Marco Buratti, Peter Horak and Alex Rosa states that a list $L$ of $v-1$ positive integers not exceeding $\left\lfloor \frac{v}{2}\right\rfloor$ is the list of edge-lengths of a suitable Hamiltonian path of the complete graph with vertex-set $\{0,1,\ldots,v-1\}$ if and only if, for every divisor $d$ of $v$, the number of multiples of $d$ appearing in $L$ is at most $v-d$. In this paper we present new methods that are based on linear realizations and can be applied to prove the validity of this conjecture for a vast choice of lists. As example of their flexibility, we consider lists whose underlying set is one of the following: $\{x,y,x+y\}$, $\{1,2,3,4\}$, $\{1,2,4,\ldots,2x\}$, $\{1,2,4,\ldots,2x,2x+1\}$. We also consider lists with many consecutive elements.

In this paper, we continue the study of the Hamiltonian and longest $(s, t)$-paths of supergrid graphs. The Hamiltonian $(s, t)$-path of a graph is a Hamiltonian path between any two given vertices $s$ and $t$ in the graph, and the longest $(s, t)$-path is a simple path with the maximum number of vertices from $s$ to $t$ in the graph. A graph holds Hamiltonian connected property if it contains a Hamiltonian $(s, t)$-path. These two problems are well-known NP-complete for general supergrid graphs. An $O$-shaped supergrid graph is a special kind of a rectangular grid graph with a rectangular hole. In this paper, we first prove the Hamiltonian connectivity of $O$-shaped supergrid graphs except few conditions. We then show that the longest $(s, t)$-path of an $O$-shaped supergrid graph can be computed in linear time. The Hamiltonian and longest $(s, t)$-paths of $O$-shaped supergrid graphs can be applied to compute the minimum trace of computerized embroidery machine and 3D printer when a hollow object is printed.

A non-empty subset $S$ of the vertices of a digraph $D$ is called a {\it safe set} if \begin{itemize} \item[(i)] for every strongly connected component $M$ of $D-S$, there exists a strongly connected component $N$ of $D[S]$ such that there exists an arc from $M$ to $N$; and \item[(ii)] for every strongly connected component $M$ of $D-S$ and every strongly connected component $N$ of $D[S]$, we have $|M|\leq |N|$ whenever there exists an arc from $M$ to $N$. \end{itemize} In the case of acyclic digraphs a set $X$ of vertices is a safe set precisely when $X$ is an {\it in-dominating set}, that is, every vertex not in $X$ has at least one arc to $X$. We prove that, even for acyclic digraphs which are traceable (have a hamiltonian path) it is NP-hard to find a minimum cardinality in-dominating set. Then we show that the problem is also NP-hard for tournaments and give, for every positive constant $c$, a polynomial algorithm for finding a minimum cardinality safe set in a tournament on $n$ vertices in which no strong component has size more than $c\log{}(n)$. Under the so called Exponential Time Hypothesis (ETH) this is close to best possible in the following sense: If ETH holds, then, for every $ε>0$ there is no polynomial time algorithm for finding a minimum cardinality safe set for the class of tournaments in which the largest strong component has size at most $\log^{1+ε}(n)$. We also discuss bounds on the cardinality of safe sets in tournaments.

A supergrid graph is a finite vertex-induced subgraph of the infinite graph whose vertex set consists of all points of the plane with integer coordinates and in which two vertices are adjacent if the difference of their x or y coordinates is not larger than 1. The Hamiltonian path (cycle) problem is to determine whether a graph contains a simple path (cycle) in which each vertex of the graph appears exactly once. This problem is NP-complete for general graphs and it is also NP-complete for general supergrid graphs. Despite the many applications of the problem, it is still open for many classes, including solid supergrid graphs and supergrid graphs with some holes. A graph is called Hamiltonian connected if it contains a Hamiltonian path between any two distinct vertices. In this paper, first we will study the Hamiltonian cycle property of C-shaped supergrid graphs, which are a special case of rectangular supergrid graphs with a rectangular hole. Next, we will show that C-shaped supergrid graphs are Hamiltonian connected except few conditions. Finally, we will compute a longest path between two distinct vertices in these graphs. The Hamiltonian connectivity of C-shaped supergrid graphs can be applied to compute the optimal stitching trace of computer embroidery machines, and construct the minimum printing trace of 3D printers with a C-like component being printed.

A dominating set in a graph $G$ is a set $S$ of vertices of $G$ such that every vertex outside $S$ is adjacent to a vertex in $S$. A connected dominating set in $G$ is a dominating set $S$ such that the subgraph $G[S]$ induced by $S$ is connected. The connected domination number of $G$, $γ_c(G)$, is the minimum cardinality of a connected dominating set of $G$. A graph $G$ is said to be $k$-$γ_{c}$-critical if the connected domination number $γ_{c}(G)$ is equal to $k$ and $γ_{c}(G + uv) < k$ for every pair of non-adjacent vertices $u$ and $v$ of $G$. Let $ζ$ be the number of cut-vertices of $G$. It is known that if $G$ is a $k$-$γ_{c}$-critical graph, then $G$ has at most $k - 2$ cut-vertices, that is $ζ\le k - 2$. In this paper, for $k \ge 4$ and $0 \le ζ\le k - 2$, we show that every $k$-$γ_{c}$-critical graph with $ζ$ cut-vertices has a hamiltonian path if and only if $k - 3 \le ζ\le k - 2$.

A $k$-$γ_{c}$-edge critical graph is a graph $G$ with the connected domination number $γ_{c}(G) = k$ and $γ_{c}(G + uv) < k$ for every $uv \in E(\overline{G})$. Further, a $2$-connected graph $G$ is said to be $k$-$γ_{c}$-vertex critical if $γ_{c}(G) = k$ and $γ_{c}(G - v) < k$ for all $v \in V(G)$. A maximal $k$-$γ_{c}$-vertex critical graph is a graph which are both $k$-$γ_{c}$-edge critical and $k$-$γ_{c}$-vertex critical. Let $κ, δ, ω$ and $α$ be respectively connectivity minimum degree, clique number and independence number. In this paper, we prove that every maximal $3$-$γ_{c}$-vertex critical graph $G$ satisfies $α\leq δ$ and this bound is best possible. We prove further that $G$ satisfies $α+ ω\leq n - 1$ and we also characterize all such graphs achieving the upper bounds. We finally show that if $G$ satisfies $κ< δ$, then every two vertices of $G$ are joined by hamiltonian path.

Many well-known NP-hard algorithmic problems on directed graphs resist efficient parametrisations with most known width measures for directed graphs, such as directed treewidth, DAG-width, Kelly-width and many others. While these focus on measuring how close a digraph is to an oriented tree resp. a directed acyclic graph, in this paper, we investigate directed modular width as a parameter, which is closer to the concept of clique-width. We investigate applications of modular decompositions of directed graphs to a wide range of algorithmic problems and derive FPT-algorithms for several well-known digraph-specific NP-hard problems, namely minimum (weight) directed feedback vertex set, minimum (weight) directed dominating set, digraph colouring, directed Hamiltonian path/cycle, partitioning into paths, (capacitated) vertex-disjoint directed paths, and the directed subgraph homeomorphism problem. The latter yields a polynomial-time algorithm for detecting topological minors in digraphs of bounded directed modular width. Finally we illustrate that also other structural digraph parameters, such as the directed pathwidth and the cycle-rank can be computed efficiently using directed modular width as a parameter.