An Improvement of Bondy's Theorem on Hamilton Graph Condition

Dongqi He,Zhenhong Liu,Feng Tian

DOI: https://doi.org/10.11845/sxjz.2001.30.01.0047

IF: 1.675

2001-01-01

Advances in Mathematics

Abstract:Let G is ak-connected graph of order n(k 2). In 1980, J. A. Bondy provedthat if σk+1 > (k+1) (n-1) / 2, then G is hamiltonian. Weimprove the result by showing that for a tough graph G, ifσk+1 (k+1) (n-3) /2, then G is hamiltonian.

What problem does this paper attempt to address?

A new sufficient condition for a 2-strong digraph to be Hamiltonian

Samvel Kh. Darbinyan

2024-06-21

Abstract:In this paper we prove the following new sufficient condition for a digraph to be Hamiltonian: {\it Let $D$ be a 2-strong digraph of order $n\geq 9$. If $n-1$ vertices of $D$ have degrees at least $n+k$ and the remaining vertex has degree at least $n-k-4$, where $k$ is a non-negative integer, then $D$ is Hamiltonian}. This is an extension of Ghouila-Houri's theorem for 2-strong digraphs and is a generalization of an early result of the author (DAN Arm. SSR (91(2):6-8, 1990). The obtained result is best possible in the sense that for $k=0$ there is a digraph of order $n=8$ (respectively, $n=9$) with the minimum degree $n-4=4$ (respectively, with the minimum $n-5=4$) whose $n-1$ vertices have degrees at least $n-1$, but it is not Hamiltonian. We also give a new sufficient condition for a 3-strong digraph to be Hamiltonian-connected.

Combinatorics
Sufficient condition for Hamiltonian graphs concerning degree and neighborhood union

Zhengguang, Yu,Mei, Lu,Zengmin, Song,俞正光,陆玫,宋增民

2012-01-01

Abstract:Let G be a graph of order n. G is called Hamiltonian if G has a spanning cycle. Denote . Then by considering the degree and neighborhood union conditions of G, the paper gives a generalization of two theorems of Benhocine et al and Faudree et al. Let G be a 2-connected graph of order n and . If or | N(u) ∪ N(v)| ≥ n − δ for every pair vertices u and v with d(u, v) ⩵ 2, then G is Hamil tonian with some exceptions.
More powerful closure operations on graphs

Yongjin Zhu,Feng Tian,Xiaotie Deng

DOI: https://doi.org/10.1016/0012-365X(91)90049-8

IF: 0.961

1991-01-01

Discrete Mathematics

Abstract:Bondy and Chvatal have observed the following result: G = (V, E) is a simple graph of order n. If uv is-not-an-element-of E and d(u) + d(v) greater-than-or-equal-to n, then G is Hamiltonian iff G + uv is Hamiltonian. Thus, we can obtain a graph C(n)(G), named the n-closure of G, from G by successively joining pairs of non-adjacent vertices whose degree sum is at least n. Therefore, G is Hamiltonian if C(n)(G) is Hamiltonian. Moreover, Bondy and Chavatal [2] generalized this idea to several properties on G. In the paper, we present some more powerful closure operations that extend the idea of Bondy and Chvatal.
An Extension of the Win Theorem: Counting the Number of Maximum Independent Sets

Wanpeng Lei,Liming Xiong,Junfeng Du,Jun Yin

DOI: https://doi.org/10.1007/s11401-019-0141-9

2019-01-01

Chinese Annals of Mathematics Series B

Abstract:Win proved a well-known result that the graph G of connectivity κ ( G ) with α ( G ) ≤ κ ( G ) + k − 1 ( k ≥ 2) has a spanning k -ended tree, i.e., a spanning tree with at most k leaves. In this paper, the authors extended the Win theorem in case when κ ( G ) = 1 to the following: Let G be a simple connected graph of order large enough such that α ( G ) ≤ k + 1 ( k ≥ 3) and such that the number of maximum independent sets of cardinality k + 1 is at most n − 2 k − 2. Then G has a spanning k -ended tree.
Toughness for the Existence of K-Hamiltonian [a, B]-Factors.

Sizhong Zhou,Yang Xu,Fan Yang

2017-01-01

