The Edge Connectivity of Expanded <svg xmlns:xlink="http://www.w3.org/1999/xlink" xmlns="http://www.w3.org/2000/svg" style="vertical-align:-0.2723999pt" id="M1" height="12.533pt" version="1.1" viewBox="-0.0657574 -12.2606 8.79534 12.533" width="8.79534pt"><g transform="matrix(.017,0,0,-0.017,0,0)"><path id="g113-108" d="M480 416C480 431 465 448 438 448C388 448 312 383 252 330C217 299 188 273 155 237H153L257 680C262 700 263 712 253 712C240 712 183 684 97 674L92 648L126 647C166 646 172 645 163 606L23 -6L29 -12C51 -5 77 2 107 8C115 62 130 128 142 180C153 193 179 220 204 241C231 170 259 106 288 54C317 0 336 -12 358 -12C381 -12 423 2 477 80L460 100C434 74 408 54 398 54C385 54 374 65 351 107C326 154 282 241 263 299C296 332 351 377 403 377C424 377 436 372 445 368C449 366 456 368 462 375C472 386 480 402 480 416Z"/></g></svg>-Ary <svg xmlns:xlink="http://www.w3.org/1999/xlink" xmlns="http://www.w3.org/2000/svg" style="vertical-align:-0.2724395pt" id="M2" height="8.14084pt" version="1.1" viewBox="-0.0657574 -7.8684 8.77813 8.14084" width="8.77813pt"><g transform="matrix(.017,0,0,-0.017,0,0)"><path id="g113-111" d="M495 86L479 114C446 82 419 66 409 66C401 66 401 72 406 97C420 166 436 231 453 297C489 435 454 448 428 448C406 448 384 439 354 422C305 394 222 327 161 247H159L183 345C200 415 194 448 173 448C143 448 82 410 23 351L38 325C64 349 95 371 105 371C111 371 116 365 109 336L25 -4L31 -12C50 -4 77 3 107 9C119 69 132 122 145 168C197 254 321 381 370 381C387 381 393 374 378 305L329 95C309 17 320 -12 345 -12C372 -12 430 19 495 86Z"/></g></svg>-Cubes

Wang, Shiying; Wang, Mujiangshan

doi:https://doi.org/10.1155/2018/7867342

Discrete Dynamics in Nature and Society

On this page

Abstract Introduction Conclusions Data Availability Conflicts of Interest Acknowledgments References Copyright Related Articles

Research Article | Open Access

Volume 2018 | Article ID 7867342 | https://doi.org/10.1155/2018/7867342

The Edge Connectivity of Expanded -Ary -Cubes

Shiying Wang¹and Mujiangshan Wang²

Academic Editor: Seenith Sivasundaram

Received09 Jun 2018

Accepted19 Sept 2018

Published02 Oct 2018

Abstract

Mass data processing and complex problem solving have higher and higher demands for performance of multiprocessor systems. Many multiprocessor systems have interconnection networks as underlying topologies. The interconnection network determines the performance of a multiprocessor system. The network is usually represented by a graph where nodes (vertices) represent processors and links (edges) represent communication links between processors. For the network , two vertices and of are said to be connected if there is a -path in . If has exactly one component, then is connected; otherwise is disconnected. In the system where the processors and their communication links to each other are likely to fail, it is important to consider the fault tolerance of the network. For a connected network , its inverse problem is that is disconnected, where or . The connectivity or edge connectivity is the minimum number of . Connectivity plays an important role in measuring the fault tolerance of the network. As a topology structure of interconnection networks, the expanded -ary -cube has many good properties. In this paper, we prove that (1) is super edge-connected (); (2) the restricted edge connectivity of is (); (3) is super restricted edge-connected ().

1. Introduction and Terminology

