Hamiltonian cycles in 3-tough $2K_2$-free graphs

Songling Shan

DOI: https://doi.org/10.48550/arXiv.1706.09029

2017-06-27

Combinatorics

Abstract:A graph is called $2K_2$-free if it does not contain two independent edges as an induced subgraph. Broersma, Patel, and Pyatkin showed that every 25-tough $2K_2$-free graph with at least three vertices is hamiltonian. In this paper, we improve the required toughness in this result from 25 to 3.

What problem does this paper attempt to address?

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

Yuping Gao,Songling Shan

DOI: https://doi.org/10.48550/arXiv.2107.08476

2021-07-18

Combinatorics

Abstract:The toughness of a noncomplete graph $G$ is the maximum real number $t$ such that the ratio of $|S|$ to the number of components of $G-S$ is at least $t$ for every cutset $S$ of $G$, and the toughness of a complete graph is defined to be $\infty$. Determining the toughness for a given graph is NP-hard. Chv\'{a}tal's toughness conjecture, stating that there exists a constant $t_0$ such that every graph with toughness at least $t_0$ is hamiltonian, is still open for general graphs. A graph is called $(P_3\cup 2P_1)$-free if it does not contain any induced subgraph isomorphic to $P_3\cup 2P_1$, the disjoint union of $P_3$ and two isolated vertices. In this paper, we confirm Chv\'{a}tal's toughness conjecture for $(P_3\cup 2P_1)$-free graphs by showing that every 7-tough $(P_3\cup 2P_1)$-free graph on at least three vertices is hamiltonian.
Hamiltonicity of 3-tough $(K_2 \cup 3K_1)$-free graphs

Andrew Hatfield,Elizabeth Grimm

DOI: https://doi.org/10.48550/arXiv.2106.07083

2021-06-14

Abstract:Chvátal conjectured in 1973 the existence of some constant $t$ such that all $t$-tough graphs with at least three vertices are hamiltonian. While the conjecture has been proven for some special classes of graphs, it remains open in general. We say that a graph is $(K_2 \cup 3K_1)$-free if it contains no induced subgraph isomorphic to $K_2 \cup 3K_1$, where $K_2 \cup 3K_1$ is the disjoint union of an edge and three isolated vertices. In this paper, we show that every 3-tough $(K_2 \cup 3K_1)$-free graph with at least three vertices is hamiltonian.

Combinatorics
Hamiltonicity of $1$-tough $(P_2\cup kP_1)$-free graphs

Leyou Xu,Chengli Li,Bo Zhou

2023-03-20

