Next Article in Journal
Improved Whale Algorithm for Solving the Flexible Job Shop Scheduling Problem
Next Article in Special Issue
On Subtrees of Fan Graphs, Wheel Graphs, and “Partitions” of Wheel Graphs under Dynamic Evolution
Previous Article in Journal
The Optimality Region for a Single-Machine Scheduling Problem with Bounded Durations of the Jobs and the Total Completion Time Objective
Previous Article in Special Issue
Reformulated Zagreb Indices of Some Derived Graphs
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Wirelength of Enhanced Hypercube into Windmill and Necklace Graphs

1
School of Mathematics and Physics, Anhui Jianzhu University, Hefei 230601, China
2
Department of Mathematics, Loyola College, Chennai 600034, India
*
Author to whom correspondence should be addressed.
Mathematics 2019, 7(5), 383; https://doi.org/10.3390/math7050383
Submission received: 20 March 2019 / Revised: 18 April 2019 / Accepted: 19 April 2019 / Published: 26 April 2019
(This article belongs to the Special Issue Graph-Theoretic Problems and Their New Applications)

Abstract

:
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.

1. 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 E C 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,
E C f ( e ) = | { ( u , v ) E ( G ) : e P f ( ( u , v ) ) } | .
The wirelength of an embedding f of G into H is computed by
W L f ( G , H ) = ( u , v ) E ( G ) P f ( ( u , v ) ) = e E ( H ) E C f ( e ) .
The wirelength of G into H is defined as
W L ( G , H ) = m i n W L f ( G , H )
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.

2. 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 m = 1 , 2 , , | V | , θ G ( m ) = min A V , A = m | θ G ( A ) | , where θ G ( A ) = { ( u , v ) E : u A , v A } , then the problem is to find A V such that | A | = m and θ G ( m ) = | θ G ( A ) | . 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 | , I G ( m ) = max A V , A = m | I G ( A ) | , where I G ( A ) = ( u , v ) E : u , v A , then the problem is to find A V such that A = m and I G ( m ) = I G ( A ) . 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 1 = G [ f 1 ( H 1 ) ] and G 2 = G [ f 1 ( H 2 ) ] . 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 E C f ( S ) is minimum and E C f ( S ) = r | V ( G 1 ) | 2 | E ( G 1 ) | .
Lemma 2. 
(2-Partition Lemma) [17] Let f : G H be an embedding. Let [ 2 E ( H ) ] denote a collection of edges of H repeated exactly 2 times. Let { S 1 , S 2 , , S m } be a partition of [ 2 E ( H ) ] such that each S i is an edge cut of H. Then
W L f ( G , H ) = 1 2 i = 1 m E C f ( S i ) .

3. 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].
Definition 1
([19]). The enhanced hypercube Q n , k , 1 k n 1 , is an ( n + 1 ) -regular graph with vertex set V ( Q n , k ) = V ( Q n ) labeled as { 0 , 1 , 2 n 1 } and edge set E ( Q n , k ) = E ( Q n ) ( x 1 x 2 x k x k + 1 x n , x 1 x 2 x k 1 x ¯ k x ¯ k + 1 x ¯ n ) , x i = 0 o r 1 , 1 i n . The edges of Q n in Q n , k are called hypercube edges and the remaining edges of Q n , k are called complementary edges.
Remark 1.
| V ( Q n , k ) | = 2 n and | E ( Q n , k ) | = ( n + 1 ) 2 n 1 .
Theorem 1
([10]). For 1 i 2 n , L i = 0 , 1 , , i 1 is an optimal set in Q n , k .
Lemma 3
([10]). For 1 i 2 n , | E ( Q n , k [ L i ] ) | = | E ( Q n [ L i ] ) | + i 2 n k + 1 2 n k + [ x 2 n k ] + where x = i i 2 n k + 1 2 n k + 1 and
[ x ] + = 0 : x < 0 x : x 0 .

