Wirelength of Enhanced Hypercube into Windmill and Necklace Graphs

An embedding of an interconnection network into another is one of the main issues in parallel processing and computing systems. Congestion, dilation, expansion and wirelength are some of the parameters used to analyze the efficiency of an embedding in which resolving the wirelength problem reduces time and cost in the embedded design. Due to the potential topological properties of enhanced hypercube, it has become constructive in recent years, and a lot of research work has been carried out on it. In this paper, we use the edge isoperimetric problem to produce the exact wirelengths of embedding enhanced hypercube into windmill and necklace graphs.


Introduction
Graph theory is one of the most interesting branches of mathematics, with wide applications in the domain of computer science, leading to the choice of a network in the development of parallel computers on a commercial basis.An interconnection network can be modeled by a graph, in which processors and links between processors are denoted as vertices and edges of a graph, respectively.Interconnection network has many advantages and inherent applications in the field of system designs such as scheduling of multiprocessor systems and distributed systems.The problem of efficiently implementing a parallel algorithm developed for one network into another can be modeled by a graph-embedding problem [1].A graph embedding of a guest graph G into a host graph H is defined by a bijective mapping f : V(G) → V(H) together with a mapping P f which assigns to each edge (u, v) of G a path between f (u) and f (v) in H [2].
An edge congestion of an embedding of G into H is the maximum number of edges of a graph G that are embedded on any single edge of H. Let EC f (e) denote the number of edges (u, v) of graph G such that e is in a path P f ((u, v)) between f (u) and f (v) of H [2,3].In other words, The wirelength of an embedding f of G into H is computed by The wirelength of G into H is defined as where the minimum is taken over all embeddings f of G into H.The wirelength problem of a graph embedding emerges from VLSI designs [4], networks for parallel computer systems [5] and structural engineering [6,7].
Wirelength problems have been considered for enhanced hypercube into wounded lobsters [8], r-rooted complete binary tree [1], complete binary tree [9], caterpillar and path [10].The wirelength of hypercubes into necklace, windmill and snake graphs have been examined in [11].In this paper, we explore the exact wirelength of enhanced hypercube into necklace and windmill graphs and the main contributions are presented in Theorems 2, 3 and 4.
The rest of the paper is organized as follows.In Section 2, we study edge isoperimetric problem and 2-partition lemma.Enhanced hypercube and its properties will be discussed in Section 3. In Section 4, we compute the minimum wirelength of embedding enhanced hypercube into windmill and necklace graphs.Finally, Section 5 concludes the paper.

Edge Isoperimetric Problem
Consider an interesting NP-complete problem [12] namely combinatorial isoperimetric problem which optimizes or selects the best structure among several possibilities and arises naturally in communication engineering, computer science, physical sciences and mathematics [13].The following two versions of the EIP of a graph G have been considered in the literature [14][15][16].
EIP (1): Find a subset of the vertices of a given graph such that the edge cut separating this subset from its complement has minimal size among all subsets of the same cardinality.
Mathematically, if for a given m, where Such subsets are called optimal with respect to EIP (1).If a set of vertices is optimal with respect to EIP (1), then it is trivial that its complement is also optimal to EIP (1).
EIP (2): Find a subset of the vertices of a given graph such that the number of edges in the subgraph induced by this subset is maximal among all induced subgraphs with the same number of vertices.
Mathematically, if for a given m, where m = 1, 2, . . ., |V|, Such subsets are called optimal with respect to EIP (2).Clearly, if a subset of vertices is optimal with respect to EIP (2), then its complement is also an optimal set only for regular graphs and moreover, if a subset of vertices is optimal with respect to EIP (2), it is also optimal with respect to EIP (1).In the case of non-regular graphs, if a subset of vertices is optimal with respect to EIP (2), it need not be optimal to EIP (1) and there is no specific condition to optimality [16].
We now state the congestion and partition lemmas which will be used to compute the exact wirelengths in our paper.Lemma 1. (Congestion Lemma) [3] Let G be an r-regular graph and f be an embedding of G into H.Let S be an edge cut of H such that the removal of edges of S leaves H into two components H 1 and H 2 and let G  (2-Partition Lemma) [17] Let f : G → H be an embedding.Let [2E(H)] denote a collection of edges of H repeated exactly 2 times.Let {S 1 , S 2 , . . ., S m } be a partition of [2E(H)] such that each S i is an edge cut of H. Then

Properties of Enhanced Hypercubes
The hypercube (Q n ) has received extensive attention in view of its regular structure, small diameter and good connection with a relatively small vertex degree [7,18].As the effort to improve its efficiency, several variants of Q n have been proposed.
In many variants of hypercube, the topological structure of enhanced hypercube network (Q n,k ) is considered to be a significant topology due mainly to its reliability, efficiency and the fault tolerance of Q n,k are better than Q n , which shows that the enhanced hypercube is an excellent choice of network topology to improve traffic distributions, bandwidth capabilities and performance in parallel processing computer systems [18].
are called hypercube edges and the remaining edges of Q n,k are called complementary edges.

Computation of Wirelength
In this section, we compute the exact wirelength of enhanced hypercubes into windmill and necklace graphs.The basic definitions and results to obtain the minimum wirelength are explained as follows.
Let the binary representation of 2 i + p be α 1 α 2 . . .α n .Then the binary representation of p is 00 . . .00 Suppose the binary representations of x and y are Then, ϕ(x) = 00 . . .00 ) ⇔ the binary representation of x and y differ in exactly one bit ⇔ the binary representation of ϕ(x) and ϕ(y) differ in exactly one bit ⇔ (ϕ(x), ϕ(y Suppose the binary representations of x and y are Then, ϕ(x) = 00 . . .00 ) ⇔ the binary representations of x and y differ from the k th to n th bits ⇔ the binary representations of ϕ(x) and ϕ(y) differ from the k th to n th bits ⇔ From the above cases and Theorem 1, we infer that Ncut S 2 i i is an optimal set in Q n,k .
The following result is an easy consequence of Lemma 4.
Proof.The proof is divided into three parts A, B, and C comprising of the embedding algorithm, proof of correctness, and computation of wirelength, respectively.

Part A:
Label the vertices of Q n,k by lexicographic order from 0 to 2 n − 1. Label the vertices of K t 1 in W M(K t 1 , K t 2 , . . ., K t m ) as 0, 1, 2, . . ., t 1 − 1 such that t 1 − 1 is the label of common vertex s.For 2 ≤ i ≤ m, label the vertices of

Part B:
We assume that the labels represent the vertices to which they are assigned.Table 1 gives the notations for edge cuts of windmill graph as depicted in Figure 1.

Cut Notation
Elements in the Cut Range The edge cut S i of W M(K t 1 , K t 2 , . . . ,K t m ) disconnects W M(K t 1 , K t 2 , . . ., K t m ) into two components X i and X i where V(X i ) = {w i−1 , w i−1 + 1, . . ., w i−1 + t i − 2}.Let G i and G i be the preimage of X i and X i under f respectively.By Lemmas 4 & 5, G i is an optimal set and each S i satisfies conditions (i)-(iii) of the Congestion Lemma.Therefore, EC f (S i ) is minimum.
Similarly, the edge cut i and G j i be the preimage of X j i and X j i under f respectively.Since G j i is an optimal set and each S j i satisfies conditions (i) − (iii) of the Congestion Lemma.Therefore, EC f (S Therefore, the wirelength of enhanced hypercube into windmill graph is Definition 3 ([11]).Let K 1,m be a star graph on m + 1 vertices (say v 0 , v 1 , . . ., v m ) and K t i be complete graphs on t i vertices, K t i ) has v i as common.The resultant graph is called a complete star necklace and is denoted by SN(K 1,m ; K t 1 , K t 2 , . . . ,K t m ).
Proof.The proof technique is similar to Theorem 2 as divided into three parts A, B, and C.

Part A:
Label the vertices of Q n,k by lexicographic order from 0 to 2 n − 1.For 1 ≤ i ≤ m, label the vertices of K t i in SN(K 1,m ; K t 1 , K t 2 , . . ., K t m ) as s i−1 + j, j = 0, 1, 2, . . ., t i − 1 such that s i − 1 is the label of v i , and v 0 as 2 n − 1. Define an embedding f of Q n,k into SN(K 1,m ; K t 1 , K t 2 , . . ., K t m ) given by f (x) = x.

Part B:
We assume that the labels represent the vertices to which they are assigned.Table 2 gives the notations for edge cuts of complete star necklace graph as depicted in Figure 2.

Cut Notation
Elements in the Cut Range Let G i and G i be the preimage of X i and X i under f respectively.By Lemma 4, G i is an optimal set and each S i1 satisfies conditions (i)-(iii) of the Congestion Lemma.Therefore, and G i be the preimage of X i and X i under f respectively.By Lemma 5, G i is an optimal set and each S i satisfies conditions (i)-(iii) of the Congestion Lemma.Therefore, EC f (S i ) is minimum.
i and G j i be the preimage of X j i and X j i under f respectively.Since G j i is an optimal set and each S j i satisfies conditions (i) − (iii) of the Congestion Lemma.Therefore, EC f (S j ) is minimum.The 2-Partition Lemma implies that Part C: Therefore, the wirelength of enhanced hypercube into complete star necklace graph is given by Proof.We label the vertices of Q n,k by lexicographic order from 0 to 2 n − 1.For 1 ≤ i ≤ m, label the vertices of K t i in CN(K m ; K t 1 , K t 2 , . . ., K t m ) as c i−1 + j, j = 0, 1, 2, . . ., t i − 1 such that c i − 1 is the label of v i .Define an embedding f of Q n,k into CN(K m ; K t 1 , K t 2 , . . ., K t m ) given by f (x) = x.We assume that the labels represent the vertices to which they are assigned.Table 3 gives the notations for edge cuts of circular necklace graph as depicted in Figure 3.

Cut Notation
Elements in the Cut Range Let G i and G i be the preimage of X i and X i under f respectively.By Lemma 4, G i is an optimal set and each S i satisfies conditions (i) − (iii) of the Congestion Lemma.Therefore, EC f (S i ) is minimum.
The edge cut and G i be the preimage of X i and X i under f respectively.By Lemma 5, G i is an optimal set and each S i satisfies conditions (i)-(iii) of the Congestion Lemma.Therefore, EC f (S i ) is minimum.The edge cut S j i of CN(K m ; K t 1 , K t 2 , . . ., K t m ) disconnects CN(K m ; K t 1 , K t 2 , . . ., K t m ) into two components X j i and X j i where V(X j i ) = {c i−1 + j − 1}.Let G j i and G j i be the preimage of X j i and j i under f respectively.Since G j i is an optimal set and each S j i satisfies conditions (i)-(iii) of the Congestion Lemma.Therefore EC f (S j ) is minimum.The 2-Partition Lemma implies that W L f (Q n,k , CN(K m ; K t 1 , K t 2 , . . ., K t m )) = W L(Q n,k , CN(K m ; K t 1 , K t 2 , . . ., K t m )).Now, we have EC f (S i ) = (n + 1)t i − 2|E(Q n,k [L t i ])|, EC f (S i ) = (n + 1)(t i − 1) − 2|E(Q n,k [L t i −1 ])|, EC f (S j i ) = (n + 1) for all 1 ≤ i ≤ m, 1 ≤ j ≤ t i − 1.Therefore, the wirelength of enhanced hypercube into circular necklace graph is given by W L(Q n,k , CN(K m ; K t 1 , K t 2 , . . ., K t m ))

Conclusions
In this paper, we have computed the minimum wirelength of embedding enhanced hypercube into host graph such as windmill and necklace graphs by partitioning the edge set of the host graph.On comparing with the wirelength of hypercube into windmill and necklace graphs, we found that the computation varies by degree of enhanced hypercube.The results obtained in this paper would build a great impact on parallel computing systems.Furthermore, it would be an interesting line of research to compute the wirelength of general r-regular graph into windmill and necklace graphs.
Also S satisfies the following conditions:(i) For every edge (a, b) ∈ G i , i = 1, 2, P f ((a, b)) has no edges in S.(ii) For every edge (a, b) ∈ G with a ∈ G 1 and b ∈ G 2 , P f ((a, b)) has exactly one edge in S. (iii) G 1 is an optimal set.Then EC f (S) is minimum and EC f (S) = r|V(G 1 )| − 2|E(G 1 )|.

Theorem 4 .
The wirelength of Q n,k into CN(K

Table 1 .
Edge cuts in windmill graph.
≤ k ≤ m where t 0 = 0. Then the complete star necklace has s m + 1 = 2 n vertices, see Figure2.The edge cuts of complete star necklace SN(K 1,5

Table 2 .
Edge cuts in complete star necklace graph.
Definition 4([11]).Let K m be a complete graph on m vertices (say v 1 , v 2 , . . ., v m ) and K t i be complete graphs on t i vertices, 1 ≤ i ≤ m.Let t 1 = 2 r and t i = 2 r+i−2 for all 2 ≤ i ≤ m such that K m ( ) has v i as common.The resultant graph is called a circular necklace graph and is denoted by CN(K m ; K t 1 , K t 2 , . . ., K t m ).

Table 3 .
Edge cuts in circular necklace graph.