Next Article in Journal
Tunneling Time in Attosecond Experiments and Time Operator in Quantum Mechanics
Next Article in Special Issue
The Double Roman Domination Numbers of Generalized Petersen Graphs P(n, 2)
Previous Article in Journal
Price and Treatment Decisions in Epidemics: A Differential Game Approach
Previous Article in Special Issue
Optimizing Three-Dimensional Constrained Ordered Weighted Averaging Aggregation Problem with Bounded Variables
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

On Metric Dimensions of Symmetric Graphs Obtained by Rooted Product

1
Govt Khawaja Rafique Shaheed College Walton Road Lahore, Lahore 54000, Pakistan
2
Department of Mathematics, COMSATS University Islamabad, Sahiwal Campus, Punjab 57000, Pakistan
3
Department of Mathematical Sciences, United Arab Emirates University, Al Ain, P.O. Box 15551, UAE
4
Department of Mathematics, School of Natural Sciences (SNS), National University of Sciences and Technology (NUST), Sector H-12, Islamabad 44000, Pakistan
5
Department of Mathematics, COMSATS University Islamabad, Lahore Campus 54000, Pakistan
*
Author to whom correspondence should be addressed.
Mathematics 2018, 6(10), 191; https://doi.org/10.3390/math6100191
Submission received: 25 July 2018 / Revised: 24 September 2018 / Accepted: 26 September 2018 / Published: 8 October 2018
(This article belongs to the Special Issue Discrete Optimization: Theory, Algorithms, and Applications)

Abstract

:
Let G = (V, E) be a connected graph and d(x, y) be the distance between the vertices x and y in G. A set of vertices W resolves a graph G if every vertex is uniquely determined by its vector of distances to the vertices in W. A metric dimension of G is the minimum cardinality of a resolving set of G and is denoted by dim(G). In this paper, Cycle, Path, Harary graphs and their rooted product as well as their connectivity are studied and their metric dimension is calculated. It is proven that metric dimension of some graphs is unbounded while the other graphs are constant, having three or four dimensions in certain cases.
MSC:
05C15; 05C62; 05C12; 05C07; 05C10; 05C90

1. Introduction

In a connected graph G ( V , E ) , where V is the set of vertices and E is the set of edges, the distance d ( u , v ) between two vertices u , v V is the length of shortest path between them. Let W = { w 1 , w 2 , , w k } be an order set of vertices of G and let v be a vertex of G. The representation r ( v | W ) of v with respect to W is the k-tuple ( d ( v , w 1 ) , d ( v , w 2 ) , d ( v , w 3 ) , , d ( v , w k ) } , where W is called a resolving set [1] or locating set [2] if every vertex of G is uniquely identified by its distances from the vertices of W, or equivalently, if distinct vertices of G have distinct representations with respect to W. A resolving set of minimum cardinality is called a basis for G and cardinality is the metric dimension of G, denoted by d i m ( G ) [3]. The concept of resolving set and metric basis have previously appeared in the literature [4,5,6].
For a given ordered set of vertices W = { w 1 , w 2 , , w k } of a graph G, the i t h component of r ( v | W ) is 0 if and only if v = w i . Thus, to show that W is a resolving set it suffices to verify that r ( x | W ) r ( y | W ) for each pair of distinct vertices x , y V ( G ) \ W .
Motivated by the problem of uniquely determining the location of an intruder in a network, the concept of metric dimension was introduced by Slater in [2,7] and studied independently by Harary and Melter in [5]. Application of this invariant to the navigation of robots in networks are discussed in [8] and application to chemistry is discussed in [1], while application to the problem of pattern recognition and image processing, some of which involve the use of hierarchical data structures, are given in [6].
Let F be a family of connected graphs. If all graphs in F have the same metric dimension, then F is called a family with constant metric dimension [9]. A connected graph G has d i m ( G ) = 1 if and only if G is a path [1], cycle C n have metric dimension 2 for every n 3 , also honeycomb networks [10] have metric dimension 3.
Metric dimension is a parameter that has appeared in various applications of graph theory, as diverse as pharmaceutical chemistry [1,11], robot navigation [8,12] and combinatorial optimization [13], to name a few. A chemical compound can be represented by more than one suggested structure but only one of them, which expresses the physical and chemical properties of compound, is acceptable. The chemists require mathematical representation for a set of chemical compounds in a way that gives distinct representations to distinct compounds. As described in [1,11], the structure of chemical compounds can be represented by a labeled graph whose vertex and edge labels specify the atom and bond types, respectively. Thus, a graph theoretic interpretation of this problem is to provide representations for the vertices of a graph in such a way that distinct vertices have distinct representations. This is the subject of the papers [1,6,14,15,16,17].
Other families of graphs with unbounded metric dimension are regular bipartite graphs [4], wheel graph and jahangir graph [18].
Our main aim of this paper is to compute the metric dimension of graphs obtained from the rooted product graphs. For this purpose, we need the following definitions.
Definition 1 ([19])
A rooted graph is a graph in which one vertex has been distinguished as the root. Both directed and undirected versions of rooted graphs have been studied, and there are also variant definitions that allow multiple roots.
Definition 2 ([20])
Let H be a labelled graph on n vertices. Let G be a sequence of n rooted graphs G 1 , G 2 , G n . The graph H ( G ) obtained by identifying the root of G i with the i t h vertex of H. The graph H ( G ) is called the rooted product of H by G.
Definition 3 ([19])
The Harary graph H m , n is defined as follows and depicted in Figure 1:
Case 1. 
m is even. Let m = 2 r , then H 2 r , n is constructed as follows: It has vertices 0 , 1 , , n 1 and two vertices i and j are joined if i r j i + r (where addition is taken modulo n).
Case 2. 
m is odd and n is even. Let m = 2 r + 1 , then the H 2 r + 1 , n is constructed by first drawing H 2 r , n and then adding edges joining vertex i to vertex i + ( n / 2 ) for 1 i n / 2 .
Case 3. 
m , n are odd. Let m = 2 r + 1 , then H 2 r + 1 , n is constructed by first drawing H 2 r , n and then adding edges joining vertex 0 to vertices ( n 1 ) / 2 and ( n + 1 ) / 2 and vertex i to vertex i + ( n + 1 ) / 2 for 1 i ( n 1 ) / 2 .

2. The Rooted Product of Harary Graphs with Cycle Graph

