Dual-CISTs: Configuring a Protection Routing on Some Cayley Networks

A set of $k~(\geqslant 2)$ spanning trees in the underlying graph of a network topology is called completely independent spanning trees, (CISTs for short), if they are pairwise edge-disjoint and inner-node-disjoint. Particularly, if $k=2$ , the two CISTs are called a dual-CIST. However, it has been proved that determining if there exists a dual-CIST in a graph is an NP-hard problem. Kwong et al. [IEEE/ACM Transactions Networking 19(5) 1543–1556, 2011] defined that a routing is protected, if there is an alternate with loop-free forwarding, when a single link or node failure occurs. Shortly afterward, Tapolcai [Optim. Lett. 7(4) 723–730, 2013] showed that a network possessing a dual-CIST suffices to establish a protection routing. It is well-known that Cayley graphs have a large number of desirable properties of interconnection networks. Although many results of constructing dual-CISTs on interconnection networks have been proposed in the literature, so far, the work has not been dealt with on Cayley graphs due to that their expansions are in exponential scalability. In this paper, we try to make a breakthrough of this work on some famous subclasses of Cayley graphs, including alternating group networks, bubble-sort network, and star networks. We first propose tree searching algorithms for helping the construction of dual-CISTs on low-dimensional networks. Then, by inductive construction, we show that dual-CISTs on high-dimensional networks can also be constructed agreeably. As a result, we can configure protection routings by using the constructed dual-CISTs. In addition, we complement some analysis with a simulation study of the proposed construction to evaluate the corresponding performance.

[1]  Kung-Jui Pai,et al.  Completely Independent Spanning Trees on Some Interconnection Networks , 2014, IEICE Trans. Inf. Syst..

[2]  Xia Hong,et al.  Completely Independent Spanning Trees in k-Th Power of Graphs , 2018, Discuss. Math. Graph Theory.

[3]  Marie-Claude Heydemann,et al.  Cayley graphs and interconnection networks , 1997 .

[4]  J. J. Garcia-Luna-Aceves,et al.  MPATH: a loop-free multipath routing algorithm , 2000, Microprocess. Microsystems.

[5]  Van Bang Le,et al.  Splitting a graph into disjoint induced paths or cycles , 2003, Discret. Appl. Math..

[6]  Hung-Yi Chang,et al.  A Note on the Degree Condition of Completely Independent Spanning Trees , 2015, IEICE Trans. Fundam. Electron. Commun. Comput. Sci..

[7]  B. N. Waphare,et al.  Constructing spanning trees in augmented cubes , 2018, J. Parallel Distributed Comput..

[8]  J. J. Garcia-Luna-Aceves,et al.  MDVA: a distance-vector multipath routing protocol , 2001, Proceedings IEEE INFOCOM 2001. Conference on Computer Communications. Twentieth Annual Joint Conference of the IEEE Computer and Communications Society (Cat. No.01CH37213).

[9]  Xingang Shi,et al.  A hop-by-hop dynamic distributed multipath routing mechanism for link state network , 2018, Comput. Commun..

[10]  Gregory A. Hansen,et al.  The Optimized Link State Routing Protocol , 2003 .

[11]  Jianxi Fan,et al.  Constructing completely independent spanning trees in crossed cubes , 2017, Discret. Appl. Math..

[12]  Toru Hasunuma,et al.  Completely independent spanning trees in torus networks , 2012, Networks.

[13]  Lei Wang,et al.  Multipath source routing in wireless ad hoc networks , 2000, 2000 Canadian Conference on Electrical and Computer Engineering. Conference Proceedings. Navigating to a New Era (Cat. No.00TH8492).

[14]  David A. Maltz,et al.  DSR: the dynamic source routing protocol for multihop wireless ad hoc networks , 2001 .

[15]  Toru Hasunuma,et al.  Minimum Degree Conditions and Optimal Graphs for Completely Independent Spanning Trees , 2015, IWOCA.

[16]  Yota Otachi,et al.  Completely Independent Spanning Trees in (Partial) k-Trees , 2015, Discuss. Math. Graph Theory.

[17]  S. Lakshmivarahan,et al.  Symmetry in Interconnection Networks Based on Cayley Graphs of Permutation Groups: A Survey , 1993, Parallel Comput..

[18]  Sheldon B. Akers,et al.  A Group-Theoretic Model for Symmetric Interconnection Networks , 1989, IEEE Trans. Computers.

[19]  Olivier Togni,et al.  Almost disjoint spanning trees: Relaxing the conditions for completely independent spanning trees , 2017, Discret. Appl. Math..