4. 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.
Lemma 4.
For i = 1 , 2 , , n 1 , N c u t S i 2 i = { 2 i , 2 i + 1 , , 2 i + 1 1 } is an optimal set in Q n , k .
Proof. 
Define φ : N c u t S i 2 i L 2 i by φ ( 2 i + p ) =p. Let the binary representation of 2 i + p be α 1 α 2 α n . Then the binary representation of p is 00 00 ( n i ) t i m e s α n i + 1 α n . To show that Q n , k [ N c u t S i 2 i ] is isomorphic to Q n , k [ L 2 i ] , we discuss the following cases for ( x , y ) E ( Q n , k [ N c u t S i 2 i ] ) .
Case 1. Let ( x , y ) be the hypercube edge in Q n , k [ N c u t S i 2 i ] . Suppose the binary representations of x and y are
x = α 1 α 2 α n i β 1 β 2 β k β i ,
y = α 1 α 2 α n i β 1 β 2 β ¯ k β i .
Then,
φ ( x ) = 00 00 ( n i ) t i m e s β 1 β 2 β k β i ,
φ ( y ) = 00 00 ( n i ) t i m e s β 1 β 2 β ¯ k β i .
hence ( x , y ) E ( Q n , k [ N c u t S i 2 i ] ) ⇔ 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 ) ) E ( Q n , k [ L 2 i ] ) .
Case 2. Let ( x , y ) be the complementary edge in Q n , k [ N c u t S i 2 i ] . Suppose the binary representations of x and y are
x = α 1 α 2 α 3 α n i α n i + 1 α k 1 α k α k + 1 α n 1 α n ,
y = α 1 α 2 α 3 α n i α n i + 1 α k 1 α ¯ k α ¯ k + 1 α ¯ n 1 α ¯ n .
Then,
φ ( x ) = 00 00 ( n i ) t i m e s α n i + 1 α k 1 α k α k + 1 α n ,
φ ( y ) = 00 00 ( n i ) t i m e s α n i + 1 α k 1 α ¯ k α ¯ k + 1 α ¯ n .
hence ( x , y ) E ( Q n , k [ N c u t S i 2 i ] ) ⇔ the binary representations of x and y differ from the k t h to n t h bits ⇔ the binary representations of φ ( x ) and φ ( y ) differ from the k t h to n t h bits ⇔ ( φ ( x ) , φ ( y ) ) E ( Q n , k [ L 2 i ] ) . Hence Q n , k [ N c u t S i 2 i ] and Q n , k [ L 2 i ] are isomorphic.
From the above cases and Theorem 1, we infer that N c u t S i 2 i is an optimal set in Q n , k . □
The following result is an easy consequence of Lemma 4.
Lemma 5.
For i = 1 , 2 , , n 1 , N c u t S i 2 i 1 = { 2 i , 2 i + 1 , , 2 i + 1 2 } is an optimal set in Q n , k .
Definition 2.
[11] Let K t i be a complete graph on t i vertices, 1 i m . Let t 1 = 2 r and t i = 2 r + i 2 + 1 for all 2 i m such that i = 1 m K t i has one vertex ( s ) as common. The resultant graph is called a windmill graph and is denoted by W M ( K t 1 , K t 2 , , K t m ) .
Remark 2.
We denote w k = i = 1 k ( t i 1 ) + 1 , 1 k m and w 0 = t 0 = 0 . Then the windmill graph has w m = 2 n vertices, see Figure 1.
Theorem 2.
The wirelength of Q n , k into W M ( K t 1 , K t 2 , , K t m ) is given by W L ( Q n , k , W M ( K t 1 , K t 2 , , K t m ) ) = 1 4 { ( n + 1 ) ( 2 n + 1 + 2 m + r 4 ) } i = 1 m | E ( Q n , k [ L t i 1 ] ) | .
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 K t i (except s) in W M ( K t 1 , K t 2 , , K t m ) as w i 1 + j , j = 0 , 1 , 2 , , t i 2 . Define an embedding f of Q n , k into W 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 1 gives the notations for edge cuts of windmill graph as depicted in Figure 1.
Then { S i : 1 i m } ∪ { S i j : 1 i m , 1 j t i 1 } is a partition of [ 2 E ( W M ( K t 1 , K t 2 , , K t m ) ) ] . 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, E C f ( S i ) is minimum.
Similarly, the edge cut S i j 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 j and X i j ¯ where V ( X i j ) = { w i 1 + j 1 } . Let G i j and G i j ¯ be the preimage of X i j and X i j ¯ under f respectively. Since G i j is an optimal set and each S i j satisfies conditions ( i ) ( i i i ) of the Congestion Lemma. Therefore, E C f ( S i j ) is minimum. The 2-Partition Lemma implies that W L f ( Q n , k , W M ( K t 1 , K t 2 , , K t m ) = W L ( Q n , k , W M ( K t 1 , K t 2 , , K t m ) .
Part C:
By Part B, we have E C f ( S i ) = ( n + 1 ) ( t i 1 ) 2 | E ( Q n , k [ L t i 1 ] ) | , E C f ( S i j ) = ( n + 1 ) for all 1 i m , 1 j t i 1 . Therefore, the wirelength of enhanced hypercube into windmill graph is given by W L ( Q n , k , W M ( K t 1 , K t 2 , , K t m ) = 1 2 i = 1 m { ( n + 1 ) ( t i 1 ) 2 | E ( Q n , k [ L t i 1 ] ) | } + n + 1 2 ( 2 n 1 ) = 1 4 { ( n + 1 ) ( 2 n + 1 + 2 m + r 4 ) } i = 1 m | E ( Q n , k [ L t i 1 ] ) | .  □
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, 1 i m . Let t 1 = 2 r , t i = 2 r + i 2 for all 2 i m 1 and t m = 2 r + m 2 1 such that K 1 , m ( i = 1 m K t i ) has v i as common. The resultant graph is called a complete star necklace and is denoted by S N ( K 1 , m ; K t 1 , K t 2 , , K t m ) .
Remark 3.
We denote s k = i = 0 k t i , 0 k m where t 0 = 0 . Then the complete star necklace has s m + 1 = 2 n vertices, see Figure 2.
Theorem 3.
W L ( Q n , k , S N ( K 1 , m ; K t 1 K t 2 , , K t m ) ) = 1 4 { ( n + 1 ) ( 2 n + 1 + 3 · 2 m + r 4 m 8 ) } i = 1 m { 2 | E ( Q n , k [ L t i ] ) | + | E ( Q n , k [ L t i 1 ] ) | } .
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 S N ( 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 S N ( 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.
Then { S i 1 , S i 2 , S i : 1 i m } ∪ { S i j : 1 i m , 1 j t i 2 } is a partition of [ 2 E ( S N ( K 1 , m ; K t 1 , K t 2 , , K t m ) ) ] . The edge cut S i 1 of S N ( K 1 , m ; K t 1 , K t 2 , , K t m ) disconnects S N ( K 1 , m ; K t 1 , K t 2 , , K t m ) into two components X i and X i ¯ where V ( X i ) = { s i 1 , s i 1 + 1 , , s i 1 } . 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 1 satisfies conditions (i)–(iii) of the Congestion Lemma. Therefore, E C f ( S i 1 ) is minimum. Similarly, E C f ( S i 2 ) is minimum.
The edge cut S i of S N ( K 1 , m ; K t 1 , K t 2 , , K t m ) disconnects S N ( K 1 , m ; K t 1 , K t 2 , , K t m ) into two components X i and X i ¯ where V ( X i ) = { s i 1 , s i 1 + 1 , , s i 2 } . Let G i 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, E C f ( S i ) is minimum.
The edge cut S i j of S N ( K 1 , m ; K t 1 , K t 2 , , K t m ) disconnects S N ( K 1 , m ; K t 1 , K t 2 , , K t m ) into two components X i j and X i j ¯ where V ( X i j ) = { s i 1 + j 1 } . Let G i j and G i j ¯ be the preimage of X i j and X i j ¯ under f respectively. Since G i j is an optimal set and each S i j satisfies conditions ( i ) ( i i i ) of the Congestion Lemma. Therefore, E C f ( S j ) is minimum. The 2-Partition Lemma implies that W L f ( Q n , k , S N ( K 1 , m ; K t 1 , K t 2 , , K t m ) ) = W L ( Q n , k , S N ( K 1 , m ; K t 1 , K t 2 , , K t m ) ) .
Part C:
By Part B, we have E C f ( S i 1 ) = E C f ( S i 2 ) = ( n + 1 ) t i 2 | E ( Q n , k [ L t i ] ) | , E C f ( S i ) = ( n + 1 ) ( t i 1 ) 2 | E ( Q n , k [ L t i 1 ] ) | , E C f ( S i j ) = ( n + 1 ) for all 1 i m , 1 j t i 1 . Therefore, the wirelength of enhanced hypercube into complete star necklace graph is given by W L ( Q n , k , S N ( K 1 , m ; K t 1 , K t 2 , , K t m ) ) = i = 1 m { ( n + 1 ) t i 2 | E ( Q n , k [ L t i ] ) | } + 1 2 i = 1 m { ( n + 1 ) ( t i 1 ) 2 | E ( Q n , k [ L t i 1 ] ) | } + n + 1 2 ( 2 n m 1 ) = 1 4 { ( n + 1 ) ( 2 n + 1 + 3 ( 2 m + r ) 4 m 8 ) } i = 1 m { 2 | E ( Q n , k [ L t i ] ) | + | E ( Q n , k [ L t i 1 ] ) | } . □
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 ( i = 1 m K t i ) has v i as common. The resultant graph is called a circular necklace graph and is denoted by C N ( K m ; K t 1 , K t 2 , , K t m ) .
Remark 4.
We denote c k = i = 0 k t i , 0 k m where t 0 = 0 . Then the circular necklace has c m = 2 n vertices, see Figure 3.
Theorem 4.
The wirelength of Q n , k into C N ( K m ; K t 1 , K t 2 , , K t m ) is given by W L ( Q n , k , C N ( K m ; K t 1 , K t 2 , , K t m ) ) = 1 2 { ( n + 1 ) ( 2 m + r + 2 n 2 m ) } i = 1 m { | E ( Q n , k [ L t i ] ) | + | E ( Q n , k [ L t i 1 ] ) | } .
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 C N ( 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 C N ( 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.
Then { S i , S i : 1 i m } ∪ { S i j : 1 i m , 1 j t i 2 } is a partition of [ 2 E ( C N ( K m ; K t 1 , K t 2 , , K t m ) ) ] . The edge cut S i of C N ( K m ; K t 1 , K t 2 , , K t m ) disconnects C N ( K m ; K t 1 , K t 2 , , K t m ) into two components X i and X i ¯ where V ( X i ) = { c i 1 , c i 1 + 1 , , c i 1 } . 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 ) ( i i i ) of the Congestion Lemma. Therefore, E C f ( S i ) is minimum.
The edge cut S i of C N ( K m ; K t 1 , K t 2 , , K t m ) disconnects C N ( K m ; K t 1 , K t 2 , , K t m ) into two components X i and X i ¯ where V ( X i ) = { c i 1 , c i 1 + 1 , , c i 2 } . Let G i 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, E C f ( S i ) is minimum.
The edge cut S i j of C N ( K m ; K t 1 , K t 2 , , K t m ) disconnects C N ( K m ; K t 1 , K t 2 , , K t m ) into two components X i j and X i j ¯ where V ( X i j ) = { c i 1 + j 1 } . Let G i j and G i j ¯ be the preimage of X i j and X i j ¯ under f respectively. Since G i j is an optimal set and each S i j satisfies conditions (i)–(iii) of the Congestion Lemma. Therefore E C f ( S j ) is minimum. The 2-Partition Lemma implies that W L f ( Q n , k , C N ( K m ; K t 1 , K t 2 , , K t m ) ) = W L ( Q n , k , C N ( K m ; K t 1 , K t 2 , , K t m ) ) .
Now, we have E C f ( S i ) = ( n + 1 ) t i 2 | E ( Q n , k [ L t i ] ) | , E C f ( S i ) = ( n + 1 ) ( t i 1 ) 2 | E ( Q n , k [ L t i 1 ] ) | , E C f ( S i j ) = ( 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 , C N ( K m ; K t 1 , K t 2 , , K t m ) ) = 1 2 i = 1 m { ( n + 1 ) t i 2 | E ( Q n , k [ L t i ] ) | } + 1 2 i = 1 m { ( n + 1 ) ( t i 1 ) 2 | E ( Q n , k [ L t i 1 ] ) | } + n + 1 2 ( 2 n m ) = 1 2 { ( n + 1 ) ( 2 m + r + 2 n 2 m ) } i = 1 m { | E ( Q n , k [ L t i ] ) | + | E ( Q n , k [ L t i 1 ] ) | } .  □

5. 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.

Author Contributions

Conceptualization, M.A. and J.N.D.; methodology, M.A. and J.N.D.; investigation, M.A. and J.N.D.; writing—original draft preparation, M.A.and J.N.D.; writing—review and editing, M.A. and J.N.D.; supervision, M.A. and J.-B.L.; funding acquisition, J.-B.L.

Funding

This research was funded by the China Postdoctoral Science Foundation under Grant 2017M621579; the Postdoctoral Science Foundation of Jiangsu Province under Grant 1701081B; Project of Anhui Jianzhu University under Grant no. 2016QD116 and 2017dc03.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Abraham, J.; Arockiaraj, M. Wirelength of enhanced hypercubes into r-rooted complete binary trees. Electron. Notes Discrete Math. 2016, 53, 373–382. [Google Scholar] [CrossRef]
  2. Bezrukov, S.L.; Chavez, J.D.; Harper, L.H.; Röttger, M.; Schroeder, U.-P. The congestion of n-cube layout on a rectangular grid. Discret. Math. 2000, 213, 13–19. [Google Scholar] [CrossRef]
  3. Manuel, P.; Rajasingh, I.; Rajan, B.; Mercy, H. Exact wirelength of hypercubes on a grid. Discrete Appl. Math. 2009, 157, 1486–1495. [Google Scholar] [CrossRef] [Green Version]
  4. Bhatt, S.N.; Leighton, F.T. A framework for solving VLSI graph layout problems. J. Comp. Syst. Sci. 1984, 28, 300–343. [Google Scholar] [CrossRef] [Green Version]
  5. Leighton, F.T. Introduction to Parallel Algorithms and Architectures: Arrays, Trees, Hypercubes; Morgan Kaufmann Publishers: San Mateo, CA, USA, 1992. [Google Scholar]
  6. Lai, Y.L.; Williams, K. A survey of solved problems and applications on bandwidth, edgesum, and profile of graphs. J. Graph Theory 1999, 31, 75–94. [Google Scholar] [CrossRef]
  7. Xu, J. Topological Structure and Analysis of Interconnection Networks; Springer Publishing Company: Dordrecht, The Netherlands, 2001. [Google Scholar]
  8. Rajasingh, I.; Rajan, B.; Mercy, H.; Manuel, P. Exact wirelength of hypercube and enhanced hypercube layout on wounded lobstars. In Proceedings of the 4th International Multiconference on Computer Science and Information Technology, Amman, Jordan, 5–7 April 2006; pp. 449–454. [Google Scholar]
  9. Manuel, P. Minimum average congestion of enhanced and augmented hypercubes into complete binary trees. Discret. Appl. Math. 2011, 159, 360–366. [Google Scholar] [CrossRef] [Green Version]
  10. Arockiaraj, M.; Liu, J.B.; Shalini, A.J. Vertex decomposition method for wirelength problem and its applications to enhanced hypercube networks. IET Comput. Digit. Tech. 2019, 13, 87–92. [Google Scholar] [CrossRef]
  11. Rajasingh, I.; Rajan, B.; Rajan, R.S. Embedding of hypercubes into necklace, windmill and snake graphs. Inf. Process. Lett. 2012, 112, 509–515. [Google Scholar] [CrossRef]
  12. Garey, M.R.; Johnson, D.S.; Stockmeyer, L. Some simplified NP-complete problems. In Proceedings of the Sixth Annual ACM Symposium on Theory of Computing, Seattle, WA, USA, 30 April–2 May 1974; pp. 47–63. [Google Scholar]
  13. Harper, L.H. Global Methods for Combinatorial Isoperimetric Problems; Cambridge University Press: Cambridge, UK, 2004. [Google Scholar]
  14. Boals, A.J.; Gupta, A.K.; Sherwani, N.A. Incomplete hypercubes: Algorithms and embeddings. J. Supercomput. 1994, 8, 263–294. [Google Scholar] [CrossRef] [Green Version]
  15. Garey, M.R.; Johnson, D.S. Computers and Intractability, A Guide to the Theory of NP-Completeness; Freeman: San Francisco, CA, USA, 1979. [Google Scholar]
  16. Bezrukov, S.L.; Das, S.K.; Elsässer, R. An edge-isoperimetric problem for powers of the petersen graph. Ann. Comb. 2000, 4, 153–169. [Google Scholar] [CrossRef]
  17. Arockiaraj, M.; Manuel, P.; Rajasingh, I.; Rajan, B. Wirelength of 1-fault Hamiltonian graphs into wheels and fans. Inf. Process. Lett. 2011, 111, 921–925. [Google Scholar] [CrossRef]
  18. Liu, H. The Structural Features of Enhanced Hypercube Networks. In Proceedings of the 5th International Conference on Natural Computation, Tianjin, China, 14–16 April 2009; pp. 345–348. [Google Scholar]
  19. Tzeng, N.F.; Wei, S. Enhanced hypercubes. IEEE Trans. Comput. 1991, 40, 284–294. [Google Scholar] [CrossRef]
Figure 1. The edge cuts of windmill W M ( K 4 , K 5 , K 9 , K 17 ) .
Figure 1. The edge cuts of windmill W M ( K 4 , K 5 , K 9 , K 17 ) .
Mathematics 07 00383 g001
Figure 2. The edge cuts of complete star necklace S N ( K 1 , 5 ; K 4 , K 4 , K 8 , K 16 , K 31 ) .
Figure 2. The edge cuts of complete star necklace S N ( K 1 , 5 ; K 4 , K 4 , K 8 , K 16 , K 31 ) .
Mathematics 07 00383 g002
Figure 3. The edge cuts of circular necklace C N ( K 4 ; K 4 , K 4 , K 8 , K 16 ) .
Figure 3. The edge cuts of circular necklace C N ( K 4 ; K 4 , K 4 , K 8 , K 16 ) .
Mathematics 07 00383 g003
Table 1. Edge cuts in windmill graph.
Table 1. Edge cuts in windmill graph.
Cut NotationElements in the CutRange
S i { ( w 1 1 , x ) : x ( V ( K t i ) { w 1 1 } ) } 1 i m
S i j { ( w i 1 + j 1 , x ) : x ( V ( K t i ) { w i 1 + j 1 } ) } 1 i m , 1 j t i 1
Table 2. Edge cuts in complete star necklace graph.
Table 2. Edge cuts in complete star necklace graph.
Cut NotationElements in the CutRange
S i 1 { s i 1 , 2 n 1 } 1 i m
S i 2 { s i 1 , 2 n 1 } 1 i m
S i { ( s i 1 , x ) : x ( V ( K t i ) { s i 1 } ) } 1 i m
S i j { ( s i 1 + j 1 , x ) : x ( V ( K t i ) { s i 1 + j 1 } ) } 1 i m , 1 j t i 1
Table 3. Edge cuts in circular necklace graph.
Table 3. Edge cuts in circular necklace graph.
Cut NotationElements in the CutRange
S i { ( c i 1 , x ) : x ( V ( K m ) { c i 1 } ) } 1 i m
S i { ( c i 1 , x ) : x ( V ( K t i ) { c i 1 } ) } 1 i m
S i j { ( c i 1 + j 1 , x ) : x ( V ( K t i ) { c i 1 + j 1 } ) } 1 i m , 1 j t i 1

Share and Cite

MDPI and ACS Style

Liu, J.-B.; Arockiaraj, M.; Delaila, J.N. Wirelength of Enhanced Hypercube into Windmill and Necklace Graphs. Mathematics 2019, 7, 383. https://doi.org/10.3390/math7050383

AMA Style

Liu J-B, Arockiaraj M, Delaila JN. Wirelength of Enhanced Hypercube into Windmill and Necklace Graphs. Mathematics. 2019; 7(5):383. https://doi.org/10.3390/math7050383

Chicago/Turabian Style

Liu, Jia-Bao, Micheal Arockiaraj, and John Nancy Delaila. 2019. "Wirelength of Enhanced Hypercube into Windmill and Necklace Graphs" Mathematics 7, no. 5: 383. https://doi.org/10.3390/math7050383

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop