Double Metric Resolvability in Convex Polytopes

Nowadays, the study of source localization in complex networks is a critical issue. Localization of the source has been investigated using a variety of feasible models. To identify the source of a network’s diusion, it is necessary to nd a vertex from which the observed diusion spreads. Detecting the source of a virus in a network is equivalent to nding the minimal doubly resolving set (MDRS) in a network. is paper calculates the doubly resolving sets (DRSs) for certain convex polytope structures to calculate their double metric dimension (DMD). It is concluded that the cardinality of MDRSs for these convex polytopes is nite and constant.


Introduction and Preliminaries
Consider a connected and undirected graph Γ (V Γ , E Γ ), where V Γ denotes the set of vertices, while E Γ represents the collection of edges. e distance d(b, c) between two vertices b, c ∈ V Γ is calculated by counting the length of the shortest path between the two vertices. d(c, f 1 ) ≠ d(c, f 2 ) ≠ · · · ≠ d(c, f n ) implies that the vertex set f 1 , f 2 , . . . , f n is resolved by the vertex c ∈ V Γ . Let M Γ ⊆V Γ be a set of order l. e vector of metric coordinates of a vertex u with respect to M Γ , represented by r(u|M Γ ), is the l-vector r(u|M Γ ) (d (u, m): m ∈ M Γ ). If distinct vertices of Γ have unique metric coordinate vectors with respect to M Γ , the set M Γ is said to be resolving. A minimum-order resolving set is referred to as the basis of graph Γ and its order is called the metric dimension (MD) of Γ, denoted as dim(Γ).
Blumenthal [1] rst proposed the notion of the MD of general metric space in 1953. Slater [2] introduced MD in 1975, and Harary and Melter [3] developed it as a resolving set of graphs in 1976. It was originally intended that the resolving sets have been used to locate an intruder in a network, but Chartrand and Zang [4] have since presented numerous uses of resolving sets in robotics, chemistry, and biology. e concept of trilateration can be generalized from a two-dimensional real plane in terms of the MD of graphs.
e Global Positioning System (GPS) uses distance measurements to detect the exact location of various objects on our planet. For studying the MD theoretically, there are several applications in navigation of robots [5] and molecular chemistry [6]. e MD of Hamming graphs has been investigated in a variety of applications, ranging from coinweighing di culties [7,8] to e cient Mastermind game strategies [9]. Studies on combinatorial optimization [10] and the di culty of locating facilities, as well as the Coast Guard's loran and sonar systems [2], have all made use of the MD approach. Moreover, di erent elds including robotics [5], discovery and veri cation in networks [11], and routing protocols geographically [12] have examined this notion extensively.
Determining the exact MD value of any given graph is a computationally challenging task [5,13]. Several helpful bounds for di erent types of graphs were investigated; for instance, see [14]. Both Buczkowski et al. [15] and Ali et al. [16] explored the minimal order resolving sets of wheel graphs and Mobius ladders, respectively. Chartrand and others performed a classification of all graphs using MD 1, n − 2, and n − 1 (see [6]). In [17,18], Imran et al. find the MD for different convex polytope structures. Tomescu et al. in [19] and Ahmad et al. [20] calculated the MD for Jahangir graphs, chorded cycles and kayak paddle graphs, respectively. Baca et al. provides the results for the MD of regular bipartite graphs [21]. e MD of necklace graphs was studied in [22], and certain plane graphs for MD were considered in [23].
As a research tool for studying minimal resolving sets of cartesian product graphs, Caceres et al. [24] established the concept of DRSs. Consider a graph Γ, where |Γ| ≥ 2. Two vertices h ′ and k ′ ∈ V Γ doubly resolve a pair of vertices h, k some two vertices of D Γ doubly resolve any pair of vertices in Γ. e MDRS is a DRS that is the smallest possible. e DMD of Γ is the cardinality of an MDRS and is represented by ψ(Γ). For all graphs Γ, any DRS is obviously a resolving set, with dim(Γ) ≤ ψ(Γ).
Kratica et al. [25] studied the computational complexity of the DRSs of a graph Γ. An investigation of the Harary graph family (resp. circulant graph family) for MD and MDRSs was conducted by Ahmad et al. [26,27]. Chen et al. [28] provided the first explicitly approximated lower and upper limits for the MDRSs problem. Ahmad et al. studied the line graphs of n-Sunlet, prism [29], and kayak paddle graphs [30] for the MD and MDRSs, respectively. To find the smallest possible DRS, a variety of graph families have been examined, such as those involving prisms [31], convex polytopes [32], and Hamming graphs [33]. e MDRSs of different convex polytope structures were examined by Pan et al. [34] and Ahmad et al. [35]. Minimal order resolving sets and MDRSs of cocktail and jellyfish graphs were calculated by Liu and others [36]. For the layer-sun graphs and their related line graphs, the MDRS problem was also studied in [37]. In [38], the minimal resolving sets and DMD of the line graph of chorded cycles were examined. Authors demonstrated that the DMD of L(C t n ) is exactly one greater than its MD. us, DRSs are essential for examining the MD of cartesian products. We were inspired by the idea of achieving upper bounds in the cartesian product of graphs to examine the DRSs of other graph classes. In addition, this parameter can be helpful in a wide range of domains, including rumor spreading on online social networks and the origin of a disease outbreak.
It is feasible to determine the diffusion source in complex networks using MDRSs. Finding the source of wide-area network propagation might be challenging. As an example, in the case of an unknown virus source, all that is required to locate it is the contamination time of a subset of the sensor nodes. ese sensor nodes may record their infection time. How many sensors are required to locate the viral source? A property called DMD provides the answer to this problem (for details see [39,40]). It would be simple to determine the origins of the pandemic if we were able to see it from beginning to end. Data for source localization is sometimes scarce due to the cost and complexity of collecting and storing information. Even if the initial virus propagation period is unknown, a doubly resolving sensor set may detect infection sources reliably.
In a star-like network, identifying the viral origin is much more complicated than in a path-like network. e DMD is n − 1 for a star network of n nodes, but the DMD is 2 for a path network. As a result, this demonstrates that the DMD is always dependent on the network's topology [39].
It has been challenging to solve convex polytopes for the DMD in the previous few years. Here, Imran et al. [18,41] calculate DMD for T n and S n convex polytopes. In the following theorems, the MD of the convex polytopes Tn and Sn is shown.
Theorem 2. If S n is the graph of convex polytope, dim(S n ) is 3, and ∀n ≥ 6. e following sections elaborate on the rest of the article: (i) In Section 2, we define the graph of T n and computed the MDRSs of the convex polytope T n for n ≥ 6. (ii) In Section 3, we define the graph of S n and calculated the DMD for the convex polytope structure S n , for n ≥ 6. (iii) Section 4 concludes that the DMD for the convex polytopes T n and S n is finite and constant.