Ars combinatoria

Abstract:Let a, b and k be three nonnegative integers with a >= 2 and b >= a(k + 1) + 2. A graph G is called a k-Hamiltonian graph if G - U contains a Hamiltonian cycle for every subset U subset of V (G) with vertical bar U vertical bar = k. An [a, b]-factor F of G is called a Hamiltonian [a, b] factor if F contains a Hamiltonian cycle. If G - U has a Hamiltonian [a, b]-factor for every subset U subset of V(G) with vertical bar U vertical bar = k, then we say that G admits a k-Hamiltonian [a, b] -factor. Suppose that G is a k Hamiltonian graph of order n with n >= a + k + 2. In this paper, it is proved that G includes a k-Hamiltonian [a, b]-factor if delta(G) >= a + k and t(G) >= a - 1 + (a - 1)(k + 1)/b - 2.
A generalization of Bondy's pancyclicity theorem

Nemanja Draganić,David Munhá Correia,Benny Sudakov

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

2023-02-25

Abstract:The bipartite independence number of a graph $G$, denoted as $\tilde\alpha(G)$, is the minimal number $k$ such that there exist positive integers $a$ and $b$ with $a+b=k+1$ with the property that for any two sets $A,B\subseteq V(G)$ with $|A|=a$ and $|B|=b$, there is an edge between $A$ and $B$. McDiarmid and Yolov showed that if $\delta(G)\geq\tilde \alpha(G)$ then $G$ is Hamiltonian, extending the famous theorem of Dirac which states that if $\delta(G)\geq |G|/2$ then $G$ is Hamiltonian. In 1973, Bondy showed that, unless $G$ is a complete bipartite graph, Dirac's Hamiltonicity condition also implies pancyclicity, i.e., existence of cycles of all the lengths from $3$ up to $n$. In this paper we show that $\delta(G)\geq\tilde \alpha(G)$ implies that $G$ is pancyclic or that $G=K_{\frac{n}{2},\frac{n}{2}}$, thus extending the result of McDiarmid and Yolov, and generalizing the classic theorem of Bondy.

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
Improved upper bounds on even-cycle creating Hamilton paths

John Byrne,Michael Tait

DOI: https://doi.org/10.1016/j.disc.2024.114107

IF: 0.961

2024-06-07

Discrete Mathematics

Abstract:We study the function Hn(C2k) , the maximum number of Hamilton paths such that the union of any pair of them contains C2k as a subgraph. We give upper bounds on this quantity for k≥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≥6 . We also give bounds on Hn(K2,3) and Hn(K2,4) . In order to prove our results, we extend a theorem of Krivelevich which counts Hamilton cycles in (n,d,λ) -graphs to bipartite or irregular graphs, and then apply these results to generalized polygons and the constructions of Lubotzky-Phillips-Sarnak and Füredi.

mathematics
The Existence of Hamilton Cycle in n-Balanced k-Partite Graphs

Zongyuan Yang,Yi Zhang,Shichang Zhao

2023-09-01