Suppose C 3 i , 1 i n , C 4 i , 1 i n and C 5 i , 1 i n be n copies of C 3 , C 4 and C 5 having vertices { v i j , 1 i n , 1 j 3 } , { v i j , 1 i n , 1 j 4 } and { v i j , 1 i n , 1 j 5 } respectively and { v 1 , v 2 , v 3 , , v n } be the set of vertices of H m , n . By definition of rooted product { v i j , 1 i n , 1 j 3 } , { v i j , 1 i n , 1 j 4 } and { v i j , 1 i n , 1 j 5 } will be sets of vertices of H m , n ( C 3 ) , H m , n ( C 4 ) and H m , n ( C 5 ) respectively with indices taken modulo n. After rooted product, it is considered that all the cycles share { v i 1 , 1 i n } with H m , n .
More preciously, the graphs H m , n ( C 3 ) , H m , n ( C 4 ) and H m , n ( C 5 ) are the rooted product of Harary graphs H m , n by cycles C 3 , C 4 and C 5 respectively.
Now we present our main results on metric dimension of H m , n ( C 3 ) , H m , n ( C 4 ) and H m , n ( C 5 ) .
Theorem 1.
If G 1 H m , n ( C 3 ) , then there exists a resolving set W of G 1 such that
{ v i 2 ; 1 i n } W ( G 1 ) , { v i 3 ; 1 i n } W ( G 1 ) ,
| W ( G 1 ) | n .
Proof. 
As d ( v i 2 , v i 1 ) = d ( v i 3 , v i 1 ) , ∀, 1 i n
and d ( v i 2 , v k j ) = d ( v i 3 , v k j ) , ∀, 1 i , k n , k i and j = 1 , 2 , 3 .
⇒ either v i 2 W ( G 1 ) or v i 3 W ( G 1 ) .
To minimize the cardinality of W ( G 1 ) , we can say without loss of any generality:
{ v i 2 ; 1 i n } W ( G 1 ) and { v i 3 ; 1 i n } W ( G 1 ) .
| W ( G 1 ) | n .
This conclude the proof. □
Theorem 2.
If G 1 H m , n ( C 3 ) and W be a minimum resolving set of G 1 then | W ( G 1 ) | = n .
Proof. 
From Theorem 1, we have | W ( G 1 ) | n . Now to prove the reverse inequality, i.e., | W ( G 1 ) | n , we proceed as follows:
If we take { v i 1 , v i 3 ; 1 i n } W = ϕ , then W is also resolving set.
By Theorem 1, v i 2 W for all 1 i n and d ( v i 2 , v i 1 ) d ( v i 2 , v k 1 ) , ∀ 1 i , k n , i k .
r ( v i 1 | W ) r ( v i 1 | W ) , ∀ 1 i , k n , i k .
As v i 2 W v i + 1 2 W and d ( v i + 1 2 , v i 1 ) d ( v i + 1 2 , v i 3 ) , ∀ 1 i n
r ( v i 1 | W ) r ( v i 3 | W ) , ∀, 1 i n ,
r ( v i 1 | W ) r ( v i 2 | W ) as { v i 2 ; 1 i n } W
also r ( v i 3 | W ) r ( v i 2 | W ) as { v i 2 ; 1 i n } W
d ( v i 3 , v i 2 ) d ( v k 3 , v i 2 ) , ∀, 1 i , k n , i k .
r ( v i 3 | W ) r ( v k 3 | W ) , ∀, 1 i , k n , i k .
So we conclude that W\ { v i 1 ; 1 i n } is also the resolving set. This shows that | W ( G 1 ) | n . Hence, the required result is proved. □
Theorem 3.
If G 2 H m , n ( C 4 ) , then there exists a resolving set W of G 2 such that
{ v i 2 ; 1 i n } W ( G 2 ) , { v i 4 ; 1 i n } W ( G 2 ) , | W ( G 2 ) | n
Proof. 
As d ( v i 2 , v i 1 ) = d ( v i 4 , v i 1 ) , ∀, 1 i n
and d ( v i 2 , v k j ) = d ( v i 4 , v k j ) , ∀, 1 i , k n , k i and j = 1 , 2 , 3 .
⇒ either v i 2 W ( G 2 ) or v i 4 W ( G 2 ) .
To minimize the cardinality of W ( G 2 ) , we can say without loss of any generality:
{ v i 2 ; 1 i n } W ( G 2 ) and { v i 4 ; 1 i n } W ( G 2 ) .
| W ( G 2 ) | n .
This conclude the proof. □
Theorem 4.
If G 2 H m , n ( C 4 ) and W be a minimum resolving set of G 2 then | W ( G 2 ) | = n .
Proof. 
From Theorem 3, | W ( G 2 ) | n . Now to prove the reverse inequality, i.e., | W ( G 2 ) | n , we proceed as follows:
If we take { v i 1 , v i 3 , v i 4 ; 1 i n } W = ϕ then W is also resolving set.
By theorem 3, v i 2 W for all 1 i n
and d ( v i 2 , v i 1 ) d ( v i 2 , v k 1 ) , ∀, 1 i , k n , i k .
r ( v i 1 | W ) r ( v k 1 | W ) , ∀, 1 i , k n , i k .
and r ( v i 1 | W ) r ( v i 2 | W ) 1 i n , by definition of resolving set.
d ( v i 2 , v i 1 ) d ( v i 2 , v i 4 ) , ∀, 1 i n .
r ( v i 1 | W ) r ( v i 4 | W ) , ∀, 1 i n .
As v i 2 W for all 1 i n v i + 1 2 W .
d ( v i + 1 2 , v i 3 ) d ( v i + 1 2 , v i 1 ) , ∀ 1 i n .
r ( v i 1 | W ) r ( v i 3 | W ) , ∀, 1 i n .
r ( v i 2 | W ) r ( v k 2 | W ) , ∀, 1 i , k n , i k , by definition of resolving set.
r ( v i 2 | W ) r ( v k 3 | W ) , ∀, 1 i , k n , i k , by definition of resolving set.
r ( v i 2 | W ) r ( v k 4 | W ) , ∀, 1 i , k n , i k , by definition of resolving set.
As d ( v i 2 , v i 3 ) d ( v i 2 , v k 3 ) , ∀ 1 i , k n , i k .
r ( v i 3 | W ) r ( v k 3 | W ) , ∀, 1 i , k n , i k .
d ( v i 2 , v i 3 ) d ( v i 2 , v i 4 ) , ∀, 1 i n .
r ( v i 4 | W ) r ( v i 3 | W ) , ∀, 1 i n .
d ( v i 2 , v i 4 ) d ( v i 2 , v k 4 ) , ∀, 1 i , k n , i k .
r ( v i 4 | W ) r ( v k 4 | W ) , ∀, 1 i , k n , i k .
⇒ representation of all the vertices is unique if { v i 1 , v i 3 ; 1 i n } W ( G 2 )
In addition, from theorem 3, { v i 4 ; 1 i n } W ( G 2 ) and { v i 2 ; 1 i n } W ( G 2 ) .
Hence W = { v i 2 ; 1 i n } is the minimum resolving set of G 2 . This shows that | W ( G 2 ) | = n . □
Theorem 5.
If G 3 H m , n ( C 5 ) , then there exists a resolving set W of G 3 such that
{ v i 2 ; 1 i n } W ( G 3 ) a n d | W ( G 3 ) | n .
Proof. 
As d ( v i 2 , v k j ) = d ( v i 5 , v k j ) , ∀, 1 i , k n , i k and 1 j 5 .
and d ( v i 2 , v i 1 ) = d ( v i 5 , v i 1 ) , ∀, 1 i n .
d ( v i 2 , v i 3 ) d ( v i 5 , v i 3 ) , ∀, 1 i n ,
d ( v i 2 , v i 4 ) d ( v i 5 , v i 4 ) 1 i n .
⇒ For all 1 i n , r ( v i 2 | W ) = r ( v i 5 | W ) , ∀, resolving sets W in which
{ v i 2 , v i 3 , v i 4 , v i 5 } W = ϕ .
and For all 1 i n , r ( v i 3 | W ) = r ( v i 4 | W ) , ∀, resolving sets W in which
{ v i 2 , v i 3 , v i 4 , v i 5 } W = ϕ .
To make the representation unique, we can say { v i 2 , v i 3 , v i 4 , v i 5 } W ϕ . Without loss of any generality we can assume that { v i 2 ; 1 i n } W ( G 3 ) | W ( G 3 ) | n . This concludes the proof. □
Theorem 6.
If G 3 H m , n ( C 5 ) and W be a minimum resolving set of G 3 then | W ( G 3 ) | = n .
Proof. 
From Theorem 5, | W ( G 3 ) | n . Now to prove the reverse inequality, i.e., | W ( G 3 ) | n , we proceed as follows:
If we take { v i 1 , v i 3 , v i 4 , v i 5 ; 1 i n } W = ϕ , then W is also resolving set.
By Theorem 5, v i 2 W for all 1 i n
and d ( v i 2 , v i 1 ) d ( v i 2 , v k 1 ) , ∀, 1 i , k n , i k .
r ( v i 1 | W ) r ( v k 1 | W ) , ∀, 1 i , k n , i k .
and r ( v k 1 | W ) r ( v i 2 | W ) ∀, 1 i , k n by definition of resolving set.
d ( v i 1 , v i + 1 2 ) d ( v i 3 , v i + 1 2 ) , ∀, 1 i n .
and d ( v i 1 , v i 2 ) d ( v k 3 , v i 2 ) , ∀, 1 i , k n and i k .
r ( v i 1 | W ) r ( v k 3 | W ) 1 i , k n .
As d ( v i 1 , v i 2 ) d ( v k 4 , v i 2 ) , ∀, 1 i , k n .
r ( v i 1 | W ) r ( v k 4 | W ) , ∀, 1 i , k n .
As d ( v i 1 , v i 2 ) d ( v k 5 , v i 2 ) , ∀, 1 i , k n .
r ( v i 1 | W ) r ( v k 5 | W ) , ∀ 1 i , k n .
r ( v i 2 | W ) r ( v k j | W ) 1 i , k n , 1 j 5 , by definition of resolving set.
As d ( v i 3 , v i 2 ) d ( v k 3 , v i 2 ) , ∀, 1 i , k n i k .
r ( v i 3 | W ) r ( v k 3 | W ) , ∀, 1 i , k n i k .
d ( v i 3 , v i 2 ) d ( v k 4 , v i 2 ) , ∀, 1 i , k n .
r ( v i 3 | W ) r ( v k 4 | W ) , ∀, 1 i , k n .
d ( v i 3 , v i 2 ) d ( v k 5 , v i 2 ) , ∀, 1 i , k n .
r ( v i 3 | W ) r ( v k 5 | W ) , ∀, 1 i , k n .
As d ( v i 4 , v i 2 ) d ( v k 4 , v i 2 ) , ∀, 1 i , k n i k .
r ( v i 4 | W ) r ( v k 4 | W ) , ∀, 1 i , k n i k .
d ( v i 4 , v i + 1 2 ) d ( v i 5 , v i + 1 2 ) , ∀, 1 i n .
and d ( v i 4 , v i 2 ) d ( v k 5 , v i 2 ) , ∀, 1 i , k n and i k .
r ( v i 4 | W ) r ( v k 5 | W ) ∀, 1 i , k n .
d ( v i 5 , v i 2 ) d ( v k 5 , v i 2 ) , ∀, 1 i , k n i k .
r ( v i 5 | W ) r ( v k 5 | W ) , ∀, 1 i , k n i k .
Hence W\ { v i 1 , v i 3 , v i 4 , v i 5 ; 1 i n } is the resolving set.
This shows that | W ( G 3 ) | = n . □