Mass data processing and complex problem solving have higher and higher demands for performance of multiprocessor systems. Many multiprocessor systems have interconnection networks (networks for short) as underlying topologies and a network is usually represented by a graph where nodes (vertices) represent processors and links (edges) represent communication links between processors. The network determines the performance of the system. For the network (graph) , two vertices and of are said to be connected if there is a -path in . Connection is an equivalence relation on the vertex set . Thus there is a partition of into nonempty subsets such that two vertices and of are connected if and only if both and belong to the same set . The subgraphs are called the components of . If has exactly one component, then is connected; otherwise is disconnected. In the system where the processors and their communication links to each other are likely to fail, it is important to consider the fault tolerance of the network. The fault tolerance of large networks is usually a measure of the extent to which the network can retain its original nature in the event of a certain number of nodes of failure and/or links failure in the network topology. For a connected network (graph) , its inverse problem is that is disconnected, where or . The connectivity or edge connectivity is the minimum number of . Connectivity plays an important role in measuring the fault tolerance of the network.

Let be a simple graph. Given a nonempty vertex subset of , the induced subgraph by in , denoted by , is a graph, whose vertex set is and the edge set is the set of all the edges of with both endpoints in . The degree of a vertex is the number of edges incident with . We denote by the minimum degrees of vertices of . For any vertex , we define the neighborhood of in to be the set of vertices adjacent to . If , then is called a neighbor or a neighbor vertex of . Let . We use to denote the set . A graph is said to be -regular if for any vertex , . For graph-theoretical terminology and notation not defined here we follow [1]. For a faulty subset of edges in a connected graph , is a -restricted edge cut if is disconnected and every component of has at least vertices. If such an edge cut exists, then the -restricted edge connectivity of , denoted by , is defined as the cardinality of a minimum -restricted edge cut. For any positive integer , let . For many graphs, it has been shown that is an upper bound on [2–4]. A -connected graph is -optimal if . The following is the definition on super- graphs used in our manuscript.

Definition 1 (see [5]). A -connected graph is super -restricted edge-connected (or super- for short) if every minimum -restricted edge cut of isolates one connected subgraph of order .

In the majority of the literature, the 1-restricted edge connectivity of is called the edge connectivity of and is denoted by . The 2-restricted edge connectivity of is called the restricted edge connectivity of and is denoted by . Correspondingly, if is super -restricted edge-connected, then is super edge-connected. If is super -restricted edge-connected, then is super restricted edge-connected. The sufficient conditions of super- have been studied by several authors; see [6, 7].

The -ary -cube has many desirable properties, such as ease of implementation of algorithms and ability to reduce message latency by exploiting communication locality found in many parallel applications [8–10]. Therefore, a number of distributed-memory parallel systems (also known as multicomputers) have been built with a -ary -cube forming the underlying topology, such as the Cray T3D [11], the J-machine [12], the iWarp [13], and the IBM Blue Gene [14]. In 2011, Xiang and Stewart [15] proposed the augmented -ary -cube. In 2017, Wang et al. [16] proposed the expanded -ary -cube . The following is the definition.

Definition 2 (see [16]). The expanded -ary -cube, denoted by ( and even ), is a graph consisting of vertices . Two vertices and are adjacent if and only if there exists an integer such that, for some , we have (mod ) and for all .

For clarity of presentation, we omit writing “(mod )” in similar expressions for the remainder of the paper. In this paper, we prove that (1) is super edge-connected (); (2) the restricted edge connectivity of is (); (3) is super restricted edge-connected ().

2. The Connectivity of Expanded -Ary -Cubes

We can partition into disjoint subgraphs (abbreviated as , if there is no ambiguity), where every vertex has a fixed integer in the last position for . Let . Then is said to be outside neighbor vertices of .

Proposition 3 (see [16]). Each is isomorphic to for .

Proposition 4. The expanded -ary -cube is the Cartesian product of expanded -ary -cubes, i.e., .

Proof. We prove by the induction on . Now define a bijection from to given by Note . Let with and . Then (1), if , (mod ) for ; (2), if , (mod ) for . Suppose that , . Then . By the definition of , . Suppose that , . Similarly, .
Conversely, let with and . Then , or , . Suppose that and . By the definition of , (mod ) for . By the definition of , . Suppose that and . Similarly, . This implies that the result is true for . Assume that the result holds for , i.e., for . Then . We will prove that . Now define a bijection from to given by Note . Let with , , , and ,
By Proposition 3, each is isomorphic to ( in the last position ). Suppose that . Then . By the definition of , . Suppose that . Then, by the definition of , and for and . Therefore, and for . By the definition of and .
Conversely, let . Suppose that and . By the definition of , there exists an integer such that (mod ) and , for and . Note that . By the definition of , . Suppose that and . By the definition of , . Note that . By the definition of , .