Abstract:Let $G_{k,n}$ be the $n$-balanced $k$-partite graph, whose vertex set can be partitioned into $k$ parts, each has $n$ vertices. In this paper, we prove that if $k \geq 2,n \geq 1$, for the edge set $E(G)$ of $G_{k,n}$ $$|E(G)| \geq\left\{\begin{array}{cc} 1 & \text { if } k=2, n=1 n^{2} C_{k}^{2}-(k-1) n+2 & \text { other } \end{array}\right.$$ then $G_{k,n}$ is hamiltonian. And the result may be the best.

Combinatorics
Revisiting the Hamiltonian Theme in the Square of a Block: The Case of DT-Graphs

Gek L. Chia,Jan Ekstein,Herbert Fleischner

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

2017-06-14

Abstract:The square of a graph G, denoted G^2, is the graph obtained from G by joining by an edge any two nonadjacent vertices which have a common neighbor. A graph G is said to have the F_k property if for any set of k distinct vertices {x_1, x_2, ..., x_k} in G, there is a hamiltonian path from x_1 to x_2 in G^2 containing k-2 distinct edges of G of the form x_iz_i, i = 3, ..., k. It was proved many years ago that every 2-connected graph has the F_3 property. In the first part of this work, we extend this result by proving that every 2-connected DT-graph has the F_4 property (Theorem 2) and will show in the second part that this generalization holds for arbitrary 2-connected graphs, and that there exist 2-connected graphs which do not have the F_k property for any natural number k >= 5. Altogether, this answers a problem raised before in the affirmative.

Combinatorics
The Independence Number Conditions for 2-Factors of a Claw-Free Graph

Wanpeng Lei,Liming Xiong,Jun Yin

DOI: https://doi.org/10.3390/axioms11080417

2022-01-01

Axioms

Abstract:In 2014, some scholars showed that every 2-connected claw-free graph G with independence number α(G)≤3 is Hamiltonian with one exception of family of graphs. If a nontrivial path contains only internal vertices of degree two and end vertices of degree not two, then we call it a branch. A set S of branches of a graph G is called a branch cut if we delete all edges and internal vertices of branches of S leading to more components than G. We use a branch bond to denote a minimal branch cut. If a branch-bond has an odd number of branches, then it is called odd. In this paper, we shall characterize all 2-connected claw-free graphs G such that every odd branch-bond of G has an edge branch and such that α(G)≤5 but has no 2-factor. We also consider the same problem for those 2-edge-connected claw-free graphs with α(G)≤4.
Spanning k-Ended Tree in 2-Connected Graph

Wanpeng Lei,Jun Yin

DOI: https://doi.org/10.3390/axioms12050411

2023-01-01

Axioms

Abstract:Win proved a very famous conclusion that states the graph G with connectivity ? (G), independence number a (G) and a (G) = ?(G) + k - 1 (k = 2) contains a spanning k-ended tree. This means that there exists a spanning tree with at most k leaves. In this paper, we strengthen the Win theorem to the following: Let G be a simple 2-connected graph such that |V(G) | = 2? (G) + k, a (G) = ?(G) + k (k = 2) and the number of maximum independent sets of cardinality ? + k is at most n - 2? - k + 1. Then, either G contains a spanning k-ended tree or a subgraph of K-? V ((k + ? - 1)K1U Kn-2?-k+1).
Conditions for a graph to have a connected even [2, 2s]-factor

Jun Yin,Liming Xiong

2015-01-01

Utilitas mathematica

Abstract:A graph is locally connected if every vertex neighborhood induces a connected subgraph. We show that if G is a connected, locally connected K-1,K-s+2-free graph of order p >= 3, then G has a connected even [2, 2s]-factor.
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
A Closure Lemma for tough graphs and Hamiltonian degree conditions

Chính T. Hoàng,Cléophée Robin

DOI: https://doi.org/10.1016/j.disc.2024.113872

IF: 0.961

2024-01-25

Discrete Mathematics

Abstract:The closure of a graph G is the graph G⁎ obtained from G by repeatedly adding edges between pairs of non-adjacent vertices whose degree sum is at least n , where n is the number of vertices of G . The well-known Closure Lemma proved by Bondy and Chvátal states that a graph G is Hamiltonian if and only if its closure G⁎ is. This lemma can be used to prove several classical results in Hamiltonian graph theory. We prove a version of the Closure Lemma for tough graphs. A graph G is t -tough if for any set S of vertices of G , the number of components of G−S is at most |S|t . A Hamiltonian graph must necessarily be 1-tough. Conversely, Chvátal conjectured that there exists a constant t such that every t -tough graph is Hamiltonian. The t-closure of a graph G is the graph Gt⁎ obtained from G by repeatedly adding edges between pairs of non-adjacent vertices whose degree sum is at least n−t . We prove that, for t≥2 , a 3t−12 -tough graph G is Hamiltonian if and only if its t -closure Gt⁎ is. Hoàng conjectured the following: Let G be a graph with degree sequence d1≤d2≤...≤dn ; then G is Hamiltonian if G is t -tough and, for all i . This conjecture is analogous to the well known theorem of Chvátal on Hamiltonian ideals. Hoàng proved the conjecture for t≤3 . Using the closure lemma for tough graphs, we prove the conjecture for t=4 .

mathematics
Hamiltonicity in randomly perturbed hypergraphs

Jie Han,Yi Zhao

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

2020-09-01

Abstract:For integers <math>k≥3</math> and <math>1≤ℓ≤k−1</math>, we prove that for any <math>α>0</math>, there exist <math>ϵ>0</math> and <math>C>0</math> such that for sufficiently large <math>n∈(k−ℓ)N</math>, the union of a k-uniform hypergraph with minimum vertex degree <math>αnk−1</math> and a binomial random k-uniform hypergraph <math>G(k)(n,p)</math> with <math>p≥n−(k−ℓ)−ϵ</math> for <math>ℓ≥2</math> and <math>p≥Cn−(k−1)</math> for <math>ℓ=1</math> on the same vertex set contains a Hamiltonian ℓ-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.
On sufficient conditions for Hamiltonicity of graphs, and beyond

Hechao Liu,Lihua You,Yufei Huang,Zenan Du

DOI: https://doi.org/10.1007/s10878-024-01110-4

2024-02-24

Journal of Combinatorial Optimization

Abstract:Identifying certain conditions that ensure the Hamiltonicity of graphs is highly important and valuable due to the fact that determining whether a graph is Hamiltonian is an NP-complete problem.For a graph G with vertex set V ( G ) and edge set E ( G ), the first Zagreb index ( ) and second Zagreb index ( ) are defined as and , where denotes the degree of vertex . The difference of Zagreb indices ( ) of G is defined as .In this paper, we try to look for the relationship between structural graph theory and chemical graph theory. We obtain some sufficient conditions, with regards to , for graphs to be k -hamiltonian, traceable, k -edge-hamiltonian, k -connected, Hamilton-connected or k -path-coverable.

mathematics, applied,computer science, interdisciplinary applications
Connectivity Preserving Hamiltonian Cycles in $k$-Connected Dirac Graphs

Toru Hasunuma

2023-12-06

Abstract:We show that for $k \geq 2$, there exists a function $f(k) = O(k)$ such that every $k$-connected graph $G$ of order $n \geq f(k)$ with minimum degree at least $\frac{n}{2}$ contains a Hamiltonian cycle $H$ such that $G-E(H)$ is $k$-connected. Applying Nash-Williams' result on edge-disjoint Hamiltonian cycles, we also show that for $k \geq 2$ and $\ell \geq 2$, there exists a function $g(k,\ell) = O(k\ell)$ such that every $k$-connected graph $G$ of order $n \geq g(k,\ell)$ with minimum degree at least $\frac{n}{2}$ contains $\ell$ edge-disjoint Hamiltonian cycles $H_1,H_2,\ldots,H_\ell$ such that $G-\cup_{1 \leq i \leq \ell}E(H_i)$ is $k$-connected. As a corollary, we have a statement that refines the result of Nash-Williams for $k$-connected graphs with $k \leq 8$. Moreover, when the connectivity of $G$ is exactly $k$, a similar result with an improved lower bound on $n$ can be shown, which does not depend on the result of Nash-Williams.

Combinatorics
$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

An Improvement of Bondy's Theorem on Hamilton Graph Condition

A new sufficient condition for a 2-strong digraph to be Hamiltonian

Sufficient condition for Hamiltonian graphs concerning degree and neighborhood union

More powerful closure operations on graphs

An Extension of the Win Theorem: Counting the Number of Maximum Independent Sets

Toughness for the Existence of K-Hamiltonian [a, B]-Factors.

A generalization of Bondy's pancyclicity theorem

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

Improved upper bounds on even-cycle creating Hamilton paths

The Existence of Hamilton Cycle in n-Balanced k-Partite Graphs

Revisiting the Hamiltonian Theme in the Square of a Block: The Case of DT-Graphs

The Independence Number Conditions for 2-Factors of a Claw-Free Graph

Spanning k-Ended Tree in 2-Connected Graph

Conditions for a graph to have a connected even [2, 2s]-factor

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

A Closure Lemma for tough graphs and Hamiltonian degree conditions

Hamiltonicity in randomly perturbed hypergraphs

On sufficient conditions for Hamiltonicity of graphs, and beyond

Connectivity Preserving Hamiltonian Cycles in $k$-Connected Dirac Graphs

$K_2$-Hamiltonian Graphs: II