Abstract:Given a graph $H$, a graph $G$ is $H$-free if $G$ does not contain $H$ as an induced subgraph. For a positive real number $t$, a non-complete graph $G$ is said to be $t$-tough if for every vertex cut $S$ of $G$, the ratio of $|S|$ to the number of components of $G-S$ is at least $t$. A complete graph is said to be $t$-tough for any $t>0$. Chvátal's toughness conjecture, stating that there exists a constant $t_0$ such that every $t_0$-tough graph with at least three vertices is Hamiltonian, is still open in general. Chvátal and Erdös \cite{CE} proved that, for any integer $k\ge 1$, every $\max\{2,k\}$-connected $(k+1)P_1$-free graph on at least three vertices is Hamiltonian. Along the Chvátal-Erdös theorem, Shi and Shan \cite{SS} proved that, for any integer $k\ge 4$, every $4$-tough $2k$-connected $(P_2\cup kP_1)$-free graph with at least three vertices is Hamiltonian, and furthermore, they proposed a conjecture that for any integer $k\ge 1$, any $1$-tough $2k$-connected $(P_2\cup kP_1)$-free graph is Hamiltonian. In this paper, we confirm the conjecture, and furthermore, we show that if $k\ge 3$, then the condition `$2k$-connected' may be weakened to be `$2(k-1)$-connected'. As an immediate consequence, for any integer $k\ge 3$, every $(k-1)$-tough $(P_2\cup kP_1)$-free graph is Hamiltonian. This improves the result of Hatfield and Grimm \cite{HG}, stating that every $3$-tough $(P_2\cup 3P_1)$-free graph is Hamiltonian.

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

Jun Yin,Liming Xiong,Haixing Zhao

DOI: https://doi.org/10.1007/s00373-015-1605-7

2015-01-01

Graphs and Combinatorics

Abstract:In this paper, we show that every 3-connected claw-free graph such that every induced cycle of length at least 4 has at most 8 edges contained in a triangle is hamiltonian. This implies that every 3-connected $\{K_{1,3}\}\cup \{C_i|i\ge 9\}$-free graph is hamiltonian. We also show that every 3-connected o-heavy graph whose induced cycle of length is at most 8 is hamiltonian and that every 2-connected claw-free graph of longest induced cycle with length at least $n-2$ is hamiltonian. These results are all best possible. As a byproduct, we show that it is NP-complete to determine the length of a longest induced cycle of a line graph.
2-walks in 2-tough 2k2-free graphs

Gao Mou

DOI: https://doi.org/10.48550/arXiv.1408.3380

2014-09-10

Abstract:In this paper, we prove that in every 2-tough 2$K_2$-free graph, there is a 2-walk.

Combinatorics
A Fan-type condition for cycles in $1$-tough and $k$-connected $(P_2\cup kP_1)$-free graphs

Zhiquan Hu,Jie Wang,Changlong Shen

2024-07-27

Abstract:For a graph $G$, let $\mu_k(G):=\min~\{\max_{x\in S}d_G(x):~S\in \mathcal{S}_k\}$, where $\mathcal{S}_k$ is the set consisting of all independent sets $\{u_1,\ldots,u_k\}$ of $G$ such that some vertex, say $u_i$ ($1\leq i\leq k$), is at distance two from every other vertex in it. A graph $G$ is $1$-tough if for each cut set $S\subseteq V(G)$, $G-S$ has at most $|S|$ components. Recently, Shi and Shan \cite{Shi} conjectured that for each integer $k\geq 4$, being $2k$-connected is sufficient for $1$-tough $(P_2\cup kP_1)$-free graphs to be hamiltonian, which was confirmed by Xu et al. \cite{Xu} and Ota and Sanka \cite{Ota2}, respectively. In this article, we generalize the above results through the following Fan-type theorem: Let $k$ be an integer with $k\geq 2$ and let $G$ be a $1$-tough and $k$-connected $(P_2\cup kP_1)$-free graph with $\mu_{k+1}(G)\geq\frac{7k-6}{5}$, then $G$ is hamiltonian or the Petersen graph.

Combinatorics
Hamiltonian Claw-Free Graphs Involving Induced Cycles

Jun Yin,Liming Xiong

DOI: https://doi.org/10.1088/1742-6596/1634/1/012069

2020-01-01

Journal of Physics Conference Series

Abstract:The hamiltonian problem is an important topic in structural graph theory, which is closely related to Four Color Problem. Hence lots of graph scholars are dedicated to this topic. There are many authors working for finding some sufficient conditions for hamiltonian property of graphs. Let G be a claw-free graph with n vertices and δ(G)≥3. In this paper, we show that if G has an induced cycle of length more than (4n – 2δ(G)–4)(δ(G)+2)−1, then G is hamiltonian. The result is best possible if δG is 3 or 4.
Improved upper bounds on even-cycle creating Hamilton paths

John Byrne,Michael Tait

2023-08-24

Abstract:We study the function $H_n(C_{2k})$, the maximum number of Hamilton paths such that the union of any pair of them contains $C_{2k}$ as a subgraph. We give upper bounds on this quantity for $k\ge 3$, improving results of Harcos and Soltész, and we show that if a conjecture of Ustimenko is true then one additionally obtains improved upper bounds for all $k\geq 6$. {We also give bounds on $H_n(K_{2,3})$ and $H_n(K_{2,4})$. In order to prove our results, we extend a theorem of Krivelevich which counts Hamilton cycles in $(n, d, \lambda)$-graphs to bipartite or irregular graphs, and then apply these results to generalized polygons and the constructions of Lubotzky-Phillips-Sarnak and Füredi.

Combinatorics
Few hamiltonian cycles in graphs with one or two vertex degrees

Jan Goedgebeur,Jorik Jooken,On-Hei Solomon Lo,Ben Seamone,Carol Zamfirescu

DOI: https://doi.org/10.1090/mcom/3943

IF: 2.118

2024-02-02

Mathematics of Computation

Abstract:Inspired by Sheehan’s conjecture that no 4 4 -regular graph contains exactly one hamiltonian cycle, we prove results on hamiltonian cycles in regular graphs and nearly regular graphs. We fully disprove a conjecture of Haythorpe on the minimum number of hamiltonian cycles in regular hamiltonian graphs, thereby extending a result of Zamfirescu, as well as correct and complement Haythorpe’s computational enumerative results from [Exp. Math. 27 (2018), no. 4, 426–430]. Thereafter, we use the Lovász Local Lemma to extend Thomassen’s independent dominating set method. This extension allows us to find a second hamiltonian cycle that inherits linearly many edges from the first hamiltonian cycle. Regarding the limitations of this method, we answer a question of Haxell, Seamone, and Verstraete, and settle the first open case of a problem of Thomassen by showing that for k ∈ { 5 , 6 } k \in \{5, 6\} there exist infinitely many k k -regular hamiltonian graphs having no independent dominating set with respect to a prescribed hamiltonian cycle. Motivated by an observation of Aldred and Thomassen, we prove that for every κ ∈ { 2 , 3 } \kappa \in \{ 2, 3 \} and any positive integer k k , there are infinitely many non-regular graphs of connectivity κ \kappa containing exactly one hamiltonian cycle and in which every vertex has degree 3 3 or 2 k 2k .

mathematics, applied
10-tough chordal graphs are Hamiltonian

Adam Kabela,Tomáš Kaiser

DOI: https://doi.org/10.1016/j.jctb.2016.07.002

2017-01-01

Abstract:Chen et al. (1998) proved that every 18-tough chordal graph has a Hamilton cycle. Improving upon their bound, we show that every 10-tough chordal graph is Hamiltonian (in fact, Hamilton-connected). We use Aharoni and Haxell's hypergraph extension of Hall's Theorem as our main tool.

mathematics
Toughness, hamiltonicity and spectral radius in graphs

Dandan Fan,Huiqiu Lin,Hongliang Lu

DOI: https://doi.org/10.48550/arXiv.2204.02257

2022-04-05

Abstract:The study of the existence of hamiltonian cycles in a graph is a classic problem in graph theory. By incorporating toughness and spectral conditions, we can consider Chvátal's conjecture from another perspective: what is the spectral condition to guarantee the existence of a hamiltonian cycle among $t$-tough graphs? We first give the answer to $1$-tough graphs, i.e. if $\rho(G)\geq\rho(M_{n})$, then $G$ contains a hamiltonian cycle, unless $G\cong M_{n}$, where $M_{n}=K_{1}\nabla K_{n-4}^{+3}$ and $K_{n-4}^{+3}$ is the graph obtained from $3K_{1}\cup K_{n-4}$ by adding three independent edges between $3K_{1}$ and $K_{n-4}$. The Brouwer's toughness theorem states that every $d$-regular connected graph always has $t(G)>\frac{d}{\lambda}-1$ where $\lambda$ is the second largest absolute eigenvalue of the adjacency matrix. In this paper, we extend the result in terms of its spectral radius, i.e. we provide a spectral condition for a graph to be 1-tough with minimum degree $\delta$ and to be $t$-tough, respectively.

Combinatorics
An Ore-Type Condition for Hamiltonicity in Tough Graphs and the Extremal Examples

Masahiro Sanka,Songling Shan

DOI: https://doi.org/10.37236/12483

2024-03-08

The Electronic Journal of Combinatorics

Abstract:Let $G$ be a $t$-tough graph on $n\ge 3$ vertices for some $t>0$. It was shown by Bauer et al. in 1995 that if the minimum degree of $G$ is greater than $\frac{n}{t+1}-1$, then $G$ is hamiltonian. In terms of Ore-type hamiltonicity conditions, the problem was only studied when $t$ is between 1 and 2, and recently the second author proved a general result. The result states that if the degree sum of any two nonadjacent vertices of $G$ is greater than $\frac{2n}{t+1}+t-2$, then $G$ is hamiltonian. It was conjectured in the same paper that the "$+t$" in the bound $\frac{2n}{t+1}+t-2$ can be removed. Here we confirm the conjecture. The result generalizes the result by Bauer, Broersma, van den Heuvel, and Veldman. Furthermore, we characterize all $t$-tough graphs $G$ on $n\ge 3$ vertices for which $\sigma_2(G) = \frac{2n}{t+1}-2$ but $G$ is non-hamiltonian.

mathematics, applied
$K_2$-Hamiltonian Graphs: II

Jan Goedgebeur,Jarne Renders,Gábor Wiener,Carol T. Zamfirescu

DOI: https://doi.org/10.1002/jgt.23057

2024-07-18

Abstract:In this paper we use theoretical and computational tools to continue our investigation of $K_2$-hamiltonian graphs, that is, graphs in which the removal of any pair of adjacent vertices yields a hamiltonian graph, and their interplay with $K_1$-hamiltonian graphs, that is, graphs in which every vertex-deleted subgraph is hamiltonian. Perhaps surprisingly, there exist graphs that are both $K_1$- and $K_2$-hamiltonian, yet non-hamiltonian, for example, the Petersen graph. Grünbaum conjectured that every planar $K_1$-hamiltonian graph must itself be hamiltonian; Thomassen disproved this conjecture. Here we show that even planar graphs that are both $K_1$- and $K_2$-hamiltonian need not be hamiltonian, and that the number of such graphs grows at least exponentially. Motivated by results of Aldred, McKay, and Wormald, we determine for every integer $n$ that is not 14 or 17 whether there exists a $K_2$-hypohamiltonian, that is, non-hamiltonian and $K_2$-hamiltonian, graph of order $n$, and characterise all orders for which such cubic graphs and such snarks exist. We also describe the smallest cubic planar graph which is $K_2$-hypohamiltonian, as well as the smallest planar $K_2$-hypohamiltonian graph of girth $5$. We conclude with open problems and by correcting two inaccuracies from the first article.

Combinatorics,Discrete Mathematics
On hamiltonicity of 1-tough triangle-free graphs

Wei Zheng,Hajo Broersma,Ligong Wang

DOI: https://doi.org/10.5614/ejgta.2021.9.2.15

2021-10-16

Electronic Journal of Graph Theory and Applications

Abstract:Let ω ( G ) denote the number of components of a graph G. A connected graph G is said to be 1-tough if ω ( G − X )≤| X | for all X ⊆ V ( G ) with ω ( G − X )>1 . It is well-known that every hamiltonian graph is 1-tough, but that the reverse statement is not true in general, and even not for triangle-free graphs. We present two classes of triangle-free graphs for which the reverse statement holds, i.e., for which hamiltonicity and 1-toughness are equivalent. Our two main results give partial answers to two conjectures due to Nikoghosyan.
Hamilton cycles, minimum degree and bipartite holes

Colin McDiarmid,Nikola Yolov

DOI: https://doi.org/10.48550/arXiv.1604.00888

2016-04-19

Abstract:We present a tight extremal threshold for the existence of Hamilton cycles in graphs with large minimum degree and without a large ``bipartite hole`` (two disjoint sets of vertices with no edges between them). This result extends Dirac's classical theorem, and is related to a theorem of Chvátal and Erdős. In detail, an $(s, t)$-bipartite-hole in a graph $G$ consists of two disjoint sets of vertices $S$ and $T$ with $|S|= s$ and $|T|=t$ such that there are no edges between $S$ and $T$; and $\widetilde{\alpha}(G)$ is the maximum integer $r$ such that $G$ contains an $(s, t)$-bipartite-hole for every pair of non-negative integers $s$ and $t$ with $s + t = r$. Our central theorem is that a graph $G$ with at least $3$ vertices is Hamiltonian if its minimum degree is at least $\widetilde{\alpha}(G)$. From the proof we obtain a polynomial time algorithm that either finds a Hamilton cycle or a large bipartite hole. The theorem also yields a condition for the existence of $k$ edge-disjoint Hamilton cycles. We see that for dense random graphs $G(n,p)$, the probability of failing to contain many edge-disjoint Hamilton cycles is $(1 - p)^{(1 + o(1))n}$. Finally, we discuss the complexity of calculating and approximating $\widetilde{\alpha}(G)$.

Combinatorics
Degree sequence condition for Hamiltonicity in tough graphs

Songling Shan,Arthur Tanyel

2024-05-08

Abstract:Generalizing both Dirac's condition and Ore's condition for Hamilton cycles, Chvatal in 1972 established a degree sequence condition for the existence of a Hamilton cycle in a graph. Hoang in 1995 generalized Chvatal's degree sequence condition for 1-tough graphs and conjectured a t-tough analogue for any positive integer t at least 1. Hoang in the same paper verified his conjecture for t at most 3 and recently Hoang and Robin

Combinatorics
Generation and New Infinite Families of $K_2$-hypohamiltonian Graphs

Jan Goedgebeur,Jarne Renders,Carol T. Zamfirescu

2024-02-28

Abstract:We present an algorithm which can generate all pairwise non-isomorphic $K_2$-hypohamiltonian graphs, i.e. non-hamiltonian graphs in which the removal of any pair of adjacent vertices yields a hamiltonian graph, of a given order. We introduce new bounding criteria specifically designed for $K_2$-hypohamiltonian graphs, allowing us to improve upon earlier computational results. Specifically, we characterise the orders for which $K_2$-hypohamiltonian graphs exist and improve existing lower bounds on the orders of the smallest planar and the smallest bipartite $K_2$-hypohamiltonian graphs. Furthermore, we describe a new operation for creating $K_2$-hypohamiltonian graphs that preserves planarity under certain conditions and use it to prove the existence of a planar $K_2$-hypohamiltonian graph of order $n$ for every integer $n\geq 134$. Additionally, motivated by a theorem of Thomassen on hypohamiltonian graphs, we show the existence $K_2$-hypohamiltonian graphs with large maximum degree and size.

Combinatorics,Discrete Mathematics
Hamiltonian path and Hamiltonian cycle are solvable in polynomial time in graphs of bounded independence number

Nikola Jedličková,Jan Kratochvíl

2024-04-10

Abstract:A Hamiltonian path (a Hamiltonian cycle) in a graph is a path (a cycle, respectively) that traverses all of its vertices. The problems of deciding their existence in an input graph are well-known to be NP-complete, in fact, they belong to the first problems shown to be computationally hard when the theory of NP-completeness was being developed. A lot of research has been devoted to the complexity of Hamiltonian path and Hamiltonian cycle problems for special graph classes, yet only a handful of positive results are known. The complexities of both of these problems have been open even for $4K_1$-free graphs, i.e., graphs of independence number at most $3$. We answer this question in the general setting of graphs of bounded independence number.

Combinatorics
Every $3$-connected $\{K_{1,3},Γ_3\}$-free graph is Hamilton-connected

Adam Kabela,Zdeněk Ryjáček,Mária Skyvová,Petr Vrána

2024-11-01

Abstract:We show that every $3$-connected $\{K_{1,3},\Gamma_3\}$-free graph is Hamilton-connected, where $\Gamma_3$ is the graph obtained by joining two vertex-disjoint triangles with a path of length $3$. This resolves one of the two last open cases in the characterization of pairs of connected forbidden subgraphs implying Hamilton-connectedness. The proof is based on a new closure technique, developed in a previous paper, and on a structural analysis of small subgraphs, cycles and paths in line graphs of multigraphs. The most technical steps of the analysis are computer-assisted. Keywords: Hamilton-connected; closure; forbidden subgraph; claw-free; $\Gamma_3$-free

Combinatorics

Hamiltonian cycles in 3-tough $2K_2$-free graphs

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

Hamiltonicity of 3-tough $(K_2 \cup 3K_1)$-free graphs

Hamiltonicity of $1$-tough $(P_2\cup kP_1)$-free graphs

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

2-walks in 2-tough 2k2-free graphs

A Fan-type condition for cycles in $1$-tough and $k$-connected $(P_2\cup kP_1)$-free graphs

Hamiltonian Claw-Free Graphs Involving Induced Cycles

Improved upper bounds on even-cycle creating Hamilton paths

Few hamiltonian cycles in graphs with one or two vertex degrees

10-tough chordal graphs are Hamiltonian

Toughness, hamiltonicity and spectral radius in graphs

An Ore-Type Condition for Hamiltonicity in Tough Graphs and the Extremal Examples

$K_2$-Hamiltonian Graphs: II

On hamiltonicity of 1-tough triangle-free graphs

Hamilton cycles, minimum degree and bipartite holes

Degree sequence condition for Hamiltonicity in tough graphs

Generation and New Infinite Families of $K_2$-hypohamiltonian Graphs

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

Every $3$-connected $\{K_{1,3},Γ_3\}$-free graph is Hamilton-connected