The automorphism group of a graph is transitive if there exists an automorphism to any pair of vertices in such that . In this case, is called vertex transitive.

Proposition 5 (see [16]). is -regular, vertex transitive.

Proposition 6 (see [16]). Let . Then four outside neighbor vertices of are in four different s.

Theorem 7 (see [16]). Let be the expanded -ary -cube with and even . Then the connectivity .

Theorem 8 (see [1]). Let be a connected graph. Then .

By Proposition 5 and Theorems 7 and 8, we have the following corollary.

Corollary 9. .

Theorem 10. Let be the expanded -ary -cube with and even . Then is super edge-connected.

Proof. By Corollary 9, . Let with be any minimum edge cut of . We can partition into disjoint subgraphs . By Proposition 3, each is isomorphic to for . Let for with . Let . Then . Since , holds, we consider the following cases.
Case 1 (). Since , . By Corollary 9, is connected. Since and there is a complete matching between and for , is connected; a contradiction to that is an edge cut of .
Case 2 (). Since , holds hence there is only one such that . Therefore, for . By Corollary 9, is connected for . Since and there is a complete matching between and for , is connected.
Case 2.1 ( is connected). Since there is a complete matching between and for , is connected; a contradiction to that is an edge cut of .
Case 2.2 ( is not connected). Since and , holds. Let . By Proposition 6, is connected; a contradiction to that is an edge cut of . Let . Let be the components of . Suppose for . By Proposition 6, . Since , is connected, a contradiction to that is an edge cut of . Therefore, there is a such that . Let . Since , there is only a such that . If is incident with each of , then has two components, one of which is an isolated vertex. If is not incident with each of , then is connected; a contradiction to that is an edge cut of .
Case 3 (). In this case, and is connected. By Proposition 6, is connected, a contradiction to that is a edge cut of .
By Cases 1–3, is super edge-connected.

Lemma 11. Let be the expanded -ary -cube with and even . Then .

Proof. Let and . Then is adjacent to and . Let . Then and for . Therefore, is connected. Let . Then . Therefore, is connected and hence has two components and . By the definition of , .

Proposition 12. Let be the expanded -ary -cube with even , and let with . If is disconnected, then has two components, one of which is an isolated vertex.

Proof. If , by Corollary 9, then is connected, a contradiction. Let . By Proposition 5, is -regular. Therefore, there is one such that has two components, one of which is an isolated vertex. Let . Suppose that has two or more components which have order at least 2. Choose a component of with so that is as small as possible. Then . In view of Proposition 5, we may assume that and , where and . Then and . If , then the edge set (in the case where , we take ), and hence , a contradiction to that . Thus . Suppose that . Since , we have or . We may assume . Then , which implies , and hence , a contradiction to that . Thus . Since , it follows that and . Consequently and , which implies . Therefore , a contradiction to that and hence has two components, one of which is an isolated vertex.

Proposition 13. Let be the expanded -ary -cube with even , and let be a minimum 2-restricted edge cut of . Then .

Proof. By Proposition 12, . Let . Then is a 2-restricted edge cut of and . Therefore, .

Proposition 14. Let be the expanded -ary -cube with even , and let with . If is disconnected, then has two components, one of which is an isolated vertex.

