14 research outputs found
graphs are vertex-pancyclic and Hamilton-connected
A graph of order is pancyclic if contains a cycle of length
for each integer with and it is called vertex-pancyclic
if every vertex is contained in a cycle of length for every . A graph of order is Hamilton-connected if for any pair of
distinct vertices and , there is a Hamilton - path, namely, there
is a - path of length . The graph is a graph with the vertex
set and the edge set or , where
. We denote by the line graph of , that is,
. In this paper, we show that the graph is
vertex-pancyclic and Hamilton-connected whenever .Comment: 7 pages. 1 figur
Characterizing Forbidden Pairs for Hamiltonian Properties
https://digitalcommons.memphis.edu/speccoll-faudreerj/1207/thumbnail.jp
Interconnection networks for parallel and distributed computing
Parallel computers are generally either shared-memory machines or distributed- memory machines. There are currently technological limitations on shared-memory architectures and so parallel computers utilizing a large number of processors tend tube distributed-memory machines. We are concerned solely with distributed-memory multiprocessors. In such machines, the dominant factor inhibiting faster global computations is inter-processor communication. Communication is dependent upon the topology of the interconnection network, the routing mechanism, the flow control policy, and the method of switching. We are concerned with issues relating to the topology of the interconnection network. The choice of how we connect processors in a distributed-memory multiprocessor is a fundamental design decision. There are numerous, often conflicting, considerations to bear in mind. However, there does not exist an interconnection network that is optimal on all counts and trade-offs have to be made. A multitude of interconnection networks have been proposed with each of these networks having some good (topological) properties and some not so good. Existing noteworthy networks include trees, fat-trees, meshes, cube-connected cycles, butterflies, Möbius cubes, hypercubes, augmented cubes, k-ary n-cubes, twisted cubes, n-star graphs, (n, k)-star graphs, alternating group graphs, de Bruijn networks, and bubble-sort graphs, to name but a few. We will mainly focus on k-ary n-cubes and (n, k)-star graphs in this thesis. Meanwhile, we propose a new interconnection network called augmented k-ary n- cubes. The following results are given in the thesis.1. Let k ≥ 4 be even and let n ≥ 2. Consider a faulty k-ary n-cube Q(^k_n) in which the number of node faults f(_n) and the number of link faults f(_e) are such that f(_n) + f(_e) ≤ 2n - 2. We prove that given any two healthy nodes s and e of Q(^k_n), there is a path from s to e of length at least k(^n) - 2f(_n) - 1 (resp. k(^n) - 2f(_n) - 2) if the nodes s and e have different (resp. the same) parities (the parity of a node Q(^k_n) in is the sum modulo 2 of the elements in the n-tuple over 0, 1, ∙∙∙ , k - 1 representing the node). Our result is optimal in the sense that there are pairs of nodes and fault configurations for which these bounds cannot be improved, and it answers questions recently posed by Yang, Tan and Hsu, and by Fu. Furthermore, we extend known results, obtained by Kim and Park, for the case when n = 2.2. We give precise solutions to problems posed by Wang, An, Pan, Wang and Qu and by Hsieh, Lin and Huang. In particular, we show that Q(^k_n) is bi-panconnected and edge-bipancyclic, when k ≥ 3 and n ≥ 2, and we also show that when k is odd, Q(^k_n) is m-panconnected, for m = (^n(k - 1) + 2k - 6’ / ‘_2), and (k -1) pancyclic (these bounds are optimal). We introduce a path-shortening technique, called progressive shortening, and strengthen existing results, showing that when paths are formed using progressive shortening then these paths can be efficiently constructed and used to solve a problem relating to the distributed simulation of linear arrays and cycles in a parallel machine whose interconnection network is Q(^k_n) even in the presence of a faulty processor.3. We define an interconnection network AQ(^k_n) which we call the augmented k-ary n-cube by extending a k-ary n-cube in a manner analogous to the existing extension of an n-dimensional hypercube to an n-dimensional augmented cube. We prove that the augmented k-ary n-cube Q(^k_n) has a number of attractive properties (in the context of parallel computing). For example, we show that the augmented k-ary n-cube Q(^k_n) - is a Cayley graph (and so is vertex-symmetric); has connectivity 4n - 2, and is such that we can build a set of 4n - 2 mutually disjoint paths joining any two distinct vertices so that the path of maximal length has length at most max{{n- l)k- (n-2), k + 7}; has diameter [(^k) / (_3)] + [(^k - 1) /( _3)], when n = 2; and has diameter at most (^k) / (_4) (n+ 1), for n ≥ 3 and k even, and at most [(^k)/ (_4) (n + 1) + (^n) / (_4), for n ^, for n ≥ 3 and k odd.4. We present an algorithm which given a source node and a set of n - 1 target nodes in the (n, k)-star graph S(_n,k) where all nodes are distinct, builds a collection of n - 1 node-disjoint paths, one from each target node to the source. The collection of paths output from the algorithm is such that each path has length at most 6k - 7, and the algorithm has time complexity O(k(^3)n(^4))
Connectivity and Cycles
https://digitalcommons.memphis.edu/speccoll-faudreerj/1191/thumbnail.jp
Circuits and Cycles in Graphs and Matroids
This dissertation mainly focuses on characterizing cycles and circuits in graphs, line graphs and matroids. We obtain the following advances.
1. Results in graphs and line graphs. For a connected graph G not isomorphic to a path, a cycle or a K1,3, let pc(G) denote the smallest integer n such that the nth iterated line graph Ln(G) is panconnected. A path P is a divalent path of G if the internal vertices of P are of degree 2 in G. If every edge of P is a cut edge of G, then P is a bridge divalent path of G; if the two ends of P are of degree s and t, respectively, then P is called a divalent (s, t)-path. Let l(G) = max{m : G has a divalent path of length m that is not both of length 2 and in a K3}. We prove the following. (i) If G is a connected triangular graph, then L(G) is panconnected if and only if G is essentially 3-edge-connected. (ii) pc(G) ≤ l(G) + 2. Furthermore, if l(G) ≥ 2, then pc(G) = l(G) + 2 if and only if for some integer t ≥ 3, G has a bridge divalent (3, t)-path of length l(G).
For a graph G, the supereulerian width μ′(G) of a graph G is the largest integer s such
that G has a spanning (k;u,v)-trail-system, for any integer k with 1 ≤ k ≤ s, and for any
u, v ∈ V (G) with u ̸= v. Thus μ′(G) ≥ 2 implies that G is supereulerian, and so graphs with
higher supereulerian width are natural generalizations of supereulerian graphs. Settling an open
problem of Bauer, Catlin in [J. Graph Theory 12 (1988), 29-45] proved that if a simple graph
G on n ≥ 17 vertices satisfy δ(G) ≥ n − 1, then μ′(G) ≥ 2. In this paper, we show that for 4
any real numbers a, b with 0 \u3c a \u3c 1 and any integer s \u3e 0, there exists a finite graph family
F = F(a,b,s) such that for a simple graph G with n = |V(G)|, if for any u,v ∈ V(G) with
uv ∈/ E(G), max{dG(u), dG(v)} ≥ an + b, then either μ′(G) ≥ s + 1 or G is contractible to a
member in F. When a = 1,b = −3, we show that if n is sufficiently large, K3,3 is the only 42
obstacle for a 3-edge-connected graph G to satisfy μ′(G) ≥ 3. An hourglass is a graph obtained from K5 by deleting the edges in a cycle of length 4, and an
hourglass-free graph is one that has no induced subgraph isomorphic to an hourglass. Kriesell in [J. Combin. Theory Ser. B, 82 (2001), 306-315] proved that every 4-connected hourglass-free line graph is Hamilton-connected, and Kaiser, Ryj ́aˇcek and Vr ́ana in [Discrete Mathematics, 321 (2014) 1-11] extended it by showing that every 4-connected hourglass-free line graph is 1- Hamilton-connected. We characterize all essentially 4-edge-connected graphs whose line graph is hourglass-free. Consequently we prove that for any integer s and for any hourglass-free line
graph L(G), each of the following holds. (i) If s ≥ 2, then L(G) is s-hamiltonian if and only if κ(L(G)) ≥ s + 2; (ii) If s ≥ 1, then L(G) is s-Hamilton-connected if and only if κ(L(G)) ≥ s + 3.
For integers s1, s2, s3 \u3e 0, let Ns1,s2,s3 denote the graph obtained by identifying each vertex of a K3 with an end vertex of three disjoint paths Ps1+1, Ps2+1, Ps3+1 of length s1,s2 and s3, respectively. We prove the following results. (i)LetN1 ={Ns1,s2,s3 :s1 \u3e0,s1 ≥s2 ≥s3 ≥0ands1+s2+s3 ≤6}. Thenforany N ∈ N1, every N-free line graph L(G) with |V (L(G))| ≥ s + 3 is s-hamiltonian if and only if κ(L(G)) ≥ s + 2. (ii)LetN2={Ns1,s2,s3 :s1\u3e0,s1≥s2≥s3≥0ands1+s2+s3≤4}.ThenforanyN∈N2, every N -free line graph L(G) with |V (L(G))| ≥ s + 3 is s-Hamilton-connected if and only if κ(L(G)) ≥ s + 3. 2. Results in matroids. A matroid M with a distinguished element e0 ∈ E(M) is a rooted matroid with e0 being the root. We present a characterization of all connected binary rooted matroids whose root lies in at most three circuits, and a characterization of all connected binary rooted matroids whose root lies in all but at most three circuits. While there exist infinitely many such matroids, the number of serial reductions of such matroids is finite. In particular, we find two finite families of binary matroids M1 and M2 and prove the following. (i) For some e0 ∈ E(M), M has at most three circuits containing e0 if and only if the serial reduction of M is isomorphic to a member in M1. (ii) If for some e0 ∈ E(M), M has at most three circuits not containing e0 if and only if the serial reduction of M is isomorphic to a member in M2. These characterizations will be applied to show that every connected binary matroid M with at least four circuits has a 1-hamiltonian circuit graph
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
Graphs and subgraphs with bounded degree
"The topology of a network (such as a telecommunications, multiprocessor, or local area network, to name just a few) is usually modelled by a graph in which vertices represent 'nodes' (stations or processors) while undirected or directed edges stand for 'links' or other types of connections, physical or virtual. A cycle that contains every vertex of a graph is called a hamiltonian cycle and a graph which contains a hamiltonian cycle is called a hamiltonian graph. The problem of the existence of a hamiltonian cycle is closely related to the well known problem of a travelling salesman. These problems are NP-complete and NP-hard, respectively. While some necessary and sufficient conditions are known, to date, no practical characterization of hamiltonian graphs has been found. There are several ways to generalize the notion of a hamiltonian cycle. In this thesis we make original contributions in two of them, namely k-walks and r-trestles." --Abstract.Doctor of Philosoph
On vertices enforcing a Hamiltonian cycle
A nonempty vertex set X ⊆ V(G) of a hamiltonian graph G is called an of G if every X-cycle of G (i.e. a cycle of G containing all vertices of X) is hamiltonian. The h(G) of a graph G is defined to be the smallest cardinality of an H-force set of G. In the paper the study of this parameter is introduced and its value or a lower bound for outerplanar graphs, planar graphs, k-connected graphs and prisms over graphs is determined