3. The Rooted Product of Harary Graphs with Path Graph

The graph H 4 , n ( P m ) is the rooted product of Harary graph H 4 , n by path P m , see Figure 2. To construct the graph H 4 , n ( C 3 ) c we first construct rooted product of Harary graph H 4 , n by cycle C 3 as shown in Figure 3a and then connect the remaining two vertices of each rooted C 3 with both neighboring C 3 as shown in Figure 3b.
The graphs H 4 , n ( P m ) and H 4 , n ( C 3 ) c are an important class of graphs, which can be used in the design of local area networks [18].
Now we present our main results on metric dimension of H 4 , n ( P m ) and H 4 , n ( C 3 ) c . To calculate metric dimension of H 4 , n ( C 3 ) c , H 4 , n ( P m ) and ( P 2 × P k ) ( C 4 ) c we need the following result of khuller et al. [8].
Theorem 7.
Let G be a graph with minimum metric dimension 2 and let { u , v } V be the metric basis in G. Then the following statements are true:
(a) 
There is a unique shortest path between u and v.
(b) 
The degree of each u and v is at most 3.
Theorem 8.
For G H 4 , n ( C 3 ) c , where H 4 , n be a 4-regular Harary graph with n 5 and C 3 is the cycle of length 3; then we have d i m ( G ) = 3 when n 0 , 1 , 3 ( m o d 4 ) and d i m ( G ) 4 otherwise.
Proof. 
Case-I when n 0 (mod4) i.e., n = 4 k , k 2 and k N .
be the resolving set of G then r ( v 2 1 | W ) = ( 1 , 2 , 1 ) ,
r ( v 3 1 | W ) = ( 1 , 1 , 1 ) , r ( v 4 1 | W ) = ( 2 , 1 , 2 ) , r ( v 6 1 | W ) = ( 2 , 1 , 3 ) , r ( v 7 1 | W ) = ( 1 , 1 , 3 ) ,
r ( v 8 1 | W ) = ( 1 , 2 , 2 ) , r ( v 1 2 | W ) = ( 1 , 3 , 2 ) , r ( v 2 2 | W ) = ( 1 , 3 , 1 ) , r ( v 4 2 | W ) = ( 2 , 2 , 1 ) ,
r ( v 5 2 | W ) = ( 3 , 1 , 2 ) , r ( v 6 2 | W ) = ( 3 , 1 , 3 ) , r ( v 7 2 | W ) = ( 2 , 2 , 4 ) , r ( v 8 2 | W ) = ( 2 , 2 , 3 ) ,
For n = 12 let W = { v 1 1 , v 4 1 , v 7 1 } be the resolving set of G then
r ( v 2 1 | W ) = ( 1 , 3 , 1 ) , r ( v 3 1 | W ) = ( 1 , 2 , 1 ) , r ( v 5 1 | W ) = ( 2 , 1 , 1 ) , r ( v 6 1 | W ) = ( 3 , 1 , 1 ) ,
r ( v 8 1 | W ) = ( 3 , 1 , 2 ) , r ( v 9 1 | W ) = ( 2 , 1 , 3 ) , r ( v 10 1 | W ) = ( 2 , 2 , 3 ) , r ( v 11 1 | W ) = ( 1 , 2 , 3 ) ,
r ( v 12 1 | W ) = ( 1 , 3 , 2 ) , r ( v 1 2 | W ) = ( 1 , 4 , 3 ) , r ( v 2 2 | W ) = ( 1 , 4 , 2 ) , r ( v 3 2 | W ) = ( 2 , 3 , 2 ) ,
r ( v 4 2 | W ) = ( 2 , 3 , 1 ) , r ( v 5 2 | W ) = ( 3 , 2 , 1 ) , r ( v 6 2 | W ) = ( 3 , 2 , 2 ) , r ( v 7 2 | W ) = ( 4 , 1 , 2 ) ,
r ( v 8 2 | W ) = ( 4 , 1 , 3 ) , r ( v 9 2 | W ) = ( 3 , 2 , 3 ) , r ( v 10 2 | W ) = ( 3 , 2 , 4 ) , r ( v 11 2 | W ) = ( 2 , 3 , 4 ) ,
r ( v 12 2 | W ) = ( 2 , 3 , 3 ) .
For n 16 let W = { v 1 2 , v 4 2 , v 2 k + 2 2 } be the resolving set of G then
r ( v 2 i 1 | W ) = ( i + 1 , i 1 , k + 2 i ) 1 i k ( i 1 , i 1 , 1 ) i = k + 1 ( 2 k + 1 i , 2 k + 3 i , i k ) k + 2 i 2 k
r ( v 2 i + 1 1 | W ) = ( i + 1 , i , k + 1 i ) 2 i k ( 2 k + 1 i , 2 k + 2 i , i k + 1 ) k + 1 i 2 k 1
r ( v 2 i 2 | W ) = ( i + 1 , i , k + 3 i ) 4 i k 1 ( 2 k + 2 i , 2 k + 4 i , i + 1 k ) k + 3 i 2 k 1
r ( v 2 i + 1 2 | W ) = ( i + 2 , i , k + 2 i ) 3 i k 1 ( 2 k + 2 i , 2 k + 3 i , i + 1 k ) k + 2 i 2 k 2
r ( v 1 1 | W ) = ( 1 , 2 , k + 1 ) , r ( v 2 1 | W ) = ( 2 , 2 , k + 1 ) , r ( v 3 1 | W ) = ( 2 , 1 , k ) ,
r ( v 2 k 2 | W ) = ( k + 1 , k , 2 ) , r ( v 2 k + 1 2 | W ) = ( k + 2 , k , 1 ) , r ( v 2 k + 3 2 | W ) = ( k + 1 , k + 1 , 1 ) ,
r ( v 2 k + 4 2 | W ) = ( k , k + 2 , 2 ) , r ( v 4 k 2 | W ) = ( 1 , 4 , k + 1 ) , r ( v 4 k 1 2 | W ) = ( 2 , 4 , k ) ,
r ( v 2 2 | W ) = ( 1 , 2 , k + 2 ) , r ( v 3 2 | W ) = ( 2 , 1 , k + 1 ) , r ( v 5 2 | W ) = ( 4 , 1 , k ) .
Since distinct vertices have distinct representation, d i m ( G ) 3 in this case. However, by Theorem 1 no two vertices can resolve G into distinct representation so d i m ( G ) > 2 . Hence d i m ( G ) = 3 .
Case-II when n 1 (mod4) i.e., n = 4 k + 1 , k N .
For n = 5 let W = { v 1 2 , v 4 2 , v 4 1 } be the resolving set of G then r ( v 1 1 | W ) = ( 1 , 3 , 1 ) ,
r ( v 2 1 | W ) = ( 2 , 2 , 1 ) , r ( v 3 1 | W ) = ( 3 , 1 , 1 ) , r ( v 5 1 | W ) = ( 1 , 2 , 1 ) , r ( v 2 2 | W ) = ( 1 , 2 , 2 ) ,
r ( v 3 2 | W ) = ( 2 , 1 , 2 ) , r ( v 5 2 | W ) = ( 1 , 1 , 1 ) .
For n 9 let W = { v 1 2 , v 4 2 , v 2 k + 1 1 } be the resolving set of G then
r ( v 2 i 1 | W ) = ( i + 1 , i 1 , k + 1 i ) 2 i k ( 2 k + 2 i , 2 k + 3 i , i k ) k + 2 i 2 k
r ( v 2 i + 1 1 | W ) = ( i + 1 , i , k i ) 1 i k 1 ( 2 k + 1 i , 2 k + 3 i , i k ) k + 2 i 2 k
r ( v 2 i 2 | W ) = ( i + 1 , i , k + 2 i ) 4 i k ( 2 k + 3 i , 2 k + 4 i , i k ) k + 2 i 2 k 1
r ( v 2 i + 1 2 | W ) = ( i + 2 , i , k + 1 i ) 3 i k ( 2 k + 2 i , 2 k + 4 i , i k + 1 ) k + 2 i 2 k 1
r ( v 2 k + 2 1 | W ) = ( k + 1 , k , 1 ) , r ( v 2 k + 3 1 | W ) = ( k , k + 1 , 1 ) , r ( v 2 1 | W ) = ( 2 , 2 , k ) ,
r ( v 1 1 | W ) = ( 1 , 2 , k ) , r ( v 2 k + 2 2 | W ) = ( k + 2 , k + 1 , 1 ) , r ( v 2 k + 3 2 | W ) = ( k + 1 , k + 1 , 2 ) ,
r ( v 4 k 2 | W ) = ( 2 , 3 , k ) , r ( v 4 k + 1 2 | W ) = ( 1 , 3 , k ) , r ( v 2 2 | W ) = ( 1 , 2 , k + 1 ) ,
r ( v 3 2 | W ) = ( 2 , 1 , k ) , r ( v 5 2 | W ) = ( 4 , 1 , k 1 ) , r ( v 6 2 | W ) = ( 4 , 2 , k 1 ) .
Since distinct vertices have distinct representation, d i m ( G ) 3 in this case. However, by Theorem 1 no two vertices can resolve G into distinct representation so d i m ( G ) > 2 . Hence d i m ( G ) = 3 .
Case-III when n 3 (mod4) i.e., n = 4 k + 3 , k N .
For n = 7 let W = { v 1 2 , v 6 2 , v 7 2 } be the resolving set of G then r ( v 1 1 | W ) = ( 1 , 2 , 2 ) ,
r ( v 2 1 | W ) = ( 2 , 3 , 2 ) , r ( v 3 1 | W ) = ( 2 , 2 , 3 ) , r ( v 4 1 | W ) = ( 3 , 2 , 2 ) , r ( v 5 1 | W ) = ( 2 , 1 , 2 ) ,
r ( v 6 1 | W ) = ( 2 , 1 , 1 ) , r ( v 7 1 | W ) = ( 1 , 2 , 1 ) , r ( v 2 2 | W ) = ( 1 , 3 , 2 ) , r ( v 3 2 | W ) = ( 2 , 3 , 3 ) ,
r ( v 4 2 | W ) = ( 3 , 2 , 3 ) , r ( v 5 2 | W ) = ( 3 , 1 , 2 ) .
For n = 11 let W = { v 1 2 , v 4 2 , v 7 1 } be the resolving set of G then
r ( v 1 1 | W ) = ( 1 , 2 , 3 ) , r ( v 2 1 | W ) = ( 2 , 2 , 3 ) , r ( v 3 1 | W ) = ( 2 , 1 , 2 ) , r ( v 4 1 | W ) = ( 3 , 1 , 2 ) ,
r ( v 5 1 | W ) = ( 3 , 2 , 1 ) , r ( v 6 1 | W ) = ( 4 , 2 , 1 ) , r ( v 8 1 | W ) = ( 3 , 3 , 1 ) , r ( v 9 1 | W ) = ( 2 , 4 , 1 ) ,
r ( v 10 1 | W ) = ( 2 , 3 , 2 ) , r ( v 11 1 | W ) = ( 1 , 3 , 2 ) , r ( v 2 2 | W ) = ( 1 , 2 , 4 ) , r ( v 3 2 | W ) = ( 2 , 1 , 3 ) ,
r ( v 5 2 | W ) = ( 4 , 1 , 2 ) , r ( v 6 2 | W ) = ( 4 , 2 , 2 ) , r ( v 7 2 | W ) = ( 4 , 3 , 1 ) , r ( v 8 2 | W ) = ( 4 , 4 , 1 ) ,
r ( v 9 2 | W ) = ( 3 , 4 , 2 ) , r ( v 10 2 | W ) = ( 2 , 4 , 2 ) , r ( v 11 2 | W ) = ( 1 , 4 , 3 ) .
For n 15 let W = { v 1 2 , v 6 2 , v 2 k + 5 2 } be the resolving set of G then
r ( v 2 i 1 | W ) = ( i + 1 , i 2 , k + 3 i ) 3 i k + 1 ( 2 k + 3 i , 2 k + 5 i , i k 1 ) k + 4 i 2 k + 1
r ( v 2 i + 1 1 | W ) = ( i + 1 , i 1 , k + 3 i ) 2 i k ( 2 k + 2 i , 2 k + 5 i , i k 1 ) k + 3 i 2 k + 1
r ( v 2 i 2 | W ) = ( i + 1 , i 1 , k + 4 i ) 5 i k + 1 ( 2 k + 4 i , 2 k + 6 i , i k 1 ) k + 4 i 2 k
r ( v 2 i + 1 2 | W ) = ( i + 2 , i 1 , k + 4 i ) 4 i k ( 2 k + 3 i , 2 k + 6 i , i k ) k + 4 i 2 k
r ( v 2 k + 3 1 | W ) = ( k + 1 , k , 2 ) , r ( v 2 k + 4 1 | W ) = ( k + 1 , k , 1 ) , r ( v 2 k + 5 1 | W ) = ( k , k + 1 , 1 ) ,
r ( v 2 k + 6 1 | W ) = ( k , k + 1 , 2 ) , r ( v 1 1 | W ) = ( 1 , 3 , k + 1 ) , r ( v 2 1 | W ) = ( 2 , 3 , k + 1 ) ,
r ( v 3 1 | W ) = ( 2 , 2 , k + 2 ) , r ( v 4 1 | W ) = ( 3 , 2 , k + 1 ) , r ( v 2 k + 3 2 | W ) = ( k + 2 , k , 2 ) ,
r ( v 2 k + 4 2 | W ) = ( k + 2 , k + 1 , 1 ) , r ( v 2 k + 6 2 | W ) = ( k + 1 , k + 2 , 1 ) ,
r ( v 2 k + 7 2 | W ) = ( k , k + 2 , 2 ) , r ( v 4 k + 2 2 | W ) = ( 2 , 5 , k ) , r ( v 4 k + 3 2 | W ) = ( 1 , 5 , k + 1 ) ,
r ( v 2 2 | W ) = ( 1 , 4 , k + 2 ) , r ( v 3 2 | W ) = ( 2 , 3 , k + 2 ) , r ( v 4 2 | W ) = ( 3 , 2 , k + 2 ) ,
r ( v 5 2 | W ) = ( 4 , 1 , k + 2 ) , r ( v 7 2 | W ) = ( 5 , 1 , k + 1 ) , r ( v 8 2 | W ) = ( 5 , 2 , k ) .
Since distinct vertices have distinct representation, d i m ( G ) 3 in this case. However, by theorem 1 no two vertices can resolve G into distinct representation so d i m ( G ) > 2 .
Hence d i m ( G ) = 3 .
Case-IV when n 2 ( m o d 4 ) i.e., n = 4 k + 2 , k N .
For n = 6 let W 1 = { v 1 1 , v 1 2 , v 5 1 } be the subset of V ( G ) and r ( v 2 1 | W 1 ) = ( 2 , 1 , 2 ) ,
r ( v 3 1 | W 1 ) = ( 2 , 1 , 1 ) , r ( v 4 1 | W 1 ) = ( 2 , 2 , 1 ) , r ( v 6 1 | W 1 ) = ( 1 , 1 , 1 ) , r ( v 2 2 | W 1 ) = ( 1 , 1 , 2 ) ,
r ( v 3 2 | W 1 ) = ( 2 , 2 , 2 ) , r ( v 4 2 | W 1 ) = ( 3 , 2 , 2 ) , r ( v 5 2 | W 1 ) = ( 2 , 2 , 1 ) , r ( v 6 2 | W 1 ) = ( 1 , 2 , 1 ) ,
since r ( v 5 2 | W 1 ) = r ( v 4 1 | W 1 ) W = W 1 { v 4 1 } is the resolving set of G.
d i m ( G ) 4
For n = 10 let W 1 = { v 1 2 , v 4 2 , v 8 2 } be the subset of V ( G ) and r ( v 1 1 | W 1 ) = ( 1 , 2 , 3 ) ,
r ( v 2 1 | W 1 ) = ( 2 , 2 , 3 ) , r ( v 3 1 | W 1 ) = ( 2 , 1 , 3 ) , r ( v 4 1 | W 1 ) = ( 3 , 1 , 3 ) , r ( v 5 1 | W 1 ) = ( 3 , 2 , 2 ) ,
r ( v 6 1 | W 1 ) = ( 3 , 2 , 2 ) , r ( v 7 1 | W 1 ) = ( 3 , 3 , 1 ) , r ( v 8 1 | W 1 ) = ( 2 , 3 , 1 ) , r ( v 9 1 | W 1 ) = ( 2 , 3 , 2 ) ,
r ( v 10 1 | W 1 ) = ( 1 , 3 , 2 ) , r ( v 2 2 | W 1 ) = ( 1 , 2 , 4 ) , r ( v 3 2 | W 1 ) = ( 2 , 1 , 4 ) , r ( v 5 2 | W 1 ) = ( 4 , 1 , 3 ) ,
r ( v 6 2 | W 1 ) = ( 4 , 2 , 2 ) , r ( v 7 2 | W 1 ) = ( 4 , 3 , 1 ) , r ( v 9 2 | W 1 ) = ( 2 , 4 , 1 ) ,
r ( v 10 2 | W 1 ) = ( 1 , 4 , 2 ) .
since r ( v 5 1 | W 1 ) = r ( v 6 1 | W 1 ) W = W 1 { v 5 1 } is the resolving set of G.
d i m ( G ) 4
For n 14 let W = { v 1 2 , v 4 2 , v 2 k + 4 2 } be the subset of V ( G ) then
r ( v 2 i 1 | W ) = ( i + 1 , i 1 , k + 3 i ) 2 i k ( 2 k + 2 i , 2 k + 4 i , i k 1 ) k + 3 i 2 k + 1
r ( v 2 i + 1 1 | W ) = ( i + 1 , i , k + 2 i ) 1 i k ( 2 k + 2 i , 2 k + 3 i , i k ) k + 2 i 2 k
r ( v 2 i 2 | W ) = ( i + 1 , i , k + 4 i ) 4 i k ( 2 k + 3 i , 2 k + 5 i , i k ) k + 4 i 2 k
r ( v 2 i + 1 2 | W ) = ( i + 2 , i , k + 3 i ) 3 i k ( 2 k + 3 i , 2 k + 4 i , i k ) k + 3 i 2 k 1
r ( v 2 k + 2 1 | W ) = ( k + 1 , k , 2 ) , r ( v 2 k + 3 1 | W ) = ( k + 1 , k + 1 , 1 ) ,
r ( v 2 k + 4 1 | W 1 ) = ( k , k + 1 , 1 ) , r ( v 1 1 | W 1 ) = ( 1 , 2 , k + 1 ) , r ( v 2 1 | W 1 ) = ( 2 , 2 , k + 1 ) ,
r ( v 2 k + 2 2 | W 1 ) = ( k + 2 , k + 1 , 2 ) , r ( v 2 k + 3 2 | W 1 ) = ( k + 2 , k + 1 , 1 ) ,
r ( v 2 k + 5 2 | W 1 ) = ( k + 1 , k + 2 , 1 ) , r ( v 2 k + 6 2 | W 1 ) = ( k , k + 2 , 2 ) , r ( v 4 k + 1 2 | W 1 ) = ( 2 , 4 , k ) ,
r ( v 4 k + 2 2 | W 1 ) = ( 1 , 4 , k + 1 ) , r ( v 2 2 | W 1 ) = ( 1 , 2 , k + 2 ) , r ( v 3 2 | W 1 ) = ( 2 , 1 , k + 2 ) ,
r ( v 5 2 | W 1 ) = ( 4 , 1 , k + 1 ) , r ( v 6 2 | W 1 ) = ( 4 , 2 , k + 1 ) . since r ( v 2 k + 1 1 | W 1 ) = r ( v 2 k + 2 1 | W 1 ) W = W 1 { v 2 k + 1 1 } is the resolving set of G.
d i m ( G ) 4 . This complete the proof. □
Theorem 9.
For G H 4 , n ( P m ) where H 4 , n be a 4-regular Harary graph with n 5 and P m is the path of length m 1 ; then we have d i m ( G ) = 3 when n 0 , 2 , 3 ( m o d 4 ) and d i m ( G ) 4 otherwise.
Proof. 
Case-I when n 0 ( m o d 4 ) i.e., n = 4 k , k 2 and k N .
Let W = { v 1 1 , v 2 1 , v 2 k + 1 1 } be the resolving set of G then
r ( v 2 i j | W ) = ( i + j 1 , i + j 2 , k i + j ) 2 i k , 1 j m ( 2 k i + j , 2 k i + j , i k + j 1 ) k + 1 i 2 k , 1 j m
r ( v 2 i + 1 j | W ) = ( i + j 1 , i + j 1 , k i + j 1 ) 1 i k 1 , 1 j m ( 2 k i + j 1 , 2 k i + j , i k + j 1 ) k + 1 i 2 k 1 , 1 j m
For 2 j m , r ( v 1 j | W ) = ( j 1 , j , k + j 1 ) ,
r ( v 2 j | W ) = ( j , j 1 , k + j 1 ) , r ( v 2 k + 1 j | W ) = ( k + j 1 , k + j 1 , j 1 ) .
Since distinct vertices have distinct representation, d i m ( G ) 3 in this case. Now we prove that d i m ( G ) 2 when n 0 (mod4). Since every vertex that lies on cycle has degree 5, by Theorem 1 we shall take the vertices on pendents uncommon to the cycle when | W | = 2 . Without loss of generality we can say
W = { v 1 2 , v 1 3 } and W = { v 1 2 , v i 2 } , 2 i 2 k + 1 represent all possible cases in which | W | = 2 and in each case the following contradictions arise.
Take W = { v 1 2 , v 1 3 } then r ( v 2 1 / W ) = r ( v 4 k 1 | W ) = ( 2 , 3 ) a contradiction.
Take W = { v 1 2 , v 2 i 2 } , 1 i k then r ( v 2 k + 1 1 | W ) = r ( v 2 k + 2 1 | W ) = ( k + 1 , k + 2 i ) a contradiction.
Take W = { v 1 2 , v 2 i + 1 2 } , 1 i k 1 then r ( v 2 i + 2 1 | W ) = r ( v 2 i + 3 1 | W ) = ( i + 2 , 2 ) a contradiction.
Take W = { v 1 2 , v 2 k + 1 2 } , then r ( v 2 k 1 | W ) = r ( v 2 k + 2 1 | W ) = ( k + 1 , 2 ) a contradiction.
hence d i m ( G ) = 3 .
Case-II when n 2 ( m o d 4 ) i.e., n = 4 k + 2 , k N .
Let W = { v 1 1 , v 3 1 , v 2 k + 3 1 } be the resolving set of G then
r ( v 2 i j | W ) = ( i + j 1 , i + j 2 , k i + j + 1 ) 2 i k + 1 , 1 j m ( 2 k i + j + 1 , 2 k i + j + 2 , i k + j 2 ) k + 2 i 2 k + 1 , 1 j m
r ( v 2 i + 1 j | W ) = ( i + j 1 , i + j 2 , k i + j ) 2 i k , 1 j m ( 2 k i + j , 2 k i + j + 1 , i k + j 2 ) k + 2 i 2 k , 1 j m
For 2 j m , r ( v 1 j | W ) = ( j 1 , j , k + j 1 ) , r ( v 2 j | W ) = ( j , j , k + j ) ,
r ( v 3 j | W ) = ( j , j 1 , k + j 1 ) , r ( v 2 k + 3 j | W ) = ( k + j 1 , k + j 1 , j 1 ) .
Since distinct vertices have distinct representation, d i m ( G ) 3 in this case. Now we prove that d i m ( G ) 2 when n 2 (mod4). Since every vertex lies that on cycle has degree 5, by theorem 1 we shall take the vertices on pendents uncommon to the cycle when | W | = 2 . Without loss of generality we can say
W = { v 1 2 , v 1 3 } and W = { v 1 2 , v i 2 } , 2 i 2 k + 1 represent all possible cases in which | W | = 2 and in each case the following contradictions arise. Take W = { v 1 2 , v 1 3 } then r ( v 2 1 | W ) = r ( v 4 k + 2 1 | W ) = ( 2 , 3 ) a contradiction.
Take W = { v 1 2 , v 2 2 } , then r ( v 3 1 | W ) = r ( v 4 k + 2 1 | W ) = ( 2 , 2 ) a contradiction.
Take W = { v 1 2 , v 2 i 2 } , 2 i k + 1 then r ( v 2 k + 3 1 | W ) = r ( v 2 k + 4 1 | W ) = ( k + 1 , k + 3 i ) a contradiction.
Take W = { v 1 2 , v 2 i + 1 2 } , 2 i k 1 then r ( v 2 i + 2 1 | W ) = r ( v 2 i + 3 1 | W ) = ( i + 2 , 2 ) a contradiction.
Take W = { v 1 2 , v 2 k + 1 2 } then r ( v 2 k 1 | W ) = r ( v 2 k + 3 1 | W ) = ( k + 1 , 2 ) a contradiction.
hence d i m ( G ) = 3 .
Case-III when n 3 ( m o d 4 ) i.e., n = 4 k + 3 , k N .
Let W = { v 1 1 , v 2 1 , v 2 k + 2 1 } be the resolving set of G then
r ( v 2 i j | W ) = ( i + j 1 , i + j 2 , k i + j ) 2 i k , 1 j m ( 2 k i + j + 1 , 2 k i + j + 2 , i k + j 2 ) k + 2 i 2 k + 1 , 1 j m
r ( v 2 i + 1 j | W ) = ( i + j 1 , i + j 1 , k i + j ) 1 i k , 1 j m ( 2 k i + j + 1 , 2 k i + j + 1 , i k + j 1 ) k + 1 i 2 k + 1 , 1 j m
For 2 j m , r ( v 1 j | W ) = ( j 1 , j , k + j ) , r ( v 2 j | W ) = ( j , j 1 , k + j 1 ) , r ( v 2 k + 2 j | W ) = ( k + j , k + j 1 , j 1 ) .
Since distinct vertices have distinct representation, d i m ( G ) 3 in this case. Now we prove that d i m ( G ) 2 when n 2 (mod4). Since every vertex that lies on cycle has degree 5, by Theorem 1 we shall take the vertices on pendents uncommon to the cycle when | W | = 2 . Without loss of generality we can say:
W = { v 1 2 , v 1 3 } and W = { v 1 2 , v i 2 } , 2 i 2 k + 2 represent all possible cases in which | W | = 2 and in each case the following contradictions arise. Take W = { v 1 2 , v 1 3 } then r ( v 2 1 | W ) = r ( v 4 k + 3 1 | W ) = ( 2 , 3 ) a contradiction.
Take W = { v 1 2 , v 2 2 } , then r ( v 3 1 | W ) = r ( v 4 k + 3 1 | W ) = ( 2 , 2 ) a contradiction.
Take W = { v 1 2 , v 2 i 2 } , 2 i k + 1 then r ( v 2 i 1 1 | W ) = r ( v 2 i 2 1 | W ) = ( i , 2 ) a contradiction.
Take W = { v 1 2 , v 2 i + 1 2 } , 1 i k then r ( v 2 i + 2 1 | W ) = r ( v 2 i + 3 1 | W ) = ( i + 2 , 2 ) a contradiction.
hence d i m ( G ) = 3 .
Case-IV when n 1 ( m o d 4 ) i.e., n = 4 k + 1 , k N .
Let W = { v 1 1 , v 2 1 , v 2 k + 2 1 , v 2 k + 3 1 } be the resolving set of G then
r ( v 2 i j | W ) = ( i + j 1 , i + j 2 , k i + j , k i + j + 1 ) 2 i k , 1 j m ( 2 k i + j , 2 k i + j + 1 , k i + j + 2 , k i j + 2 ) k + 2 i 2 k , 1 j m
r ( v 2 i + 1 j | W ) = ( i + j 1 , i + j 1 , k i + j , k i + j ) 1 i k , 1 j m ( 2 k i + j , 2 k i + j , k i + j + 3 , k i + j + 2 ) k + 2 i 2 k , 1 j m
For 2 j m , r ( v 1 j | W ) = ( j 1 , j , k + j 1 , k + j 1 ) ,
r ( v 2 j | W ) = ( j , j 1 , k + j 1 , k + j 1 ) , r ( v 2 k + 2 j | W ) = ( k + j 1 , k + j 1 , j 1 , j ) ,
r ( v 2 k + 3 j | W ) = ( k + j 1 , k + j 1 , j , j 1 ) . Since distinct vertices have distinct representation so d i m ( G ) 4 in this case. This complete the proof. □

