Supereulerian graphs and the Petersen graph, II

In this note, we verify two conjectures of Catlin in [J. Graph Theory 13 (1989) 465 - 483] for graphs with at most 11 vertices. These are used to prove the following theorem which improves prior results in [10] and [13]: Let G be a 3-edge-connected simple graph with order n. If n is large and if for every edge 11.v E E(G), d(u) + d(v) 2 % - 2, then either G has a spanning eulerian subgraph or G can be contracted to the Petersen graph

Spanning Eulerian subgraphs and Catlin’s reduced graphs

A graph G is collapsible if for every even subset R ⊆ V (G), there is a spanning connected subgraph HR of G whose set of odd degree vertices is R. A graph is reduced if it has no nontrivial collapsible subgraphs. Catlin [4] showed that the existence of spanning Eulerian subgraphs in a graph G can be determined by the reduced graph obtained from G by contracting all the collapsible subgraphs of G. In this paper, we present a result on 3-edge-connected reduced graphs of small orders. Then, we prove that a 3-edge-connected graph G of order n either has a spanning Eulerian subgraph or can be contracted to the Petersen graph if G satisfies one of the following: (i) d(u) + d(v) \u3e 2(n/15 − 1) for any uv 6∈ E(G) and n is large; (ii) the size of a maximum matching in G is at most 6; (iii) the independence number of G is at most 5. These are improvements of prior results in [16], [18], [24] and [25]

Properties of Catlin's reduced graphs and supereulerian graphs

A graph $G$ is called collapsible if for every even subset $R\subseteq V(G)$, there is a spanning connected subgraph $H$ of $G$ such that $R$ is the set of vertices of odd degree in $H$. A graph is the reduction of $G$ if it is obtained from $G$ by contracting all the nontrivial collapsible subgraphs. A graph is reduced if it has no nontrivial collapsible subgraphs. In this paper, we first prove a few results on the properties of reduced graphs. As an application, for 3-edge-connected graphs $G$ of order $n$ with $d(u)+d(v)\ge 2(n/p-1)$ for any $uv\in E(G)$ where $p>0$ are given, we show how such graphs change if they have no spanning Eulerian subgraphs when $p$ is increased from $p=1$ to 10 then to $15$

Eulerian subgraphs and Hamiltonicity of claw -free graphs

Let C(l, k) denote the class of 2-edge-connected graphs of order n such that a graph G ∈ C(l, k) if and only if for every edge cut S ⊆ E(G) with |S| ≤ 3, each component of G - S has order at least n-kl . We prove that If G ∈ C(6, 0), then G is supereulerian if and only if G cannot be contracted to K2,3, K 2,5 or K2,3(e), where e ∈ E(K2,3) and K2,3(e) stands for a graph obtained from K2,3 by replacing e by a path of length 2. Previous results by Catlin and Li, and by Broersma and Xiong are extended.;We also investigate the supereulerian graph problems within planar graphs, and we prove that if a 2-edge-connected planar graph G is at most three edges short of having two edge-disjoint spanning trees, then G is supereulerian except a few classes of graphs. This is applied to show the existence of spanning Eulerian subgraphs in planar graphs with small edge cut conditions. We determine several extremal bounds for planar graphs to be supereulerian.;Kuipers and Veldman conjectured that any 3-connected claw-free graph with order n and minimum degree delta ≥ n+610 is Hamiltonian for n sufficiently large. We prove that if H is a 3-connected claw-free graph with sufficiently large order n, and if delta(H) ≥ n+510 , then either H is hamiltonian, or delta( H) = n+510 and the Ryjac˘ek\u27s closure cl( H) of H is the line graph of a graph obtained from the Petersen graph P10 by adding n-1510 pendant edges at each vertex of P10

Spanning Trails and Spanning Trees

There are two major parts in my dissertation. One is based on spanning trail, the other one is comparing spanning tree packing and covering.;The results of the spanning trail in my dissertation are motivated by Thomassen\u27s Conjecture that every 4-connected line graph is hamiltonian. Harary and Nash-Williams showed that the line graph L( G) is hamiltonian if and only if the graph G has a dominating eulerian subgraph. Also, motivated by the Chinese Postman Problem, Boesch et al. introduced supereulerian graphs which contain spanning closed trails. In the spanning trail part of my dissertation, I proved some results based on supereulerian graphs and, a more general case, spanning trails.;Let alpha(G), alpha\u27(G), kappa( G) and kappa\u27(G) denote the independence number, the matching number, connectivity and edge connectivity of a graph G, respectively. First, we discuss the 3-edge-connected graphs with bounded edge-cuts of size 3, and prove that any 3-edge-connected graph with at most 11 edge cuts of size 3 is supereulerian, which improves Catlin\u27s result. Second, having the idea from Chvatal-Erdos Theorem which states that every graph G with kappa(G) ≥ alpha( G) is hamiltonian, we find families of finite graphs F 1 and F2 such that if a connected graph G satisfies kappa\u27(G) ≥ alpha(G) -- 1 (resp. kappa\u27(G) ≥ 3 and alpha\u27( G) ≤ 7), then G has a spanning closed trail if and only if G is not contractible to a member of F1 (resp. F2). Third, by solving a conjecture posed in [Discrete Math. 306 (2006) 87-98], we prove if G is essentially 4-edge-connected, then for any edge subset X0 ⊆ E(G) with |X0| ≤ 3 and any distinct edges e, e\u27 2 ∈ E(G), G has a spanning ( e, e\u27)-trail containing all edges in X0.;The results on spanning trees in my dissertation concern spanning tree packing and covering. We find a characterization of spanning tree packing and covering based on degree sequence. Let tau(G) be the maximum number of edge-disjoint spanning trees in G, a(G) be the minimum number of spanning trees whose union covers E(G). We prove that, given a graphic sequence d = (d1, d2···dn) (d1 ≥ d2 ≥···≥ dn) and integers k2 ≥ k1 \u3e 0, there exists a simple graph G with degree sequence d satisfying k 1 ≤ tau(G) ≤ a(G) ≤ k2 if and only if dn ≥ k1 and 2k1(n -- 1) ≤ Sigmani =1 di ≤ 2k2( n -- 1 |I| -- 1) + 2Sigma i∈I di, where I = {lcub}i : di \u3c k2{rcub}