[20]  S. Vidhya,et al.  Hop-by-Hop Routing in Wireless Mesh Networks with Bandwidth Guarantees , 2013 .

[21]  Olivier Togni,et al.  Completely independent spanning trees for enhancing the robustness in ad-hoc Networks , 2017, 2017 IEEE 13th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob).

[22]  Olivier Togni,et al.  Completely independent spanning trees in some regular graphs , 2014, Discret. Appl. Math..

[23]  David B. Johnson,et al.  The Dynamic Source Routing Protocol for Mobile Ad Hoc Networks , 2003 .

[24]  Charles E. Perkins,et al.  Ad hoc On-Demand Distance Vector (AODV) Routing , 2001, RFC.

[25]  Toru Hasunuma,et al.  Completely Independent Spanning Trees in Maximal Planar Graphs , 2002, WG.

[26]  Qinghai Liu,et al.  Degree condition for completely independent spanning trees , 2016, Inf. Process. Lett..

[27]  Charles E. Perkins,et al.  Highly dynamic Destination-Sequenced Distance-Vector routing (DSDV) for mobile computers , 1994, SIGCOMM.

[28]  Chen-Nee Chuah,et al.  Analysis of link failures in an IP backbone , 2002, IMW '02.

[29]  Haitao Wu,et al.  FiConn: Using Backup Port for Server Interconnection in Data Centers , 2009, IEEE INFOCOM 2009.

[30]  Kung-Jui Pai,et al.  Constructing two completely independent spanning trees in hypercube-variant networks , 2016, Theor. Comput. Sci..

[31]  Yoshihide Igarashi,et al.  Reliable broadcasting and secure distributing in channel networks , 1997, Proceedings of the 1997 International Symposium on Parallel Architectures, Algorithms and Networks (I-SPAN'97).

[32]  Zhi-Li Zhang,et al.  On the Feasibility and Efficacy of Protection Routing in IP Networks , 2010, IEEE/ACM Transactions on Networking.

[33]  Hung-Yi Chang,et al.  Completely Independent Spanning Trees on 4-Regular Chordal Rings , 2017, IEICE Trans. Fundam. Electron. Commun. Comput. Sci..

[34]  Jou-Ming Chang,et al.  Completely Independent Spanning Trees on Complete Graphs, Complete Bipartite Graphs and Complete Tripartite Graphs , 2013 .

[35]  Haitao Wu,et al.  BCube: a high performance, server-centric network architecture for modular data centers , 2009, SIGCOMM '09.

[36]  D. Jhonson The Dynamic Source Routing Protocol (DSR) for Mobile Ad Hoc Networks for IPv4 , 2007 .

[37]  Shervin Erfani,et al.  Survey of multipath routing protocols for mobile ad hoc networks , 2009, J. Netw. Comput. Appl..

[38]  Toru Hasunuma,et al.  Completely independent spanning trees in the underlying graph of a line digraph , 2000, Discret. Math..

[39]  Ruay-Shiung Chang,et al.  Constructing Three Completely Independent Spanning Trees in Locally Twisted Cubes , 2019, FAW.

[40]  Ferenc Péterfalvi,et al.  Two counterexamples on completely independent spanning trees , 2012, Discret. Math..

[41]  Wenjun Xiao,et al.  Internode Distance and Optimal Routing in a Class of Alternating Group Networks , 2006, IEEE Transactions on Computers.

[42]  János Tapolcai,et al.  Sufficient conditions for protection routing in IP networks , 2013, Optim. Lett..

[43]  Mung Chiang,et al.  Link-State Routing With Hop-by-Hop Forwarding Can Achieve Optimal Traffic Engineering , 2011, IEEE/ACM Trans. Netw..

[44]  Qinghai Liu,et al.  Ore's condition for completely independent spanning trees , 2014, Discret. Appl. Math..

[45]  Philippe Jacquet,et al.  Optimized Link State Routing Protocol (OLSR) , 2003, RFC.

[46]  Toru Araki,et al.  Dirac's Condition for Completely Independent Spanning Trees , 2014, J. Graph Theory.

[47]  Lei Shi,et al.  Dcell: a scalable and fault-tolerant network structure for data centers , 2008, SIGCOMM '08.

[48]  Piet Van Mieghem,et al.  Hop-by-hop quality of service routing , 2001, Comput. Networks.

[49]  Sheldon B. Akers,et al.  The Star Graph: An Attractive Alternative to the n-Cube , 1994, ICPP.