4. The Rooted Product of Ladder Graph with Cycle Graph

To construct the graph G ( P 2 × P k ) ( C 4 ) c we first construct rooted product of ladder graph ( P 2 × P k ) by cycle C 4 as shown in Figure 4a and then connect each rooted C 4 with both neighboring C 4 as shown in Figure 4b.
Theorem 10.
For G ( P 2 × P k ) ( C 4 ) c where C 4 be a cycle of length 4 and P k is the path of length k 1 ; then we have d i m ( G ) = 3 .
Proof. 
When n = 2 k , k N let W = { a 1 1 , a k 1 , a n 1 } be the resolving set of G then
r ( a i 1 | W ) = ( i 1 , i , k i ) 2 i k 1 ( 2 k i + 1 , 2 k i , i k ) k + 1 i 2 k 1
r ( a i 2 | W ) = ( i 1 , i , k i + 1 ) 2 i k ( 2 k i + 2 , 2 k i + 1 , i k ) k + 2 i 2 k
r ( a i 3 | W ) = ( i 1 , i , k i + 2 ) 3 i k ( 2 k i + 3 , 2 k i + 2 , i k ) k + 2 i n
r ( a 1 2 | W ) = ( 1 , 1 , k ) , r ( a k + 1 2 | W ) = ( k , k , 1 ) , r ( a 1 3 | W ) = ( 2 , 2 , k + 1 ) , r ( a 2 3 | W ) = ( 2 , 2 , k ) , r ( a k + 1 3 | W ) = ( k , k + 1 , 2 ) .
Since distinct vertices have distinct representation, d i m ( G ) 3 . Now we prove that d i m ( G ) 2 . Since all vertices have degree either 4 or 5 except a i 3 , by theorem 1 we can say W = { a 1 3 , a i 3 } , 2 i n and W = { a n 3 , a i 3 } , 1 i n 1 represent all possible cases in which | W | = 2 and in each case the following contradictions arise.
take W = { a 1 3 , a 2 3 } then r ( a n 1 | W ) = r ( a 1 1 | W ) = ( 2 , 2 ) , a contradiction.
take W = { a 1 3 , a 3 3 } then r ( a n 1 1 | W ) = r ( a n 1 | W ) = ( 2 , 3 ) , a contradiction.
take W = { a 1 3 , a i 3 } , 4 i k + 1 then r ( a n 1 | W ) = r ( a 1 1 | W ) = ( 2 , 2 ) , a contradiction.
take W = { a 1 3 , a k + 2 3 } then r ( a k + 1 1 | W ) = r ( a k + 3 3 | W ) = ( k , 2 ) , a contradiction.
take W = { a 1 3 , a i 3 } , k + 3 i n then r ( a k 1 | W ) = r ( a k + 1 2 | W ) = ( k + 1 , i k ) a contradiction.
take W = { a n 3 , a i 3 } , 1 i k 1 then r ( a k + 1 1 | W ) = r ( a k + 2 2 | W ) = ( k 1 , k + 3 i ) , a contradiction.
take W = { a n 3 , a k 3 } then r ( a k 1 1 | W ) = r ( a k 1 3 | W ) = ( k 1 , 2 ) , a contradiction.
take W = { a n 3 , a k + 1 3 } then r ( a k 1 | W ) = r ( a k 3 | W ) = ( k , 2 ) , a contradiction.
take W = { a n 3 , a k + 2 3 } then r ( a k + 1 1 | W ) = r ( a k + 3 3 | W ) = ( k 1 , 2 ) , a contradiction.
take W = { a n 3 , a i 3 } , k + 3 i n 1 then r ( a k 1 | W ) = r ( a k + 1 2 | W ) = ( k , i k ) , a contradiction.
So d i m ( G ) 3 . Combining both inequalities, we get d i m ( G ) = 3 . This conclude the proof. □

