118 research outputs found
Contractions, Removals and How to Certify 3-Connectivity in Linear Time
It is well-known as an existence result that every 3-connected graph G=(V,E)
on more than 4 vertices admits a sequence of contractions and a sequence of
removal operations to K_4 such that every intermediate graph is 3-connected. We
show that both sequences can be computed in optimal time, improving the
previously best known running times of O(|V|^2) to O(|V|+|E|). This settles
also the open question of finding a linear time 3-connectivity test that is
certifying and extends to a certifying 3-edge-connectivity test in the same
time. The certificates used are easy to verify in time O(|E|).Comment: preliminary versio
Minimal Connectivity
A k-connected graph such that deleting any edge / deleting any vertex /
contracting any edge results in a graph which is not k-connected is called
minimally / critically / contraction-critically k-connected. These three
classes play a prominent role in graph connectivity theory, and we give a brief
introduction with a light emphasis on reduction- and construction theorems for
classes of k-connected graphs.Comment: IMADA-preprint-math, 33 page
Transitivity is not a (big) restriction on homotopy types
For every simplicial complex K there exists a vertex-transitive simplicial
complex homotopy equivalent to a wedge of copies of K with some copies of the
circle. It follows that every simplicial complex can occur as a homotopy wedge
summand in some vertex-transitive complex. One can even demand that the
vertex-transitive complex is the clique complex of a Cayley graph or that it is
facet-transitive
On Hardness of the Joint Crossing Number
The Joint Crossing Number problem asks for a simultaneous embedding of two
disjoint graphs into one surface such that the number of edge crossings
(between the two graphs) is minimized. It was introduced by Negami in 2001 in
connection with diagonal flips in triangulations of surfaces, and subsequently
investigated in a general form for small-genus surfaces. We prove that all of
the commonly considered variants of this problem are NP-hard already in the
orientable surface of genus 6, by a reduction from a special variant of the
anchored crossing number problem of Cabello and Mohar
On Eulerian subgraphs and hamiltonian line graphs
A graph {\color{black}} is Hamilton-connected if for any pair of distinct vertices {\color{black}}, {\color{black}} has a spanning -path; {\color{black}} is 1-hamiltonian if for any vertex subset with , has a spanning cycle. Let , and denote the minimum degree, the matching number and the line graph of a graph , respectively. The following result is obtained. {\color{black} Let be a simple graph} with . If , then each of the following holds. \\ (i) is Hamilton-connected if and only if . \\ (ii) is 1-hamiltonian if and only if . %==========sp For a graph , an integer and distinct vertices , an -path-system of is a subgraph consisting of internally disjoint -paths. The spanning connectivity is the largest integer such that for any with and for any with , has a spanning -path-system. It is known that , and determining if is an NP-complete problem. A graph is maximally spanning connected if . Let and be the smallest integers and such that is maximally spanning connected and , respectively. We show that every locally-connected line graph with connectivity at least 3 is maximally spanning connected, and that the spanning connectivity of a locally-connected line graph can be polynomially determined. As applications, we also determined best possible upper bounds for and , and characterized the extremal graphs reaching the upper bounds. %==============st For integers and , a graph is -supereulerian if for any disjoint edge sets with and , has a spanning closed trail that contains and avoids . Pulleyblank in [J. Graph Theory, 3 (1979) 309-310] showed that determining whether a graph is -supereulerian, even when restricted to planar graphs, is NP-complete. Settling an open problem of Bauer, Catlin in [J. Graph Theory, 12 (1988) 29-45] showed that every simple graph on vertices with , when is sufficiently large, is -supereulerian or is contractible to . We prove the following for any nonnegative integers and . \\ (i) For any real numbers and with , there exists a family of finitely many graphs \F(a,b;s,t) such that if is a simple graph on vertices with and , then either is -supereulerian, or is contractible to a member in \F(a,b;s,t). \\ (ii) Let denote the connected loopless graph with two vertices and parallel edges. If is a simple graph on vertices with and , then when is sufficiently large, either is -supereulerian, or for some integer with , is contractible to a . %==================index For a hamiltonian property \cp, Clark and Wormold introduced the problem of investigating the value \cp(a,b) = \max\{\min\{n: L^n(G) has property \cp\}: and , and proposed a few problems to determine \cp(a,b) with when \cp is being hamiltonian, edge-hamiltonian and hamiltonian-connected. Zhan in 1986 proved that the line graph of a 4-edge-connected graph is Hamilton-connected, which implies a solution to the unsettled cases of above-mentioned problem. We consider an extended version of the problem. Let denote the essential edge-connectivity of a graph , and define \cp\u27(a,b) = \max\{\min\{n: L^n(G) has property \cp\}: and . We investigate the values of \cp\u27(a,b) when \cp is one of these hamiltonian properties. In particular, we show that for any values of , \cp\u27(4,b) \le 2 and \cp\u27(4,b) = 1 if and only if Thomassen\u27s conjecture that every 4-connected line graph is hamiltonian is valid
On Generalizations of Supereulerian Graphs
A graph is supereulerian if it has a spanning closed trail. Pulleyblank in 1979 showed that determining whether a graph is supereulerian, even when restricted to planar graphs, is NP-complete. Let and be the edge-connectivity and the minimum degree of a graph , respectively. For integers and , a graph is -supereulerian if for any disjoint edge sets with and , has a spanning closed trail that contains and avoids . This dissertation is devoted to providing some results on -supereulerian graphs and supereulerian hypergraphs.
In Chapter 2, we determine the value of the smallest integer such that every -edge-connected graph is -supereulerian as follows:
j(s,t) = \left\{ \begin{array}{ll} \max\{4, t + 2\} & \mbox{ if $0 \le s \le 1$, or $(s,t) \in \{(2,0), (2,1), (3,0),(4,0)\}$,} \\ 5 & \mbox{ if $(s,t) \in \{(2,2), (3,1)\}$,} \\ s + t + \frac{1 - (-1)^s}{2} & \mbox{ if $s \ge 2$ and $s+t \ge 5$. } \end{array} \right.
As applications, we characterize -supereulerian graphs when in terms of edge-connectivities, and show that when , -supereulerianicity is polynomially determinable.
In Chapter 3, for a subset with , a necessary and sufficient condition for to be a contractible configuration for supereulerianicity is obtained. We also characterize the -supereulerianicity of when . These results are applied to show that if is -supereulerian with , then for any permutation on the vertex set , the permutation graph is -supereulerian if and only if .
For a non-negative integer , a graph is -Hamiltonian if the removal of any vertices results in a Hamiltonian graph. Let and denote the smallest integer such that the iterated line graph is -supereulerian and -Hamiltonian, respectively. In Chapter 4, for a simple graph , we establish upper bounds for and . Specifically, the upper bound for the -Hamiltonian index sharpens the result obtained by Zhang et al. in [Discrete Math., 308 (2008) 4779-4785].
Harary and Nash-Williams in 1968 proved that the line graph of a graph is Hamiltonian if and only if has a dominating closed trail, Jaeger in 1979 showed that every 4-edge-connected graph is supereulerian, and Catlin in 1988 proved that every graph with two edge-disjoint spanning trees is a contractible configuration for supereulerianicity. In Chapter 5, utilizing the notion of partition-connectedness of hypergraphs introduced by Frank, Kir\\u27aly and Kriesell in 2003, we generalize the above-mentioned results of Harary and Nash-Williams, of Jaeger and of Catlin to hypergraphs by characterizing hypergraphs whose line graphs are Hamiltonian, and showing that every 2-partition-connected hypergraph is a contractible configuration for supereulerianicity.
Applying the adjacency matrix of a hypergraph defined by Rodr\\u27iguez in 2002, let be the second largest adjacency eigenvalue of . In Chapter 6, we prove that for an integer and a -uniform hypergraph of order with even, the minimum degree and , if , then is -edge-connected. %.
Some discussions are displayed in the last chapter. We extend the well-known Thomassen Conjecture that every 4-connected line graph is Hamiltonian to hypergraphs. The -supereulerianicity of hypergraphs is another interesting topic to be investigated in the future
- …