Let and denote the edge set and the vertex set of the simple connected graph , respectively. The mixed metric dimension of the graph is the graph invariant, which is the mixture of two important graph parameters, the edge metric dimension and the metric dimension. In this article, we compute the mixed metric dimension for the two families of the plane graphs viz., the Web graph and the Prism allied graph . We show that the mixed metric dimension is non-constant unbounded for these two families of the plane graph. Moreover, for the Web graph and the Prism allied graph , we unveil that the mixed metric basis set is independent.
The graph invariant is among the important and
highly active research topic in Graph Theory. This fundamental concept
of metric dimension was founded by two groups of researchers
independently viz., Slater in [1] and Harary and Melter in [2], in the late seventies. The set of points in the taken metric space
with the property (or characteristic) that any point of the space is
determined uniquely by its distances from the points of , is referred to as the (or ) of the given metric space.
These metric generating sets are called the locating sets by Slater in
[1] and the resolving sets by
Melter and Harary in [2],
respectively.
After these two important initial papers [1,2], several works regarding theoretical
properties, as well as applications, of this graph invariant were
published. Initially, Slater considered special acknowledgment of a
thief in the network, while others noticed problems in picture preparing
(or image processing) and design acknowledgment (or pattern recognition)
[3], applications to science
are given in [4], to the
route of exploring specialist (navigating agent or robots) in systems
(or networks) are examined in [5], to issues of check and system revelation (or
network discovery) in [6],
application to combinatorial enhancement (or optimization) is yielded in
[7], and for more work see
[8,9,10].
Suppose and denote the edge set and the vertex
set of the simple connected graph , respectively. The distance between two
vertices , is
denoted and defined as length of the
shortest possible path
in and the represents the distance between an
edge
and the vertex in . If the distance between the vertex
and an element is not equaled to the distance
between the same vertex and
an element in (where ), then one
can say that the vertex
distinguish (determines or resolves) two elements and in .
A set consisting of the
vertices of the graph , is termed
as the for , if the vertices of distinguish (determines or
resolves) every pair of different vertices of the connected graph . These metric generators are called
for if it has the minimum cardinality and
this cardinal number of the metric basis is referred to as the of the graph , denoted by or .
On the other hand, concerning the hypothetical examinations of this
important topic, various perspectives of metric generators have been depicted in the recent
literature, which has profoundly added to acquire more understanding
into numerical properties of this graph invariant related with distances
in networks. Several authors working on this topic have presented
different varieties of metric generators like for example, independent
resolving sets, resolving dominating sets, strong resolving sets, local
metric sets, edge resolving sets, strong resolving partitions, mixed
metric sets, etc. For these see references in [8,10,11,12,13]. A set consisting of vertices of the graph
is said to be an independent
resolving set for , if is both resolving (metric generator)
and independent.
One can see that the metric dimension deals with the vertices of the
graph by its definition, a similar concept dealing with the edges of the
graph introduced by Kelenc et al. in [11], called the edge metric dimension of the graph
, which uniquely identifies the
edges related to a graph . For an
edge
and a vertex the distance between
them is defined as .
A subset is
called an edge metric generator for , if any two different edges of are distinguish by some vertex of . The edge metric
generator with minimum cardinality is termed as edge metric basis and
that cardinality is known as the edge metric dimension of the graph
, and which is denoted by or . A set consisting of vertices of the graph
is said to be an independent edge
metric generator for , if is both edge metric generator and
independent.
2. Mixed metric dimension:
Recently, a new kind of graph parameter was introduced by Kelenc et
al. in [12], which is the
composition of both, the edge metric dimension and the metric dimension
and called the mixed metric dimension for a graph . A subset is called a mixed metric
generator for , if any two
different elements of
are distinguished by some vertex of . For an ordered subset of vertices of the graph , and an element , the mixed metric
codemixed metric
representation of regarding is the ordered -tuple .
If for any two distinct elements and of , , then is said to be a mixed metric
generator (or shortly, MMG) for .
The mixed metric generator with minimum cardinality is termed as the
mixed metric basis, and that cardinality is known as the mixed metric
dimension of the graph , and which
is denoted by or . For our gentle purpose, by
MMG and MMD we denote mixed metric generator and mixed metric dimension,
respectively. Now, like edge metric dimension and the metric dimension,
for this graph invariant one can define that, set consisting of vertices of the
graph, is said to be an
independent mixed metric generator for , if is both a MMG and independent.
In this study, we consider two important families of the plane graphs
viz., the prism allied graph ([15], see Figure 1) and the Web graph ([16], see Figure 2) and we obtain their MMD.
Recently, the metric dimension and the edge metric dimension of these
two families of the plane graphs were computed. For the metric dimension
of these families of plane graphs we have the following results:
Theorem 1. [15] Let be the Prism allied graph on
edges and vertices. Then, for , we have .
Theorem 2. [16] Let be the Web graph on edges and vertices. Then, for , we have
and regarding the edge metric dimension, we have
Theorem 3. [15] Let be the Prism allied graph on
edges and vertices. Then, for , we have
Theorem 4. [16] Let be the Web graph on edges and vertices. Then, for , we have .
Throughout this article, all vertex indices are taken to be modulo
. The present paper is organized
as follows:
In section 2, we study the MMD of the Prism allied graph , when the MMG is independent (see Figure 1).
In section 3, we study the MMD of the Web graph , when the MMG is independent (see Figure 2),
and in our last section, we conclude our results and findings regarding
these two important families of the plane graphs.
3. Mixed
Resolvability of the Prism Allied Graph
The Prism allied graph [15] has vertex set of cardinality and an edge set of cardinality , indicated by and respectively, where
and . It comprises of -sided faces, pendant edges, -sided faces, and an -sided face (see Figure 1). The graph
is allied to the
Prism graph in the
sense that, it can be acquired from the Prism graph by including new
vertices and edges in as follows:
Placing new vertices , between the edges .
Again join the vertices and .
Join the vertices
and , in order to obtain
the pendant edges.
Figure 1. The Prism Allied Graph , for .
For our smooth purpose, we refer to the cycle brought forth by the
arrangement of vertices and
in the graph, as
the and -cycle respectively, the arrangement of
vertices and , in the graph, as the set of outer
and pendant vertices respectively. For our convenience, we consider
, , , and . In the present working
section, we obtain that the least possible cardinality for the MMG of the Prism allied graph is . We also find that the MMG for the Prism allied graph
is independent.
Now, in order to get the exact MMD of graph , we need the following
three Lemmas:
Lemma 1. The set of outer vertices , where
is a MMG for the Prism allied graph .
Proof. For the inconsistency, we suppose that the MMG , does not contain at least one
vertex from the set . Without loss of generality, we suppose that , for any . At that point, we have ,
,
and ,
a contradiction.
Lemma 2. Let and
be any mixed resolving
generator for the Prism allied graph . Then, .
Proof. Suppose on the contrary that i.e., for any
, . Then, we have
,
a contradiction.
In the accompanying Lemma, we show that the cardinality of any mixed
resolving generator for the Prism allied graph is greater than or
equals to i.e., .
Lemma 3. For the Prism allied graph and , we have .
Proof. On contrary, we suppose that the cardinality of the
mixed resolving generator
of the Prism allied graph is equals to i.e., . Then, on
combining Lemma 1 and 2, we get contradiction as the cardinality of the
set
is . So, we must have .
Now, we are ready to obtain the exact mixed metric dimension for the
Prism allied graph . For this, we have the
following important result:
Theorem 5.For the Prism allied graph , we have , .
Proof. By Lemma 3, we have . Now, in
order to complete the proof of the theorem, we have to show that . For
this, suppose (for
the location of these vertices, see Figure 1 (vertices in green color)).
We will show that is the
MMG for the Prism allied graph . By total enumeration,
it can be easily checked that the set is the MMG for the Prism allied
graph , when
. Now, for , we consider the following two
cases regarding the positive integer (i.e., when and ).
Case-1.
In this case, can be written as
, where and . Let . Now, to figure
out that is the MMG
for the Prism allied graph , we consign the mixed
metric codes for each vertex and each edge of the graph regarding ( in Figures 1 and 2).
Now, the mixed metric codes for the vertices regarding the set are shown below in the
following four tables respectively.
:()
:()
:()
:()
:()
:()
:()
:()
:()
:()
&
:
() & :
() & :
() &
:
() & :
() & :
()
&
&
:
() & :
() & :
() &
:
() & :
() & :
()
&
and the mixed metric codes for the edges regarding the set are shown in the tables
below, respectively.
&
:
() & :
() & :
() &
:
() & :
() & :
()
&
&
:
() & :
() & :
() &
:
() & :
()
&
&
:
() & :
() & :
() &
:
() & :
() & :
()
&
&
:
() & :
() & :
() &
:
() & :
() & :
()
&
&
:
() & :
() & :
() &
:
() & :
() & :
()
&
&
:
() & :
() & :
() &
:
() & :
() & :
()
&
Now, from these mixed metric codes of the edges and the vertices of
the Prism allied graph concerning the set
, we ascertain that for
and , ,
,
and .
For the remaining mixed metric edges and vertices codes in , we find no two
vertices or edges with the same mixed metric codes. For ,
we see that ,
,
and .
From this, we obtain ,
,
and ,
for any and so
, suggesting
that
in this case.
Case-2.
In this case, can be written as
, where and . Let .
Now, to figure out that is the MMG for the Prism
allied graph , we
consign the mixed metric codes for each vertex and each edge of the
graph regarding
.
Now, the mixed metric codes for the vertices regarding the set are shown below in the
following four tables respectively.
&
:
() & :
() & :
()&
:
() & :() &
&
:
() & :
() & :
() &
:
() & :
()
&
&
:
() & :
() & :
() &
:
() & :
() & :
()
&
&
:
() & :
() & :
() &
:
() & :
() & :
()
&
and the mixed metric codes for the edges regarding the set are shown in the tables
below, respectively.
Now, from these mixed metric codes of the edges and the vertices of
the Prism allied graph concerning the set
, we ascertain that for
and , ,
,
and .
For the remaining mixed metric edges and vertices codes in , we find no two
vertices or edges with the same mixed metric codes. For ,
we see that ,
,
and .
From this, we obtain ,
,
and ,
for any and so
, suggesting that
in
this case also, which concludes the theorem.
Theorem 6.The independent mixed metric
number for the Prism allied graph , for is .
Proof. For proof, refer to Theorem .
4. Mixed
Resolvability of the Web Graph
The Web graph
[16] has a vertex set of
cardinality and an edge set of
cardinality , indicated by and respectively, where
and . It
comprises of -sided faces, pendant edges, and an -sided face (see Figure 2). The Web
graph can also be
obtained from the Prism graph by simply including new pendant edges .
Figure 2. The Web Graph , for .
For our smooth purpose, we refer to the cycle brought forth by the
arrangement of vertices and
in the graph, as the
and -cycle respectively, the arrangement of
vertices , in the graph, as the set of pendant
vertices respectively. For our convenience, we consider , , and . In this working section,
we obtain that the least possible cardinality for the MMG of the Web graph is . For this, we also see that the MMG
for the Web graph is independent. Now, in
order to get the exact MMD of graph , we need the following
Lemmas:
Lemma 4. The set of outer vertices , where
is a MMG for the Web graph .
Proof. For the inconsistency, we suppose that the MMG , does not contain at least one
vertex from the set . Without loss of generality, we suppose that , for any . At that point, we have ,
a contradiction.
Lemma 5. Let and
be any MMG for the Web
graph . Then, .
Proof. Suppose on the contrary that i.e., for any
, . Then, we have
,
a contradiction.
In the accompanying Lemma, we show that the cardinality of any MMG
for the Web graph is
greater than or equals to i.e.,
.
Lemma 6. For the Web graph and , we have .
Proof. On contrary, we suppose that the cardinality of the
MMG of the Web graph
is equals i.e., . Then, on
combining Lemma 4 and 5, we get contradiction as the cardinality of the
set
is . So, we must have .
Now, for the Web graph , we have the following
important result regarding its MMD:
Theorem 7.For the Web graph , we have , .
Proof. By Lemma 6, we have . Now, in
order to complete the proof of the theorem, we have to show that . For this,
suppose (for the
location of these vertices, see Figure 2 (vertices in purple color)). We
will show that is the
mixed metric basis set for the Web graph . By total enumeration, it
can be easily checked that the set is the mixed metric basis set
for the Web graph ,
when . Now, for , we consider the following two
cases regarding the positive integer (i.e., when and ).
Case-1.
In this case, can be written as
, where and . Let . Now, to figure out
that is the MMG for
the Web graph , we
consign the mixed metric codes for each vertex and each edge of the
graph regarding
.
Now, the mixed metric codes for the vertices regarding the set are shown below in the
following three tables respectively.
&
:
() & :
() &
:
() & :
()
&
&
:
() & :
() &
:
() & :
()
&
&
:
() & :
() & :
() &
:
() & :
() & :
()
&
and the mixed metric codes for the edges
regarding the set are
shown in the tables below, respectively.
&
:
() & :
() &
:
() & :
()
&
&
:
() & :
() &
:
() & :
()
&
&
:
() & :
() &
:
() & :
()
&
&
:
() & :
() & :
() &
:
() & :
() & :
()
&
Now, from these mixed metric codes of the edges and the vertices of
the Web graph
concerning the set , we
ascertain that for and , .
For the remaining mixed metric edges and vertices codes in , we find no two vertices
or edges with the same mixed metric codes. For ,
we see that .
From this, we obtain ,
for any and so
, suggesting
that in
this case.
Case-2.
In this case, can be written as
, where and . Let . Now, to figure out
that is the MMG for
the Web graph , we
consign the mixed metric codes for each vertex and each edge of the
graph regarding
.
Now, the mixed metric codes for the vertices regarding the set are shown below in the
following three tables respectively.
&
:
() & :
()&
:
() & :
()
&
&
:
() & :
() &
:
() & :
()
&
&
:
() & :
() & :
() &
:
() & :
() & :
()
&
and the mixed metric codes for the edges
regarding the set are
shown in the tables below, respectively.
Now, from these mixed metric codes of the edges and the vertices of
the Web graph
concerning the set , we
ascertain that for and , .
For the remaining mixed metric edges and vertices codes in , we find no two vertices
or edges with the same mixed metric codes. For ,
we see that .
From this, we obtain ,
for any and so
, suggesting
that in
this case also, which concludes the theorem.
Theorem 8.The independent mixed metric
number for the Web graph , for is .
Proof. For proof, refer to Theorem .
5. Conclusion
In this examination, we determined the MMD for the two important
families of the plane graphs viz., the Web graph ([16], see Figure 2) and the Prism allied graph ([15], see Figure 1), and which was
found to be non-constant unbounded for these two families of the plane
graph. Moreover, for the Web graph and the Prism allied graph
, we unveil that
the mixed metric basis set is independent. From
preliminaries and these results, for these two families of plane graphs
and , we determined that
,
for every .
Harary, F. and Melter, R.A., 1976. On the metric dimension of a graph. Ars Combinatoria, 2, pp.191-195.[Google Scholor]
Melter, R.A. and Tomescu, I., 1984. Metric bases in digital geometry. Computer vision, graphics, and image Processing, 25(1), pp.113-121.[Google Scholor]
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.[Google Scholor]
Khuller, S., Raghavachari, B. and Rosenfeld, A., 1996. Landmarks in graphs. Discrete applied mathematics, 70(3), pp.217-229.[Google Scholor]
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.[Google Scholor]
Sebo, A. and Tannier, E., 2004. On metric generators of graphs. Mathematics of Operations Research, 29(2), pp.383-393.[Google Scholor]
Sharma, S.K. and Bhat, V.K., 2021. Metric dimension of heptagonal circular ladder. Discrete Mathematics, Algorithms and Applications, 13(01), p.2050095.[Google Scholor]
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.[Google Scholor]
Tomescu, I. and Imran, M., 2011. Metric dimension and R-sets of connected graphs. Graphs and Combinatorics, 27(4), pp.585-591.[Google Scholor]
Kelenc, A., Tratnik, N. and Yero, I.G., 2018. Uniquely identifying the edges of a graph: the edge metric dimension. Discrete Applied Mathematics, 251, pp.204-220.[Google Scholor]
Kelenc, A., Kuziak, D., Taranenko, A. and Yero, I.G., 2017. Mixed metric dimension of graphs. Applied Mathematics and Computation, 314, pp.429-438.[Google Scholor]
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.[Google Scholor]
Xing, B.H., Sharma, S.K., Bhat, V.K., Raza, H. and Liu, J.B., 2021. The vertex-edge resolvability of some wheel-related graphs. Journal of Mathematics, 2021, pp.1-16.[Google Scholor]
Ahsan, M., Zahid, Z., Zafar, S., Rafiq, A., Sindhu, M.S. and Umar, M., 2021. Computing the edge metric dimension of convex polytopes related graphs. Journal of Mathematics and Computer Science, 22, pp.174-188.[Google Scholor]
Zhang, Y. and Gao, S., 2020. On the edge metric dimension of convex polytopes and its related graphs. Journal of Combinatorial Optimization, 39(2), pp.334-350.[Google Scholor]