5. Conclusions

In the foregoing section, graphs H 4 , n ( C 3 ) c , ( P 2 × P k ) ( C 4 ) c and H m , n ( C i ) for i = 3 , 4 , 5 are constructed. It is proven that metric dimension of H 4 , n ( C 3 ) c and ( P 2 × P k ) ( C 4 ) c is either three or four in certain cases but the family of graphs H m , n ( C 3 ) for i = 3 , 4 , 5 have unbounded metric dimension. This section is closed by raising the following open problems.
Open Problem 1. Determine the metric dimension of H 4 , n ( C 3 ) and ( P 2 × P k ) ( C 4 ) .
Open Problem 2. Determine the metric dimension of H m , n ( C n ) .

Author Contributions

S.I. contribute for conceptualization, resources, computations, funding, and analyzed the data. M.K.S. and M.I. contribute for supervision, methodology, software, funding, validation, designing the experiments and formal analysing. M.H. contribute for performed experiments, resources, funding and wrote the initial draft of the paper. M.K.S. contribute for analyzed the data, investigated this draft and wrote the final draft. All authors read and approved the final version of the paper.

Funding

This research is supported by the Start-Up Research Grant 2016 of United Arab Emirates University (UAEU), Al Ain, United Arab Emirates via Grant No. G00002233 and UPAR Grant of UAEU via Grant No. G00002590 for (M.Imran and M.K.Siddiqu). This research is also supported by The Higher Education Commission of Pakistan Under Research and Development Division, National Research Program for Universities via Grant No.: 5348/Federal/NRPU/R&D/HEC/2016 for (M.Hussain).