Proof. We can partition into disjoint subgraphs (abbreviated as , if there is no ambiguity), where every vertex has a fixed integer in the last position for . By Proposition 3, each is isomorphic to for . By Corollary 9, . Let for with . Let . Then . We consider the following cases.
Case 1 (). Since , . By Corollary 9, is connected. By Proposition 6 and , is connected, a contradiction to that is a cut of .
Case 2 (). Since , . Since , there are at most three ’s such that for .
Case 2.1 ( and for ). By Corollary 9, is connected for . By Proposition 6 and , is connected. By Theorem 10, is connected or has two components, one of which is an isolated vertex. Since , is connected (a contradiction) or has two components, one of which is an isolated vertex.
Case 2.2 (, and for ). In this case, . Similarly to Case 2.1, is connected (a contradiction) or has two components, one of which is an isolated vertex.
Case 2.3 (, , and for ). In this case, . Similarly to Case 2.1, is connected, a contradiction.
Case 3 (). Since , . Since , there are at most two ’s such that for .
Case 3.1 ( and for ). By Corollary 9, is connected for . By Proposition 6 and , is connected. By Proposition 12, is connected or has two components, one of which is an isolated vertex. Since , is connected (a contradiction) or has two components, one of which is an isolated vertex.
Case 3.2 (, and for ). In this case, . Similarly to Case 3.1, is connected (a contradiction) or has two components, one of which is an isolated vertex.
Case 3.3 (, and for ). In this case, . By Proposition 12, is connected or has two components, one of which is an isolated vertex. Therefore, is connected, a contradiction.
Case 4 (). In this case, and . Therefore, is connected (a contradiction) or has two components, one of which is an isolated vertex.

Proposition 15. Let be the expanded -ary -cube with even , and let with . If is disconnected, then has two components, one of which is an isolated vertex.

Proof. We can partition into disjoint subgraphs (abbreviated as , if there is no ambiguity), where every vertex has a fixed integer in the last position for . By Proposition 3, each is isomorphic to for . Let with and let is disconnected. Let for with . Let . When , the result holds by Proposition 14. We proceed by induction on . Our induction hypothesis is that has two components, one of which is an isolated vertex for and . By Proposition 3, each is isomorphic to for . We consider the following cases.
Case 1 (). Since , for . By Corollary 9, is connected for . Since and there is a complete matching between and , for , is connected; a contradiction to that is a cut of .
Case 2 (). In this case, .
Case 2.1 ( for ). By Corollary 9, is connected for . Since , is connected. By Corollary 9, is connected or has two components, one of which is an isolated vertex. Since , is connected (a contradiction) or has two components, one of which is an isolated vertex.
Case 2.2 ( for ). In this case, and for . Since , . By Corollary 9, is connected for . Therefore, is connected.
Case 2.2.1 ( is connected and is connected). Since , is connected; a contradiction to that is an edge cut of .
Case 2.2.2 ( is connected and is disconnected). By the induction hypothesis, has two components, one of which is an isolated vertex. Since , is connected ( a contradiction) or has two components, one of which is an isolated vertex.
Case 2.2.3 ( is disconnected and is disconnected). By the induction hypothesis, has two components, one of which is an isolated vertex and has two components, one of which is an isolated vertex . Suppose that is adjacent to in . Since , by Proposition 6, is connected; a contradiction to that is an edge cut of . Suppose that is not adjacent to in . Since , has two components, one of which is an isolated vertex or is connected; a contradiction to that is an edge cut of .
Case 3 (). In this case, . Therefore, for . By Corollary 9, is connected for . Since , is connected. By the induction hypothesis, has two components, one of which is an isolated vertex. Since , is connected (a contradiction) or has two components, one of which is an isolated vertex.
Case 4 (). In this case, and . Similarly to Case 3, is connected. Since , is connected ( a contradiction) or has two components, one of which is an isolated vertex.

Theorem 16. Let be the expanded -ary -cube with and even . Then .

Proof. By Lemma 11, . By Proposition 15, . Therefore, .

Theorem 17. Let be the expanded -ary -cube with and even . Then is super restricted edge-connected.

