Preprint
Article

The 4-Set Tree Connectivity of Hierarchical Folded Hypercube

Altmetrics

Downloads

62

Views

12

Comments

0

A peer-reviewed article of this preprint also exists.

This version is not peer-reviewed

Submitted:

21 October 2023

Posted:

23 October 2023

You are already at the latest version

Alerts
Abstract
The $k$-set tree connectivity, as a natural extension of classical connectivity, is a very important index to evaluate the fault-tolerance of interconnection networks. Let $G=(V, E)$ be a connected graph and a subset $S\subseteq V$, an $S$-tree of graph $G$ is a tree $T=(V',E')$ that contains all the vertices of $S$. Two $S$-trees $T$ and $T'$ are internally disjoint if and only if $E(T)\cap E(T')=\varnothing$ and $V(T)\cap V(T')=S$. The cardinality of maximum internally disjoint $S$-trees is defined as $\kappa_{G}(S)$, and the $k$-set tree connectivity is defined by $\kappa_{k}(G)=\min\{\kappa_{G}(S)|S\subseteq V(G)\ \text{and} \ |S|=k\}$. In this paper, we show that the $k$-set tree connectivity of hierarchical folded hypercube when $k=4$, that is, $\kappa_{4}(HFQ_{n})=n+1$, where $HFQ_{n}$ is hierarchical folded hypercube for $n\geq 7$.
Keywords: 
Subject: Computer Science and Mathematics  -   Applied Mathematics

1. Introduction

All graphs in this paper are finite simple and undirected. For more terminology and notation that are used but not described here, refer to reference [1]. A network is commonly molded by a graph G = ( V , E ) , where vertices correspond to processors and edges correspond communication links. For any vertex x V , let N G ( x ) = { y V ( G ) x | x y E } be the neighbour set of x in the graph G, and N G [ x ] = N G ( x ) { x } . Let d G ( x ) = | N G ( x ) | be the degree of x in G. Besides, we use δ ( G ) and Δ ( G ) to denote the minimum degree and maximum degree of G, respectively. If δ ( G ) = Δ ( G ) , then G is called a regular graph. For any a , b V , an ( a , b ) -path is a simple graph whose vertices begin with a and end with b. Any two ( a , b ) -paths A and B are internally disjoint if and only if V ( A ) V ( B ) = { a , b } . For any vertex set S V , let G [ S ] be the induced subgraph of G that contains all the vertices of S. For convenience sake, let [ n + 1 ] = { 1 , 2 , , n + 1 } and use “ w . l . o . g . ” to express “Without loss of generality”. Let x = x 1 x 2 x n be n-bit binary string and x i be the i-th bit of x. Denotes H ( x , y ) by the Hamming distance of two distinct n-bit binary strings of x and y is that the number of positions where they differ.
With the rise and rapid development of high-performance parallel computer science, more and more attention is being paid to interconnection networks with excellent performance. An eminent topological structure can significantly improve the reliability of a network. Therefore, it is essential to consider the fault tolerance of the network while designing the topology of the network. This means that the interconnection network should be able to operate effectively even when certain nodes and edges fail, ensuring that it retains specific network properties. In fact, the topological structure of an interconnection network commonly modeled by an undirected simple graph G = ( V , E ) , where every vertex corresponds to a processor, and each edge corresponds to a communication link. Then many computer scientists and engineers use some parameters of graph theory to design and analyzing topological structures of interconnection networks, for instance the connectivity.
The connectivity  κ ( G ) of a connected graph G is the minimum cardinality of vertices whose removed to obtain a disconnected graph or only a vertex. A famous theorem that we know of Whitney [2] gives another equivalent definition of connectivity. For any vertex set S = { x , y } , let κ G ( S ) be the maximum cardinality of internally disjoint paths joining x and y in G. Then κ ( G ) = min { κ G ( S ) | S V and | S | = 2 } . However, the connectivity has an evident drawback that in the practical application of interconnection networks, the probability of all neighbours adjacent to a vertex failing at the same time is extremely small. Therefore, it is not precise enough to measure the fault tolerance of a network by the parameter of connectivity.
In order to better evaluate the fault tolerance level of a network, Chartrand et al. [3] extended the connectivity and came up with the concept of the k-set tree connectivity. For any vertex set S V , G [ S ] as the induced subgraph of G is actually a tree. An S-tree T = ( V , E ) of a connected graph G is a tree that contains the subset S. Two S-trees T and T are internally disjoint if and only if E ( T ) E ( T ) = and V ( T ) V ( T ) = S . Let κ G ( S ) be the maximum number of internally disjoint S-trees in graph G. The k-set tree connectivity is denoted by κ k ( G ) = min { κ G ( S ) | S V and | S | = k } .
The relation between the tree connectivity and the connectivity and the bounds of the tree connectivity have been extensively investigated [4,5,6]. Furthermore, the 3-set tree connectivity of some networks have been studied. Such as, Chartrand ea al. explored the 3-set tree connectivity of complete graphs [7]. Li ea al. derived the 3-set tree connectivity of card product graphs [8]. Li et al. determined product graphs [9]. Li et al. evaluated the 3-set tree connectivity of complete bipartite graph [10]. Zhao et al. investigated the 3-set tree connectivity of star graphs and alternating group graphs [11]. However, there are few results about 4-set tree connectivity. The results known about 4-set tree connectivity of networks so far, are hypercubes [12], exchanged hypercubes [13] and dual cube [14] and hierarchical cubic networks [15]. For more researches and results about the k-set tree connectivity, refer to [16,17,18,19,22,23].
In this paper, we study the 4-set tree connectivity of the hierarchical folded hypercube.

2. Preliminaries

An n-dimensional hierarchical folded hypercube H F Q n can be divided into 2 n clusters, say C 1 , C 2 , …, C 2 n and every cluster is isomorphic to the n-dimensional folded hypercube F Q n . Any vertex a V ( H F Q n ) can be denoted by a two-tuple address a = ( c ( a ) , p ( a ) ) , where both c ( a ) and p ( a ) are n-bit binary strings. The first binary string c ( a ) identifies the cluster the vertex a belong to and the second binary string p ( a ) identifies the vertex within the cluster. Two vertices a = ( c ( a ) , p ( a ) ) and b = ( c ( b ) , p ( b ) ) are adjacent in H F Q n if and only if one of the following two prerequisites holds:
E c u ( H F Q n ) = { a b | H ( P ( a ) , P ( b ) ) = 1 } ,
E c r ( H F Q n ) = { a b | if c ( a ) = P ( a ) , then c ( b ) = p ( b ) = c ( a ) ¯ otherwise, c ( a ) = P ( b ) and p ( a ) = c ( b ) } .
Where E c u ( H F Q n ) is called cube edge, which in a cluster of H F Q n and E c r ( H F Q n ) is called cross edge, which connecting two vertices in two distinct clusters of H F Q n .
Figure 1. The 2 , 3 -dimension hierarchical folded hypercube.
Figure 1. The 2 , 3 -dimension hierarchical folded hypercube.
Preprints 88393 g001
Lemma 2.1.
Let  C 1 ,  C 2 , …,  C 2 n  be the  2 n  clusters of  H F Q n  for   n 7 , we have 
( 1 )  For   i [ 2 n ] , let  b V ( C i )  with  c ( b ) = p ( b ) . The external neighbors of different vertices in  V ( C i ) { b }  distributes in distinct clusters of   H F Q n . Besides, if  a V ( C i ) { b }  with  p ( a ) = p ( b ) ¯ , the external neighbor of a distributes in the same cluster with b.
( 2 )  For  a V ( C i )  and  b V ( C j ) , there exist two cross edges between  C i  and  C j  for  i j  and  i , j [ 2 n ]  if and only if  c ( a ) = c ( b ) ¯ ; otherwise there is just one cross edge.
( 3 )  For any two vertices  a , b V ( C i )  in  H F Q n  for  i [ 2 n ] , the external neighbor of a and b can not be the same vertex.
Proof. 
( 1 ) Let b 1 , b 2 V ( C i ) { b } and b 1 b 2 . By the definition of H F Q n , c ( b 1 ) p ( b 1 ) , c ( b 2 ) p ( b 2 ) and p ( b 1 ) p ( b 2 ) . Therefore, the external neighbors of b 1 and b 2 are ( p ( b 1 ) , c ( b 1 ) ) and ( p ( b 2 ) , c ( b 2 ) ) , respectively. Since p ( b 1 ) p ( b 2 ) , the external neighbor of b 1 and b 2 distribute in different clusters of H F Q n . In view of b V ( C i ) and c ( b ) = p ( b ) , the external neighbor of b is c ( b ) ¯ = p ( b ) ¯ . Let a V ( C i ) { b } , then c ( a ) p ( a ) and the external neighbor of a is ( p ( a ) , c ( a ) ) . When ( p ( a ) = p ( b ) ¯ ) , the external neighbors of a and b belong to the same cluster of H F Q n .
( 2 ) By (1), it is clear that the result holds.
( 3 ) Let a , b V ( C i ) for i [ 2 n ] and suppose that a and b have a same external neighbor, denote by x, then a and b are the two external neighbors of x, a contradiction.□
Lemma 2.2.
Let  C 1 , C 2 , , C 2 n  be the   2 n  clusters of  H F Q n  for  n 7 . Then, arbitrary vertex  b = ( c ( b ) , p ( b ) ) V ( C i )  for   i [ 2 n ] ,   | N C i ( b ) | = n + 1 , we have
( 1 )  The external neighbors of the distinct vertices in  N C i ( b )  distribute in different clusters of  H F Q n .
( 2 )  When   c ( b ) = p ( b ) ( c ( b ) = p ( b ) ¯ ) , there is one and only one vertex  b i  in  N C i ( b )  with the external neighbor belongs to the same cluster with the vertex v and  b i = ( c ( b ) , p ( b ) ¯ ) ( c ( b ) , p ( b ) ) . Otherwise, all the vertices in   N C i ( b )  with the external neighbors distribute in different clusters with the vertex b.
Proof.
( 1 ) w.l.o.g., let b V ( C 1 ) . Recall that C 1 F Q n , which is ( n + 1 ) -regular, therefore | N C 1 ( v ) | = n + 1 . As n 7 , for any b 1 , b 2 N C 1 ( b ) , p ( b 1 ) p ( b 2 ) ¯ . By (1) of Lemma 1, the external neighbors of vertices in N C 1 ( b ) distribute in different clusters of H F Q n .
( 2 ) By the definition of H F Q n , the result can be obtained directly.□
Lemma 2.3.
Let  C 1 , C 2 , , C 2 n  be the  2 n  clusters of  H F Q n  and  N = H F Q n [ j = 1 k V ( C i j ) ]  for   i j V ( 2 n ) , where  k 1  and  n 7 , then N is connected.
Proof. 
w.l.o.g., let N = H F Q n [ j = 1 k V ( C j ) ] . By (2) of Lemma 1, there exists at least one cross edge between arbitrary two different clusters of H F Q n . Therefore, N is connected.□
Lemma 2.4. 
[20] The folded hypercube   F Q n  is  ( n + 1 ) -regular and  κ ( F Q n ) = n + 1  for  n 2 .
Lemma 2.5. 
[21] The hierarchical folded hypercube   H F Q n  is  ( n + 2 ) -regular and  κ ( H F Q n ) = n + 2  for  n 2 .

3. The 4-set tree connectivity of hierarchical folded hypercube

In this part, we determine the k-set tree connectivity of folded hypercubes H F Q n , when k = 4 . That is, κ 4 ( H F Q n ) = n + 1 where n 7 .
The following lemma provides a sharp upper bound for our main result.
Lemma 3.1. 
[5] Let G be a connected graph of order   | V ( G ) |  with minimum degree  δ ( G ) . Then  κ k ( G ) δ ( G )  for  3 k | V ( G ) | . In addition, if there exist two adjacent vertices of degree   δ ( G ) , then   κ k ( G ) δ ( G ) 1  for   3 k | V ( G ) | .
The following three Lemmas describe several clear and crucial properties on k-connected graphs, which provide great convenience when we construct internally disjoint paths.
Lemma 3.2. 
[1] Let G be a k-connected graph and u and v be arbitrary two distinct vertices of G. Then there are k internally disjoint paths joining x and y in G.
Lemma 3.3. 
[1] Let   G = ( V , E )  be a k-connected graph, arbitrary vertex   u V , let   Y V { u }  be a vertex subset of V and   | Y | k . Then, there exists a k-fan in G from u to Y.
Lemma 3.4. 
[1] Let  G = ( V , E )  be a k-connected graph and  U , W V  be two disjoint vertex subsets with  | U | k  and   | W | k . Then, there exist k disjoint   ( U , W ) -paths in G.
The following two Theorems on the folded hypercube F Q n are very beneficial to our proof of the main result.
Theorem 3.1. 
[25]   κ 3 ( F Q n ) = n , where  n 2 .
Theorem 3.2. 
[26]   κ 4 ( F Q n ) = n , where   n 7 .
Lemma 3.5. 
Let  C 1 , C 2 , , C 2 n  be the  2 n  clusters of   H F Q n  for  n 7  and  S = { x , y , z , w } V ( H F Q n ) . Let   | S V ( C i ) | = 3  and   | S V ( C j ) | = 1  for different  i , j [ 2 n ] , then there exist  n + 1  internally disjoint S-trees in  H F Q n .
Proof. 
w.l.o.g., suppose that | S V ( C 1 ) | = 3 and | S V ( C 2 ) | = 1 . Let { x , y , z } V ( C 1 ) and w V ( C 2 ) . See Figure 2. By Theorem 3.1, there are n internally disjoint trees T ^ 1 , T ^ 2 , , T ^ n connecting x , y , z . Recall that C i F Q n , for each i [ 2 n ] . By Lemma 2.4, κ ( F Q n ) = n + 1 , there are n + 1 neighbors x 1 , x 2 , , x n + 1 of x in C 1 . Let x i V ( T ^ i ) for i [ n ] and X = { x 1 , x 2 , , x n + 1 , x } .
Note that X = { x 1 , x 2 , , x n + 1 , x } , it is potential that y X or z X . To avoid repetition, we only consider the case of y X and z X , as the discussion about y X or z X is similar. By ( 2 ) of Lemma 2.2, there are at most two vertices of X with the external neighbors belonging to C 2 , and the two vertices must be x and x i , for some i [ n + 1 ] . To obtain the main result, we need two consider following three cases.
Case 1.  There are two vertices in X with the external neighbors belonging to C 2 .
Figure 2. The explanation of Case 1.
Figure 2. The explanation of Case 1.
Preprints 88393 g002
w.l.o.g., assume that the two vertices are x and x n , that is x , x n V ( C 2 ) . Let x i V ( C i + 2 ) and there exists a vertex w i V ( C i + 2 ) and such that w i V ( C 2 ) for i [ n 1 ] . Since C i + 2 is connected, there exists a path P i joining x i and w i in C i + 2 , for i [ n 1 ] . Let W = { w 1 , , w n 1 , x n , x } . By Lemma 3.3, there are n + 1 disjoint paths P 1 , P 2 , , P n + 1 from w to W, and such that x i V ( P i ) , x n V ( P n ) , x V ( P n + 1 ) for i [ n 1 ] . w.l.o.g., suppose that y V ( C n + 2 ) , z V ( C n + 3 ) , w V ( C n + 4 ) . By Lemma 2.3, H F Q n [ i = n + 2 n + 4 V ( C i ) ] is connected, then there is a tree T connecting y , z and w . Let T i = T ^ i x i x i P i w i w i P i for i [ n 1 ] , T n = T ^ n x n x n P n and T n + 1 = x x P n + 1 y y z z w w T , then T 1 , T 2 , , T n + 1 are n + 1 internally disjoint S-trees.
Case 2.  There is only one vertex in X with the external neighbor belonging to C 2 .
Case 2.1.  x V ( C 2 ) .
Figure 3. The explanation of Case 2.1 .
Figure 3. The explanation of Case 2.1 .
Preprints 88393 g003
Recall that, we consider that y , z X , by ( 2 ) of Lemma 2.2, y , z V ( C 2 ) . Let x i V ( C i + 2 ) for i [ n ] . Since C i + 2 is connected, there is a path P i joining x i and w i in C i + 2 , and such that w i V ( C 2 ) for i [ n ] . Let W = { w 1 , , w n , x } . By Lemma 3.3, there are n + 1 disjoint paths P 1 , P 2 , , P n + 1 between w and W, and subject to x i V ( P i ) , x V ( P n + 1 ) for i [ n ] . w.l.o.g., assume that y V ( C n + 3 ) , z V ( C n + 4 ) , w V ( C n + 5 ) . By Lemma 2.3, H F Q n [ i = n + 3 n + 5 V ( C i ) ] is connected, then there is a tree T connecting y , z and w . Let T i = T ^ i x i x i P i w i w i P i for i [ n ] and T n + 1 = x x P n + 1 y y z z w w T , then T 1 , T 2 , , T n + 1 are n + 1 internally disjoint S-trees.
Case 2.2.  x i V ( C 2 ) for certain i [ n + 1 ] .
w.l.o.g., suppose that x n V ( C 2 ) . By Lemma 2.1, at most one vertex of y and z belongs to C 2 .
Case 2.2.1.  y , z V ( C 2 ) .
Let x i V ( C i + 2 ) for i [ n 1 ] . Since C i + 2 is connected, there exists a path P i joining x i and w i in C i + 2 , and such that w i V ( C 2 ) for i [ n 1 ] . w.l.o.g., assume that x V ( C n + 2 ) . Note that, y or z may belongs to the same cluster C i + 2 with some x i for some i [ n 1 ] . We need to discuss the following two situations.
Figure 4. The explanation about y , z V ( C i + 2 ) for i [ n 1 ] of Case 2 . 2.1 .
Figure 4. The explanation about y , z V ( C i + 2 ) for i [ n 1 ] of Case 2 . 2.1 .
Preprints 88393 g004
When y , z V ( C i + 2 ) for i [ n 1 ] . w.l.o.g., suppose that y V ( C n + 3 ) , z V ( C n + 3 ) , m V ( C n + 5 ) and such that m V ( C 2 ) . Let W = { w 1 , w 2 , , w n , m } . By Lemma 3.3, there exist n + 1 disjoint paths P 1 , P 2 , , P n + 1 from w to W, and such that P n + 1 be the path joining w and m . By Lemma 2.3, H F Q n [ i = n + 2 n + 5 V ( C i ) ] is connected, then there exists a tree T connecting x , y , z and m. Let T i = T ^ i x i x i P i w i w i P i for i [ n 1 ] , T n = T ^ n x n x n P n and T n + 1 = x x y y z z P n + 1 m m T , then T 1 , T 2 , , T n + 1 are n + 1 internally disjoint S-trees.
When y V ( C i + 2 ) or z V ( C i + 2 ) for certain i [ n 1 ] .
w.l.o.g., suppose that y V ( C n + 1 ) and z V ( C n + 3 ) . That is, x n 1 , y V ( C n + 1 ) . Let w n 1 , g V ( C n + 1 ) and w n 1 V ( C 2 ) , g V ( C n + 3 ) . Let A = { x n 1 , y } , B = { w n 1 , g } and A , B V ( C n + 1 ) . By Lemma 3.4, there exist two internally disjoint ( A , B ) -paths, saying P n 1 and Q, subject to P n 1 be the path from x n 1 to w n 1 and P be the path from y to g. Similar to the case of y , z V ( C i + 2 ) for i [ n 1 ] , we get n internally disjoint S-trees T 1 , T 2 , , T n . Let m V ( C n + 4 ) and m V ( C 2 ) . By Lemma 2.3, H F Q n [ i = n + 2 n + 5 V ( C i ) ] is connected, then there exists a tree T connecting y , z , g and m. Let T n + 1 = x x y y z z Q g g P n + 1 m m T .
Figure 5. The explanation about y V ( C i + 2 ) for some i [ n 1 ] of Case 2 . 2.1 .
Figure 5. The explanation about y V ( C i + 2 ) for some i [ n 1 ] of Case 2 . 2.1 .
Preprints 88393 g005
Case 2.2.2.  y V ( C 2 ) or z V ( C 2 ) .
w.l.o.g., assume that y V ( C 2 ) , by ( 2 ) of Lemma 2.2, y must be the neighbor of x n in C 1 . Then The proof is similar to that of Case 1.
Case 3.  None of the vertex in X with their external neighbor belongs to C 2 .
By ( 2 ) of Lemma 2.1, y and z may belong to C 2 . We consider the following three subcases to obtain the result.
Case 3.1.  y , z V ( C 2 ) .
By ( 2 ) of Lemma 2.2, y is adjacent to z in C 1 and y is adjacent to z in C 2 . Let x i V ( C i + 2 ) for i [ n 1 ] . Since C i + 2 is connected, there is a path P i joining x i and w i in C i + 2 , and subject to w i V ( C 2 ) for i [ n ] . w.l.o.g., assume that x V ( C n + 3 ) , w V ( C n + 4 ) . By Lemma 2.3, H F Q n [ i = n + 3 n + 4 V ( C i ) ] is connected, then there exists a tree T connecting x and w . Let W = { w 1 , w 2 , , w n , y } . By Lemma 3.3, there exist n + 1 disjoint paths P 1 , P 2 , , P n + 1 from w to W, and such that P n + 1 is the path joining y and w. Let T i = T ^ i x i x i P i w i w i P i for i [ n ] .
When z V ( P i ) , for certain i [ n + 1 ] . w.l.o.g., suppose that z V ( P n + 1 ) . Let T n + 1 = x x y y z z w w P n + 1 T .
Figure 6. The explanation about z V ( p n + 1 ) of Case 3.1 .
Figure 6. The explanation about z V ( p n + 1 ) of Case 3.1 .
Preprints 88393 g006
When z V ( P i ) , for i [ n + 1 ] . Since y is adjacent to z , let R = P n + 1 y z . Obviously, P 1 , P 2 , , P n , R are disjoint paths. Let T n + 1 = T x x y y z z w w R .
Case 3.2.  y V ( C 2 ) or z V ( C 2 ) .
Is clear that, similar to that of Case 2.1 , we can get n + 1 internally disjoint S-trees.
Case 3.3.  y V ( C 2 ) and z V ( C 2 ) .
Note that, y or z may belongs to the same cluster C i + 2 with x i for some i [ n ] .
When y , z V ( C i + 2 ) for i [ n ] . w.l.o.g., assume that y V ( C n + 4 ) and z V ( C n + 5 ) . Similar to that of Case 3.1 , we get n internally disjoint S-trees. By Lemma 2.3, H F Q n [ i = n + 3 n + 5 V ( C i ) ] is connected, then there exists a tree T connecting x , y , z and m. Let T n + 1 = x x y y z z m m P n + 1 T .
Figure 7. The explanation of Case 3.3 .
Figure 7. The explanation of Case 3.3 .
Preprints 88393 g007
When y V ( C i + 2 ) or z V ( C i + 2 ) for certain i [ n ] . w.l.o.g., suppose that y V ( C n + 2 ) and z V ( C n + 4 ) . That is, x n , y V ( C n + 2 ) . Let w n , f V ( C n + 2 ) and w n V ( C 2 ) , f V ( C n + 4 ) . Let C = { x n , y } , D = { w n , f } and C , D V ( C n ) . By Lemma 3.4, there exist two internally disjoint ( C , D ) -paths, saying P n and R, subject to P n be the path joining x n and w n , subject to R be the path joining y and f. Similar to the subcase of y , z V ( C i + 2 ) for i [ n ] , we get T 1 , T 2 , , T n  n internally disjoint S-trees. Let m , z V ( C n + 4 ) and m V ( C 2 ) . By Lemma 2.3, H F Q n [ i = n + 3 n + 5 V ( C i ) ] is connected, then there exists a tree T connecting x , z , f and m. Let T n + 1 = x x y y z z R f f P n + 1 m m T .□
Lemma 3.6.
Let  C 1 , C 2 , , C 2 n  be the  2 n  clusters of  H F Q n  for  n 7  and  S = { x , y , z , w } V ( H F Q n ) . Let  | S V ( C i ) | = 2  and  | S V ( C j ) | = 2  for different  i , j [ 2 n ] , then there exist  n + 1  internally disjoint S-trees in  H F Q n .
Proof. 
w.l.o.g., suppose that | S V ( C 1 ) | = 2 , | S V ( C 2 ) | = 2 . Let x , y V ( C 1 ) and z , w V ( C 2 ) . By Lemma 2.5, κ ( C 1 ) = κ ( C 2 ) = n + 1 , then there exist n + 1 internally disjoint paths P 1 , P 2 , , P n + 1 joining x and y in C 1 and n + 1 internally disjoint paths P 1 , P 2 , , P n + 1 joining z and w in C 2 . Let x i V ( P i ) N ( x ) and z i V ( P i ) N ( z ) for i [ n + 1 ] . Let X ^ = { x , x 1 , x 2 , , x n + 1 } and Z ^ = { z , z 1 , z 2 , , z n + 1 } . Select n vertices from X ^ , namely X, subject to the external neighbor of arbitrary vertex in X doesn’t distribute in C 2 . As the same way, select n vertices from Z ^ , namely Z, subject to the external neighbor of arbitrary vertex in Z doesn’t distribute in C 1 . By Lemma 2.2, it can be done. w.l.o.g., suppose that X = { x 1 , x 2 , , x n } and Z = { z 1 , z 2 , , z n } . By ( 1 ) of Lemma 2.2, any vertex in X ( r e s p . Z ) with its external neighbor belongs to different clusters. Let vertex subset X = { x 1 , x 2 , , x n + 1 } and vertex subset Z = { z 1 , z 2 , , z n + 1 } .
Case 1.  There are two vertices in X ^ with the external neighbors distribute in C 2 .
By (2) of Lemma 2.2, two vertices x , x n + 1 V ( C 2 ) . By (1) of Lemma 2.2, any vertex in X ( r e s p . Z ) with its external neighbor belongs to different clusters. To avoid repetition, we just consider the vertices in X Z distribute in distinct clusters, as the discussion of some vertex x i belongs to the same cluster with z i is similar. Let x i V ( C i + 2 ) and z i V ( C n + i + 2 ) for i [ n ] . By Lemma 2.3, H F Q n [ j = i + 2 n + i + 2 V ( C j ) ] is connected, then there exists a tree T ^ i connecting x i and z i . Let T i = P i x i x i T ^ i P i z i z i for i [ n ] .
When x or x n + 1 distributes in V ( P i ) for some i [ n + 1 ] . w.l.o.g., assume that x n + 1 V ( P n + 1 ) . Let T n + 1 = P n + 1 x n + 1 x n + 1 P n + 1 .
Figure 8. The explanation about x or x n + 1 distributes in V ( P i ) of Case 1.
Figure 8. The explanation about x or x n + 1 distributes in V ( P i ) of Case 1.
Preprints 88393 g008
When x and x n + 1 don’t belong to V ( P i ) for i [ n + 1 ] . Since C 2 is connected, there is a path R joining x and z, that is R N C 2 ( z ) . w.l.o.g., let R N C 2 ( z ) = { z n + 1 } . Let T n + 1 = P n + 1 x x R P n + 1 .
Case 2.  There is only one vertex in X ^ with the external neighbor distributing in C 2 .
The proof is similar to that of Case 1.
Case 3.  None of the vertex in X ^ with their external neighbor distributes in C 2 .
To avoid repetition, we just consider the vertices in X Z distribute in distinct clusters, as the discussion of some vertex x i belongs to the same cluster with z i is similar. This can be done for n 7 . Let x i V ( C i + 2 ) and z i V ( C n + i + 3 ) for i [ n + 1 ] . By 2 of Lemma 2.1, C i + 2 is connected to C n + i + 3 , then there is a tree T ^ i connecting x i and z i . Let T i = P i x i x i T ^ i z i z i for i [ n + 1 ] .□
Lemma 3.7.
Let  C 1 , C 2 , , C 2 n  be the  2 n  clusters of  H F Q n  for  n 7  and  S = { x , y , z , w } V ( H F Q n ) . Let  | S V ( C i ) | = 2 ,  | S V ( C j ) | = 1  and  | S V ( C k ) | = 1  for different  i , j , k [ 2 n ] , then there exist   n + 1  internally disjoint S-trees in  H F Q n .
Proof. 
w.l.o.g., suppose that | S V ( C 1 ) | = 2 , | S V ( C 2 ) | = 1 and | S V ( C 3 ) | = 1 . Let { x , y } V ( C 1 ) , z V ( C 2 ) and w V ( C 3 ) . By Lemma 2.5, κ ( C 1 ) = n + 1 , then there are n + 1 internally disjoint paths P 1 , P 2 , , P n + 1 joining x and y in C 1 . Let x i V ( P i ) N ( x ) for i [ n + 1 ] and X = { x 1 , x 2 , , x n + 1 , x } . Note that, it is possible that y X . In fact, to avoid repetition, we only consider the case of y X .
Case 1.  There exist three cross edges between X and V ( C 2 C 3 ) .
Figure 9. The explanation of Case 1.
Figure 9. The explanation of Case 1.
Preprints 88393 g009
w.l.o.g., assume that there are two cross edges between X and C 2 and one cross edge between X and C 3 . By Lemma 2.2, suppose that x , x n + 1 V ( C 2 ) and x n V ( C 3 ) . Let x i V ( C i + 3 ) , where i [ n 1 ] . Since C i + 3 is connected, there is a tree T ^ i connecting z i , w i and x i in C i + 3 and such that z i V ( C 2 ) , w i V ( C 3 ) . There are two cross edges between C 1 and C 2 , then z H F Q n [ V ( C 1 C 2 C i + 3 ) ] for i [ n 1 ] . w.l.o.g., let z V ( C n + 3 ) . Since C n + 3 is connected, there is a path R joining z and m in C n + 3 and such that m V ( C 3 ) . Let Z = { z 1 , z 2 , , z n 1 , x , x n + 1 } and W = { w 1 , w 2 , , w n 1 , x n , m } . By Lemma 3.3, there exist n + 1 internally disjoint paths P 1 , P 2 , , P n + 1 between z and Z, subject to z i V ( P i ) , x V ( P n ) and x n + 1 V ( ( P n + 1 ) for i [ n 1 ] . Similarly, there are n + 1 internally disjoint paths P ^ 1 , P ^ 2 , , P ^ n + 1 from w to W, such that w i V ( P ^ i ) , x n V ( P ^ n ) and m V ( P ^ n + 1 ) for i [ n 1 ] . Let T i = P i x i x i T ^ i z i z i P i w i w i P ^ i for i [ n 1 ] , T n = P n x x P n x n x n P ^ n and T n + 1 = P n + 1 x n + 1 x n + 1 P n + 1 z z R m m P ^ n + 1 .
Case 2.  There exist two cross edges between X and V ( C 2 C 3 ) .
Case 2.1.  There are two cross edges between X and C 2 .
w.l.o.g., suppose that x , x n + 1 V ( C 2 ) . Similar to Case 1, we by replacing subset Z = { z 1 , z 2 , , z n 1 , x , x n + 1 } to subset Z = { z 1 , z 2 , , z n , x n + 1 } and replacing subset W = { w 1 , w 2 , , w n 1 , x n , m } to subset W = { w 1 , w 2 , , w n , m } , we get T 1 , T 2 , T n 1 , T n + 1  n internally disjoint S-trees. As for the n-th S-tree, we changed T n = P n x x P n x n x n P ^ n into T n = P i x n x n T ^ n z n z n P n w n w n P ^ n .
Figure 10. The explanation of Case 2.1 .
Figure 10. The explanation of Case 2.1 .
Preprints 88393 g010
Case 2.2.  There is one cross edge between X and C 2 , the other between X and C 3 .
Case 2.2.1.  x , x i V ( C 2 C 3 ) for certain i [ n + 1 ] .
w.l.o.g., assume that x V ( C 2 ) , x n + 1 V ( C 3 ) . By Lemma 2.2, the vertices in { x 1 , x 2 , , x n } distribute in different clusters. Let x i V ( C i + 3 ) for i [ n ] . Since C i + 3 is connected, there exists a tree T ^ i connecting x i , z i , w i and such that z i V ( C 2 ) , w i V ( C 3 ) . Let Z = { z 1 , z 2 , , z n , x } and W = { w 1 , w 2 , , w n , x n + 1 } . By Lemma 3.3, there exist n + 1 internally disjoint paths P 1 , P 2 , , P n + 1 from z and Z, n + 1 internally disjoint paths P ^ 1 , P ^ 2 , , P ^ n + 1 from w to W and subject to z i V ( P i ) , x V ( P n + 1 ) , w i V ( P ^ i ) , x n + 1 V ( P ^ n + 1 ) , where i [ n ] . Let T i = P i x i x i T ^ i z i z i P i w i w i P ^ i , where i [ n ] . Let T n + 1 = P n + 1 x x P n + 1 x n + 1 x n + 1 P ^ n + 1 .
Case 2.2.2.  x i , x j V ( C 2 C 3 ) , for i j and i , j [ n + 1 ] .
w.l.o.g., suppose that x n V ( C 2 ) , x n + 1 V ( C 3 ) and x i V ( C i + 3 ) , where i [ n 1 ] .
When y V ( C 2 ) , by 2 of Lemma 2.1, x V ( C 1 C 2 C n + 2 ) . w.l.o.g., assume that x V ( C n + 3 ) . As C n + 3 is connected, there is a path Q joining x and m, subject to m V ( C 2 ) . Let Z = { z 1 , z 2 , , z n 1 , x n , m } . Note that, it is possible that z Z . To avoid repetition, we just consider the case of z Z , as the discussion of z Z is similar. By ( 2 ) of Lemma 2.1, z V ( C 1 C 2 C n + 3 ) . w.l.o.g., let z V ( C n + 4 ) . As C n + 4 is connected, there is a path R joining z and g and subject to g V ( C 3 ) . Let W = { w 1 , w 2 , , w n 1 , x n + 1 , g } . By the Lemma 2.4, κ ( C 2 ) = κ ( C 3 ) = n + 1 . By the Lemma 3.3, there are P 1 , P 2 , , P n + 1 n + 1 internally disjoint paths between z and Z and P ^ 1 , P ^ 2 , , P ^ n + 1 n + 1 internally disjoint paths between w and W such that z i V ( P i ) , x n V ( P n ) , m V ( P n + 1 ) and w i V ( P ^ i ) , g V ( P ^ n ) , x n + 1 V ( P ^ n + 1 ) for i [ n 1 ] . Let T i = P i x i x i T ^ i z i z i P i w i w i P ^ i , where i [ n 1 ] , T n = P n x n x n P n z z R g g P ^ n and T n + 1 = P n + 1 x n + 1 x n + 1 P ^ n + 1 x x Q m m P n + 1 .
Figure 11. The explanation of y V ( C 2 ) of Case 2.2 . 2 .
Figure 11. The explanation of y V ( C 2 ) of Case 2.2 . 2 .
Preprints 88393 g011
When y V ( C 3 ) , similar to the situation of y V ( C 2 ) , we obtain n + 1 internally disjoint S-trees.
When y V ( C i + 3 ) , for certain i [ n 1 ] . Similar to the situation of y V ( C 2 ) , we obtain n + 1 internally disjoint S-trees.
When y V ( H F Q n ) i = 1 n + 2 V ( C i ) . w.l.o.g., assume that y V ( C n + 3 ) . Since C n + 3 is connected, there is a path M joining y and m, subject to m V ( C 2 ) . Let Z = { z 1 , z 2 , , z n 1 , x n , m } and W = { w 1 , w 2 , , w n 1 , g , x n + 1 } and subject to g V ( C 2 ) . By the Lemma 2.4, κ ( C 2 ) = κ ( C 3 ) = n + 1 . By the Lemma 3.3, there are P 1 , P 2 , , P n + 1 n + 1 internally disjoint paths between z and Z, P ^ 1 , P ^ 2 , , P ^ n + 1 n + 1 internally disjoint paths from w to W such that z i V ( P i ) , x n V ( P n ) , m V ( P n + 1 ) and w i V ( P ^ i ) , g V ( P ^ n ) , x n + 1 V ( P ^ n + 1 ) , where i [ n 1 ] . We obtain T 1 , T 2 , , T n 1 n 1 internally disjoint S-trees, similar to the situation of y V ( C 2 ) . Let T n + 1 = P n + 1 x n + 1 x n + 1 P ^ n + 1 y y M m m P n + 1 . For the n-th tree, we consider the following two situations. First, assume that m V ( P i ) for certain i [ n + 1 ] . w.l.o.g., suppose that g V ( P n ) . Let T n = P n x n x n P n g g P ^ n . Next, suppose that g V ( P i ) for i [ n + 1 ] . As C 2 is connected, there is a path Q joining z and g . That is, R N ( z ) . w.l.o.g., let R N ( z ) = { z n } , that is R V ( P n ) = { z n } . Let T n = P n x n x n P n R g g P ^ n .
Case 3.  There exist one cross edge between X and V ( C 2 C 3 ) .
Suppose that the cross edge is between X and V ( C 2 ) .
Case 3.1.  x V ( C 2 ) .
By Lemma 2.2, the vertices in { x 1 , x 2 , , x n + 1 } distribute in distinct clusters of H F Q n . Let x i V ( C i + 3 ) , where i [ n + 1 ] . Since C i + 3 is connected, there is a tree T ^ i connecting x i , z i , w i and subject to z i V ( C 2 ) , w i V ( C 3 ) , where i [ n + 1 ] . Let subset Z = { z 1 , z 2 , , z n + 1 } and subset W = { w 1 , w 2 , , w n + 1 } . By Lemma 2.4, κ ( C 2 ) = κ ( C 3 ) = n + 1 . By Lemma 3.3, there are P 1 , P 2 , , P n + 1 n + 1 internally disjoint paths between z and Z, P ^ 1 , P ^ 2 , , P ^ n + 1 n + 1 internally disjoint paths between w and W. Let T i = P i x i x i T ^ i z i z i P i w i w i P ^ i for i [ n + 1 ] .
Figure 12. The explanation of Case 3.1 .
Figure 12. The explanation of Case 3.1 .
Preprints 88393 g012
Case 3.2.  x i V ( C 2 ) for some i [ n + 1 ] .
w.l.o.g., suppose that x n + 1 V ( C 2 ) and x i V ( C i + 3 ) for i [ n ] .
When x V ( C n + 4 ) . By Lemma 2.2, the vertices in { x 1 , x 2 , , x n } distribute in different clusters of H F Q n . Let x i V ( C i + 3 ) for i [ n ] . Since C i + 3 is connected, then there is a tree T ^ i connecting x i , z i , w i and subject to z i V ( C 2 ) , w i V ( C 3 ) , where i [ n ] . Let Z = { z 1 , z 2 , , z n , x n + 1 } , W = { w 1 , w 2 , , w n , m } and subject to m V ( C n + 4 ) . By Lemma 2.4, κ ( C 2 ) = κ ( C 3 ) = n + 1 . By Lemma 3.3, there are P 1 , P 2 , , P n + 1 n + 1 internally disjoint paths between z and Z subject to z i V ( P i ) , x n + 1 V ( P n + 1 ) , n + 1 internally disjoint paths P ^ 1 , P ^ 2 , , P ^ n + 1 from w to W subject to w i V ( P ^ i ) , m V ( P ^ n + 1 ) for i [ n ] . Since C n + 4 is connected, then there exist a path R joining x and m . Let T i = P i x i x i T ^ i z i z i P i w i w i P ^ i , where i [ n ] . Let T n + 1 = P n + 1 x n + 1 x n + 1 P n + 1 x x R m m P ^ n + 1 .
Figure 13. The explanation of x V ( C n + 4 ) of Case 3.2 .
Figure 13. The explanation of x V ( C n + 4 ) of Case 3.2 .
Preprints 88393 g013
When x V ( C i + 3 ) , by Lemma 2.2, y V ( C 3 ) or y H F Q n [ i = n + 4 2 n V ( C i ) ] , similar to the case of x V ( C n + 4 ) , we get n + 1 internally disjoint S-trees.
Case 4.  There is no cross edge between X and V ( C 2 C 3 ) .
Similar to that of Case 3.1 , we get n + 1 internally disjoint S-trees.□
Lemma 3.8.
Let  C 1 , C 2 , , C 2 n  be the  2 n  clusters of  H F Q n  for  n 7  and  S = { x , y , z , w } V ( H F Q n ) . Let  | S V ( C i ) | = 1 ,   | S V ( C j ) | = 1 ,  | S V ( C k ) | = 1  and  | S V ( C l ) | = 1  for different  i , j , k , l [ 2 n ] , then there exist  n + 1  internally disjoint S-trees in  H F Q n .
Figure 14. The explanation of Lemma 3.8.
Figure 14. The explanation of Lemma 3.8.
Preprints 88393 g014
Proof. 
w.l.o.g., suppose that | S V ( C 1 ) | = 1 , | S V ( C 2 ) | = 1 , | S V ( C 3 ) | = 1 and | S V ( C 4 ) | = 1 . Let x V ( C 1 ) , y V ( C 2 ) , z V ( C 3 ) and w V ( C 4 ) . Let X = { x 1 , x 2 , , x n + 1 } V ( C 1 ) , Y = { y 1 , y 2 , , y n + 1 } V ( C 2 ) , Z = { z 1 , z 2 , , z n + 1 } V ( C 3 ) , W = { w 1 , w 2 , , w n + 1 } V ( C 4 ) . By Lemma 2.5, κ ( C 1 ) = κ ( C 2 ) = κ ( C 3 ) = κ ( C 4 ) = n + 1 , then there are n + 1 internally disjoint paths P 1 , P 2 , , P n + 1 from x and X in C 1 , n + 1 internally disjoint paths P 1 , P 2 , , P n + 1 from y and Y in C 2 , n + 1 internally disjoint paths P ^ 1 , P ^ 2 , , P ^ n + 1 from z and Z in C 3 , n + 1 internally disjoint paths P ˜ 1 , P ˜ 2 , , P ˜ n + 1 from z and Z in C 4 , such that x i V ( P i ) , y i V ( P i ) , z i V ( P ^ i ) , z i V ( P ˜ i ) and such that { x i , y i , z i , w i } V ( C i + 4 ) for i [ n + 1 ] . Since C i + 4 is connected, there exists a tree T ^ i connecting x i , y i , z i , w i in C i + 4 for i [ n + 1 ] . Let T i = T ^ i x i x i y i y i z i z i w i w i P i P i P ^ i P ˜ i for i [ n + 1 ] .□
Theorem 3.3.
κ 4 ( H F Q n ) = n + 1 , for  n 7 .
Proof. 
By Lemma 2.5, κ ( H F Q n ) = n + 2 . By Lemma 3.1, κ 4 ( H F Q n ) δ ( H F Q n ) 1 = n + 1 . By Lemma 3.5, Lemma 3.6, Lemma 3.7, Lemma 3.8, we obtain that κ 4 ( H F Q n ) n + 1 . Thus, the result holds.□

4. Concluding remarks

The hierarchical folded hypercube H F Q n is a more popular topology for designing the internetworks due to its regularity, symmetry and many other unique properties. As one of the important variants of the hypercube, hierarchical folded hypercube has received more attention and many research results on hierarchical folded hypercube have emerged. We mainly study the 4-set tree connectivity of hierarchical folded hypercube and obtain that κ 4 ( H F Q n ) = n + 1 for n 7 . Currently, there are few results about k-set tree connectivity of networks when k = 4 and most of the results are about k = 3 . Our future work would like to consider the k-set tree connectivity of some network for k 5 and it will be a great challenge.

Funding

Supported by Qinghai University Science Foundation of China (No. 2023-QGY-6), the National Science Foundation of China (Nos. 12261074, 12201335 and 11661068)

References

  1. Bondy, J.A.; Murty, U.S.R. Graph Theory; Springer: New York, 2008. [Google Scholar]
  2. Whitney, H. Congruent graphs and connectivity of graphs. J. Amer Math Soc. 1932, 54, 150–168. [Google Scholar] [CrossRef]
  3. Chartrand, G.; Kappor, S.; Lesniak, L. Generalized connectivity in graphs. Bombay Math 1984, 2, 1–6. [Google Scholar]
  4. Li, H.; Li, X.; Mao, Y.; Sun, Y. Note on the generalized connectivity. Ars Combin 2014, 114, 193–202. [Google Scholar]
  5. Li, S.; Li, X.; Zhou, W. Sharp bounds for the generalized connectivity. Discrete Math 2010, 310, 2147–2163. [Google Scholar] [CrossRef]
  6. Li, H.; Wu, B.; Meng, J.; Mao, Y. Steiner tree packing number and tree connectivity. Discrete Math 2018, 341, 1945–1951. [Google Scholar] [CrossRef]
  7. Chartrand, G.; Okamoto, F.; Zhang, P. Rainbow trees in graphs and generalized connectivity. Networks 2010, 55, 360–367. [Google Scholar] [CrossRef]
  8. Li, H.; Li, X.; Sun, Y. The generalized 3-connectivity of Cartesian product graphs. Discrete Math Theor Comput Sci 2012, 14, 43–54. [Google Scholar] [CrossRef]
  9. Li, H.; Ma, Y.; Yang, W.; Wang, Y. The generalized 3-connectivity of graph products. Appl Math Comput 2017, 295, 77–83. [Google Scholar] [CrossRef]
  10. Li, S.; Li, W.; Li, X. The generalized connectivity of complete bipartite graphs. Ars Combin 2012, 104, 65–79. [Google Scholar] [CrossRef]
  11. Zhao, S.; Hao, R. The generalized connectivity of alternating group graphs and (n,k)-star graphs. Discrete Appl Math 2018, 251, 310–321. [Google Scholar] [CrossRef]
  12. Lin, S.; Zhang, Q. The generalized 4-connectivity of hypercubes. Discret Appl Math 2017, 220, 60–67. [Google Scholar] [CrossRef]
  13. Zhao, S.; Hao, R. The generalized 4-connectivity of exchanged hypercubes. Appl Math Comput 2019, 347, 342–353. [Google Scholar] [CrossRef]
  14. Zhao, S.; Hao, R.; Cheng, E. Two kinds of generalized connectivity of dual cubes. Discret Appl Math 2019, 257, 306–316. [Google Scholar] [CrossRef]
  15. Zhao, S.; Hao, R.; Wu, J. The generalized 4-connectivity of hierarchical cubic networks. Discret Appl Math 2021, 289, 194–206. [Google Scholar] [CrossRef]
  16. Li, X.; Mao, Y. Generalized Connectivity of Graphs; Springer Cham Publishing, 2016. [Google Scholar]
  17. Sun, Y.; Li, X. On the difference of two generalized connectivities of a graph. J Combin Optim 2017, 33, 283–291. [Google Scholar] [CrossRef]
  18. Sun, Y.; Li, F.; Jin, Z. On two generalized connectivities of graphs. Disc Math Theo 2018, 38, 245–261. [Google Scholar]
  19. Li, X.; Mao, Y. A survey on the generalized connectivity of graphs. Comput Sci 2012. [CrossRef]
  20. EL-Amawy, A.; Latifi, S. Properties and performance of folded hypercubes. IEEE Trans. Parallel Distrib. Syst. 1991, 2, 31–42. [Google Scholar] [CrossRef]
  21. Sun, X.; Dong, Q.; Zhou, S.; et al. Fault tolerance analysis of hierarchical folded cube. Theor Comput Sci 2019, 790, 117–130. [Google Scholar] [CrossRef]
  22. Li, S.; Tu, J.; Yu, C. The generalized 3-connectivity of star graphs and bubble-sort graphs. Appl Math Comput 2016, 274, 41–46. [Google Scholar] [CrossRef]
  23. Li, C.; Lin, S.; Li, S. The 4-set tree connectivity of (n,k)-star networks. Theor Comput Sci 2020, 844, 81–86. [Google Scholar] [CrossRef]
  24. Wang, J.; Zou, J.; Zhang, S. The generalized 4-connectivity of hierarchical star networks. Open Math 2022, 20, 1261–1275. [Google Scholar] [CrossRef]
  25. Wang, J.; Zhang, S.; Ge, H. The generalized 3-connectivity of folded hypercubes. Journal of Shandong Univerdity 2022, 27, 42–49. [Google Scholar] [CrossRef]
  26. Li, H.; Cheng, D. The generalized 4-connectivty of folded hypercube. International Journal of Computer Mathematics: Computer Systems Theory 2022, 7, 235–245. [Google Scholar] [CrossRef]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.
Copyright: This open access article is published under a Creative Commons CC BY 4.0 license, which permit the free download, distribution, and reuse, provided that the author and preprint are cited in any reuse.
Prerpints.org logo

Preprints.org is a free preprint server supported by MDPI in Basel, Switzerland.

Subscribe

© 2024 MDPI (Basel, Switzerland) unless otherwise stated