Double Metric Dimension for the Convex
Polytope T n e results of the DMD computation for the convex polytope T n are presented here in this section.
ere are 3-sided, 5-sided, and n-sided faces on the convex polytope T n as shown in Figure 1.
As a result of applying eorem 1, ψ(T n ) ≥ 3 for n ≥ 6 is obtained. Also, ψ(T n ) � 3 for n ≥ 6 will be proved in this section. Vertex distances of the graph T n can be computed using the following procedure: Assume that the set S ω (s 0 ) � s ∈ V T n : d(s 0 , s) � ω is a vertex set in V T n at a distance of ω from s 0 . e Table 1 is simply constructed for S ω (s 0 ), and it will be used to figure out how far two vertices in V T n are from each other.
Because of the symmetry of T n for n ≥ 6, it can be demonstrated that 2 Journal of Mathematics If n is odd If n is even Due to the fact that, in order to calculate the distance between any pair of vertices in V T n , we must know the distance d(s 0 , s) for each s ∈ V T n .

Double Metric Dimension for the Convex
Polytope S n is section contains the results of the DMD computation for the convex polytope S n .
ere are 3-sided, 4-sided, and n-sided faces on the convex polytope S n as shown in Figure 2.
As a result of applying eorem 2, ψ(S n ) ≥ 3 for n ≥ 6 is obtained. Also, ψ(S n ) � 3 for n ≥ 6 will be proved in this section. Vertex distances of the graph S n can be computed using the following procedure: Assume that the set S ω (q 0 ) � q ∈ V S n : d(q 0 , q) � ω is a vertex set in V S n at a distance of ω from q 0 . Table 4 is simply constructed for S ω (q 0 ), and it will be used to figure out how far two vertices in V S n are from each other.

Journal of Mathematics
If n is even Due to the fact that, in order to calculate the distance between any pair of vertices in V S n , we need to know d(q 0 , q) for each q ∈ V S n .