The (E)FTSM-(edge) Connectivity of Cayley Graphs Generated by Transposition Trees

Author(s):  
Pingshan Li ◽  
Rong Liu ◽  
Xianglin Liu

The Cayley graph generated by a transposition tree [Formula: see text] is a class of Cayley graphs that contains the star graph and the bubble sort graph. A graph [Formula: see text] is called strongly Menger (SM for short) (edge) connected if each pair of vertices [Formula: see text] are connected by [Formula: see text] (edge)-disjoint paths, where [Formula: see text] are the degree of [Formula: see text] and [Formula: see text] respectively. In this paper, the maximally edge-fault-tolerant and the maximally vertex-fault-tolerant of [Formula: see text] with respect to the SM-property are found and thus generalize or improve the results in [19, 20, 22, 26] on this topic.

2009 ◽  
Vol 10 (03) ◽  
pp. 253-260 ◽  
Author(s):  
LUN-MIN SHIH ◽  
CHIEH-FENG CHIANG ◽  
LIH-HSING HSU ◽  
JIMMY J. M. TAN

The local connectivity of two vertices is defined as the maximum number of internally vertex-disjoint paths between them. In this paper, we define two vertices as maximally local-connected, if the maximum number of internally vertex-disjoint paths between them equals the minimum degree of these two vertices. Moreover, we show that an (n-1)-regular Cayley graph generated by transposition tree is maximally local-connected, even if there are at most (n-3) faulty vertices in it, and prove that it is also (n-1)-fault-tolerant one-to-many maximally local-connected.


Author(s):  
Mei-Mei Gu ◽  
Jou-Ming Chang ◽  
Rong-Xia Hao

Abstract A connected graph $G$ is called strongly Menger (edge) connected if for any two distinct vertices $x,y$ of $G$, there are $\min \{\textrm{deg}_G(x), \textrm{deg}_G(y)\}$ internally disjoint (edge disjoint) paths between $x$ and $y$. Motivated by parallel routing in networks with faults, Oh and Chen (resp., Qiao and Yang) proposed the (fault-tolerant) strong Menger (edge) connectivity as follows. A graph $G$ is called $m$-strongly Menger (edge) connected if $G-F$ remains strongly Menger (edge) connected for an arbitrary vertex set $F\subseteq V(G)$ (resp. edge set $F\subseteq E(G)$) with $|F|\leq m$. A graph $G$ is called $m$-conditional strongly Menger (edge) connected if $G-F$ remains strongly Menger (edge) connected for an arbitrary vertex set $F\subseteq V(G)$ (resp. edge set $F\subseteq E(G)$) with $|F|\leq m$ and $\delta (G-F)\geq 2$. In this paper, we consider strong Menger (edge) connectedness of the augmented $k$-ary $n$-cube $AQ_{n,k}$, which is a variant of $k$-ary $n$-cube $Q_n^k$. By exploring the topological proprieties of $AQ_{n,k}$, we show that $AQ_{n,3}$ (resp. $AQ_{n,k}$, $k\geq 4$) is $(4n-9)$-strongly (resp. $(4n-8)$-strongly) Menger connected for $n\geq 4$ (resp. $n\geq 2$) and $AQ_{n,k}$ is $(4n-4)$-strongly Menger edge connected for $n\geq 2$ and $k\geq 3$. Moreover, we obtain that $AQ_{n,k}$ is $(8n-10)$-conditional strongly Menger edge connected for $n\geq 2$ and $k\geq 3$. These results are all optimal in the sense of the maximum number of tolerated vertex (resp. edge) faults.


2019 ◽  
Vol 30 (08) ◽  
pp. 1301-1315 ◽  
Author(s):  
Liqiong Xu ◽  
Shuming Zhou ◽  
Weihua Yang

An interconnection network is usually modeled as a graph, in which vertices and edges correspond to processors and communication links, respectively. Connectivity is an important metric for fault tolerance of interconnection networks. A graph [Formula: see text] is said to be maximally local-connected if each pair of vertices [Formula: see text] and [Formula: see text] are connected by [Formula: see text] vertex-disjoint paths. In this paper, we show that Cayley graphs generated by [Formula: see text]([Formula: see text]) transpositions are [Formula: see text]-fault-tolerant maximally local-connected and are also [Formula: see text]-fault-tolerant one-to-many maximally local-connected if their corresponding transposition generating graphs have a triangle, [Formula: see text]-fault-tolerant one-to-many maximally local-connected if their corresponding transposition generating graphs have no triangles. Furthermore, under the restricted condition that each vertex has at least two fault-free adjacent vertices, Cayley graphs generated by [Formula: see text]([Formula: see text]) transpositions are [Formula: see text]-fault-tolerant maximally local-connected if their corresponding transposition generating graphs have no triangles.


2021 ◽  
pp. 2142002
Author(s):  
Miaomiao Zhuo ◽  
Qinqin Li ◽  
Baoyindureng Wu ◽  
Xinhui An

In this paper, we consider the concept of the average edge-connectivity [Formula: see text] of a graph [Formula: see text], defined to be the average, over all pairs of vertices, of the maximum number of edge-disjoint paths connecting these vertices. Kim and O previously proved that [Formula: see text] for any connected cubic graph on [Formula: see text] vertices. We refine their result by showing that [Formula: see text] We also characterize the graphs where equality holds.


Author(s):  
Yihong Wang ◽  
Cheng-Kuan Lin ◽  
Shuming Zhou ◽  
Tao Tian