Acknowledgments

We are thankful to the referees for their valuable remarks and suggestions that improved the current version of the paper.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Chartrand, G.; Eroh, L.; Johnson, M.A.; Oellermann, O.R. Resolvability in graphs and metric dimension of a graph. Discret. Appl. Math. 2000, 105, 99–113. [Google Scholar] [CrossRef]
  2. Slater, P.J. Leaves of trees. Congress. Number 1975, 14, 549–559. [Google Scholar]
  3. Imran, M.; Baig, A.Q.; Bokhary, S.A.U.H.; Javaid, I. On the metric dimension of circulant graphs. Appl. Math. Lett. 2012, 5, 320–325. [Google Scholar] [CrossRef]
  4. Bača, M.; Baskoro, E.T.; Salman, A.N.M.; Saputro, S.W.; Suprijanto, D. On metric dimension of regular bipartite graphs. Bull. Math. Soc. Sci. Math. Roum. 2011, 54, 15–28. [Google Scholar]
  5. Harary, F.; Melter, R.A. On the metric dimension of a graph. Ars Comb. 1976, 2, 191–195. [Google Scholar]
  6. Melter, R.A.; Tomescu, I. Metric bases in digital geometry, Computer vision. Gr. Image Process. 1984, 25, 113–121. [Google Scholar] [CrossRef]
  7. Slater, P.J. Dominating and references sets in graphs. J. Math. Phys. Sci. 1988, 22, 445–455. [Google Scholar]
  8. Khuller, S.; Raghavachari, B.; Rosenfeld, A. Localization in Graphs; Technical Report CS-TR-3326; University of Maryland at College Park: College Park, MD, USA, 1994. [Google Scholar]
  9. Tomescu, I.; Imran, M. Metric dimension and R-Sets of connected graph. Gr. Comb. 2011, 27, 585–591. [Google Scholar] [CrossRef]
  10. Manuel, P.; Rajan, B.; Rajasingh, I.; Monica, C. On minimum metric dimension of honeycom networks. J. Discret. Algorithms 2008, 6, 20–27. [Google Scholar] [CrossRef]
  11. Cameron, P.J.; VanLint, J.H. Designs, Graphs, Codes and Their Links, in London Mathematical Society Student Texts; Cambridge University Press: Cambridge, UK, 1991; Volume 22. [Google Scholar]
  12. Bermound, J.C.; Comellas, F.; Hsu, D.F. Distributed loop computer networks: Survey. J. Parallel Distrib. Comput. 1995, 24, 2–10. [Google Scholar] [CrossRef]
  13. Sebö, A.; Tannier, E. On metric generators of graphs. Math. Oper. Res. 2004, 29, 383–393. [Google Scholar] [CrossRef]
  14. Wu, C.; Feng, T.Y. On a class of multistage interconnection networks. IEEE Trans. Comput. 1980, 29, 694–702. [Google Scholar]
  15. Hoffmann, S.; Elterman, A.; Wanke, E. A linear time algorithm for metric dimension of cactus block graphs. Theor. Comput. Sci. 2016, 630, 43–62. [Google Scholar] [CrossRef]
  16. Buczkowski, P.S.; Chartrand, G.; Poisson, C.; Zhang, P. On k-dimensional graphs and their bases. Perioddica Math. HUNG 2003, 46, 9–15. [Google Scholar] [CrossRef]
  17. Imran, S.; Siddiqui, M.K.; Imran, M.; Hussain, M.; Bilal, H.M.; Cheema, I.Z.; Tabraiz, I.; Saleem, Z. Computing the metric dimension of gear graphs. Symmetry 2018, 10, 209. [Google Scholar] [CrossRef]
  18. Tomescu, I.; Javaid, I. On the metric dimension of the jahangir graph. Bull. Math. Soc. Sci. Math. Roum. 2007, 50, 371–376. [Google Scholar]
  19. West, B. Introduction to Graph Theory; Prentice Hall of India: Delhi, India, 2003. [Google Scholar]
  20. Godsil, C.D.; Mckay, B.D. A new product and its spectrum. Bull. Aust. Math. Soc. 1978, 18, 21–28. [Google Scholar] [CrossRef]