Proof. We can partition into disjoint subgraphs (abbreviated as , , , if there is no ambiguity), where every vertex has a fixed integer in the last position for . By Proposition 3, each is isomorphic to for . Let be a minimum restricted edge cut of . By Theorem 16, . Let for with . Let . We consider the following cases.
Case 1 (). Since , for . By Corollary 9, is connected for . Since (), is connected; a contradiction to that is an edge cut of .
Case 2 (). In this case, .
Case 2.1 ( for ). By Corollary 9, is connected for . Since , is connected. By Proposition 15, is connected or has two components, one of which is an isolated vertex. Since , is connected or has two components, one of which is an isolated vertex’ a contradiction to that is a restricted edge cut of .
Case 2.2 ( for ). In this case, and for . By Corollary 9, is connected for . Therefore, is connected.
Case 2.2.1 ( is connected and is connected). Since , is connected; a contradiction to that is an edge cut of .
Case 2.2.2 ( is connected and is disconnected). By Proposition 15, has two components, one of which is an isolated vertex. Therefore, is connected or has two components, one of which is an isolated vertex; a contradiction to that is a restricted edge cut of .
Case 2.2.3 ( is disconnected and is disconnected). By Proposition 15, has two components, one of which is an isolated vertex and has two components, one of which is an isolated vertex . Suppose that is adjacent to in . Since , by Proposition 6, is connected ( a contradiction) has two components, one of which is an isolated vertex ( a contradiction) or has two components, one of which is a . Suppose that is not adjacent to in . Since , has two components, one of which is an isolated vertex or is connected, a contradiction to that is a restricted edge cut of .
Case 3 (). In this case, . Therefore, for . By Corollary 9, is connected for . Since , is connected. By Proposition 15, has two components, one of which is an isolated vertex. Since , is connected or has two components, one of which is an isolated vertex; a contradiction to that is a restricted edge cut of .
Case 4 (). In this case, and .
is connected ( a contradiction), has two components, one of which is an isolated vertex ( a contradiction), or has two components, one of which is a .
Case 5 (). In this case, and . Similarly to Case 3, is connected. Since , is connected or has two components, one of which is an isolated vertex; a contradiction to that is a restricted edge cut of .

A super- graph to be -super- if is still super- for any edge subset of with . The maximum integer of such , written as , is said to be the edge fault tolerance of G with respect to the super- property.

Theorem 18 (see [17]). Let be a regular graph. If is super- and , then .

By Theorems 17 and 18, we have the following theorem.

Theorem 19. Let be the expanded -ary -cube with and even . Then .

Remarks on Theorem 19. Note that . Since , is maximum.

A spanning subgraph of a graph is a subgraph with .

Proposition 20. The -ary -cube is a spanning subgraph of the expanded -ary -cube .

Proof. By the definitions of and , . Let with and . Then there exists an integer such that (mod ) and , for and in . By the definition of , .

A graph is conditional faulty if each vertex of is incident with at least two healthy edges.

Theorem 21 (see [18]). Let and let be even. Then the conditional faulty with at most faulty edges is Hamiltonian.

By Theorem 21 and Proposition 20, we have the following corollary.

Corollary 22. The expanded -ary -cube is Hamiltonian.

3. Conclusions

In this paper, we investigate the problem of the super connectivity of the expanded -ary -cube . It is proved that is super edge-connected and super restricted edge-connected (). The work will help engineers to develop more different measures of the super connectivity based on application environment, network topology, network reliability, and statistics related to fault patterns.

Data Availability

The data cited in the manuscript titled “the Edge Connectivity of Expanded -Ary -Cubes” are all published articles. There are no other data.

Conflicts of Interest

The authors declare that they have no conflicts of interest.

Acknowledgments

The authors would like to express their gratitude to the anonymous referees for their kind suggestions and corrections that helped improve the original manuscript. This work is supported by the National Natural Science Foundation of China (61772010) and the Science Foundation of Henan Normal University (Xiao 20180529, 20180454)

References

