Rainbow Connection Numbers of WK-Recursive Networks and WK-Recursive Pyramids

: An edge coloring of a graph G results in G being rainbow connected when every pair of vertices is linked by a rainbow path. Such a path is defined as one where each edge possesses a distinct color. A rainbow coloring refers to an edge coloring that guarantees the rainbow connectedness of G . The rainbow connection number of G represents the smallest quantity of colors required to achieve rainbow connectedness under a rainbow coloring scheme. Wang and Hsu (ICICM 2019: 75–79) provided upper bounds on the size of the rainbow connection numbers in WK-recursive networks WK d , t and WK-recursive pyramids WKP d , n . In this paper, we revise their results and determine the exact values of the rainbow connection numbers of WK d ,2 for d = 3 and 4. The rainbow connection numbers of WK d ,2 are bounded between 4 and ⌊ d 2 ⌋ + 2 for d > 4. In addition to our previous findings, we further investigate and determine upper bounds for the size of the rainbow connection numbers of WKP d , n . This involves analyzing various aspects of the graph structure and exploring potential limitations on the rainbow connection numbers. By establishing these upper bounds, we gain deeper insights into the potential range and constraints of the rainbow connection numbers within the given context.


Introduction
When representing interconnection networks, it is customary to employ graphs wherein the vertices represent the processing nodes within the system and the edges signify the communication links between these nodes.The process of assigning colors to the edges of a graph G is known as edge coloring, which is essentially a function mapping the edge set E(G) to the set of natural numbers.This coloring scheme enables us to distinguish between different communication paths within the network based on the colors assigned to their corresponding edges.
defined as either a single vertex or a sequence of distinct vertices, where each consecutive pair of vertices v 1 → v 2 , v 2 → v 3 , . . ., v i−1 → v i forms an edge in G.In a graph G, where u and v are distinct vertices belonging to the vertex set V(G), a path linking u and v is defined as a u − v path.In an edge-colored graph G, where neighboring edges might share the same color, a u − v path is termed a rainbow u − v path if none of its edges share the same color.Consequently, an edge-colored graph G is rainbow connected if every pair of vertices u and v is connected by a rainbow u − v path.An edge coloring c that ensures the rainbow connectedness of G is referred to as a rainbow coloring.If k colors are utilized in this coloring scheme, then c is recognized as a rainbow k-coloring.The rainbow connection number of a connected graph G, denoted as rc(G), represents the smallest number of colors required to render G rainbow connected.
The concept of rainbow coloring in graphs was first introduced by Chartrand et al. [1] and has garnered significant attention due to its practical applications, particularly around ensuring the secure transfer of classified information among various agencies [2].This method is particularly crucial in scenarios where intermediary agencies are involved, as it facilitates secure communication by assigning unique passwords between the agencies.When pairs of agencies establish one or more secure paths, each with its distinct set of passwords, this establishes a secure network and reveals the rainbow connection inherent within the system.This revelation acts as a formidable deterrent against potential intruders, enhancing the overall security posture of the communication network.
Extensive discussions surrounding the problem and its myriad applications have been meticulously explored from a combinatorial perspective, as evidenced by the publication of over 150 papers dedicated to this subject matter.Furthermore, ongoing research endeavors continue to yield significant advancements, particularly in the exploration of various variants of rainbow coloring across diverse graph families.For a comprehensive overview of these developments, interested readers can refer to authoritative sources such as surveys [3,4] and a dedicated book [5], which provide insightful insights and analyses into the evolving landscape of rainbow coloring within graph theory.
Extensive research has been conducted on the rainbow connection number and rainbow coloring, exploring these concepts from both algorithmic and graph-theoretic perspectives.Scholars have delved into various aspects of these topics, investigating their theoretical foundations as well as their practical implications.Notably, Chakraborty et al. demonstrated that determining the rainbow connection number of a general graph is NPhard [6].In fact, even deciding whether rc(G) = 2 is already known to be an NP-complete problem.Similarly, determining whether a given edge-colored graph is rainbow connected is also NP-complete [6].An easy observation is that rc(G) = 1 if and only if G is a complete graph.In [7], Caro et al. provided valuable insights into the conditions under which the rainbow connection number of a graph G equals 2. Chartrand et al. investigated the rainbow connection numbers of a diverse range of graph structures, including complete graphs, trees, cages, wheel graphs, bipartite graphs, and multipartite graphs [1,8].Over the last decade, several researchers have studied the bounds of the rainbow connection numbers on 3-connected graphs [9], Cayley graphs [10], the comb product of graphs [11], the power graph of a finite group [12,13], and several graph operations such as the Cartesian product, lexicographic product, strong product, and union [14,15].This paper directs its focus towards elucidating the methodologies involved in constructing rainbow colorings for both a given WK-recursive network and a WK-recursive pyramid.WK-recursive networks, initially introduced in [16], represent a class of interconnection networks characterized by their recursive scalability.These networks are constructed hierarchically through the grouping of basic modules, resulting in structures that offer remarkable regularity and scalability.This inherent modular design of WK-recursive networks aligns well with the requirements of distributed systems, as highlighted in [16,17], comprising a multitude of computing elements.Building upon the foundation laid down by WK-recursive networks, the WK-recursive pyramid emerges as an interconnection network tailored for massively parallel computers, as outlined in [18].Utilizing the innate hierarchy at each tier, WK-recursive pyramids demonstrate adeptness in addressing a spectrum of issues in graph theory, digital geometry, image processing, and machine vision [18].Additionally, the fault-tolerant characteristics of WK-recursive pyramids position them as promising networks for dependable computing [18].In addition to their rainbow connectivity, WK-recursive pyramids exhibit several other advantageous properties.Notably, they boast small average distances and diameters along with substantial connectivity, scalability, and expandability.These attributes render WK-recursive pyramids highly suitable for both medium and large networks, presenting an optimal choice for scenarios in which efficiency and robustness are paramount considerations.Moreover, when compared to conventional mesh and traditional pyramid interconnection topologies, WK-recursive pyramids emerge as the superior alternative, offering enhanced performance and flexibility for a diverse range of applications, as highlighted in [18].Wang and Hsu [19] provided upper bounds on the size of the rainbow connection numbers in WK-recursive networks and WK-recursive pyramids.In this paper, we revise and improve their results.
The remainder of this article is organized as follows.Section 2 delves into the rainbow connection numbers of WK d,t .Building upon the findings regarding WK-recursive networks, Section 3 extends the investigation further to provide and determine upper bounds for the size of the rainbow connection numbers of WKP d,n .In the final section of this paper, we provide concluding remarks that summarize the key findings and contributions discussed throughout the study.