Large scale multiprocessor systems or multicomputer systems, taking interconnection networks as underlying topologies, have been widely used in the big data era. Fault tolerance is becoming an essential attribute in multiprocessor systems as the number of processors is getting larger. A connected graph [Formula: see text] is called strong Menger (edge) connected if, for any two distinct vertices [Formula: see text] and [Formula: see text], there are [Formula: see text] vertex (edge)-disjoint paths between them. Exchanged hypercube [Formula: see text], as a variant of hypercube [Formula: see text], remains lots of preferable fault tolerant properties of hypercube. In this paper, we show that [Formula: see text] [Formula: see text] and [Formula: see text] [Formula: see text] are strong Menger (edge) connected, respectively. Moreover, as a by-product, for dual cube [Formula: see text], one popular generalization of hypercube, [Formula: see text] is also showed to be strong Menger (edge) connected, where [Formula: see text].


Author(s):  
Rong Liu ◽  
Pingshan Li

A graph [Formula: see text] is called strongly Menger edge connected (SM-[Formula: see text] for short) if the number of disjoint paths between any two of its vertices equals the minimum degree of these two vertices. In this paper, we focus on the maximally edge-fault-tolerant of the class of BC-networks (contain hypercubes, twisted cubes, Möbius cubes, crossed cubes, etc.) concerning the SM-[Formula: see text] property. Under the restricted condition that each vertex is incident with at least three fault-free edges, we show that even if there are [Formula: see text] faulty edges, all BC-networks still have SM-[Formula: see text] property and the bound [Formula: see text] is sharp.


1994 ◽  
Vol 04 (02) ◽  
pp. 191-222
Author(s):  
S.V.R. MADABHUSHI ◽  
S. LAKSHMIVARAHAN ◽  
S.K. DHALL

A new class of interconnection networks based on a family of graphs, called cubic graphs are introduced. These latter graphs arise as Cayley graphs of certain subgroups of the symmetric group. It turns out that these Cayley graphs are a hybrid between the binary hypercube and the star graph, and hence are called cubic star graphs, and are denoted by CS(m, n), m≥1 and n≥1. CS(m, n) inherits several of the properties of the hypercube and the star graph. In this paper, we present an analysis of the symmetric and topological properties. In particular, it is shown that CS(m, n) is edge transitive and hence maximally fault tolerant. We give an algorithm for finding the shortest path and provide an enumeration of the node disjoint paths. Optimal algorithms for single source and all-source broadcasting (also called gossiping) are derived. It is shown that CS(m, n) is Hamiltonian and interesting embeddings of several cycles, grids, and binary trees are derived. The paper concludes with a comparison of CS(m, n) with the binary hypercube and the star graph.


2003 ◽  
Vol 40 (1-2) ◽  
pp. 151-158
Author(s):  
O. Fülöp

W. Mader [5] proved that every undirected graph (multiple edges are allowed but loops not) contains adjacent nodes x and y joined by min (d(x),dG(y))G edge-disjoint paths and in every undirected simple graph there are two adjacent nodes x and y joined by min (d(x),dG(y) Ginternally node-disjoint paths. In general it is not possible to fix x (or y) arbitrarily. The purpose of this paper is to provide conditions for the existence of a node x in d-regular graphs such that for all y joined to x there are d pairwise edge-disjoint (node-disjoint) paths between x and y. We also examine the directed version in case of local edge connectivity.


Author(s):  
Ashwin Sah ◽  
Mehtaab Sawhney ◽  
Yufei Zhao

Abstract Does every $n$-vertex Cayley graph have an orthonormal eigenbasis all of whose coordinates are $O(1/\sqrt{n})$? While the answer is yes for abelian groups, we show that it is no in general. On the other hand, we show that every $n$-vertex Cayley graph (and more generally, vertex-transitive graph) has an orthonormal basis whose coordinates are all $O(\sqrt{\log n / n})$, and that this bound is nearly best possible. Our investigation is motivated by a question of Assaf Naor, who proved that random abelian Cayley graphs are small-set expanders, extending a classic result of Alon–Roichman. His proof relies on the existence of a bounded eigenbasis for abelian Cayley graphs, which we now know cannot hold for general groups. On the other hand, we navigate around this obstruction and extend Naor’s result to nonabelian groups.


Algorithmica ◽  
2021 ◽  
Author(s):  
Robert Ganian ◽  
Sebastian Ordyniak ◽  
M. S. Ramanujan

AbstractIn this paper we revisit the classical edge disjoint paths (EDP) problem, where one is given an undirected graph G and a set of terminal pairs P and asks whether G contains a set of pairwise edge-disjoint paths connecting every terminal pair in P. Our focus lies on structural parameterizations for the problem that allow for efficient (polynomial-time or FPT) algorithms. As our first result, we answer an open question stated in Fleszar et al. (Proceedings of the ESA, 2016), by showing that the problem can be solved in polynomial time if the input graph has a feedback vertex set of size one. We also show that EDP parameterized by the treewidth and the maximum degree of the input graph is fixed-parameter tractable. Having developed two novel algorithms for EDP using structural restrictions on the input graph, we then turn our attention towards the augmented graph, i.e., the graph obtained from the input graph after adding one edge between every terminal pair. In constrast to the input graph, where EDP is known to remain -hard even for treewidth two, a result by Zhou et al. (Algorithmica 26(1):3--30, 2000) shows that EDP can be solved in non-uniform polynomial time if the augmented graph has constant treewidth; we note that the possible improvement of this result to an FPT-algorithm has remained open since then. We show that this is highly unlikely by establishing the [1]-hardness of the problem parameterized by the treewidth (and even feedback vertex set) of the augmented graph. Finally, we develop an FPT-algorithm for EDP by exploiting a novel structural parameter of the augmented graph.


Sign in / Sign up

Export Citation Format

Share Document