On The Local Metric Dimension of Line Graph of Special Graph
CAUCHY β JURNAL MATEMATIKA MURNI DAN APLIKASI
Volume 4(3) (2016), Pages 125-130
On The Local Metric Dimension of Line Graph of Special Graph
Marsidi1, Dafik2 ,Ika Hesti Agustin3, Ridho Alfarisi4
1Mathematics
Edu. Depart. IKIP Jember Indonesia
Edu. Depart. University of Jember Indonesia
3Mathematics Depart. University of Jember Indonesia
4Mathematics Depart. ITS Surabaya Indonesia
2Mathematics
Email: marsidiarin@gmail.com, d.dafik@gmail.com, ikahestiagustin@gmail.com, alfarisi38@gmail.com.
ABSTRACT
Let G be a simple, nontrivial, and connected graph. π = {π€1 , π€2 , π€3 , β¦ , π€π } is a representation of an ordered
set of k distinct vertices in a nontrivial connected graph G. The metric code of a vertex v, where π£ β G, the
ordered π(π£|π) = (π(π£, π€1 ), π(π£, π€2 ), . . . , π(π£, π€π )) of k-vector is representations of v with respect to W,
where π(π£, π€π ) is the distance between the vertices v and wi for 1β€ i β€k. Furthermore, the set W is called a
local resolving set of G if π(π’|π) β π(π£|π) for every pair u,v of adjacent vertices of G. The local metric
dimension ldim(G) is minimum cardinality of W. The local metric dimension exists for every nontrivial
connected graph G. In this paper, we study the local metric dimension of line graph of special graphs , namely
path, cycle, generalized star, and wheel. The line graph L(G) of a graph G has a vertex for each edge of G,
and two vertices in L(G) are adjacent if and only if the corresponding edges in G have a vertex in common.
Keywords: metric dimension, local metric dimension number, line graph, resolving set.
INTRODUCTION
All graph in this paper are simple, nontrivial, and undirected, for more detail basic
definition of graph, see [1]. In [2] define the distance π(π’, π£) between two vertices u and v in a
connected graph G is the length of a shortest path between these two vertices. Suppose that π =
{π€1 , π€2 , π€3 , β¦ , π€π } is an ordered set of vertices of a nontrivial connected graph G. The metric
representation of v with respect to W is the k-vector π(π£|π) = (π(π£, π€1 ), π(π£, π€2 ), . . . , π(π£, π€π )).
Distance in graphs has also been used to distinguish all of the vertices of a graph. The set W is
called a resolving set for G if distinct vertices of G have distinct representations with respect to W.
The metric dimension dim(G) of G is the minimum cardinality of resolving set for G [3].
Furthermore, we consider those ordered sets W of vertices of G for which any two vertices of G
having the same code with respect to W are not adjacent in G. If π(π’|π) β π(π£|π) for every pair
u, v of adjacent vertices of G, then W is called a local metric set of G. The minimum k for which G
has a local metric k-set is the local metric dimension of G, which is denoted by ldim(G) [4].
In this paper, we study the local metric dimension number of line graph of special graphs,
namely path, cycle, generalized star, and wheel graph. Line graphs are a special case of
intersection graphs. The line graph L(G) of a graph G has a vertex for each edge of G, and two
vertices in L(G) are adjacent if and only if the corresponding edges in G have a vertex in common.
Thus, the line graph L(G) is the intersection graph corresponding to the endpoint sets of the edges
Submitted: October, 04 2016
Reviewed: October, 21 2016
DOI: http://dx.doi.org/10.18860/ca.v4i3.3694
Accepted: November, 29 2016
On The Local Metric Dimension of Line Graph of Special Graph
of G. As for an example, Figure 1 shows a graph G and its line graph L(G) [5]. The results show that
distinct vertices of each L(G), with G is a special graph, namely path, cycle, generalized star, and
wheel graph have distinct representations with respect to W, and their local metric dimension
attain a minimum number. Furthermore, [6] showed that on the metric dimension, the upper
dimension and the resolving number of graphs, [7] showed the metric dimension of
amalgamation of cycles, [8] studied the constant metric dimension of regular graphs, [2] obtained
resolvability in graphs and the metric dimension of a graph. The last, [9] showed the Fault-tolerant
metric and partition dimension of graph.
Figure 1. A graph and its line graph
RESULTS AND DISCUSSIONS
We have some observation to show the result of line graph of path, cycle, generalized star,
and wheel graph. Thus, we have four main theorem about local metric dimension to discuss as
follows.
Observation 1. The order and the size of πΏ(ππ ) are |π(πΏ(ππ ))| = π β 1 and |πΈ(πΏ(ππ ))| = π β 2,
respectively.
Proof. Line graph of Path πΏ(ππ ) is connected, simple, and undirected graph with vertex set
π(πΏ(ππ )) = {π£π ; 1 β€ π β€ π β 1} and edge set πΈ(πΏ(ππ )) = {π£π π£π+1 ; 1 β€ π β€ π β 2}. Thus,
β
|π(πΏ(ππ ))| = π β 1 and |πΈ(πΏ(ππ ))| = π β 2. See Figure 2 (a) and 2 (b) for illustration.
Theorem 1. For π β₯ 2, the local metric dimension of line graph of path is ππππ(πΏ(ππ )) = 1.
Proof. By observation 1, line graph of path πΏ(ππ ) is isomorphic to ππβ1. Thus, the vertex set and
the edge set of πΏ(ππ ) are π(πΏ(ππ )) = {π£π ; 1 β€ π β€ π β 1} and πΈ(πΏ(ππ )) = {π£π π£π+1 ; 1 β€ π β€ π β 2},
respectively. The number of vertices |π(πΏ(ππ ))| = π β 1 and the size |πΈ(πΏ(ππ ))| = π β 2. By
Theorem 3, ππππ(ππ ) = 1, thus ππππ(πΏ(ππ )) = 1. It concludes the proof. See Figure 2 (c) for
illustration .
β
Figure 2. (a) π8 , (b) πΏ{π8 }, (c) Construction of local resolving set π = {π£1 }
Observation 2. The order and the size of πΏ(πΆπ ) are |π(πΏ(πΆπ )) | = π and |πΈ(πΏ(ππ ))| = π,
respectively.
Marsidi
126
On The Local Metric Dimension of Line Graph of Special Graph
Proof. Line graph of cycle πΏ(πΆπ ) is connected, simple, and undirected graph with vertex set
π(πΏ(πΆπ )) = {π£π ; 1 β€ π β€ π} and edge set πΈ(πΏ(πΆπ )) = {π£π π£π+1 ; 1 β€ π β€ π β 1} βͺ {π£π π£1 ; }. Thus,
|π(πΏ(πΆπ ))| = π and |πΈ(πΏ(πΆπ ))| = π. See Figure 3 (a) and 3 (b) for illustration.
β
Theorem 2. For π β₯ 3, the local metric dimension of line graph of cycle is
1,
πππ π ππ£ππ
ππππ(πΏ(πΆπ )) = {
2,
πππ π πππ
Proof. By observation 2, line graph of cycle πΏ(πΆπ ) is isomorphic to πΆπ . Thus, the vertex set and the
edge set of πΏ(πΆπ ) are π(πΏ(πΆπ )) = {π£π ; 1 β€ π β€ π} and πΈ(πΏ(πΆπ )) = {ππ ; 1 β€ π β€ π}, respectively.
The order of vertices |π(πΏ(πΆπ ))| = π and the size |πΈ(πΏ(πΆπ ))| = π. By Theorem 3,
1,
for π even
ππππ(πΆπ ) = {
2,
for π odd
thus
1,
for π even
ππππ(πΏ(πΆπ )) = {
2,
for π odd
It concludes the proof. See Figure 3 (c) for illustration.
β
Figure 3. (a) πΆ8 , (b) πΏ{πΆ8 }, (c) Construction of local resolving set π = {π£1 }
Observation 3. The order and the size of πΏ(ππ,π ) are |π(πΏ(ππ,π ))| = ππ and |πΈ(πΏ(ππ,π ))| = ππ +
π(πβ3)
, respectively.
2
Proof. Line graph of generalized star πΏ(ππ,π ) is connected, simple, and undirected graph with
vertex set π(πΏ(ππ,π )) = {π₯π,π ; 1 β€ π β€ π, 1 β€ π β€ π} and edge set πΈ(πΏ(ππ,π )) = {π₯π,π π₯π,π+1 ; 1 β€ π β€
π, 1 β€ π β€ π β 1} βͺ {π₯π,1 π₯π‘,1 ; π β π‘, 1 β€ π, π‘ β€ π}. Thus, |π(πΏ(ππ,π ))| = ππ and |πΈ(πΏ(ππ,π ))| =
ππ +
π(πβ3)
.
2
β
See Figure 4 (a) and 4 (b) for illustration.
Theorem 3. For π β₯ 3, the local metric dimension of line graph of generalized star is
πππ(πΏ(ππ,π )) = π β 1.
Proof. By observation 3, the order and the size of πΏ(ππ,π ) are |π(πΏ(ππ,π ))| = ππ and
|πΈ(πΏ(ππ,π ))| = ππ +
π(πβ3)
,
2
β²
respectively. Suppose the lower bound is ππππ(πΏ(ππ,π )) β₯ π β 2
with the resolving set π = {π₯π,1 ; 1 β€ π β€ π β 2}. Thus two vertices of π(πΏ(ππ,π )) β π β² with
respect to π β² are
π(π₯πβ1,1|π β² ) = π(π₯π,1 |π β² ) = ( 1,
ββ¦ ,1 )
πβ2 π‘ππππ
It is easy to see that the line graph of generalized star has the same vertex representation
respecting to π β² . Thus, the lower bound is ππππ(πΏ(ππ,π )) β₯ π β 1. Now, we will show that
ππππ(πΏ(ππ,π )) β€ π β 1 by determining the resolving set π = {π₯π,1 ; 1 β€ π β€ π β 1} and the vertex
representation of π(πΏ(ππ,π )) β π respect to π, as follows
Marsidi
127
On The Local Metric Dimension of Line Graph of Special Graph
π(π₯π,π |π) = ( π,
ββ¦ , π ) ; 1 β€ π β€ π
π(π₯π,π |π) = ( π,
ββ¦ , π , π β 1,
πβ1 π‘ππππ
πβ1 π‘ππππ
π,
ββ¦ , π
πβπβ1 π‘ππππ
) ; 1 β€ π β€ π β 1, 2 β€ π β€ π
It easy to see that βπ’, π£ β π(πΏ(ππ,π )) β π have a different representation respect to W for every
pair π’, π£ of adjacent vertices in πΏ(ππ,π ). The cardinality of resolving set πΏ(ππ,π ) is π β 1, thus
ππππ(πΏ(ππ )) β€ π β 1. It concludes the proof. See Figure 4 (c).
β
Figure 4. (a) π6,3 , (b) πΏ(π6,3 ), (c) Construction of local resolving set π = {π₯1,1 , π₯2,1 , π₯3,1 , π₯4,1 , π₯5,1 }
π(π+5)
Observation 4. The order and the size of πΏ(ππ ) are |π(πΏ(ππ ))| = 2π and |πΈ(πΏ(ππ ))| = 2 ,
respectively.
Proof. Line graph of wheel πΏ{ππ } is connected, simple, and undirected graph with vertex set
π(πΏ(ππ )) = {π₯π,π ; 1 β€ π β€ π, 1 β€ π β€ 2} and edge set πΈ (πΏ(ππ,π )) = {π₯π,1 π₯π,2 ; 1 β€ π β€ π} βͺ
{π₯π,1 π₯π‘,1 ; π β π‘, 1 β€ π, π‘ β€ π} βͺ {π₯π,2 π₯π+1,2 ; 1 β€ π β€ π β 1} βͺ {π₯π,2 π₯π+1,1 ; 1 β€ π β€ π β 1} βͺ {π₯1,2 π₯π,2 }
βͺ {π₯1,1 π₯π,2 }. Thus, |π(πΏ(ππ ))| = 2π and |πΈ(πΏ(ππ ))| =
illustration.
π(π+5)
.
2
See Figure 5 (a) and 5 (b) for
β
Theorem 4. For π β₯ 3, the local metric dimension of line graph of wheel is πΏπ·ππ(πΏ(ππ )) = π β 1.
Proof. By observation 4, the order and the size of πΏ(ππ ) are |π(πΏ(ππ ))| = 2π and |πΈ(πΏ(ππ ))| =
π(π+5)
, respectively. Suppose the lower bound of πΏ(ππ )
2
is ππππ(πΏ(ππ )) β₯ π β 2 with the resolving
set π β² = {π₯π,1 ; 1 β€ π β€ π β 2}. Thus two vertices of π(πΏ(ππ )) β π β² with respect to π β² are
π(π₯πβ1,1|π β² ) = π(π₯π,1 |π β² ) = ( 1,
ββ¦ ,1 )
πβ2 π‘ππππ
It is easy to see that the line graph of wheel possess the same vertex representation respecting to
π β² . Thus the lower bound is ππππ(πΏ{ππ }) β₯ π β 1. Now, we will show that ππππ(πΏ{ππ }) β€ π β 1
Marsidi
128
On The Local Metric Dimension of Line Graph of Special Graph
by determining the resolving set π = {π₯π,1 ; 1 β€ π β€ π β 1} and the vertex representation of
π(πΏ{ππ }) β π respect to π, as follows.
π = {π₯1,1 , π₯2,1 , π₯3,1 , π₯4,1 , π₯5,1 , π₯6,1 , π₯7,1 }
π(π₯π,1 |π) = ( 1,
ββ¦ ,1 )
π(π₯π,2 |π) = ( 2,
ββ¦ ,2 , 1,
πβ1 π‘ππππ
πβ1 π‘ππππ
2,
ββ¦ ,2 ) ; 2 β€ π β€ π β 1
πβπβ1 π‘ππππ
2 β¦ ,2 )
π(π₯1,2|π) = (1,1, β
πβ3 π‘ππππ
π(π₯π,2 |π) = (1, 2,
ββ¦ ,2 )
πβ2 π‘ππππ
It easy to see that βπ’, π£ β π(πΏ(ππ )) β π have a different representation respect to π for every
pair π’, π£ of adjacent vertices in πΏ(ππ ). The cardinality of resolving set πΏ(ππ ) is π β 1, thus
ππππ(πΏ(ππ )) β€ π β 1. It concludes the proof. See Figure 5 (c) for illustration.
β
Figure 5. (a) π8 , (b) πΏ{π8 }, (c) Construction of local resolving set
CONCLUSION
We have shown the local metric dimension number of line graph of special graphs, namely line graph
of path, cycle, star, and wheel. The results show that the local metric dimension numbers attain the best
lower bound. However we have not found the sharpest lower bound for any connected graph, therefore
we proposed the following open problem.
Open Problem 1. Let πΊ be a connected graph, obtain the best lower bound of the local metric dimension
of any graph πΊ.
Marsidi
129
On The Local Metric Dimension of Line Graph of Special Graph
REFERENCES
[1]
[2]
[3]
[4]
[5]
[6]
[7]
[8]
[9]
G. Chartrand, E. Salehi, and P. Zhang, βThe partition dimension of a graph,β Aequationes Math., vol.
59, pp. 45β54, 2000.
G. Chartrand, L. Eroh, and M. A. Johnson, βResolvability in graphs and the metric dimension of a
graph,β Discrate Appl. Math., vol. 105, pp. 99β113, 2000.
M. Imran, A. Q. Baig, S. Ahtsham, U. Haq, and I. Javaid, βOn the metric dimension of circulant
graphs,β Appl. Math. Lett., vol. 25, no. 3, pp. 320β325, 2012.
G. A. B. Ramirez, C. G. Gomez, and J. A. R. Valazquez, βClosed formulae for the local metric
dimension of corona product graphs,β Electron. notes Discret. Math., vol. 46, pp. 27β34, 2014.
LECTURE 1, βINTRODUCTION TO GRAPH MODELS,β pp. 1β25.
D. Garijo, A. GonzΓ‘lez, and A. MΓ‘rquez, βOn the metric dimension , the upper dimension and the
resolving number of graphs,β Discret. Appl. Math., vol. 161, no. 10β11, pp. 1440β1447, 2013.
H. Iswadi, E. T. Baskoro, A. N. M. Salman, R. Simanjuntak, N. Science, and U. Surabaya, βTHE METRIC
DIMENSION OF AMALGAMATION,β Far East J. Math. Sci., vol. 41, no. 1, pp. 19β31, 2010.
I. Javaid, M. T. Rahim, and K. Ali, βFamilies of regular graphs with constant metric dimension,β Util.
Math., no. October 2016, 2008.
M. A. Chaudhry, I. Javaid, and M. Salman, βFault-Tolerant Metric and Partition Dimension of
Graphs,β Util. Math., 2010.
Marsidi
130
Volume 4(3) (2016), Pages 125-130
On The Local Metric Dimension of Line Graph of Special Graph
Marsidi1, Dafik2 ,Ika Hesti Agustin3, Ridho Alfarisi4
1Mathematics
Edu. Depart. IKIP Jember Indonesia
Edu. Depart. University of Jember Indonesia
3Mathematics Depart. University of Jember Indonesia
4Mathematics Depart. ITS Surabaya Indonesia
2Mathematics
Email: marsidiarin@gmail.com, d.dafik@gmail.com, ikahestiagustin@gmail.com, alfarisi38@gmail.com.
ABSTRACT
Let G be a simple, nontrivial, and connected graph. π = {π€1 , π€2 , π€3 , β¦ , π€π } is a representation of an ordered
set of k distinct vertices in a nontrivial connected graph G. The metric code of a vertex v, where π£ β G, the
ordered π(π£|π) = (π(π£, π€1 ), π(π£, π€2 ), . . . , π(π£, π€π )) of k-vector is representations of v with respect to W,
where π(π£, π€π ) is the distance between the vertices v and wi for 1β€ i β€k. Furthermore, the set W is called a
local resolving set of G if π(π’|π) β π(π£|π) for every pair u,v of adjacent vertices of G. The local metric
dimension ldim(G) is minimum cardinality of W. The local metric dimension exists for every nontrivial
connected graph G. In this paper, we study the local metric dimension of line graph of special graphs , namely
path, cycle, generalized star, and wheel. The line graph L(G) of a graph G has a vertex for each edge of G,
and two vertices in L(G) are adjacent if and only if the corresponding edges in G have a vertex in common.
Keywords: metric dimension, local metric dimension number, line graph, resolving set.
INTRODUCTION
All graph in this paper are simple, nontrivial, and undirected, for more detail basic
definition of graph, see [1]. In [2] define the distance π(π’, π£) between two vertices u and v in a
connected graph G is the length of a shortest path between these two vertices. Suppose that π =
{π€1 , π€2 , π€3 , β¦ , π€π } is an ordered set of vertices of a nontrivial connected graph G. The metric
representation of v with respect to W is the k-vector π(π£|π) = (π(π£, π€1 ), π(π£, π€2 ), . . . , π(π£, π€π )).
Distance in graphs has also been used to distinguish all of the vertices of a graph. The set W is
called a resolving set for G if distinct vertices of G have distinct representations with respect to W.
The metric dimension dim(G) of G is the minimum cardinality of resolving set for G [3].
Furthermore, we consider those ordered sets W of vertices of G for which any two vertices of G
having the same code with respect to W are not adjacent in G. If π(π’|π) β π(π£|π) for every pair
u, v of adjacent vertices of G, then W is called a local metric set of G. The minimum k for which G
has a local metric k-set is the local metric dimension of G, which is denoted by ldim(G) [4].
In this paper, we study the local metric dimension number of line graph of special graphs,
namely path, cycle, generalized star, and wheel graph. Line graphs are a special case of
intersection graphs. The line graph L(G) of a graph G has a vertex for each edge of G, and two
vertices in L(G) are adjacent if and only if the corresponding edges in G have a vertex in common.
Thus, the line graph L(G) is the intersection graph corresponding to the endpoint sets of the edges
Submitted: October, 04 2016
Reviewed: October, 21 2016
DOI: http://dx.doi.org/10.18860/ca.v4i3.3694
Accepted: November, 29 2016
On The Local Metric Dimension of Line Graph of Special Graph
of G. As for an example, Figure 1 shows a graph G and its line graph L(G) [5]. The results show that
distinct vertices of each L(G), with G is a special graph, namely path, cycle, generalized star, and
wheel graph have distinct representations with respect to W, and their local metric dimension
attain a minimum number. Furthermore, [6] showed that on the metric dimension, the upper
dimension and the resolving number of graphs, [7] showed the metric dimension of
amalgamation of cycles, [8] studied the constant metric dimension of regular graphs, [2] obtained
resolvability in graphs and the metric dimension of a graph. The last, [9] showed the Fault-tolerant
metric and partition dimension of graph.
Figure 1. A graph and its line graph
RESULTS AND DISCUSSIONS
We have some observation to show the result of line graph of path, cycle, generalized star,
and wheel graph. Thus, we have four main theorem about local metric dimension to discuss as
follows.
Observation 1. The order and the size of πΏ(ππ ) are |π(πΏ(ππ ))| = π β 1 and |πΈ(πΏ(ππ ))| = π β 2,
respectively.
Proof. Line graph of Path πΏ(ππ ) is connected, simple, and undirected graph with vertex set
π(πΏ(ππ )) = {π£π ; 1 β€ π β€ π β 1} and edge set πΈ(πΏ(ππ )) = {π£π π£π+1 ; 1 β€ π β€ π β 2}. Thus,
β
|π(πΏ(ππ ))| = π β 1 and |πΈ(πΏ(ππ ))| = π β 2. See Figure 2 (a) and 2 (b) for illustration.
Theorem 1. For π β₯ 2, the local metric dimension of line graph of path is ππππ(πΏ(ππ )) = 1.
Proof. By observation 1, line graph of path πΏ(ππ ) is isomorphic to ππβ1. Thus, the vertex set and
the edge set of πΏ(ππ ) are π(πΏ(ππ )) = {π£π ; 1 β€ π β€ π β 1} and πΈ(πΏ(ππ )) = {π£π π£π+1 ; 1 β€ π β€ π β 2},
respectively. The number of vertices |π(πΏ(ππ ))| = π β 1 and the size |πΈ(πΏ(ππ ))| = π β 2. By
Theorem 3, ππππ(ππ ) = 1, thus ππππ(πΏ(ππ )) = 1. It concludes the proof. See Figure 2 (c) for
illustration .
β
Figure 2. (a) π8 , (b) πΏ{π8 }, (c) Construction of local resolving set π = {π£1 }
Observation 2. The order and the size of πΏ(πΆπ ) are |π(πΏ(πΆπ )) | = π and |πΈ(πΏ(ππ ))| = π,
respectively.
Marsidi
126
On The Local Metric Dimension of Line Graph of Special Graph
Proof. Line graph of cycle πΏ(πΆπ ) is connected, simple, and undirected graph with vertex set
π(πΏ(πΆπ )) = {π£π ; 1 β€ π β€ π} and edge set πΈ(πΏ(πΆπ )) = {π£π π£π+1 ; 1 β€ π β€ π β 1} βͺ {π£π π£1 ; }. Thus,
|π(πΏ(πΆπ ))| = π and |πΈ(πΏ(πΆπ ))| = π. See Figure 3 (a) and 3 (b) for illustration.
β
Theorem 2. For π β₯ 3, the local metric dimension of line graph of cycle is
1,
πππ π ππ£ππ
ππππ(πΏ(πΆπ )) = {
2,
πππ π πππ
Proof. By observation 2, line graph of cycle πΏ(πΆπ ) is isomorphic to πΆπ . Thus, the vertex set and the
edge set of πΏ(πΆπ ) are π(πΏ(πΆπ )) = {π£π ; 1 β€ π β€ π} and πΈ(πΏ(πΆπ )) = {ππ ; 1 β€ π β€ π}, respectively.
The order of vertices |π(πΏ(πΆπ ))| = π and the size |πΈ(πΏ(πΆπ ))| = π. By Theorem 3,
1,
for π even
ππππ(πΆπ ) = {
2,
for π odd
thus
1,
for π even
ππππ(πΏ(πΆπ )) = {
2,
for π odd
It concludes the proof. See Figure 3 (c) for illustration.
β
Figure 3. (a) πΆ8 , (b) πΏ{πΆ8 }, (c) Construction of local resolving set π = {π£1 }
Observation 3. The order and the size of πΏ(ππ,π ) are |π(πΏ(ππ,π ))| = ππ and |πΈ(πΏ(ππ,π ))| = ππ +
π(πβ3)
, respectively.
2
Proof. Line graph of generalized star πΏ(ππ,π ) is connected, simple, and undirected graph with
vertex set π(πΏ(ππ,π )) = {π₯π,π ; 1 β€ π β€ π, 1 β€ π β€ π} and edge set πΈ(πΏ(ππ,π )) = {π₯π,π π₯π,π+1 ; 1 β€ π β€
π, 1 β€ π β€ π β 1} βͺ {π₯π,1 π₯π‘,1 ; π β π‘, 1 β€ π, π‘ β€ π}. Thus, |π(πΏ(ππ,π ))| = ππ and |πΈ(πΏ(ππ,π ))| =
ππ +
π(πβ3)
.
2
β
See Figure 4 (a) and 4 (b) for illustration.
Theorem 3. For π β₯ 3, the local metric dimension of line graph of generalized star is
πππ(πΏ(ππ,π )) = π β 1.
Proof. By observation 3, the order and the size of πΏ(ππ,π ) are |π(πΏ(ππ,π ))| = ππ and
|πΈ(πΏ(ππ,π ))| = ππ +
π(πβ3)
,
2
β²
respectively. Suppose the lower bound is ππππ(πΏ(ππ,π )) β₯ π β 2
with the resolving set π = {π₯π,1 ; 1 β€ π β€ π β 2}. Thus two vertices of π(πΏ(ππ,π )) β π β² with
respect to π β² are
π(π₯πβ1,1|π β² ) = π(π₯π,1 |π β² ) = ( 1,
ββ¦ ,1 )
πβ2 π‘ππππ
It is easy to see that the line graph of generalized star has the same vertex representation
respecting to π β² . Thus, the lower bound is ππππ(πΏ(ππ,π )) β₯ π β 1. Now, we will show that
ππππ(πΏ(ππ,π )) β€ π β 1 by determining the resolving set π = {π₯π,1 ; 1 β€ π β€ π β 1} and the vertex
representation of π(πΏ(ππ,π )) β π respect to π, as follows
Marsidi
127
On The Local Metric Dimension of Line Graph of Special Graph
π(π₯π,π |π) = ( π,
ββ¦ , π ) ; 1 β€ π β€ π
π(π₯π,π |π) = ( π,
ββ¦ , π , π β 1,
πβ1 π‘ππππ
πβ1 π‘ππππ
π,
ββ¦ , π
πβπβ1 π‘ππππ
) ; 1 β€ π β€ π β 1, 2 β€ π β€ π
It easy to see that βπ’, π£ β π(πΏ(ππ,π )) β π have a different representation respect to W for every
pair π’, π£ of adjacent vertices in πΏ(ππ,π ). The cardinality of resolving set πΏ(ππ,π ) is π β 1, thus
ππππ(πΏ(ππ )) β€ π β 1. It concludes the proof. See Figure 4 (c).
β
Figure 4. (a) π6,3 , (b) πΏ(π6,3 ), (c) Construction of local resolving set π = {π₯1,1 , π₯2,1 , π₯3,1 , π₯4,1 , π₯5,1 }
π(π+5)
Observation 4. The order and the size of πΏ(ππ ) are |π(πΏ(ππ ))| = 2π and |πΈ(πΏ(ππ ))| = 2 ,
respectively.
Proof. Line graph of wheel πΏ{ππ } is connected, simple, and undirected graph with vertex set
π(πΏ(ππ )) = {π₯π,π ; 1 β€ π β€ π, 1 β€ π β€ 2} and edge set πΈ (πΏ(ππ,π )) = {π₯π,1 π₯π,2 ; 1 β€ π β€ π} βͺ
{π₯π,1 π₯π‘,1 ; π β π‘, 1 β€ π, π‘ β€ π} βͺ {π₯π,2 π₯π+1,2 ; 1 β€ π β€ π β 1} βͺ {π₯π,2 π₯π+1,1 ; 1 β€ π β€ π β 1} βͺ {π₯1,2 π₯π,2 }
βͺ {π₯1,1 π₯π,2 }. Thus, |π(πΏ(ππ ))| = 2π and |πΈ(πΏ(ππ ))| =
illustration.
π(π+5)
.
2
See Figure 5 (a) and 5 (b) for
β
Theorem 4. For π β₯ 3, the local metric dimension of line graph of wheel is πΏπ·ππ(πΏ(ππ )) = π β 1.
Proof. By observation 4, the order and the size of πΏ(ππ ) are |π(πΏ(ππ ))| = 2π and |πΈ(πΏ(ππ ))| =
π(π+5)
, respectively. Suppose the lower bound of πΏ(ππ )
2
is ππππ(πΏ(ππ )) β₯ π β 2 with the resolving
set π β² = {π₯π,1 ; 1 β€ π β€ π β 2}. Thus two vertices of π(πΏ(ππ )) β π β² with respect to π β² are
π(π₯πβ1,1|π β² ) = π(π₯π,1 |π β² ) = ( 1,
ββ¦ ,1 )
πβ2 π‘ππππ
It is easy to see that the line graph of wheel possess the same vertex representation respecting to
π β² . Thus the lower bound is ππππ(πΏ{ππ }) β₯ π β 1. Now, we will show that ππππ(πΏ{ππ }) β€ π β 1
Marsidi
128
On The Local Metric Dimension of Line Graph of Special Graph
by determining the resolving set π = {π₯π,1 ; 1 β€ π β€ π β 1} and the vertex representation of
π(πΏ{ππ }) β π respect to π, as follows.
π = {π₯1,1 , π₯2,1 , π₯3,1 , π₯4,1 , π₯5,1 , π₯6,1 , π₯7,1 }
π(π₯π,1 |π) = ( 1,
ββ¦ ,1 )
π(π₯π,2 |π) = ( 2,
ββ¦ ,2 , 1,
πβ1 π‘ππππ
πβ1 π‘ππππ
2,
ββ¦ ,2 ) ; 2 β€ π β€ π β 1
πβπβ1 π‘ππππ
2 β¦ ,2 )
π(π₯1,2|π) = (1,1, β
πβ3 π‘ππππ
π(π₯π,2 |π) = (1, 2,
ββ¦ ,2 )
πβ2 π‘ππππ
It easy to see that βπ’, π£ β π(πΏ(ππ )) β π have a different representation respect to π for every
pair π’, π£ of adjacent vertices in πΏ(ππ ). The cardinality of resolving set πΏ(ππ ) is π β 1, thus
ππππ(πΏ(ππ )) β€ π β 1. It concludes the proof. See Figure 5 (c) for illustration.
β
Figure 5. (a) π8 , (b) πΏ{π8 }, (c) Construction of local resolving set
CONCLUSION
We have shown the local metric dimension number of line graph of special graphs, namely line graph
of path, cycle, star, and wheel. The results show that the local metric dimension numbers attain the best
lower bound. However we have not found the sharpest lower bound for any connected graph, therefore
we proposed the following open problem.
Open Problem 1. Let πΊ be a connected graph, obtain the best lower bound of the local metric dimension
of any graph πΊ.
Marsidi
129
On The Local Metric Dimension of Line Graph of Special Graph
REFERENCES
[1]
[2]
[3]
[4]
[5]
[6]
[7]
[8]
[9]
G. Chartrand, E. Salehi, and P. Zhang, βThe partition dimension of a graph,β Aequationes Math., vol.
59, pp. 45β54, 2000.
G. Chartrand, L. Eroh, and M. A. Johnson, βResolvability in graphs and the metric dimension of a
graph,β Discrate Appl. Math., vol. 105, pp. 99β113, 2000.
M. Imran, A. Q. Baig, S. Ahtsham, U. Haq, and I. Javaid, βOn the metric dimension of circulant
graphs,β Appl. Math. Lett., vol. 25, no. 3, pp. 320β325, 2012.
G. A. B. Ramirez, C. G. Gomez, and J. A. R. Valazquez, βClosed formulae for the local metric
dimension of corona product graphs,β Electron. notes Discret. Math., vol. 46, pp. 27β34, 2014.
LECTURE 1, βINTRODUCTION TO GRAPH MODELS,β pp. 1β25.
D. Garijo, A. GonzΓ‘lez, and A. MΓ‘rquez, βOn the metric dimension , the upper dimension and the
resolving number of graphs,β Discret. Appl. Math., vol. 161, no. 10β11, pp. 1440β1447, 2013.
H. Iswadi, E. T. Baskoro, A. N. M. Salman, R. Simanjuntak, N. Science, and U. Surabaya, βTHE METRIC
DIMENSION OF AMALGAMATION,β Far East J. Math. Sci., vol. 41, no. 1, pp. 19β31, 2010.
I. Javaid, M. T. Rahim, and K. Ali, βFamilies of regular graphs with constant metric dimension,β Util.
Math., no. October 2016, 2008.
M. A. Chaudhry, I. Javaid, and M. Salman, βFault-Tolerant Metric and Partition Dimension of
Graphs,β Util. Math., 2010.
Marsidi
130