J. A. Bondy and U. S. R. Murty, Graph Theory with Applications, Macmillan Press, New York, NY, USA, 1976.
View at: Publisher Site
P. Bonsma, N. Ueffing, and L. Volkmann, “Edge-cuts leaving components of order at least three,” Discrete Mathematics, vol. 256, no. 1-2, pp. 431–439, 2002.
View at: Publisher Site | Google Scholar | MathSciNet
J. Ou, “Edge cuts leaving components of order at least ,” Discrete Mathematics, vol. 305, no. 1-3, pp. 365–371, 2005.
View at: Publisher Site | Google Scholar | MathSciNet
Z. Zhang and J. Yuan, “A proof of an inequality concerning -restricted edge connectivity,” Discrete Mathematics, vol. 304, no. 1-3, pp. 128–134, 2005.
View at: Publisher Site | Google Scholar | MathSciNet
S. Wang, G. Zhang, and K. Feng, “Edge fault tolerance of Cartesian product graphs on super restricted edge connectivity,” The Computer Journal, vol. 61, no. 5, pp. 761–772, 2018.
View at: Publisher Site | Google Scholar | MathSciNet
L. Shang and H. Zhang, “Super restricted edge-connectivity of graphs with diameter 2,” Discrete Applied Mathematics: The Journal of Combinatorial Algorithms, Informatics and Computational Sciences, vol. 161, no. 3, pp. 445–451, 2013.
View at: Publisher Site | Google Scholar | MathSciNet
S. Wang, M. Wang, and L. Zhang, “A sufficient condition for graphs to be super -restricted edge connected,” Discussiones Mathematicae Graph Theory, vol. 37, no. 3, pp. 537–545, 2017.
View at: Publisher Site | Google Scholar | MathSciNet
B. Bose, B. Broeg, Y. Kwon, and Y. Ashir, “Lee distance and topological properties of -ary -cubes,” Institute of Electrical and Electronics Engineers. Transactions on Computers, vol. 44, no. 8, pp. 1021–1030, 1995.
View at: Publisher Site | Google Scholar | MathSciNet
K. Day and A. E. Al-Ayyoub, “Fault diameter of k-ary n-cube networks,” IEEE Transactions on Parallel and Distributed Systems, vol. 8, no. 9, pp. 903–907, 1997.
View at: Publisher Site | Google Scholar
J. Yuan, A. Liu, X. Ma, X. Liu, X. Qin, and J. Zhang, “The g-good-neighbor conditional diagnosability of k-ary n-cubes under the PMC modeland MM model,” IEEE Transactions on Parallel and Distributed Systems, vol. 26, no. 4, pp. 1165–1177, 2015.
View at: Publisher Site | Google Scholar
R. Kessler and J. Schwarzmeier, “Cray T3D: a new dimension for cray research,” in Proceedings of the 38th IEEE Computer Society International Conference, pp. 176–182, San Francisco, CA, USA, 1993.
View at: Publisher Site | Google Scholar
N. Michael and J. William, “Dally, system design of the J-machine,” in Proceedings of the sixth MIT conference on Advanced research in VLSI, pp. 179–194, MIT Press, Cambridge, 1990.
View at: Google Scholar
C. Peterson, J. Sutton, and P. Wiley, “iWarp: A 100-MOPS, LIW Microprocessor for Multicomputers,” IEEE Micro, vol. 11, no. 3, pp. 26–29, 1991.
View at: Google Scholar
N. R. Adiga, M. A. Blumrich, D. Chen et al., “Blue Gene/L torus interconnection network,” IBM Journal of Research and Development, vol. 49, no. 2-3, pp. 265–276, 2005.
View at: Publisher Site | Google Scholar
Y. Xiang and I. A. Stewart, “Augmented -ary -cubes,” Information Sciences, vol. 181, no. 1, pp. 239–256, 2011.
View at: Publisher Site | Google Scholar | MathSciNet
M. Wang, Y. Lin, and S. Wang, “The connectivity and nature diagnosability of expanded -ary -cubes,” RAIRO Theoretical Informatics and Applications, vol. 51, no. 2, pp. 71–89, 2017.
View at: Publisher Site | Google Scholar | MathSciNet
Y. Hong, J. Meng, and Z. Zhang, “Edge fault tolerance of graphs with respect to super edge connectivity,” Discrete Applied Mathematics: The Journal of Combinatorial Algorithms, Informatics and Computational Sciences, vol. 160, no. 4-5, pp. 579–587, 2012.
View at: Publisher Site | Google Scholar | MathSciNet
Y. A. Ashir and I. A. Stewart, “Fault-tolerant embeddings of Hamiltonian circuits in -ary -cubes,” SIAM Journal on Discrete Mathematics, vol. 15, no. 3, pp. 317–328, 2002.
View at: Publisher Site | Google Scholar | MathSciNet

Copyright

Copyright © 2018 Shiying Wang and Mujiangshan Wang. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

PDF Download Citation

Download other formats

Order printed copies

Views

662

Downloads

559

Citations