In recent years, there is a lot of interest in the topic of conveying the groups of planar graphs with an unvarying metric dimension. A few types of planar graphs have recently had their locating number (or metric dimension) determined, and an outstanding problem concerning these graphs was brought up that: Illustrate the types of planar graphs that can be generated from a graph through the addition of more edges to , such that and . While proceeding in a similar directives, we identify two families of radially identical planar graphs with unaltered metric dimension in this study: and . We do this by establishing that and , respectively. We acquire another family of a radially symmetrical plane graph (i.e., ) with a constant metric dimension. We show that all the vertices of these classes of the plane graphs can potentially be identified with just three well-chosen nodes.
Let be a
fundamental, related (i.e., connected and simple) and undirected (i.e.,
they have no associated direction, or all of the edges are
single-directional) graphical representation (or graph or network) with
an edge set and a vertex set
and respectively. The of the graph is the smallest
number (amount) of vertices (hubs or nodes) in a set that allows a
vertex to be unambiguously identified by the list of shortest paths from
that vertex to those vertices. From the definition, the ordered -tuple (or -vector)
is the metric code (or metric representation) of a node of with respect to in a graph where
of nodes is an arranged (or
ordered) subset. A set that
has been arranged is referred to as a resolving (locating) set of if every pair of different vertices
of has a unambiguous metric
representation. The cardinality (magnitude) of the subset , or the location number (or metric
dimension) of the graph ,
denoted by or , is the minimum size of
locating set on the graph .
This is known as the metric dimension or location number of ; mathematically . It is
realized that the issue of registering this invariant is NP-hard. If a
subset of the
arrangement of nodes
is independent as well as resolving , then the set is known as an for the
graph .
The coordinate (or
distance component) of the code for an ordered set of
vertices of is zero if and
only if .
Consequently, it is ample to verify for any two distinct vertices that
in order to observe that the set is a resolving set.
The notions of metric dimension and resolution/location trace back to
the 1950s. L. M. Blumenthal [1] described them in terms of metric space.
Unrelated to one another Melter and Harary [2] in 1976 and P. J. Slater [3] in 1975 introduced these concepts to graph
networks. For trees, heptagonal circular ladders [4], circulant graphs [5], Harary, and other structures, the invariant
metric dimension has been studied. Graph theory is a useful tool for
studying the verification process in discrete science and has
applications in many areas of the figure, social, and regular sciences.
Applications of this invariant to problems of picture creation (or image
processing) and design identification (or pattern identification) are
discussed in [6]; scientific
applications are presented in [7]; applications to combinatorial improvement (or
optimisation) are obtained in [8]; and challenges of validation and system reveal
(or network discovery) are reviewed in [9].
A family of connected graphs, or charts, let be formed. In particular, if is free of the
possibility of selecting of the graph in and is finite (or constrained), we
assign the family to have
stable (or constant) location number. Stated differently, is said to as a family with an
unchanging location number if every graph in it has an indistinguishable
location number [10].
Chartrand et al. showed in [7] that if a graph on nodes is a path , then it has location number one.
Furthermore, for every positive integer ; , cycle
has location number two. Consequently, a collection of graphs with a
constant location number is established by () and (). In addition, the families of graphs with unchanged
location numbers also include the generalised Petersen graphs and the Harary graphs [5]. Recently, Sharma and Bhat studied the pane
graphs and their metric dimension in [11] heptagonal circular ladder in [12,13]. Also, G. Gnecco et.
al in [14] studied the
optimal data collection designs in machine learning; and N. Iqbal in
[15] reviewed the
fractional study of the non-linear burgers’ equation.
Joining two graphs and , denoted by , meaning a graph
such that
and . Next, we define a wheel as
for , a fan for , and a Jahangir graph () resulting from the wheel
graph by deleting spokes of the wheel graph (also
known as a gear graph). The locating number for the fan graph , as determined by Caceres
et al. in [16], is for
. In [17] Chartrand et al., they
determined the location number of the wheel graph , which is for
. Tomescu and
Javaid [18] obtained the
location number of the Jahangir graph , which is . It
should be noted that the location numbers of the plane graphs in these
three families—the Fan, Wheel, and Jahangir graphs—depend on the total
number of vertices in the graphs. As a result, these families do not
belong to the plane graphs having fixed location numbers, also known as
constant metric dimensions.
Now, a characteristic of a connected graph with respect to metric
dimension equal to two. was demonstrated by
Khuller et al. in [19] and
is
Theorem 1. [19] Let be the
set that forms a basis of the connected graph with cardinal
number two i.e., ,
and say .
Then, the below listed three points are satisfied:
Between the pair of vertices and , there exists a unique as well as
shortest path .
The vertices (or nodes) and have degrees (or valencies) that are
never more than .
The valency of any other vertex (or node) on can never be more than .
All vertex indices in this article are assumed to be modulo . The location number of the plane graph
is obtained in the
subsequent section, and we show that for positive
integers , , where and .
2. The Plane Graph
The plane graph
comprises of number of nodes
and number of edges. It has
-sided faces, and an -sided face (see Figure 1). By and , We represent the
plane graph’s vertex
and edge ordering separately. Consequently, we have
and
Figure 1: The Plane Graph
For our motive, let us call the cycle brought forth by the
arrangement of nodes as the -cycle, the cycle brought forth by
the arrangement of nodes as the -cycle,
the cycle that the node layout creates
as the -cycle, the cycle that the
node layout creates as the -cycle,
and the rest of the vertices of the graphs as the outer vertices. In
the accompanying theorem, we discover that the location number of the
plane graph, is
i.e., just vertices properly chosen are adequate
to determine all the vertices of the plane graph . Note that the choice of
appropriate basis node is the crux of the problem.
Theorem 2. For any two positive integers and , let be the planar graph on
vertices as discussed
earlier. Then, we have i.e., the location
number is .
Proof. In order to illustrate this, we excitedly examine the
two ensuing possibilities that depend on the positive integer , namely, the even and odd values of the
positive whole number . Case(slowromancapi@) When the integer is even.
In this case, we can write , , . Let , we show that is a locating set for in this case. For this, we
give the metric codes for every node of concerning the set
.
Presently, the metric codes for the vertices of -cycle are
The vertices of -cycle have
metric codes:
and The vertices of -cycle have metric codes:
The metric codes for the vertices of -cycle are
and At last, the set of outer vertices have metric codes: Since no two vertices have metric codes that are
indistinguishable from one another, , it appears.
Now, so as to finish the evidence for this case, we show that by working
out that there does not exist a resolving set with the end goal that . Despite what might be
expected, we guess that . At that point
by Theorem , we find that the
valency of basis nodes can never exceed . But except the vertices of the set
, all other nodes of the radially symmetrical plane graph
have a valency less
than or equals to . At that point,
we have the accompanying prospects to be talked about.
Resolving set
Contradiction
, ()
for , we have ,
and when , we have
, a
contradiction.
, ()
For , we have ,
when , we have
,
and when , we have
, a
contradiction.
, ()
For , we have ,
and when , we have
, a contradiction.
Resolving set
Contradiction
, ()
For , we have ,
and when , we have
, a contradiction.
, (, )
For , we have ,
when , we have ,
and when , we have
, a contradiction.
, ()
For , we have ,
when , we have,
,
and when , we have
, a
contradiction.
, ()
For , we have ,
when , we have, ,
and when , we
have
, a contradiction.
, ()
For , we have ,
and when , we have
, a contradiction.
, (, )
For , we have
,
when , ,
and when , we have
, a contradiction.
, ()
For , we have ,
and when , we
have
, a contradiction.
Resolving set
Contradiction
, ()
For , we have ,
when , we have ,
and when , we have
, a contradiction.
, (, )
For , we have ,
when , we have ,
when , we have ,
and when , we have
, a contradiction.
, ()
For , we have ,
when , we have ,
and when , we have
, a contradiction.
, (, )
For , we have ,
when , we have ,
when , we have ,
when , we have ,
and when , we have
, a contradiction.
, (, )
For , we have ,
when , we have ,
and when , we have
, a contradiction.
In this manner, the above conversation explains that there is no
resolving set comprising of two vertices for inferring that
in this
case.
Case(slowromancapii@) When the integer is odd.
In this case, we can write , , . Let , we show that is a locating set for in this case. For this, we
give the metric codes for every node of concerning the set
.
Presently, the metric codes for the vertices of -cycle are
The metric codes for the vertices of -cycle are
and The metric codes for the vertices of -cycle are The metric codes for the vertices of -cycle are and At last, the metric codes for the set of outer
vertices are Again we observe that no pair of vertices are
having indistinguishable metric codes, suggesting . As a
result, we believe that , as pointed out
in Case(@), to be a parallel prospect, and logical contradiction can be
deduced accordingly. Thus, also applies in
this case, brought the proof to an a conclusion.
The desired result can alternatively be expressed as:
Theorem 3. For two positive integers and , let be the plane graph on
vertices as defined earlier.
Then, its independent resolving number is .
In the accompanying section, we acquire the location number of the
plane graph , and for
positive integers , with and we
demonstrate that .
3. The Plane Graph
The plane graph
comprises of number of nodes
and number of edges. This
graph is obtained from the graph by placing the new edges
between the nodes and
. It has
-sided faces,
and -sided faces, and an -sided face (see Figure 2). By and , we signify the
arrangement of edges and vertices of the plane graph separately. Consequently, we
have
and
Figure 2: The Plane Graph
For our motive, we call cycle brought forth by the arrangement of
nodes as the -cycle, the cycle brought forth by
the arrangement of nodes as the -cycle, the arrangement of nodes as the set of central nodes, the cycle brought forth by the
arrangement of nodes as the -cycle, the cycle brought forth by the
arrangement of vertices as the -cycle,
and the rest of the vertices of the graphs as the outer vertices. In
the accompanying theorem, we discover that the location number of the
plane graph, is i.e., just vertices properly chosen are adequate
to determine all the vertices of the plane graph . Note that the choice of
appropriate basis node is the crux of the problem.
Theorem 4. For two positive integers and , let be the planar graph on vertices as defined above. Then,
we have i.e.,
it has location number .
Proof. In order to illustrate this, we excitedly examine the
two following cases that depend on the positive integer , that is, the even and odd values of
the positive integer . Case(@) When the integer is even.
In this case, we can write , ,
. Let , we show that is a locating set for in this case. For this, we
give the metric codes for every node of concerning the set
. As of now, the -cycle has the following metric codes for its vertices:
The metric codes for the vertices of -cycle are The metric codes for the set of the central
vertices are The metric codes for the vertices of -cycle are The metric codes for the vertices of -cycle are and At last, the metric codes for the set of outer
vertices are Since no two vertices have metric codes that are
indistinguishable from one another, , it emerges.
Now, so as to finish the evidence for this case, we show that by working out
that there does not exist a resolving set with the end goal that . Despite what might be
expected, we guess that . Now, on applying the same procedure as in Theorem , we obtain the contradictions in the
similar fashion.
In this manner, the above conversation explains that there is no
resolving set comprising of two vertices for inferring that in this
case. Case(@) When the integer is odd.
In this case, we can write , , . Let , we show that is a locating set for in this case. For this, we
give the metric codes for every node of concerning the set
. Presently, the
vertices of -cycle have metric codes:
The vertices of -cycle have metric codes: The metric codes for the set of central vertices
-cycle are
The vertices of -cycle metric codes:
The vertices of -cycle have metric codes:
and
At last, the metric codes for the set of outer
vertices are Again we see that no two vertices are having
indistinguishable metric codes, suggesting that . Now, on
expecting that , we consider that to be are parallel prospects as talked
about in Case(@) and logical inconsistency can be inferred
correspondingly. Consequently, for this
situation too, which concludes the theorem.
This result can also be written as:
Theorem 5. For two positive integers and , let be the planar graph on vertices as defined above. Then,
its independent resolving number is .
In the accompanying section, we acquire the location number of the
plane graph , and for
positive integers , with and we
demonstrate that .
4. The Plane Graph
The plane graph
comprises of number of nodes
and number of edges. It has
-sided faces, -sided faces, -sided faces, and an -sided face (see Figure 3). By and , we signify the
arrangement of edges and vertices of the plane graph separately. Consequently,
we have
and
Figure 3: The Plane Graph
For our motive, we call cycle brought forth by the arrangement of
nodes as the -cycle, the cycle brought forth by
the arrangement of nodes as the -cycle, the cycle brought forth by the
arrangement of nodes as the -cycle, the cycle brought forth by
the arrangement of vertices as the -cycle, and the rest of the vertices
of the graph as the
outer vertices. In the accompanying theorem, we discover that the
location number of the plane graph, is i.e., just vertices properly chosen are adequate
to determine all the vertices of the plane graph . Note that the choice of
appropriate basis node is the crux of the problem.
Theorem 6. For two positive integers and , let be the planar graph on
vertices as defined above.
Then, we have
i.e., it has location number .
Proof. To demonstrate this, we eagerly consider the
resulting two cases relying on the positive integer i.e., when the positive whole number
is even and when it is odd. Case(@) When the integer is even.
In this case, we can write , ,
. Let , we show that is a locating set for in this case. For this, we
give the metric codes for every node of concerning the set . Presently, the metric codes
for the vertices of -cycle
are
The metric codes for the vertices of -cycle are
The metric codes for the vertices of -cycle are The metric codes for the vertices of -cycle are and The metric codes for the set of vertices are We notice that no two vertices are having
indistinguishable metric codes, suggesting that . Now, so as
to finish the evidence for this case, we show that by working
out that there does not exist a resolving set with the end goal that . Despite what might be
expected, we guess that . Now, on applying the same procedure as in Theorem , we obtain the contradictions in the
similar fashion.
In this manner, the above conversation explains that there is no
resolving set comprising of two vertices for inferring that
in this
case. Case(@) When the integer is even.
In this case, we can write , , . We demonstrate that is a locating set for in this case, assuming
. We provide the
metric codes for each node in with respect to the set in order to do this.
Presently, the metric codes for the vertices of -cycle are
The metric codes for the vertices of -cycle are The metric codes for the vertices of -cycle are The metric codes for the vertices of -cycle are and The metric codes for the set of vertices are Once more, we discover the fact that there are no
two vertices with identical metric codes, implying that . As a result,
we believe that , as discussed in Case(@), to be a parallel prospect, and
logical contradiction can be deduced accordingly. Thus, also holds in
this case, providing the theorem to a conclusion.
This result can also be written as:
Theorem 7. For two positive integers and , let be the planar graph on
vertices as defined earlier.
Then, the independent resolving number of is .
5. Conclusion
This article include the study of the of three classes of
radially symmetrical planar graphs viz., , , and , and we have proved that
the of these three classes of planar
graphs is finite and is independent of the number of vertices in these
graphs, and just three vertices chosen properly are adequate to
determine all the vertices of these classes of radially symmetrical
planar graphs. We besides saw that the basis set is independent for these
three radially even families of plane graphs. We also note that the
metric dimension of the graphs obtained from these three graphs by
placing new edges between the vertices of the paths (making the complete
cycle) remain the same as the of these three families of planar graphs.
References:
Blumenthal, L.M., 1970. Theory and applications of
distance geometry. Chelsea Publishing Company, NY.
Harary, F. and Melter, R.A., 1976. On the metric dimension of a
graph. Ars Combinatoria, 2, pp.191-195.
Slater, P. J., 1975. Leaves of trees. In: Proc. 6th Southeastern
Conference on Combinatorics, Graph Theory, and Computing (Florida
Atlantic Univ., Boca Raton, Fla.), pp.549-559.
Sharma, S.K. and Bhat, V.K., 2021. Metric dimension of heptagonal
circular ladder. Discrete Mathematics, Algorithms and Applications,
13(01), p.2050095.
Javaid, I., Rahim, M.T. and Ali, K., 2008. Families of regular graphs
with constant metric dimension. Utilitas Mathematica, 75(1),
pp.21-33.
Melter, R.A. and Tomescu, I., 1984. Metric bases in digital geometry.
Computer Vision, Graphics, and Image Processing, 25(1),
pp.113-121.
Chartrand, G., Eroh, L., Johnson, M.A. and Oellermann, O.R., 2000.
Resolvability in graphs and the metric dimension of a graph.
Discrete Applied Mathematics, 105(1-3), pp.99-113.
Sebő, A. and Tannier, E., 2004. On metric generators of graphs.
Mathematics of Operations Research, 29(2), pp.383-393.
Beerliova, Z., Eberhard, F., Erlebach, T., Hall, A., Hoffmann, M.,
Mihal’ak, M. and Ram, L.S., 2006. Network discovery and verification.
IEEE Journal on Selected Areas in Communications, 24(12),
pp.2168-2181.
Tomescu, I. and Imran, M., 2011. Metric dimension and R-sets of
connected graphs. Graphs and Combinatorics, 27(4),
pp.585-591.
Sharma, S.K. and Bhat, V.K., 2021. On some plane graphs and their
metric dimension. International Journal of Applied and Computational
Mathematics, 7, pp.1-15.
Sharma, S.K. and Bhat, V.K., 2022.
Fault-tolerant metric dimension of two-fold heptagonal-nonagonal
circular ladder. Discrete Mathematics, Algorithms and Applications,
14(03), p.2150132.
Sharma, S.K. and Bhat, V.K., 2021. Metric
dimension of heptagonal circular ladder. Discrete Mathematics,
Algorithms and Applications, 13(01), p.2050095.
Gnecco, G.,
Nutarelli, F. and Selvi, D., 2021. Optimal data collection design in
machine learning: the case of the fixed effects generalized least
squares panel data model. Machine Learning, 110(7),
pp.1549-1584.
Iqbal, N., Chughtai, M.T. and Ullah, R., 2023. Fractional
study of the non-linear burgers’ equations via a semi-analytical
technique. Fractal and Fractional, 7(2), p.103.
Hernando, C., Mora, M., Pelayo, I.M., Seara, C., Cáceres, J. and
Puertas, M.L., 2005. On the metric dimension of some families of graphs.
Electronic Notes in Discrete Mathematics, 22, pp.129-133.
Buczkowski, P., Chartrand, G., Poisson, C. and Zhang, P., 2003. On
k-dimensional graphs and their bases. Periodica Mathematica
Hungarica, 46(1), pp.9-15.
Tomescu, I. and Javaid, I., 2007. On the metric dimension of the
Jahangir graph. Bulletin mathématique de la Société des Sciences
Mathématiques de Roumanie, pp.371-376.
Khuller, S., Raghavachari, B. and Rosenfeld, A., 1996. Landmarks in
graphs. Discrete Applied Mathematics, 70(3), pp.217-229.