1. Introduction
Topics concerning distances in graphs are widely studied in the literature, and a high number of applications to real life problems can be found in the literature. As a sporadic example of a work that gives some ideas on the vastness of this topic we cite, for instance [
1]. Metric graph theory is a significant area in graph theory that deals with distances in graphs, and a large number of works on this topic is nowadays being developed. One of the lines belonging to metric graph theory is that of the metric dimension parameters. Such topic is indeed a huge area of research that is lastly intensively dealt with. It is then not our goal to enter into citing several articles which are not connected exactly with our exposition. To those readers interested in metric dimension things, we suggest for instance the Ph.D. dissertation [
2] (and references cited therein), which contains a good background on the topic.
For any given simple and connected graph
G whose vertex set is represented as
and its edge set by
, while considering it as a metric space, several styles of metrics over the vertex set
V, provided with the standard vertex distance, are nowadays defined and studied in the literature. For instance, the metric
, where
represents the set of positive integers numbers, and
is taken as the length of a shortest
path, is one of the most commonly studied. In this sense, the pair
is clearly a metric space. Concerning such a metric space, it is said that a vertex
distinguishes (recognizes or determines are also used terms) two vertices
x and
y if
. A set
is said to be a
metric generator for the graph
G if it is satisfied that any pair of vertices of
G is uniquely determined by some element of
S. Consider that
is an ordered subset of vertices of
G. The
metric vector (or metric representation) of a given vertex
, with respect to
S, is the vector of distance
. In this sense, the subset of vertices
S is called a
metric generator for the graph
G, if any two distinct vertices produce distinct metric vectors relative to such set
S. A metric generator of
G having the minimum possible cardinality is called a
metric basis, and its cardinality is precisely the
metric dimension of
G, which is usually denoted by
. The definitions of these concepts (for general metric spaces) are coming from the earliest 1950s from the work [
3], although its popularity was not developed until relatively recently (about 15 years before). On the other hand, for the specific case of graphs, and motivated by a problem of uniquely recognizing intruder’s locations in networks, these concepts were presented and studied by Slater in [
4]. In such work, metric generators were called
locating sets. On the other hand, Harary and Melter (see [
5]) also independently came out with the same concept. In such work, metric generators were called
resolving sets. It is interesting to remark that some examples of applications of the metric dimension concern navigation of robots in networks as discussed in the work [
6], or to chemistry as appearing in [
7,
8,
9].
An interesting variant of metric dimension in graphs was described by Sebö and Tannier in [
10], where they have asked the following question. “
For a given metric generator T of a graph H, whenever H is a subgraph of a graph G, and the metric vectors of the vertices of H relative to T agree in both H and G, is H an isometric subgraph of G?” The situation is that, despite the fact that metric vectors of all vertices of a graph
G (relative to a given metric generator) distinguish all pairs of vertices in such graph, it happens that they do not always uniquely recognize all distances in this graph, a fact that was already shown in [
10]. Addressed to give a positive answer to their own question, the authors of [
10] replaced the notion of “metric generator” by a stronger one. This is described next.
Given a pair of vertices
, the
interval between such two vertices
u and
v is defined as the collection of all vertices that belong to some shortest
path. In this sense, a vertex
w strongly resolves two other different vertices
u and
v, if it is satisfied that
or
, or equivalently, if
or
. In connection with this, it is also said that
are
strongly resolved by
w. From now on, all graphs considered are connected. A set
S of vertices of
G is a
strong metric generator for
G if any two distinct vertices
of such graph are strongly resolved by some vertex
(it could happen that
u equals
x or
y). Then, the smallest possible cardinality of any set being a strong metric generator for
G is called the
strong metric dimension of
G, and this cardinality is denoted by
. In addition, a strong metric generator for
G whose cardinality is precisely equal to
is called a
strong metric basis of
G. It is now readily observed that any strong metric generator of
G also satisfies the property of being a metric generator for
G. The computational problem concerning finding the strong metric dimension of a given graph is now relatively well studied, and one can find a rich literature concerning it. For more information on this issue, we suggest, for instance, the articles [
11,
12], the Ph.D. Thesis [
13], the survey [
14], and references cited therein.
More recently, an extension of the notion of the strong metric dimension of graphs to families of graphs was presented in [
15]. The following was stated: Consider that
is a family of connected graphs
having a common vertex set
V. Note that the edge sets of the graphs belonging to the family are not necessarily edge-disjoint, and also that the union of their edge sets is not necessarily the complete graph. Concerning such family, it was said in [
15] that a
simultaneous strong metric generator (SSMG for short) for the family
is taken as a set
with the property that
S forms a strong metric generator for every graph
of the family. As usual, an SSMG having the minimum possible cardinality for
is called a
simultaneous strong metric basis of
. This smallest cardinality is then precisely called the
simultaneous strong metric dimension of
, and this is denoted by
, or by
when it is necessary to clarify the graphs of the family. It is worthwhile mentioning that such concepts arise from a related version of simultaneity for the standard metric dimension studied in [
16,
17].
The notion of the simultaneous metric dimension of graphs families (and its strong related version) was first studied in the Ph.D. thesis [
18], based on the following problem, which arises in relation with a similar problem for the standard metric dimension. It is assumed that the topology of robots navigation network changes within some amount of possible simple networks, say a set (or family) of graphs
. Nodes of the networks remain the same, but their links could appear or disappear. This setting could require the use of a dynamic network whose links change over the time. In this sense, the problem concerning uniquely identifying the robots (by using the smallest resources) navigating in such a “variable” network can be understood as the problem of determining the minimum cardinality of a set of vertices that is simultaneously a metric generator for each graph belonging to this set
. That is, if a set of vertices
S gives a solution to this problem, then the position of a robot can be uniquely determined by the distance to the elements of
S, independently of the graph which is being used in each moment in this dynamic network.
We now present some basic terminology and notation to beused throughout our exposition. Given a vertex v of a graph G, denotes the open neighborhood of v in G, while the closed neighborhood is represented by and it equals . If there is no confusion, we then simply use or . Two vertices are called twins if they satisfy or . Specifically, when , they are known as true twins, and similarly whether , they are called false twins. Now, if the open neighborhood of a vertex v induces a complete graph, then such v is known as an extreme vertex. The set of extreme vertices of G is denoted by . The largest possible distance between any two vertices of G is denoted by , also called the diameter of G. In this sense, a graph G is called 2-antipodal if, for every vertex , there is exactly one other vertex satisfying the fact that . Examples of 2-antipodal graphs are, for instance, even cycles , and the hypercubes . Finally, for a given set , by , we represent the subgraph of G induced by W. Any other definition used shall be introduced whenever a concept is firstly needed.
Since all the definitions above require the connectedness of the graph in question, throughout the whole exposition, we will consider that our graphs are connected; even so, we will not explicitly mention this fact.
2. The Simultaneous Strong Resolving Graph
In this section, we describe an approach which was first presented in [
19], in order to transform the problem of finding the strong metric dimension of a graph to computing the vertex cover number of another related graph. To this end, we need some terminology and notation. A vertex
u of
G is said to be
maximally distant from other
v, if every vertex
satisfies that
. For a pair of vertices,
, if it happens that
u is maximally distant from
v and
v is also maximally distant from
u, then these
u and
v are called a pair of
mutually maximally distant vertices (MMD for short). The set of vertices of
G that are MMD with at least one other vertex of
G is denoted by
. The
strong resolving graph of
G, which is denoted by
, is another graph whose vertex set is
. In addition, there is an edge between two vertices
in
if such vertices
u and
v are mutually maximally distant in the original graph
G. Clearly, those vertices which are not MMD with any other vertex of
G are isolated vertices in
. The recent work [
20] (a kind of survey) contains a number of results concerning characterizations, realizability, and several other properties of the strong resolving graphs of graphs.
Now, by a
vertex cover set of a graph
G, we mean a set of vertices
S of
G satisfying that every edge of
G has at least one end vertex in the set
S. The
vertex cover number of
G, which is denoted by
, is taken as the smallest possible cardinality of a subset of vertices of
G being a vertex cover set of
G. By an
-set, we represent a vertex cover set of cardinality
. In connection with this concept, the authors Oellermann and Peters-Fransen (see [
19]) have proved that finding the strong metric dimension of a connected graph
G is equivalent to finding the vertex cover number of
, which is the next result.
Theorem 1 ([
19])
. For any connected graph G, There are several different and non trivial families of connected graphs for which the strong resolving graphs can relatively easily be obtained. We next mention some of these cases, mainly based on the fact that we further on shall refer to them. Such following observations have already appeared (in an identical presentation) in other works like, for instance [
20].
Observation 1. - (a)
If , then . In particular, and for any tree T of order n with leaves, .
- (b)
For any 2-antipodal graph G of order n, . Even cycles are 2-antipodal. Thus, .
- (c)
For odd cycles, .
We now turn our attention to the simultaneous strong metric dimension of graph families and look for an equivalent version of the strong resolving graph in a simultaneous version. That is, given a family of graphs defined over the set of vertices V (as described above), we say that the simultaneous strong resolving graph of G, denoted by , is a graph whose vertex set is . In addition, two vertices are adjacent in if the vertices u and v are mutually maximally distant in some graph . It is readily seen that can be obtained from the overlapping of the strong resolving graphs of the graphs , , ⋯, . An equivalent result to that of Theorem 1 can be then derived for the simultaneous case. To this end, the next remarks make an important role.
Remark 1. Let G be any connected graph. For any two vertices , there are two MMD vertices of G, such that a shortest path contains the vertices .
We must recall that at least one of the vertices in the result above could precisely be at least one of the vertices , respectively (this could happen in case are MMD or whether one of them is maximally distant from the other).
Theorem 2. For any family of graphs, ,
Proof. We shall prove that any set is an SSMG for if and only if it is a vertex cover of . Assume each graph of is defined over the set of vertices V. Let be an SSMG of and let be an edge of . By the definition of , there is a graph such that are MMD in . Thus, , which means that the edge is covered by W in . Thus, W is a vertex cover of .
On the other hand, let be a vertex cover of and let be any two different vertices of V. If are MMD in some , then is an edge of , which means that , since such edge must be covered by . Assume . Thus, the pair of vertices is strongly resolved by x in every . On the contrary, if are not MMD in every , then the edge does not exist in . Moreover, by Remark 1, in every graph , there are two MMD vertices such that a shortest path of contains x and y. Clearly, for every , the edge belongs to and so, . Hence, for any , we observe that are strongly resolved by or by . As a consequence, is a strong resolving set for any and therefore is a simultaneous strong resolving set of , which completes the proof of the equality . □
3. Realization of the Simultaneous Strong Resolving Graphs with Some Consequences
In the recent work [
20], several results concerning the realization of the strong resolving graphs of graphs were presented. For instance, there was proved that there is not any graph
G whose strong resolving graph is isomorphic to a complete bipartite graph
for every
. In contrast with these facts, we shall prove that every graph
G can represent the simultaneous strong resolving graph of some family of graphs.
Proposition 1. For any graph G of order n and size m with vertex set V, there exist a family of m paths defined over the set of vertices V such that is isomorphic to G.
Proof. Let be the vertex set of G. For any edge of G, consider a path whose leaves are and and the remaining vertices are . Since the strong resolving graph of is formed by a graph on the vertices and the isolated vertices , it is readily seen that the union (overlapping) of the m paths constructed in this way, corresponding to the edges of G, together with the other isolated vertices, is precisely the graph G. □
Since the realization family given above is formed only by paths, one may now wonder if a given graph can be realized as the simultaneous strong resolving graph of a family of other graphs different from paths. For instance, the following two results show two other different realizations. To this end, a multisubdivided star of order is obtained from a star by subdividing some edges with some vertices until we have a graph of order (clearly r vertices were used in this multisubdivision process). In addition, a comet graph (where is an even integer and ) is a unicyclic graph of order whose unique cycle has order r, and there is at most one vertex of degree three and at most one leaf. Note that this comet graph can be a cycle graph when (in such case an even cycle indeed). In other words, a comet graph is obtained from a cycle by attaching a path of order to one of its vertices.
Proposition 2. For any graph G of order n with vertex set V, there exists a family of multisubdivided star graphs defined over the set of vertices V such that is isomorphic to G.
Proof. Let be the vertex set of G. Now, for every clique of G of cardinality j, consider a multisubdivided star graph such that whose leaves are the vertices of , and the remaining vertices are (taken in any order). Since the strong resolving graph of every multisubdivided star graph is formed by a complete graph on the vertices of and the isolated vertices in (by using Observation 1), it is readily seen that the overlapping of the strong resolving graphs of the graphs belonging to this set of multisubdivided star graphs constructed in this way, corresponding to the cliques of G, together with the other corresponding isolated vertices, gives precisely the graph G. □
In order to present our next construction, we remark (which can be easily observed) that the strong resolving graph of a comet graph is given by the disjoint union of r graphs and t isolated vertices. We also need the following terminology. A matching in a graph G is a set of pairwise disjoint edges in the graph, and a maximum matching is a matching M such that the inclusion of any other edge of G to M leads to at least two not disjoint edges.
Proposition 3. For any graph G of order n with vertex set V, there exist a family containing comet graphs and paths, defined over the set of vertices V such that is isomorphic to G.
Proof. Let be the vertex set of G. We consider all possible maximum matchings of G. If there is a maximum matching which has only one edge , then we consider a path graph , for the family , whose leaves are u and v. Clearly, the strong resolving graph of this path is the graph on the vertex set and isolated vertices. Next, we take every other maximum matching of G having edges. Now, consider a comet graph with , such that any two vertices being an edge of are diametral in the cycle of , and the remaining vertices are (taken in any order) forming the path of of order t that are attached to one vertex of . Note that the strong resolving graph of any comet graph is given by the disjoint union of i graphs and t isolated vertices. Thus, by using all the graphs constructed as mentioned above for all the maximum matchings of G, it is readily seen that the overlapping of the strong resolving graphs of the graphs belonging to this set constructed in this way, corresponding to the maximum matchings of G, together with the other corresponding isolated vertices, gives precisely the graph G. □
Based on the constructions above, it looks like several different families of graphs can produce the same simultaneous strong resolving graph. In this sense, it is natural to raise the following question, which roughly speaking, seems to be very challenging.
Open question: Given a graph G, is it possible to characterize all the possible families of graphs such that is isomorphic to G?
It was proved in [
15] that computing the simultaneous strong metric dimension of graph families is NP-hard, even when restricted to families of trees. An interesting consequence of Proposition 1 shows that such problem, which next appears, remains NP-hard, even when restricted to a couple of simpler families.
Simultaneous Strong Metric Dimension Problem (SSD Problem for Short) |
INSTANCE: A graph family defined on a common vertex set V and an integer k, |
PROBLEM: Deciding whether is less than k. |
By using Proposition 1, we next present a reduction of the problem of computing the vertex cover number of graph to the problem of computing the simultaneous strong metric dimension of families of paths.
Theorem 3. The SSD problem is -complete for families of paths or multisubdivided star graphs.
Proof. The problem is clearly in NP since verifying that a given set of vertices is indeed an SSMG for a graph family can be done in polynomial time. Now, let
G be any graph with vertex set
V of order
n and size
m. From Proposition 1 (resp. Proposition 2), we know there is a family of
m paths
(resp. of multisubdivided star graphs) defined over the set of vertices
V such that
is isomorphic to
G. Therefore, from Theorem 2, we have that
, which completes the NP-completeness reduction based on the fact that the decision problem concerning the vertex cover number of graphs is an NP-complete problem (see [
21]). □
Another interesting consequence of Theorem 2 concerns the approximation of computing the simultaneous strong metric dimension of graphs families. We first note that finding the simultaneous strong resolving graph of a graph family can be polynomially done. This fact, together with the fact that computing the vertex cover number of graphs admits a polynomial-time 2-approximation, allows for claiming that computing the simultaneous strong metric dimension of graphs families also admits a polynomial-time 2-approximation.
4. Applications of the Simultaneous Strong Resolving Graph
Since computing the simultaneous strong metric dimension of graph families is NP-hard even when restricted to very specific families, it is then desirable to describe as many families as possible for which its simultaneous strong metric dimension can be computed. In this sense, from now on in this section we are devoted to make this so, and a fundamental tool for it shall precisely be the simultaneous strong resolving graph and, connected with it, Theorem 2.
Proposition 4. If is a family of bipartite graphs, each of them is defined over the common bipartition sets , then .
Proof. If any two vertices are MMD in some graph , then they belong to the same bipartition set of . Thus, it must happen that is a subgraph of a graph with two connected components isomorphic to and . By using Theorem 2, we obtain that . □
Next, we particularize the result above and show that such bound is achieved in several situations.
Proposition 5. If is a family of bipartite graphs, each of them is defined over the common bipartition sets , and such that it contains the complete bipartite graph , then .
Proof. The result directly follows from the fact that, if , then is isomorphic to . Thus, from Theorem 2, we get the desired result, since . □
Let , with and even be a cycle. Then, let be a family of cycles defined on a common vertex set with , and every other cycle is obtained from , by making a permutation of two vertices of such that either or .
Proposition 6. If is a family of cycles obtained from a cycle as described above, then .
Proof. We first note (by Observation 1) that the strong resolving graph of any cycle is isomorphic to . Now, since any cycle of is obtained from , by making a permutation of two vertices of such that either or , we deduce that there are no edges in between any two vertices of the set , in addition to no edges between any two vertices of the set . Moreover, for any vertex of the set , there is an edge joining with a vertex and vice versa. As a consequence of such facts, we obtain that is a bipartite graph, which is a subgraph of the complete bipartite graph . Since , by using Theorem 2, we have . On the other hand, since , the edges belong to . Consequently, in order to cover such edges, it must happen . Therefore, by using again Theorem 2, we complete the proof. □
Let T be a tree having all the vertices with a degree larger than two unless they are leaves. Hence, let be the family of trees defined on a common vertex set with , and every other tree is obtained from T, by making a permutation of two vertices of T such that u is a leaf of T and v is not a leaf.
Proposition 7. If is a family of trees obtained from a tree T with t leaves as described above, then . Moreover, if and only if every leaf of T has been used to make a permutation with other non leaf vertex of T in order to obtain another tree of .
Proof. By Observation 1, the strong resolving graph of the tree is isomorphic to the complete graph together with isolated vertices. Thus, is a subgraph of the graph and so, by using Theorem 2, we obtain , which is the lower bound. Now, observe that the strong resolving graph of any tree, other than T, is obtained from the strong resolving graph of T by removing all edges incident to one vertex, say y, corresponding to a leaf of T, choosing an isolated vertex x corresponding to a non leaf of T, and adding all the possible edges between x and the vertices corresponding to leaves of T other than y. Moreover, since there are no edges between any two of such chosen isolated vertices mentioned above, it is clear that the set of t vertices corresponding to the leaves of T represents a vertex cover set of . By using again Theorem 2, we obtain , which is the upper bound.
On the other hand, in order for this set of t vertices to correspond to the leaves of T, which will represent a vertex cover set of minimum cardinality in , it is required that all such vertices will have a neighbor not in this set of leaves. This means that every leaf of T has been used to make a permutation with another non leaf vertex of T in order to obtain a tree of other than T. The opposite direction is straightforward to observe. Therefore, the proof is complete. □
Again, let T be a tree having all the vertices with a degree larger than two unless they are leaves. Let be the family of at least two unicyclic graphs H defined on a common vertex set such that every graph is obtained from T, by adding an edge between any two vertices of T. Before studying the simultaneous strong metric dimension of , we introduce some terminology and basic properties of the strong resolving graph of unicyclic graphs. Given a unicyclic graph with the unique cycle , we denote by the set of vertices of the cycle having degree two. By , we represent the set of vertices of degree one in G.
Remark 2. Let G be a unicyclic graph. For every vertex , there exists at least one vertex such that are mutually maximally distant in G.
Remark 3. Let G be a unicyclic graph. Then, two vertices are mutually maximally distant in G if and only if .
We note that any graph satisfies that is empty (whether the unicyclic graph H has been obtained from T by adding an edge between two non leaf vertices of T), or has cardinality 1 (whether H has been obtained from T by adding an edge between a leaf a non leaf vertex of T), or cardinality 2 (whether H has been obtained by an added edge between two leaves of T).
Proposition 8. If is a family of unicyclic graphs obtained from a tree T with t leaves as described above, then .
Proof. By Remarks 2 and 3, and the fact that , we deduce that, for any graph , it follows that contains isolated vertices together with either
- (i)
a subgraph isomorphic to or,
- (ii)
a subgraph isomorphic to and one extra vertex adjacent to a subset of vertices of the subgraph or,
- (iii)
a subgraph isomorphic to and two extra vertices (in which case such two vertices are not adjacent), which are adjacent to two different subsets of vertices of the subgraph .
We note that these, one or two, extra vertices are precisely the leaves of T, for which an incident edge has been added to the tree T in order to obtain H. According to these facts, the simultaneous strong resolving graph has a connected component which is a subgraph of a complete graph whose vertex set is precisely the set of leaves of T. In this sense, by using Theorem 2, we obtain .
On the other hand, consider Q is the subgraph induced by the set of vertices corresponding to the leaves of T. If item (i) above occurs for every , then clearly and so . Suppose now that . This means that there are two vertices corresponding to two leaves of T which are not adjacent in . In consequence, there is a unicyclic graph which was obtained from T by adding the edge . However, since has at least two graphs, there is at least a graph , other than in which the vertices are not adjacent. Thus, are MMD in and so the edge exists in , a contradiction with our supposition. Therefore, and we have the desired equality. □
A similar process as described above can be developed in order to get families of graphs for which the simultaneous strong metric dimension of graphs can be computed. However, one may need to use several assumptions while constructing such families. This is based on the fact that computing the simultaneous strong metric dimension is NP-complete for several “very simple” families of graphs (like families of paths, for instance). In connection with this, it would be desirable to find some “properties” satisfied by a graph family in order to decide if it is “easy” to compute its simultaneous strong metric dimension or not.
5. The Particular Case of Cartesian Product Graphs Families
Given two graph families and defined over the common sets of vertices and , respectively, the Cartesian product graph family is given by the family . In order to study the simultaneous strong metric dimension of Cartesian product graphs families, we also need the following definition. The direct product graph family is given by the family .
We shall next need the following definitions. Given two graphs G and H, the Cartesian product graph of G and H is a graph, denoted by , having vertex set . In addition, there is an edge between two vertices if it is satisfied that either ( and ) or ( and ). In a similar way, the direct product of graphs can be defined. That is, the direct product graph of G and H is a graph, denoted by , having vertex set . Now, two vertices are adjacent in the direct product whenever and .
The first result concerning Cartesian product graphs families is a relationship between the simultaneous strong resolving graph of Cartesian product graphs families and that of its factors. The following equivalent result for the strong metric dimension of graph was given in [
22].
Theorem 4 ([
22])
. Let G and H be two connected graphs. Then, . By using the result above and the fact that the simultaneous strong resolving graph of a graph family equals the union (overlapping) of the strong resolving graph of each graph of the family, we deduce the next result.
Theorem 5. Let and be two graph families defined over the common sets of vertices and , respectively. Then, .
Proof. Since
is given by
and
(by Theorem 4), we get that
which gives our claim. □
We next give several results concerning the simultaneous strong metric dimension of Cartesian product graph families. In this sense, the result above plays an important role. Now, our next result, which is obtained by using Theorem 2 and Theorem 5, shall be used as an important tool to develop our exposition.
Corollary 1. Let and be two graph families defined over the common sets of vertices and , respectively. Then, .
Due to the similarity of the results above (in this section) with those obtained in [
22] concerning the strong metric dimension of graphs, we note that some analogous reasonings as that ones in [
22] shall lead to several results concerning the simultaneous strong metric dimension of graph families. In this sense, we now close our exposition with some problems that are of interest in our point of view.