Figure 1. (a) The Harary graph H 6 , 8 ; (b) The Harary graph H 5 , 10 ; (c) The Harary graph H 3 , 7 .
Figure 1. (a) The Harary graph H 6 , 8 ; (b) The Harary graph H 5 , 10 ; (c) The Harary graph H 3 , 7 .
Mathematics 06 00191 g001
Figure 2. The graph H 4 , 8 ( P 3 ) .
Figure 2. The graph H 4 , 8 ( P 3 ) .
Mathematics 06 00191 g002
Figure 3. (a) The graph of H 4 , 10 ( C 3 ) ; (b) The graph of H 4 , 10 ( C 3 ) c .
Figure 3. (a) The graph of H 4 , 10 ( C 3 ) ; (b) The graph of H 4 , 10 ( C 3 ) c .
Mathematics 06 00191 g003
Figure 4. (a) The graph of ( P 2 × P 5 ) ( C 4 ) ; (b) The graph of ( P 2 × P 5 ) ( C 4 ) c .
Figure 4. (a) The graph of ( P 2 × P 5 ) ( C 4 ) ; (b) The graph of ( P 2 × P 5 ) ( C 4 ) c .
Mathematics 06 00191 g004

Share and Cite

MDPI and ACS Style

Imran, S.; Siddiqui, M.K.; Imran, M.; Hussain, M. On Metric Dimensions of Symmetric Graphs Obtained by Rooted Product. Mathematics 2018, 6, 191. https://doi.org/10.3390/math6100191

AMA Style

Imran S, Siddiqui MK, Imran M, Hussain M. On Metric Dimensions of Symmetric Graphs Obtained by Rooted Product. Mathematics. 2018; 6(10):191. https://doi.org/10.3390/math6100191

Chicago/Turabian Style

Imran, Shahid, Muhammad Kamran Siddiqui, Muhammad Imran, and Muhammad Hussain. 2018. "On Metric Dimensions of Symmetric Graphs Obtained by Rooted Product" Mathematics 6, no. 10: 191. https://doi.org/10.3390/math6100191

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