Results on WK-Recursive Networks
For d ∈ N, the set {0, 1, . . ., d − 1} is shortly denoted by [d] . .a j (x) j is called a j-frontier.An edge ⟨v, a t−1 a t−2 . . .a j (x) j ⟩ is said to be a j-flipping edge.An open edge is an edge incident on (a t−1 ) t , and (a t−1 ) t is called a corner vertex.
The open edge is reserved for further expansion; hence, its other end vertex is unspecified.For a vertex v ∈ V(WK d,t ), let σ i (v) and ρ i (v) denote the leftmost i digits and the i-th rightmost digit of the address of v, respectively (that is, A vertex can be denoted using a sequence of symbols drawn from the set [d] ∪ { * }, where * is a "don't care" symbol.The labeling represented by a t−1 a t−2 . . .a j+1 * a j−1 . . .a 1 a 0 depicts a set of vertices where the addresses differ solely in the digit a j . For vertices u and v in G, the distance between u and v, denoted dist G (u, v), is the length of the shortest u − v path in G.The diameter diam(G) of a graph G is defined as the maximum distance over all pairs of vertices in G.For a connected graph G, rc(G) ≥ diam(G), where diam(G) denotes the diameter of G.The inequality is true because any rainbow path between two vertices of distance diam(G) must use at least diam(G) different colors.WK d,t is a class of recursively scalable networks of diam(WK d,t ) = 2 t − 1 [20].We define a t−1 a t−2 . . .a i • WK d,i as a subgraph of WK d,t induced by the set of vertices a t−1 a t−2 . . .a i ( * ) i , that is, a t−1 a t−2 . . .a i • WK d,i is an embedded WK d,i with the identifier a t−1 a t−2 . . .a i .Figure 1 depicts WK 4,2 and WK 4,3 .In Figure 1a, the edge ⟨01, 02⟩ is identified as a substituting edge, whereas the edge ⟨01, 10⟩ serves as the 1-flipping edge, connecting the 1-frontiers 01 and 10.Open edges are incident with the corner vertices 00, 11, 22, and 33.The values of σ 1 (13), σ 2 (13), ρ 1 (13), and ρ 2 (13) are 1, 13, 3, and 1, respectively.In Figure 1b, 0 • WK 4,2 is a subgraph of WK 4,3 induced by the set of vertices 0( * ) 2 .WK 4,3 has the 2-flipping edges ⟨011, 100⟩, ⟨122, 211⟩, ⟨233, 322⟩, ⟨300, 033⟩, ⟨022, 200⟩, and ⟨133, 311⟩.
Chartrand et al. provided the rainbow connection numbers of complete graphs, trees, and cycles as the following results [1].
Because WK 2,t is in fact a path of length 2 t − 1, the next result follows directly from Proposition 1(a).
Because the diameter of a graph is a trivial lower bound, rc(WK d,t ) ≥ 2 t − 1.In standard practice, the color number assigned to an edge is typically denoted as (i) d , where i represents the string of digits and d denotes the base in which it is expressed.This notation allows for clear and concise representation of the assigned color, facilitating ease of interpretation and communication within the context of edge coloring in graphs.
Proof.We provide an edge coloring c w : E(WK d,t ) → {0, 1, . . ., d t−1 − 1} of WK d,t .For a vertex v = a t−1 a t−2 . . .a 1 a 0 , let all substituting edges incident on v be assigned the color (σ t−1 (v)) d .Then, d t−1 are needed to color the substituting edges.Taking Figure 1b as an example, every substituting edge incident on the vertex 310 is assigned the color σ 2 (310) = 31.The color assigned to a j-flipping edge e = ⟨v, a t−1 a t−2 . . .a j+1 a j−1 (a j ) j ⟩ is defined by or (a j−1 = 0 and a j = 1).Again using Figure 1b as an example, the 1-flipping edge e = ⟨001, 010⟩ is assigned the color σ 1 (001)2 = 02 and the 2-flipping edge e = ⟨011, 100⟩ is assigned the color σ 0 (011)2(0) 1 = 20.The colors assigned to the edges of the subnetwork a t−1 a t−2 . . .a j+1 • WK d,j+1 range from (a t−1 a t−2 . . .a j+1 (0) j ) d to (a t−1 a t−2 . . .a j+1 (d − 1) j ) d .We employ an inductive approach in order to show that c w constitutes a rainbow coloring of WK d,t , specifically working on induction with respect to t.When t = 1, WK d,1 takes the form of a complete graph with d vertices.According to Proposition 1(b), rc(WK d,1 ) = 1.We assume that this holds true for t = k > 1, and now proceed to examine the case when From the inductive hypothesis, we have a rainbow u − u k (v k ) k path P 1 with edge colors ranging from (u k (0) k−1 ) d to (u k (d − 1) k−1 ) d , and a rainbow v − v k (u k ) k path P 2 with edge colors ranging from (v k (0) k−1 ) d to (v k (d − 1) k−1 ) d .Our objective at this point is to demonstrate that the color number assigned to the k-flipping edge e = ⟨u k ( The exact value of rc(WK 3,2 ) is deduced directly from Theorem 1.

Corollary 2. rc(WK
For every C a , we refer the rainbow coloring of Proposition 1(c) and let the edges of C a be assigned the colors range from 0 to ⌈ d 2 ⌉ − 1.Let each substituting edge not in an outer cycle be assigned the color ⌈ d 2 ⌉ and every flipping edge not in an outer cycle be assigned the color ⌈ d 2 ⌉ + 1.We claim that the edge coloring c is a rainbow (⌈ d 2 ⌉ + 2)-coloring of WK d,2 .Let u = u 1 u 0 and v = v 1 v 0 be two nonadjacent vertices of WK d,2 and C u 1 , and let C v 1 be the outer cycle containing u and v, respectively.Recall that vertices u 1 v 1 and v 1 u 1 are both frontiers and that the flipping edge ⟨u 1 v 1 , v 1 u 1 ⟩ is assigned the color ⌈ d 2 ⌉ + 1 in c.We now show that u and v are connected by a rainbow u − v path.Because u and v are not adjacent, For the same reason, v → u 1 u 2 → u is a rainbow path when v is a frontier.For the case in which neither u nor v is a frontier, let P be a path from the vertex v 1 u 1 to v such that P is a subpath of the outer cycle of v • WK d,1 .Because P is a rainbow path and the edge of P is assigned the color ≤ ⌈ d 2 ⌉, the concatenation of the path u → u 1 v 1 → v 1 u 1 and P is a rainbow u − v path.

Results on WK-Recursive Pyramids
In this section, we present our methodology for edge coloring of WK-recursive pyramids, aiming to determine an upper bound for their rainbow connection numbers.Our approach involves developing a systematic edge coloring scheme tailored specifically for WK-recursive pyramids.Before delving into the coloring process, we provide a comprehensive definition of WK-recursive pyramids, elucidating their structural characteristics and recursive construction principles.Definition 2. An n-dimensional WK-recursive pyramid [18], denoted WKP d,n , consists of a set of vertices {(0)} ∪ {(l; a l−1 a l−2 . . .
and called layer l.The apex (0) is L 0 .A vertex v with the addressing scheme (l; a l−1 a l−2 . . .a 0 ) is a vertex at layer l.The part a l−1 a l−2 . . .a 0 of the address determines the address of v within L l .The children of v are the d vertices with the address scheme (l + 1; a l−1 a l−2 . . . The parent vertex of v, denoted by p(v), is the vertex (l − 1; a l−1 a l−2 . . .a 1 ).
An edge incident to a vertex and its parent vertex is called a vertical edge, while every edge within a layer is called a horizontal edge.WKP d,1 is a complete graph of order d + 1.Throughout the remainder of the paper, we focus our analysis on cases where n is greater than or equal to 2. A vertex u ̸ = v is an ancestor of v if u lies along the shortest path from v to the apex of the pyramid.WKP d,n has a small diameter 2n − 1, while the L i of WKP d,n for each large i has a large diameter 2 i − 1.The spirit of our algorithm is based on the following proposition.
), then in every rainbow u − v path there are an even number of vertical edges between layers i − 1 and i.
We propose an edge coloring c p on WKP d,n to establish an upper bound of rc(WKP d,n ).Let c p (e) denote the color number assigned to the edge e and c p (E) = e∈E c p (e) for an edge set E. For a dedicated layer number τ, the layers 0, 1, . . ., τ are called small layers, while the layers τ + 1, τ + 2, . . ., n are said to be large layers.For every two vertices u and v of a small layer L, we need to ensure that there is a rainbow u − v path containing only horizontal edges.If L is a large layer, then, from Proposition 2, we want to establish a rainbow u − v path that contains even number of vertical edges.The edge coloring of a small layer L i follows from the rainbow coloring c w defined in Section 2, while c p (E(L i )) = { 0, 1, . . ., d i−1 } for each small layer L i .Let the vertical edges between small layers i − 1 and i be assigned a color (n − τ) * d n−λ + τ − i, and let each large layer L i be partitioned into Every subnetwork with an address scheme (i; is regarded as a basic colored module and has a rainbow d λ−(n−i)−1 -coloring c w .All horizontal edges between two basic colored modules are not in any rainbow path, and can be left empty or simply assigned a color 0. We let all vertical edges incident on the vertices in (i; and their parent vertices be assigned identical colors, and assign the vertical edges incident on two distinct subnetworks of a layer distinct colors.Then, d n−λ colors are needed for assignment to the vertical edges between large layers, as there are d n−λ subnetworks of expansion level λ − (n − i) in a large layer.The formal definitions of the edge coloring c p on the substituting edges, flipping edges, and vertical edges are described as follows.
Definition 3. Let e h1 = ⟨(l; a l−1 . . .a 1 a 0 ), (l, a l−1 . . .a 1 [d] a 0 )⟩ be a substituting edge, e h2 = ⟨(l; a l−1 . . .a 1 a 0 ), (l, a l−1 . . .a j+1 a j−1 (a j ) j )⟩ a j-flipping edge, and Figure 2 demonstrates the coloring c p on WKP 4,3 , where λ = 2 and τ = 2. WKP 4,3 has only one large layer L 3 under c p .In Figure 2c, L 3 is partitioned into d n−λ = 4 subnetworks.Each subnetwork within L 3 operates as an independent basic color module, and as such is allocated the identical set of colors.From Theorem 1, the edges of each basic color module are assigned the color numbers in {00, 01, 02, 03}.The vertical edges ⟨(2; 3 * ), (3; 3( * ) 2 )⟩, from Definition 3, are assigned the color (3) 4 .Here, L 2 is the layer L τ .From Definition 3, every horizontal edge of L 2 is assigned a color greater than the color numbers used in a large layer (refer to Figure 2b).Then, the horizontal edge of L 2 is assigned the color numbers in {10, 11, 12, 13}. Figure 2a depicts the edge coloring on the small layer L 1 which connects to the apex.We now demonstrate that c p constitutes a rainbow coloring specifically tailored for a WK-recursive pyramid.This involves proving that c p satisfies the necessary conditions for rainbow connectedness within the structure of the pyramid.Consider the function l(v), which is defined as the layer number of vertex v. Proof.Let s, t ∈ V(WKP d,n ).If s and t are on the same subnetwork, then per Theorem 2 there exists a rainbow s − t path.When s and t reside in distinct subnetworks, we explore three cases based on their respective layer numbers l(s) and l(t).
Case 1. l(s) = 0.It is confirmed that vertex s is an ancestor of vertex t, establishing their hierarchical relationship within the network.We define P as the s − t path consisting solely of vertical edges, adhering to the criteria outlined in Definition 3.According to this definition, the edges comprising P are assigned unique color numbers, ensuring that no two edges within P share the same color.Case 2. 1 ≤ l(s) < τ.Consider a t , the ancestor of t located on layer l(s); according to Definition 3, we can establish the existence of a rainbow t − a t path, denoted as P 1 , which exclusively comprises vertical edges.Additionally, because layer l(s) constitutes a subnetwork, from Theorem 2 we can derive the presence of a rainbow s − a t path, referred to as P 2 , consisting solely of layer edges.It is evident that the combination of paths P 1 and P 2 forms a rainbow s − t path, thereby establishing connectivity between vertices s and t within the network.Case 3. τ ≤ l(s) ≤ n.Consider two vertices a s and a t located on layer x, serving as the respective ancestors of vertices s and t.According to Definition 3, we can establish the presence of a rainbow s − a s path, P 1 , and a rainbow t − a t path, P 2 , both comprised exclusively of vertical edges.Notably, the color numbers associated with P 1 and P 2 are less than or equal to (n − τ)d n−τ + (a τ−1 a τ−2 . . .a 1 ) d and (n − τ)d n−τ + d j−1 + (a τ−1 a τ−2 . . .a j ) d , respectively.Because layer τ corresponds to a WK d,τ , as established by Theorem 2, we can deduce the existence of a rainbow a s − a t path, denoted as P 3 , consisting exclusively of layer edges.Remarkably, each layer edge within P 3 possesses color numbers that surpass those of any vertical edge in P 1 and P 2 .As a consequence, combining the paths P 1 , P 3 and P 2 yields the formation of a rainbow s − t path.The rainbow coloring problem on the network WKP d,n is approached as a minimax optimization challenge.This involves the task of determining an optimal solution, denoted as Proof.Based on the results on WK-recursive networks, we will determine the value In such situations, we need to decide the values of τ and λ.For the large layer L τ+1 , if we apply the rainbow coloring c w on L τ+1 directly, than d τ colors are needed to color the edges of L τ+1 .Actually, L τ+1 is instead partitioned into subnetworks to satisfy the inequality In contrast, the small layer L τ should not be partitioned due to From inequalities (1) and (2), we have λ At this juncture, we are prepared to delve into a discussion regarding the two values Clearly, the sequence x 1 , x 2 , . . ., x n−⌊ n 2 ⌋−1 increases proportionally with the common ratio d, while y 1 , y 2 , . . ., y n−⌊ n 2 ⌋−1 decreases with a ratio near 1 d .Actually, d .Three cases can be considered depending on the values of x ϵ and y ϵ : Case 1: x 1 ≥ y 1 .The difference of x 1 and y 1 is the minimum among all differences of x i and y i .Then, rcn = x 1 ; thus, rc(WKP d,n ) ≤ d ⌊ n 2 ⌋ for the case d ⌊ n 2 ⌋ ≥ (⌊ n 2 ⌋ + 1)d n−(⌊ n 2 ⌋+1) (see Table 3).Case 2: y n−⌊ n 2 ⌋ ≥ x n−⌊ n 2 ⌋ .The difference of x n−⌊ n 2 ⌋−1 and y n−⌊ n 2 ⌋−1 is the minimum among all differences of x i and y i .Then, rcn = (n − 1)d; thus, rc(WKP d,n ) ≤ (n − 1)d for the case y n−⌊ n 2 ⌋ ≥ x n−⌊ n 2 ⌋ (see Table 2).
In Table 1, the grey cell x 1 is the minimum of x 1 , x 2 , x 3 , and x 4 , while the grey cell y 1 is the maximum of y 1 , y 2 , y 3 , and y 4 .Obviously, the difference of x 1 = 16, 807 and y 1 = 14, 406 is the minimum among all differences of x i and y i .Therefore, we obtain a rainbow 16, 807-coloring c p on WKP 7,10 when λ = ⌊ n 2 ⌋ + 1. Tables 2 and 3 provide the upper bounds of rc(WKP 7,3 ) and rc(WKP 5,10 ), respectively.

Concluding Remarks
The WK-recursive pyramid WKP d,n is structured upon the pyramid topology, comprising n layers of processing nodes.Each layer l of WKP d,n is organized as a WK-recursive network WK d,l with an expansion level of d times that of the layer directly above it.However, as the diameter of layer L n grows substantially for large values of d and n, it becomes imperative to partition L n into smaller WK-recursive subnetworks to achieve a reduced rainbow connection number.The expansion levels of these subnetworks serve as crucial parameters in algorithms aimed at determining rainbow connection numbers.In this paper, we undertake the task of determining the optimal expansion levels for these partitioned WK-recursive subnetworks, while additionally assessing whether a layer of WKP d,n should undergo partitioning based on its specific characteristics and requirements.
then u and v are in the same subnetwork u k • WK d,k ; thus, according to the inductive hypothesis, the assertion holds.Conversely, u and v reside in distinct subnetworks, with u belonging to subnetwork u k • WK d,k and v to subnetwork v k • WK d,k .

Theorem 3 .
The edge coloring c p is a rainbow coloring on WKP d,n , where d, n ≥ 2.
and the complement of a subset S of [d] is denoted by [d] S .

Table 1 .
The rainbow connection number (rcn) of WKP 7,10 under c p .

Table 2 .
The rainbow connection number (rcn) of WKP 7,3 under c p .

Table 3 .
The rainbow connection number (rcn) of WKP 5,10 under c p .