Bounds of Fractional Metric Dimension and Applications with Grid-Related Networks

Abstract

Metric dimension of networks is a distance based parameter that is used to rectify the distance related problems in robotics, navigation and chemical strata. The fractional metric dimension is the latest developed weighted version of metric dimension and a generalization of the concept of local fractional metric dimension. Computing the fractional metric dimension for all the connected networks is an NP-hard problem. In this note, we find the sharp bounds of the fractional metric dimensions of all the connected networks under certain conditions. Moreover, we have calculated the fractional metric dimension of grid-like networks, called triangular and polaroid grids, with the aid of the aforementioned criteria. Moreover, we analyse the bounded and unboundedness of the fractional metric dimensions of the aforesaid networks with the help of 2D as well as 3D plots.

1. Introduction

Every new day brings with it developments in the fields of chemical, information and biometric sciences. With these developments, many new fields have emerged such as cheminformatics, artificial intelligence and image processing. It is pertinent to mention here that metric dimensions of networks are one of the stakeholders in their development. Consider robotics, for instance, in which we have to assign different robots to different landmarks, keeping in view economical operation costs and the least number of robots. Here , the concept of metric dimension plays a vital role in converting the current scenario into a graph theoretic version. For more details, see [1,2,3].

Similarly, if we look into the various disciplines of chemical sciences, such as drug discovery, bond formation in chemical compounds and the development of different kits for the diagnosis of different diseases, they are wholly indebted to the concept of distance based dimensions. In this strata, the ions, atoms or molecules are considered to be nodes, and the bonds between them are known as links. In this way, chemists, pharmacists and pathologists are able to develop drugs, chemical compounds and testing kits, which are not only accurate but also have the highest form of parsimony. To find more information on these topics, we refer to [4,5,6].

In a network $\mathbb{G}$, the distance $d(u,v)$ of two distinct vertices u and v is the length of the shortest path between them. For a subset $\mathbb{Y}=\{y_1,y_2,y_3,\cdots ,y_k\}\subseteq V\left(\mathbb{G}\right)$ and a node $x\in V\left(\mathbb{G}\right)$, the metric form of x with respect to $\mathbb{Y}$ is an ordered k-tuple $r\left(x\right|Y)=(d(x,y_1),d(x,y_2),d(x,y_3),\cdots ,d(x,y_k))$. The set $\mathbb{Y}$ becomes a resolving set if each pair of distinct nodes of $\mathbb{G}$ has distinct metric forms. The resolving set with the minimum number of elements forms the metric basis for $\mathbb{G}$ and its cardinality is called the metric dimension of $\mathbb{G}$.

Ever since Slater [1,7] and Harary and Melter [8] individually discovered the terminologies of resolving sets and related notions of the metric dimension of networks, many researchers have computed the same for different classes of networks. The results regarding the metric dimensions of path, cycle, Petersen, generalized Petersen networks and generalized Petersen multigraphs can be seen in [9,10,11,12,13]. Similarly, the results for the partition dimensions of convex polytopes and a hexagonal Möbius Ladder have been found in [14,15,16]. Moreover, the metric dimension was used by Chartrand et al. to solve the integer programming problem (IPP) [12]. Later on, Currie and Oellermann pioneered the concept of the fractional metric dimension (FMD), through which they solved the IPP for its precise results [17]. Arumugam and Mathew [18] provided the formal definition of FMD after coming across its hidden properties. Since then, many researchers have tried their luck in this area by attacking different networks that are constructed under various operations of Cartesian, hierarchical, corona, lexicographic and comb products (see [19,20,21,22,23]). Recently, Liu et al. [24] calculated the FMD of the generalized Jahangir network.

In this note, we are going to present the generic bounds for the FMD of connected networks. As a consequence of the obtained results, we have calculated sharp bounds for the FMDs of grid-like networks that are triangular and polaroid grids. The bounded and unboundedness of the FMDs of the same are also analysed numerically as well as graphically. This note is sequenced in the following way: Section 1 is the introduction; Section 2 sets out the preliminaries; Section 3 presents the generic criteria for the FMD of connected networks. The resolving neighbourhoods of the networks under consideration are dealt with in Section 4. In Section 5, we calculate the FMDs of ${\mathbb{T}}^n$ and $\mathbb{PG}(m,n)$. Section 6 closes this note with the conclusions of our findings by graphical and numerical analysis.

2. Preliminaries

Assume that $c\in V\left(\mathbb{G}\right)$ and $\{a,b\}\subseteq V\left(\mathbb{G}\right)$, then $\{a,b\}$ is resolved by c if $d(a,c)\ne d(b,c)$. The set formed by all the elements bearing the aforementioned property is known as the resolving neighbourhood. The resolving neighbourhood (RN) of $\{a,b\}$ is mathematically given by $R\{a,b\}=\{c\in V(\mathbb{G}\left)\right|d(a,c)\ne d(b,c)\}$. For a connected network $\mathbb{G}\left(V\right(\mathbb{G}),E(\mathbb{G}\left)\right)$ of order p, a function $\tau :V\left(\mathbb{G}\right)\to [0,1]$ is a known resolving function (RF) of $\mathbb{G}$ if $\tau \left(R\right\{a,b\left\}\right)\ge 1$∀ is the resolving neighbourhoods of each pair of vertices $a,b\in V\left(\mathbb{G}\right)$, where $\tau \left(R\{a,b\}\right)={\displaystyle \sum _{c\in R\{a,b\}}}\tau \left(c\right)$. An RF $\tau$ of $\mathbb{G}$ is known as a minimal resolving function (MRF) if there exists any function $\eta :V\left(\mathbb{G}\right)\to [0,1]$ such that $\eta \le \tau$ and $\tau \left(c\right)\ne \eta \left(c\right)$ for at least one $c\in V\left(\mathbb{G}\right)$ that is not an RF of $\mathbb{G}$. The FMD of a network $\mathbb{G}$ is given by $fdim\left(\mathbb{G}\right)=min\left\{\right|\tau |:\tau$is the MRF of $\mathbb{G}\}$, where $\left|\tau \right|={\displaystyle \sum _{c\in V\left(\mathbb{G}\right)}}\tau \left(c\right)$. For more details, see [18].

Construction of Graphs

The current part of the section focuses on the construction of grid-like networks.

For $1\le i\le n$, $P_i$ is the paths of lengths $0,1,\cdots ,n-1$. The triangular grid is a network formed by joining the first and last node of each of the two paths and the inner nodes of the first with the inner node of each of the two paths. Its order is $\frac{n(n+1)}{2}$ and its size is $\frac{3n(n-1)}{2}$. The vertex and edge sets are given by $V\left({\mathbb{T}}^n\right)={\displaystyle \bigcup _{i=1}^n}\left\{v_j^i\right|1\le j\le i\}$ and

$E\left({\mathbb{T}}^n\right)={\displaystyle \bigcup _{i=1}^n}\left\{v_j^i{v}_{j+1}^i\right\}\cup {\displaystyle \bigcup _{i=1}^n}\left\{v_j^i{v}_j^{i+1}\right\}$, respectively. The triangular grid is illustrated in Figure 1.

The generalized prism is formed by the Cartesian product of $C_m\times P_n$ such that there are n cycles of length m. The polaroid grid is a network $\mathbb{G}\cong \mathbb{PG}(m,n)$, formed out of the generalized prism by joining each vertex of $C_m$ of its first layer to a further vertex c such that its vertex and edge sets are given by $V\left(\mathbb{PG}(m,n)\right)=\left\{c\right\}\cup {\displaystyle \bigcup _{i=1,j=1}^{m,n}}\left\{v_j^i\right\}$ and

$E\left(\mathbb{PG}(m,n)\right)={\displaystyle \bigcup _{j=1}^n}\left\{c{v}_1^j\right\}\cup {\displaystyle \bigcup _{i=1,j=1}^{m,n}}\left\{v_j^i{v}_{j+1}^i\right\}\cup {\displaystyle \bigcup _{i=1,j=1}^{m,n}}\left\{v_j^i{v}_j^{i+1}\right\}$, respectively. Its order is $mn+1$ and its size is $2mn$. Figure 2 shows the polaroid grid.

3. Sharp Bounds of FMD of Connected Networks

Now, we are going to define the generic criteria for the FMD of connected networks as follows.

Theorem 1.

Let $\mathbb{G}$ be a connected network and $R\{a,b\}$ be a resolving neighbourhood set of the pair of vertices $a,b$ in $\mathbb{G}$. If $\kappa =min\left\{\right|R\{a,b\}\left|\right\}$, $X=\cup \left\{R\right\{a,b\}:|R\{a,b\}|=\kappa \}$ and $\left|R\right\{a,b\}\cap X|\ge \kappa then:$

$$1\le fdim\left(\mathbb{G}\right)\le \frac{\left|X\right|}{\kappa },$$

where $2\le \kappa \le \left|X\right|$.

Proof. 

The proof of the current statement will be completed using the subsequent two cases (Case A and Case B), depending on the values of $\kappa$.

Case A: Assume that $R=R\{a,b\}$, $\kappa \ne V\left(\mathbb{G}\right)$ and define the function $\psi :V\left(\mathbb{G}\right)\to [0,1]$ as follows:

$$\psi \left(v\right)=\left\{\begin{array}{cc}\frac{1}{\kappa },\hfill & v\in X;\hfill \\ \\ 0,\hfill & v\in V\left(\mathbb{G}\right)-X.\hfill \end{array}\right.$$

Since ∀$a,b\in V\left(\mathbb{G}\right)$,

$$\begin{array}{cc}\hfill \psi \left(R\right\{a,b\left\}\right)=& \sum _{x\in R\{a,b\}}\psi \left(x\right)\hfill \\ \hfill =& \sum _{x\in R\{a,b\}\cap X}\frac{1}{\kappa }\hfill \\ \hfill =& |R\{a,b\}\cap X|\frac{1}{\kappa }\hfill \\ \hfill \ge & 1.\hfill \end{array}$$

This shows that $\psi$ is a resolving function. To check whether $\psi$ is a minimal resolving function, let us consider another resolving function $\tau$, such that $\tau \le \psi$. By definition, $\tau \left(x\right)<\psi \left(x\right)$ for some $x\in X$. Assume $x\in R$ and for some $a,b\in V\left(\mathbb{G}\right)$ with $\left|R\right|=\kappa$. Then

$$\begin{array}{cc}\hfill \tau \left(R\right)& =\sum _{x\in R}\tau \left(x\right)<\sum _{x\in R}\psi \left(x\right)<1,\hfill \end{array}$$

⇒$\tau \left(R\right)<1$, which is a contradiction. Hence, our supposition is wrong that $\tau$ is a resolving function. Thus, $\psi$ is a minimal resolving function. Now, we consider another minimal resolving function, say $\overline{\psi }$ of $\mathbb{G}$. We move further by addressing the following sub cases.

Case I: If $\overline{\psi }\left(R\right)<\frac{1}{\kappa }$∀$x\in X$: As we can see that $\left|R\right|=\kappa$ for $R\subseteq X$ thus $\overline{\psi }<\frac{1}{\kappa }$. This shows that $\overline{\psi }$ is not a resolving function. Therefore, this case does not hold.

Case II: If $\overline{\psi }\left(R\right)\ge \frac{1}{\kappa }$∀$x\in X$: In this case, we arrive at the following expression:

$$\begin{array}{cc}\hfill \left|\overline{\psi }\right|=& \sum _{x\in V\left(\mathbb{G}\right)}\overline{\psi }\left(x\right)=\sum _{x\in V\left(\mathbb{G}\right)-X}\overline{\psi }\left(x\right)+\sum _{x\in X}\overline{\psi }\left(x\right)>\sum _{x\in V\left(\mathbb{G}\right)-X}\psi \left(x\right)+\sum _{x\in X}\psi \left(x\right)\hfill \\ \hfill =& \frac{\left|X\right|}{\kappa }=\left|\psi \right|.\hfill \end{array}$$

Finally, we have

$$fdim\left(\mathbb{G}\right)=\frac{\left|X\right|}{\kappa }.$$

Case III: If $\overline{\psi }<\frac{1}{\kappa }$ for some $x\in X$: Suppose that $T=\{y\in X|\overline{\psi }\left(y\right)<\frac{1}{\kappa }\}$ (where $T\subset X$ else it will be the same as Case I, which does not hold). Moreover, for $\left|R\right|=\kappa$, if $R\subseteq T$ then $\overline{\psi }\left(R\right)<1$, which is not possible as $\overline{\psi }$ will not be a resolving function. As an aftermath, for at least one R in X, $T\cap R\ne \Phi$ and necessarily $|T\cap R|<\left|R\right|$ for all such resolving neighbourhoods in $\mathbb{G}$ in X. Let $\overline{X}=\bigcup \left\{R\right|T\cap R\ne \Phi \}$. Assume that:

$$\begin{array}{cc}\hfill \sum _{x\in R}\overline{\psi }\left(x\right)& =\sum _{x\in R\wedge x\in T}\overline{\psi }\left(x\right)+\sum _{x\in R\wedge x\in \overline{X}-T}\overline{\psi }\left(x\right).\hfill \end{array}$$

(1)

(i) For $1\le r,s\le w$, $R_r\cap R_s=\Phi$.

In this case, all the resolving neighbourhoods are pairwise disjoint, thus we arrive at the following situation below:

$$\begin{array}{cc}\hfill \left|\overline{\psi }\right|=& \sum _{x\in Z}\overline{\psi }\left(x\right)+\sum _{x\in X-Z}\overline{\psi }\left(x\right)\hfill \\ \hfill \ge & \sum _{x\in Z}\psi \left(x\right)+\sum _{x\in X-Z}\psi \left(x\right)\hfill \\ \hfill =& \left|\psi \right|.\hfill \end{array}$$

Hence,

$$fdim\left(\mathbb{G}\right)=\frac{\left|X\right|}{\kappa }.$$

(ii) For $1\le r,s\le w$, $R_r\cap R_s\ne \Phi$.

This case will give rise to the further two sub cases, discussed below: Subcase (1): $\bigcap R=\varphi$.

As an aftermath of the present case, the further two cases need to be addressed as follows:

(a) The intersection $R_r\cap R_s$ moves in cyclic order.

For the current case, the minimum resolving neighbourhoods exhibit the behaviour of cyclic intersection, as shown in Figure 3.

All these situations are summarized below: For $1\le r,s\le w$, shown in Figure 3, $\overline{\psi }$ takes the following form:

$$\begin{array}{cc}\hfill \left|\overline{\psi }\right|=& \sum _{x\in X}\overline{\psi }\left(x\right)=\sum _{x\in R_1\cap R_2}\overline{\psi }\left(x\right)+\sum _{x\in R_2\cap R_3}\overline{\psi }\left(x\right)+\cdots \hfill \\ & +\sum _{x\in R_r\cap R_s}\overline{\psi }\left(x\right)+\cdots +\sum _{x\in R_1\cap R_w}\overline{\psi }\left(x\right)\hfill \\ \hfill \ge & \sum _{x\in X}\psi \left(x\right)=\sum _{x\in R_1\cap R_2}\psi \left(x\right)+\sum _{x\in R_2\cap R_3}\psi \left(x\right)+\cdots \hfill \\ & +\sum _{x\in R_r\cap R_s}\psi \left(x\right)+\cdots +\sum _{x\in R_1\cap R_w}\psi \left(x\right)\hfill \end{array}$$

$$\begin{array}{cc}\hfill \ge & \frac{|R_1\cap R_2|}{\kappa }+\frac{|R_2\cap R_3|}{\kappa }+\cdots +\frac{|R_r\cap R_s|}{\kappa }+\cdots +\frac{|R_1\cap R_w|}{\kappa }\hfill \\ \hfill \ge & \frac{|R_1\cap R_2|}{\kappa }+\frac{|R_2\cap R_3|}{\kappa }+\cdots +\frac{|R_r\cap R_s|}{\kappa }+\cdots +\frac{|R_1\cap R_w|}{\kappa }\hfill \\ \hfill \ge & \frac{|R_1\cap R_2|+|R_2\cap R_3|+\cdots +|R_r\cap R_s|+\cdots +|R_w\cap R_1|}{\kappa }\hfill \\ \hfill \ge & \frac{\left|X\right|}{\kappa }=\left|\psi \right|.\hfill \end{array}$$

Therefore, we have

$$fdim\left(\mathbb{G}\right)=\frac{\left|X\right|}{\kappa }.$$

(b) The intersection $R_r\cap R_s$ does not move in cyclic order.

In this case, the minimum resolving neighbourhood will show the intersection that is not moving in a cyclic manner. Thus, each of them will show the dual behaviour of either the chain of subset or the non-chain of subset, but overall they do not have any element in common. So $|\overline{\psi }|$ in each of these cases takes the form as below:

$$\begin{array}{cc}\hfill |\overline{\psi }|\le & \frac{\left|X\right|}{\kappa }=\left|\psi \right|.\hfill \end{array}$$

Therefore, we have,

$$fdim\left(\mathbb{G}\right)\le \frac{\left|X\right|}{\kappa }.$$

Subcase (2):$\bigcap R\ne \Phi$ say $\bigcap R=Y$.

In the present case, two situations will arise as a result. The situations are:

(a)

$R_r-Y\cap R_s-Y=\Phi$.

(b)

$R_r-Y\cap R_s-Y\ne \Phi$.

In the former one, for $1\le r,s\le w$, each of $R_r$ and $R_s$ contains nothing in common except the elements of Y and becomes pairwise disjoint, taking their difference from Y. In the latter case, $R_r$ and $R_s$ contain elements in common other than those in Y. Therefore, in both situations $\psi$ takes the following form:

$$\begin{array}{cc}\hfill \left|\overline{\psi }\right|=& \sum _{x\in X}\overline{\psi }\left(x\right)\le \sum _{x\in R_r-Y}\overline{\psi }\left(x\right)+\sum _{x\in R_s-Y}\overline{\psi }\left(x\right)+\cdots +\hfill \\ & \sum _{x\in R_s-Y}\overline{\psi }\left(x\right)+\cdots +\sum _{x\in R_w-Y}\overline{\psi }\left(x\right)+\sum _{x\in Y}\overline{\psi }\left(x\right)\hfill \\ \hfill \left|\psi \right|=& \sum _{x\in X}\psi \left(x\right)\le \sum _{x\in R_r-Y}\psi \left(x\right)+\sum _{x\in R_s-Y}\psi \left(x\right)+\cdots +\hfill \\ & \sum _{x\in R_s-Y}\psi \left(x\right)+\cdots +\sum _{x\in R_w-Y}\psi \left(x\right)+\sum _{x\in Y}\psi \left(x\right)\hfill \\ \hfill =& \frac{|R_1-Y|}{\kappa }+\frac{|R_2-Y|}{\kappa }+\cdots +\frac{|R_r-Y|}{\kappa }+\hfill \\ & \frac{|R_s-Y|}{\kappa }+\cdots +\frac{|R_w-Y|}{\kappa }+\frac{\left|Y\right|}{\kappa }\hfill \\ \hfill =& \frac{|X-Y|+\left|Y\right|}{\kappa }\hfill \\ \hfill =& \frac{|X-Y|+\left|Y\right|}{\kappa }=\frac{\left|X\right|}{\kappa }.\hfill \end{array}$$

Therefore, we have

$$fdim\left(\mathbb{G}\right)\le \frac{\left|X\right|}{\kappa }.$$

Case V: For Some $R_r\cap R_s=\Phi$.

In this case, X is has two collections that are $W=\left\{R\right|R$ are the resolving neighbourhoods with $R_r\cap R_s=\Phi \}$ and $Z=\left\{R\right|R$ are the resolving neighbourhoods with $R_r\cap R_s\ne \Phi \}$ respectively, where $W\subset X$ and $Z\subset X$. Thus, for W and Z, $\left|\psi \right|$ takes the form:

$$\begin{array}{cc}\hfill \left|\overline{\psi }\right|\le & \sum _{x\in W}^{\left|W\right|}\overline{\psi }\left(x\right)+\sum _{x\in Z}^{\left|Z\right|}\overline{\psi }\left(x\right)\hfill \\ \hfill \ge & \sum _{x\in W}^{\left|W\right|}\psi \left(x\right)+\sum _{x\in Z}^{\left|Z\right|}\psi \left(x\right)\hfill \\ \hfill \le & \frac{\left|W\right|}{\kappa }+\frac{\left|Z\right|}{\kappa }\hfill \\ \hfill \le & \frac{\left|W\right|+\left|Z\right|}{\kappa }\hfill \\ \hfill \le & \frac{\left|X\right|}{\kappa }.\hfill \end{array}$$

Throughout this case, we come to the following conclusion:

$$fdim\left(\mathbb{G}\right)\le \frac{\left|X\right|}{\kappa }.$$

Case B: When $\kappa =\left|V\right(\mathbb{G}\left)\right|$ or $\kappa =\left|X\right|$.

In this case, the cardinality of each of the minimum resolving sets $R\{a,b\}$ becomes equal to $\left|V\right(\mathbb{G}\left)\right|$ or $\left|X\right|$, so in this case $\left|\psi \right|$ takes the form:

$$fdim\left(\mathbb{G}\right)=\frac{\left|X\right|}{\left|X\right|}=1.$$

Consequently, from all the cases above, we arrive at the following conclusion:

$$1\le fdim\left(\mathbb{G}\right)\le \frac{\left|X\right|}{\kappa }.$$

□

4. Resolving Neighbourhoods

This section provides insight into the resolving neighbourhoods of the networks under consideration.

4.1. Resolving Neighbourhoods of Triangular Grid

Lemma 1.

Suppose that $\mathbb{G}\cong {\mathbb{T}}^n$ is a triangular grid network, taking any non-negative number $n\ge 5then$:

(a) 

For $1\le l\le 3$, $\left|R_l\right|=\left|R\{v_1^2,v_2^2\}\right|=\left|R\{v_1^{n-1},v_2^n\}\right|=\left|R\{v_{n-1}^{n-1},v_{n-1}^n\}\right|=2(n-1)$ and $|{\displaystyle \bigcup _{t=1}^l}{R}_t|=3(n-1)$; and

(b) 

For $1\le u\le 7$, $\left|R_l\right|\le \left|{\acute{R}}_u\right|$ and $|{\acute{R}}_u\cap {\displaystyle \bigcup _{l=1}^m}{R}_l|\ge \left|R_l\right|$, for any RN set ${\acute{R}}_u$ of $\mathbb{G}$.

Proof. 

The resolving neighbourhoods with the minimum cardinality are:

• $R_1=R\{v_1^2,v_2^2\}=\left\{v_1^j\right|2\le j\le n\}\cup \left\{v_j^j\right|2\le j\le n\}$,
• $R_2=R\{v_1^{n-1},v_2^n\}=\left\{v_1^j\right|1\le j\le n-1\}\cup \left\{v_j^n\right|2\le j\le n\}$ and
• $R_3=R\{v_{n-1}^{n-1},v_{n-1}^n\}=\left\{v_j^j\right|1\le j\le n-1\}\cup \left\{v_j^n\right|1\le j\le n-1\}$,

respectively.

It is clear from the above that $|R_l|=2(n-1)$ for $1\le l\le 3$, ${\displaystyle \bigcup _{t=1}^l}{R}_t=\left\{v_1^j\right|1\le j\le n\}\cup \left\{v_j^n\right|2\le j\le n-1\}\cup \left\{v_j^j\right|2\le j\le n-1\}$ and $|{\displaystyle \bigcup _{t=1}^l}{R}_t|=3(n-1)$.

(b) In order to prove the required RNs, we need the following variables:

• $1\le r\le m$
• $q\ge 1$ and $q\equiv 1(mod$$2)$
• $s\ge 2$ and $s\equiv 0(mod$$2)$.

The required RNs for $1\le u\le 9$ are given by:

By symmetry, we can see that $\left|R\right\{v_p^r,v_p^{r+q}\left\}\right|=\left|{\acute{R}}_4\right|=\left|R\right\{v_r^{r-p+1},v_r^{r+q-p+1}\left\}\right|$.

By symmetry, we can see that $\left|R\right\{v_p^r,v_p^{r+s}\left\}\right|=\left|{\acute{R}}_6\right|=\left|R\right\{v_r^{r-s+1},v_r^{r+s-p+1}\left\}\right|$.

Due to the symmetry of the network, it can be seen that $\left|R\right\{v_p^r,v_{p+q}^{r+s}\left\}\right|=\left|{\acute{R}}_9\right|=\left|R\right\{v_p^r,v_{p-q}^{r+q}\left\}\right|$.

The cardinalities of ${\acute{R}}_u$ for $1\le u\le 9$, as seen in

Table 1. ${\acute{R}}_1=R\{v_p^r,v_{p+q}^r\}$.

Cases	Elements
$q=1$	$V\left(\mathbb{G}\right)$$-\left\{v_k^j\right|j\equiv 1,2,\cdots ,r-p(mod n)\wedge 1\le k\le j\}\cup \left\{v_k^j\right|r-p+1\le j\le r-1\wedge j-r+p+1\le k\le p\}\cup \left\{v_k^j\right|r+1\le j\le n\wedge p+1\le k\le j-r+p\}$
$q\ge 3$	$V\left(\mathbb{G}\right)$$-\left\{v_k^j\right|j\equiv 1,2,\cdots ,r-p-q+1(mod n)\wedge 1\le k\le p\vee 1\le k\le j\}\cup \{v_k^j|r-p-q+2\le j\le r-q\wedge j-1\le k\le p\}$$\cup \left\{v_k^{r-j}\right|j\equiv 1,3,5,\cdots ,q-2(mod q)\wedge p+\frac{q-1}{2}\le k\le p+\frac{q-j}{2}\}$$\cup \{v_k^{r+j}|j\equiv 1,3,5,\cdots ,q-2(mod q)\wedge p+\frac{q+1}{2}\le k\le p+\frac{q+j}{2}\}\cup \left\{v_k^j\right|r+q\le j\le n\wedge p+q\le k\le j-r+p\}$

,

Table 2. ${\acute{R}}_2=R\{v_p^r,v_{p+s}^r\}$.

Cases	Elements
$s=2$	$V\left(\mathbb{G}\right)-\left\{v_k^j\right|j\equiv 1,2,\cdots ,r-p-1(mod n)\wedge 1\le k\le j\}$$\cup \left\{v_k^j\right|r-p\le j\le r-2\wedge j-2\le k\le p\vee j-2\le k\le j\}\cup \left\{v_k^r\right|k=p+1\}\cup \left\{v_k^j\right|r+2\le j\le n\wedge p+2\le k\le j-r+p\}$
$s\ge 4$	$V\left(\mathbb{G}\right)-\left\{v_k^j\right|j\equiv 1,2,\cdots ,r-p-s+1(mod n)\wedge 1\le k\le j\vee 1\le k\le p\}$$\cup \left\{v_k^j\right|r-p\le j\le r-s\wedge j-2\le k\le p\}\cup \left\{v_k^r\right|k=p+\frac{s}{2}\}\left\{v_k^j\right|r+s\le j\le n\wedge p+s\le k\le j-r+p\}$

,

Table 3. ${\acute{R}}_3=R\{v_p^r,v_p^{r+q}\}$.

Cases	Elements
$q=1$, $p=1$	$V\left(\mathbb{G}\right)-\left\{v_k^j\right|r+1\le j\le n\wedge j-r+1\le k\le j\}$
$q\ge 3$,$p=1$	$V\left(\mathbb{G}\right)-\left\{v_k^j\right|r+q-1\le j\le r+q-\frac{q-1}{2}\wedge k\equiv q-1,q-2,q-3,\cdots ,\frac{q+1}{2}(mod q)\}$$\cup \left\{v_k^j\right|r+q\le j\le n\wedge j-r+1\le k\le j\}$
$q\ge 3$,$q\le p$	$V\left(\mathbb{G}\right)-\left\{v_k^j\right|j=r+\frac{q-1}{2}\wedge p-1\}\cup \left\{v_k^j\right|r+\frac{q-1}{2}\le j\le r+\frac{q+t}{2},t\equiv 1,3,5,\cdots ,q-2(mod q)\wedge p+1\le k\le p+t\}$$\cup \left\{v_k^j\right|r+q\le j\le n\wedge j-r+p\le k\le j\}$
$q\ge 3$,$p<q$	$V\left(\mathbb{G}\right)-\left\{v_k^j\right|r-p+q+1\le j\le r\wedge 1\le k\le j-r+p-q\}\cup \left\{v_k^j\right|j=r+\frac{q-1}{2}\wedge p-1\}\cup \left\{v_k^j\right|r+\frac{q-1}{2}\le j\le r+\frac{q+t}{2},t\equiv 1,3,5,\cdots ,q-2(mod q)\wedge p-1\le k\le p+t\}$$\cup \left\{v_k^j\right|r+q\le j\le n\wedge j-r+p\le k\le j\}$

,

Table 4. ${\acute{R}}_5=R\{v_p^r,v_p^{r+s}\}$.

Cases	Elements
$s=2$, $p=1$	$V\left(\mathbb{G}\right)-\left\{v_1^j\right|j=r+1\}\cup \left\{v_k^j\right|r+2\le j\le n\wedge j-r+1\le k\le j\}$
$s\ge 4$,$p=1$	$V\left(\mathbb{G}\right)-\left\{v_1^j\right|j=r+\frac{s}{2}\}\cup \left\{v_k^j\right|r+\frac{s+2}{2}\le j\le r+\frac{s+t}{2},r\equiv 2,4,6,\cdots ,s-2(mod s)\wedge p+2\le k\le p+t\}$ s$\cup \left\{v_k^j\right|r+s\le j\le n\wedge j-r+p\le k\le j\}$
$s\ge 4$,$s\le p$	$V\left(\mathbb{G}\right)-\left\{v_p^j\right|j=r+\frac{s}{2}\wedge \}\cup \left\{v_k^j\right|r+\frac{s+2}{2}\le j\le r+\frac{s+t}{2},t\equiv 2,4,\cdots ,s-2(mod s)\wedge p+2\le k\le p+t\}$$\cup \left\{v_k^j\right|r+s\le j\le n\wedge j-s+1\le k\le j\}$
$s\ge 3$,$p<s$	$V\left(\mathbb{G}\right)-V\left(\mathbb{G}\right)-\left\{v_k^j\right|r-p+s+1\le j\le r\wedge 1\le k\le j-r+s-1\}\cup \left\{v_p^j\right|j=r+\frac{s}{2}\wedge \}\cup \{v_k^j|r+\frac{s+2}{2}\le j\le r+\frac{s+t}{2},t\equiv 2,4,\cdots ,s-2(mod s)\wedge p+2\le k\le p+t\}$$\cup \left\{v_k^j\right|r+s\le j\le n\wedge j-s+1\le k\le j\}$

and

Table 5. ${\acute{R}}_u$ for $7\le u\le 9$.

Cases	Elements
$R\{v_p^r,v_{p+q}^{r+s}\}$	$V\left(\mathbb{G}\right)-\left\{v_j^k\right|k=r+\frac{s}{2}\wedge 1\le j\le k\}$
$R\{v_p^r,v_{p+q}^{r+s}\}$	$V\left(\mathbb{G}\right)-\left\{v_k^j\right|p+\frac{s}{2}\le j\le n\wedge k=p+\frac{s}{2}\}$
$R\{v_p^r,v_{p-q}^{r+q}\}$	$V\left(\mathbb{G}\right)-\left\{v_k^j\right|r\le j\le n\wedge p-q\le k\le n-q\}$

, can be summarized as follows:

• $|{\acute{R}}_1|=\frac{1}{2}n(n+1)-2p(r-p-q+1)-2(q-1)-(n-r-q+1)(n-r-q+2)$,
• $|{\acute{R}}_2|=\frac{1}{2}n(n+1)-2p(r-p-s+1)-(n-r-s+1)(n-r-s+2)-2(s-1)$,
• $|{\acute{R}}_3|=|{\acute{R}}_4|=$$\left\{\begin{array}{cc}\frac{n(n+1)-p(p-1)-2(r-p+1)(n-r)}{2}\hfill & \mathrm{for}q=1,\hfill \\ \\ \frac{n(n+1)-(q-1)-2(r-p+1)(n-r-q+1)}{2}\hfill & \mathrm{for}q\ge 3\wedge p=1\vee p=r-1,\hfill \\ \\ \frac{n(n+1)-(p-q)(p-q+1)-(q+1)-2(r-p+1)(n-r-q+1)}{2}\hfill & \mathrm{for}q\ge 3\wedge 2\le p<r-q,\hfill \end{array}\right.$
• $|{\acute{R}}_5|=|{\acute{R}}_6|=$$\left\{\begin{array}{cc}\frac{n(n+1)-(p-1)(p-2)-2(r-p+1)(n-r-1)-2}{2}\hfill & \mathrm{for}s=2,\hfill \\ \\ \frac{n(n+1)-2(s-2)-2r(n-r-s+1)}{2}\hfill & \mathrm{for}s\ge 4\wedge p=1\vee p=r,\hfill \\ \\ \frac{n(n+1)-(p-s)(p-s+1)-(s+2)-2(r-p+1)(n-r-s+1)}{2}\hfill & \mathrm{for}s\ge 4\wedge 2\le p\le r-s,\hfill \\ \end{array}\right.$
• $|{\acute{R}}_7|=|R\{v_p^r,v_{p+q}^{r+s}\}|=\frac{n(n+1)-2r-s}{2}$,
• $|{\acute{R}}_8|=|{\acute{R}}_9|=\frac{n(n+1)-2p-s}{2}$.

We can see from the cardinalities of ${\acute{R}}_u$ for $1\le u\le 9$ that $|R_l|<|{\acute{R}}_u|$ and $|{\acute{R}}_u\cap {\displaystyle \bigcup _{l=1}^3}{R}_l|\ge |R_l|$. □

4.2. Resolving Neighbourhoods of Polaroid Grid

Lemma 2.

Suppose that $\mathbb{G}\cong \mathbb{PG}(m,n)$ is a polaroid grid network, taking any non-negative number $m,n\ge 3$, then:

(a) 

For $1\le l,r\le m$, $|R_l|=|R\{v_1^l,v_1^{l+1}\}|=4n$ and $|{\displaystyle \bigcup _{l=1}^m}{R}_l|=mn$;

(b) 

For $1\le u\le 15$, $|R_l|\le |{\acute{R}}_u|$ and $|{\acute{R}}_u\cap {\displaystyle \bigcup _{l=1}^m}{R}_l|\ge |R_l|$, for any RN set ${\acute{R}}_u$ of $\mathbb{G}$.

Proof. (a) The resolving neighbourhoods with minimum cardinality are:

$R_1=R\{v_1^r,v_1^{r+1}\}=V\left(\mathbb{G}\right)-\left\{c\right\}\cup \{v_k^j|j\equiv r+3,r+4,\cdots ,r+m-2(mod$$m)\wedge 1\le k\le n\}$.

We can see from the above that $|R_l|=4n$, ${\displaystyle \bigcup _{l=1}^m}{R}_l={\displaystyle \bigcup _{r=1}^m}{R}_r=V\left(\mathbb{G}\right)-\left\{c\right\}$ and $=|{\displaystyle \bigcup _{l=1}^m}{R}_l|=|{\displaystyle \bigcup _{r=1}^m}{R}_r|=mn$.

(b) We define the following variables to define the required RN sets:

• $1\le r\le m$ and $1\le p\le n$
• $q\ge 1$ and $q\equiv 1(mod 2)$
• $s\ge 2$ and $s\equiv 0(mod 2)$.

The resolving neighbourhoods ${\acute{R}}_u$ for $1\le u\le 17$ are given by: ${\acute{R}}_1=R\{v_p^r,v_{p+q}^r\}={\acute{R}}_2=R\{v_p^r,v_{p+q}^r\}={\acute{R}}_3=R\{v_p^r,v_{p+s}^{r+q}\}={\acute{R}}_4=R\{v_r^r,v_{p+q}^{r+s}\}={\acute{R}}_5=R\{v_1^r,v_2^{r+s}\}=V\left(G\right)$,

$R_6=R\{v_1^r,v_1^{r+2}\}=V\left(\mathbb{G}\right)-\left\{c\right\}\cup \{v_k^j|j=r+1\wedge 1\le k\le n\}\cup \{v_k^j|j\equiv r+4,r+5,\cdots ,r+m-2(mod m)\wedge 1\le k\le n\}$, ${\acute{R}}_7=R\{v_p^r,v_{p+s}^r\}=V\left(G\right)-\{v_k^j|1\le j\le m\wedge p+\frac{s}{2}\}$,

${\acute{R}}_8=R\{v_1^r,v_1^{r+q}\}=V\left(\mathbb{G}\right)-\left\{c\right\}\cup \{v_k^j|j\equiv r+q+2,r+q+3,\cdots ,r+q+m-2(mod m)\wedge 1\le k\le n\}$,

${\acute{R}}_9=R\{v_1^r,v_1^{r+s}\}=V\left(\mathbb{G}\right)-\left\{c\right\}\cup \{v_k^j|j=r+\frac{s}{2}\wedge 1\le k\le n\}\cup \{v_k^j|j\equiv r+s+2,r+s+3,\cdots ,r+s+m-2(mod m)\wedge 1\le k\le n\}$

${\acute{R}}_{10}=R\{v_p^r,v_p^{r+q}\}=V\left(\mathbb{G}\right)-\left\{c\right\}\cup \{v_1^j|j\equiv r+q+2,r+q+3,\cdots ,r+q+m-2(mod m)\}$,

${\acute{R}}_{11}=R\{v_p^r,v_p^{r+s}\}=V\left(\mathbb{G}\right)-\left\{c\right\}\cup \{v_k^j|j=r+\frac{s}{2}\wedge 1\le k\le n\}\cup \{v_1^j|j\equiv p+s+2,p+q+3,\cdots ,p+q+m-2\}$,

${\acute{R}}_{12}=R\left\{c{v}_q^r\right\}=V\left(\mathbb{G}\right)-\{v_k^j|j\equiv r-\frac{q-1}{2},r+\frac{q-1}{2}(mod$$m)\wedge k=\frac{q+1}{2}\}-\{v_k^j|j\equiv r-q,r+q(mod$$m)\wedge q\le k\le n\}$,

${\acute{R}}_{13}=R\left\{c{v}_s^r\right\}=V\left(\mathbb{G}\right)-\{v_k^j|j\equiv r-\frac{s}{2},r,r+\frac{s}{2}(mod$$m)\wedge k=\frac{s+2}{2}\}\cup \{v_k^j|j\equiv r-s,r+s(mod$$m)\wedge s\le k\le n\}$${\acute{R}}_{14}=R\{v_p^r,v_{p+1}^{r+1}\}=V\left(\mathbb{G}\right)-\{v_k^j|j\equiv r+1,r+2(mod$$m)\wedge 1\le k\le p\}-\{v_k^j|j\equiv r,r-1,r-2(mod$$m)\wedge 1\le k\le n\}$ and ${\acute{R}}_{15}=R\{v_p^{r-1},v_{p-1}^r\}=V\left(\mathbb{G}\right)-\{v_k^j|j\equiv r,r-1(mod$$m)\wedge 1\le k\le p\}-\{v_k^j|j\equiv r,r+1,r+2(mod$$m)\wedge 1\le k\le n\}$, respectively.

Table 6. Cardinalities of ${\acute{R}}_u$ for $1\le u\le 15$ and $1\le j\le 6$.

RNs	Cardinality	RNs	Cardinality	RNs	Cardinality
${\acute{R}}_j$	$\left|V\right(\mathbb{G}\left)\right|$	${\acute{R}}_6$	$4n$	${\acute{R}}_7$	$m(n-1)+1$
${\acute{R}}_8$	$(q+3)n$	${\acute{R}}_9$	$(s+2)n$	${\acute{R}}_{10}$	$m(n-1)-n+s+3$
${\acute{R}}_{11}$	$m(n-1)-n+s+3$	${\acute{R}}_{12}$	$(m-2)n+2p-4$	${\acute{R}}_{13}$	$(m-2)n+2s-5$
${\acute{R}}_{14}$	$(m-2)n+2p-4$	${\acute{R}}_{15}$	$(m-2)n+2p-4$

summarizes their cardinalities:

We can see that $|R_l|=4n$, ${\displaystyle \bigcup _{l=1}^m}{R}_l=V\left(\mathbb{G}\right)-\left\{c\right\}$ and $|{\displaystyle \bigcup _{l=1}^m}{R}_l|=mn$. For $1\le u\le 15$, $|R_u|\le |R_l|$; therefore, $|{\acute{R}}_u\cap {\displaystyle \bigcup _{l=1}^m}{R}_l|\ge |R_l|$. □

5. FMD of Grid-Like Graphs

In this section, we will calculate the sharp bounds for the FMDs of ${\mathbb{T}}^n$ and $\mathbb{PG}(m,n)$ by applying Theorem 1.

5.1. FMD of Triangular Grid

Theorem 2.

Suppose that $\mathbb{G}\cong {\mathbb{T}}^n$ is a triangular grid network, taking any non-negative number $n\ge 5$, then $fdim\left(\mathbb{G}\right)=\frac{3}{2}$.

Proof.Case I: For $n=5$: Using symmetry, the resolving neighbourhoods for the case under consideration are as follows:

The RNs depicted in

Table 7. $R_l$ for $1\le l\le 3$.

R. N.	Elements
$R_1=R\{v_1^2,v_2^2\}$	$\{v_1^2,v_1^3,v_1^4,v_1^5\}\cup \{v_2^2,v_3^3,v_4^4,v_4^5\}$
$R_2=R\{v_1^4,v_2^5\}$	$\{v_1^1,v_1^2,v_1^3,v_1^4\}\cup \{v_2^5,v_3^5,v_4^5,v_5^5\}$
$R_3=R\{v_4^4,v_4^5\}$	$\{v_1^5,v_2^5,v_3^5,v_4^5\}\cup \{v_1^1,v_2^2,v_3^3,v_4^4\}$

are of a minimum cardinality of 8. Whereas

Table 8. ${\acute{R}}_u$ for $1\le u\le 68$.

R. N.	Elements	R. N.	Elements
$R\{v_1^1,v_1^2\}$	$V\left(\mathbb{G}\right)-\{v_2^2,v_3^3,v_4^4,v_5^5\}$	$R\{v_1^2,v_1^3\}$	$V\left(\mathbb{G}\right)-\{v_2^3,v_3^4,v_3^5\}\cup \{v_3^3,v_4^4,v_5^5\}$
$R\{v_1^3,v_1^4\}$	$V\left(\mathbb{G}\right)-\{v_2^4,v_3^5\}\cup \{v_3^4,v_4^5\}\cup \{v_4^4,v_5^5\}$	$R\{v_1^4,v_1^5\}$	$V\left(\mathbb{G}\right)-\left\{v_2^5\right\}\cup \left\{v_3^5\right\}\cup \left\{v_4^5\right\}\cup \left\{v_5^5\right\}$
$R\{v_1^2,v_2^3\}$	$V\left(\mathbb{G}\right)-\left\{v_2^2\right\}\cup \{v_1^3,v_1^4,v_1^5\}$	$R\{v_1^3,v_2^4\}$	$V\left(\mathbb{G}\right)-\left\{v_2^2\right\}\cup \{v_2^3,v_3^3\}\cup \{v_1^4,v_1^5\}$
$R\{v_1^1,v_1^4\}$	$V\left(\mathbb{G}\right)-\left\{v_2^3\right\}\cup \{v_4^4,v_5^5\}$	$R\{v_1^2,v_1^5\}$	$V\left(\mathbb{G}\right)-\left\{v_2^4\right\}\cup \{v_4^5,v_5^5\}$
$R\{v_1^1,v_2^2\}$	$V\left(\mathbb{G}\right)-\{v_1^2,v_1^3,v_1^4,v_1^5\}$	$R\{v_2^3,v_3^4\}$	$V\left(\mathbb{G}\right)-\left\{v_3^3\right\}\cup \{v_1^4,v_1^5\}\cup \{v_2^4,v_2^5\}$
$R\{v_3^4,v_4^5\}$	$V\left(\mathbb{G}\right)-\left\{v_4^4\right\}\cup \{v_1^5,v_2^5,v_3^5\}$	$R\{v_2^4,v_3^5\}$	$V\left(\mathbb{G}\right)-\left\{v_3^3\right\}\cup \{v_3^4,v_4^4\}\cup \{v_1^5,v_2^5\}$
$R\{v_2^2,v_4^4\}$	$V\left(\mathbb{G}\right)-\left\{v_3^3\right\}\cup \{v_1^4,v_1^4\}\cup \{v_1^5,v_2^5\}$	$R\{v_3^3,v_5^5\}$	$V\left(\mathbb{G}\right)-\left\{v_4^4\right\}\cup \{v_1^5,v_2^5,v_3^5\}$
$R\{v_1^1,v_5^5\}$	$V\left(\mathbb{G}\right)-\{v_3^3,v_2^4\}\cup \left\{v_1^5\right\}$	$R\{v_1^3,v_2^3\}$	$V\left(\mathbb{G}\right)-\{v_1^1,v_1^2\}\cup \left\{v_2^4\right\}\cup \{v_2^5,v_3^5\}$
$R\{v_2^3,v_3^3\}$	$V\left(\mathbb{G}\right)-\{v_1^1,v_2^2\}\cup \left\{v_3^4\right\}\cup \{v_3^5,v_4^5\}$	$R\{v_1^4,v_2^4\}$	$V\left(\mathbb{G}\right)-\{v_1^1,v_1^2,v_1^3\}\cup \left\{v_2^5\right\}$
$R\{v_2^4,v_3^4\}$	$V\left(\mathbb{G}\right)-\left\{v_1^1\right\}\cup \left\{v_2^3\right\}\cup \left\{v_3^5\right\}$	$R\{v_3^4,v_4^4\}$	$V\left(\mathbb{G}\right)-\{v_1^1,v_2^2,v_3^3\}\cup \left\{v_4^5\right\}$
$R\{v_1^5,v_2^5\}$	$V\left(\mathbb{G}\right)-\left\{v_1^1\right\}\cup \{v_1^2,v_2^2\}\cup \{v_1^3,v_2^3\},v_1^4\}$	$R\{v_2^5,v_3^5\}$	$V\left(\mathbb{G}\right)-\{v_1^1,v_1^2\}\cup \{v_1^3,v_2^3\}\cup \left\{v_2^4\right\}$
$R\{v_3^5,v_4^5\}$	$V\left(\mathbb{G}\right)-\{v_1^1,v_2^2\}\cup \{v_2^3,v_3^3\}\cup \left\{v_3^4\right\}$	$R\{v_4^5,v_5^5\}$	$V\left(\mathbb{G}\right)-\{v_1^1,v_2^2,v_3^3,v_4^4\}$
$R\{v_1^3,v_3^3\}$	$V\left(\mathbb{G}\right)-\{v_1^1,v_2^3,v_3^5\}$	$R\{v_1^4,v_3^4\}$	$V\left(\mathbb{G}\right)-\{v_1^1,v_1^2,v_2^4\}$
$R\{v_2^4,v_4^4\}$	$V\left(\mathbb{G}\right)-\{v_1^1,v_2^2,v_3^4\}$	$R\{v_1^5,v_3^5\}$	$V\left(\mathbb{G}\right)-\{v_1^1,v_1^2,v_1^3\}\cup \left\{v_2^5\right\}$
$R\{v_2^5,v_4^5\}$	$V\left(\mathbb{G}\right)-\{v_1^1,v_2^3,v_3^5\}$	$R\{v_3^5,v_5^5\}$	$V\left(\mathbb{G}\right)-\{v_1^1,v_2^2,v_3^3,v_4^5\}$
$R\{v_1^5,v_5^5\}$	$V\left(\mathbb{G}\right)-\{v_1^1,v_2^3,v_3^5\}$	$R\{v_1^4,v_4^4\}$	$V\left(\mathbb{G}\right)-\{v_1^1,v_2^3,v_3^5\}$
$R\{v_1^5,v_4^5\}$	$V\left(\mathbb{G}\right)-\{v_1^1,v_1^2,v_2^4\}$	$R\{v_2^5,v_5^5\}$	$V\left(\mathbb{G}\right)-\{v_1^1,v_2^2,v_3^4\}$
$R\{v_1^1,v_2^3\}$	$V\left(\mathbb{G}\right)-\{v_1^2,v_2^2\}$	$R\{v_2^3,v_3^5\}$	$V\left(\mathbb{G}\right)-\{v_1^4,v_2^4,v_3^4,v_4^4\}$
$R\{v_1^2,v_2^4\}$	$V\left(\mathbb{G}\right)-\{v_1^3,v_2^3,v_3^3\}$	$R\{v_2^2,v_3^4\}$	$V\left(\mathbb{G}\right)-\{v_1^3,v_2^3,v_3^3\}$
$R\{v_1^3,v_2^5\}$	$V\left(\mathbb{G}\right)-\{v_1^4,v_2^4,v_3^4,v_4^4\}$	$R\{v_2^3,v_3^5\}$	$V\left(\mathbb{G}\right)-\{v_1^4,v_2^4,v_3^4,v_4^4\}$
$R\{v_3^3,v_4^5\}$	$V\left(\mathbb{G}\right)-\{v_1^4,v_2^4,v_3^4,v_4^4\}$	$R\{v_1^1,v_2^5\}$	$V\left(\mathbb{G}\right)-\{v_1^3,v_2^3,v_4^4\}$
$R\{v_1^1,v_3^5\}$	$V\left(\mathbb{G}\right)-\{v_1^3,v_2^3,v_3^3\}$	$R\{v_1^1,v_4^5\}$	$V\left(\mathbb{G}\right)-\{v_2^3,v_3^3,v_1^4\}$
$R\{v_1^2,v_2^5\}$	$V\left(\mathbb{G}\right)-\{v_3^4,v_4^4\}$	$R\{v_1^2,v_3^5\}$	$V\left(\mathbb{G}\right)-\{v_3^3,v_1^4\}$
$R\{v_1^2,v_4^5\}$	$V\left(\mathbb{G}\right)-\{v_3^3,v_2^4,v_1^5\}$	$R\{v_1^2,v_5^5\}$	$V\left(\mathbb{G}\right)-\{v_3^3,v_3^4,v_2^5\}$
$R\{v_2^2,v_1^5\}$	$V\left(\mathbb{G}\right)-\{v_1^3,v_2^4,v_4^5\}$	$R\{v_2^2,v_2^5\}$	$V\left(\mathbb{G}\right)-\{v_1^3,v_3^4,v_5^5\}$
$R\{v_2^2,v_3^5\}$	$V\left(\mathbb{G}\right)-\{v_1^3,v_4^4\}$	$R\{v_2^2,v_4^5\}$	$V\left(\mathbb{G}\right)-\{v_1^4,v_2^4\}$
$R\{v_2^2,v_1^3\}$	$V\left(\mathbb{G}\right)-\{v_1^2,v_2^3,v_3^4,v_4^5\}$	$R\{v_1^2,v_3^3\}$	$V\left(\mathbb{G}\right)-\{v_2^2,v_2^3,v_2^4,v_2^5\}$
$R\{v_2^3,v_4^4\}$	$V\left(\mathbb{G}\right)-\{v_3^3,v_3^4,v_3^5\}$	$R\{v_2^3,v_1^4\}$	$V\left(\mathbb{G}\right)-\{v_1^3,v_2^4,v_3^5\}$
$R\{v_3^4,v_5^5\}$	$V\left(\mathbb{G}\right)-\{v_4^4,v_5^5\}$	$R\{v_3^4,v_1^5\}$	$V\left(\mathbb{G}\right)-\{v_1^4,v_2^4\}$
$R\{v_1^2,v_1^4\}$	$V\left(\mathbb{G}\right)-\{v_1^3,v_4^4,v_4^5\}$	$R\{v_1^2,v_3^4\}$	$V\left(\mathbb{G}\right)-\{v_2^3,v_1^4,v_1^5\}$
$R\{v_1^2,v_4^4\}$	$V\left(\mathbb{G}\right)-\{v_2^4,v_2^4\}$	$R\{v_1^3,v_3^5\}$	$V\left(\mathbb{G}\right)-\{v_3^3,v_2^4,v_1^5\}$
$R\{v_1^3,v_4^5\}$	$V\left(\mathbb{G}\right)-\{v_3^3,v_2^5\}$	$R\{v_1^3,v_5^5\}$	$V\left(\mathbb{G}\right)-\{v_3^4,v_3^5\}$
$R\{v_2^3,v_1^5\}$	$V\left(\mathbb{G}\right)-\left\{v_3^5\right\}$	$R\{v_2^3,v_2^5\}$	$V\left(\mathbb{G}\right)-\{v_2^4,v_4^5,v_5^5\}$
$R\{v_2^3,v_4^5\}$	$V\left(\mathbb{G}\right)-\{v_3^4,v_1^5,v_2^5\}$	$R\{v_2^3,v_5^5\}$	$V\left(\mathbb{G}\right)-\left\{v_4^5\right\}$

shows the RN sets with the maximum cardinality. Thus, ${\displaystyle \bigcup _{l=1}^3}{R}_l=\{v_1^1,v_2^1,v_3^1,v_4^1,v_5^1\}\cup \{v_2^2,v_3^3,v_4^4,v_5^5\}\cup \{v_5^2,v_5^3,v_5^4\}$. We can see that $|{\displaystyle \bigcup _{l=1}^3}{R}_l|=12$ and $|{\acute{R}}_u\cap {\displaystyle \bigcup _{l=1}^3}{R}_l|\ge |R_l|$. Now, we define a mapping $\psi :V\left(\mathbb{G}\right)\to [0,1]$, such that $\tau \left(v_k^j\right)=\frac{1}{8}$. Since $R_l$ for $1\le l\le 3$ exhibits a cyclic intersection with ${\displaystyle \bigcap _{l=1}^3}{R}_l=\varphi$, by Theorem 1, Case A, Sub case(1)(a), we have $fdim\left(\mathbb{G}\right)={\displaystyle \sum _{l=1}^3}\frac{1}{8}\le \frac{12}{8}=\frac{3}{2}$.

Case II: For any $n\ge 6$: Lemma 1 confirms that the minimum resolving sets are $R_1=R\{v_1^2,v_2^2\}$, $R_2=R\{v_1^{n-1},v_2^n\}$ and $R_3=R\{v_{n-1}^{n-1},v_{n-1}^n\}$, respectively. The same affirms that $|R_l|=2(n-1)$ and $|{\displaystyle \bigcup _{t=1}^2}{R}_t|=3(n-1)$ and $|R\{a,b\}\cap {\displaystyle {\displaystyle \bigcup _{t=1}^3}}{R}_t|\ge |R_l|$∀$\{a,b\}\in V\left(\mathbb{G}\right)$. Let $\sigma =|{\displaystyle \bigcup _{l=1}^3}{R}_l|=3(n-1)$ and $\kappa =|R_l|=2(n-1)$. Then, we define a mapping $\tau :V\left(\mathbb{G}\right)\to [0,1]$, such that

$$\tau \left(v\right)=\left\{\begin{array}{cc}\frac{1}{\kappa }\hfill & \mathrm{for}a\in {\displaystyle \bigcup _{l=1}^3}{R}_t,\hfill \\ 0\hfill & \mathrm{for}a\in V\left(\mathbb{C}\right)-{\displaystyle \bigcup _{l=1}^3}{R}_t.\hfill \end{array}\right.$$

It can be seen that $\tau$ is a resolving function for $\mathbb{G}$ with $n\ge 3$ because $\tau \left(R\right\{a,b\left\}\right)\ge 1$∀$u,v\in V\left(\mathbb{G}\right)$. On the contrary, assume that there is another resolving function $\rho$, such that $\rho \left(u\right)\le \tau \left(u\right)$, for at least one $u\in V\left(\mathbb{G}\right)$$\rho \left(u\right)\ne \tau \left(u\right)$. As a consequence, $\rho \left(R\right\{a,b\left\}\right)<1$, where $R\{a,b\}$ is a resolving neighbourhood of $\mathbb{G}$ with minimum cardinality $\kappa$. It shows that $\rho$ is not a resolving function, which is a contradiction. Therefore, $\tau$ is a minimal resolving function that attains minimum $\left|\tau \right|$ for $\mathbb{G}$. All the $R_l$ for $1\le l\le 3$ also exhibit the intersection of cyclic order along with ${\displaystyle \bigcap _{l=1}^3}{R}_l=\varphi$; thus, by Theorem 1, Case B, Sub case (1)a, assigning $\frac{1}{\kappa }$ to the vertices of $\mathbb{G}$ in ${\displaystyle \bigcup _{t=1}^3}{R}_l$ and calculating the summation of all the weights, we get:

$$fdim\left(\mathbb{G}\right)={\displaystyle \sum _{l=1}^{\sigma }}\frac{1}{\kappa }=\frac{3}{2}.$$

5.2. FMD of Polaroid Grid

Theorem 3.

Suppose that $\mathbb{G}\cong \mathbb{PG}(m,n)$ is a polaroid grid network, taking any non-negative number $m\ge 8$ and $n\ge 4$, then $1\le fdim\left(\mathbb{G}\right)\le \frac{m}{4}$.

Proof. In order to prove this result, we will prove the following cases: Case I: For $m=8$ and $n=4$:

We will make use of symmetry of the network to present the RNs for $1\le r\le 4$, so the RNs for the current case are given by:

We can see that

Table 9. RNs $R_r$ for $1\le l\le 12$ and $1\le j\le 4$.

RNs	Elements	RNs	Elements
$R_1=R\{v_1^1,v_2^1\}$	$V\left(\mathbb{G}\right)-\left\{c\right\}\cup \{v_j^4,v_j^5,v_j^6,v_j^7\}$	$R_2=R\{v_2^1,v_3^1\}$	$V\left(\mathbb{G}\right)-\left\{c\right\}\cup \{v_j^5,v_j^6,v_j^7,v_j^8\}$
$R_3=R\{v_3^1,v_4^1\}$	$V\left(\mathbb{G}\right)-\left\{c\right\}\cup \{v_j^1,v_j^6,v_j^7,v_j^8\}$	$R_4=R\{v_4^1,v_5^1\}$	$V\left(\mathbb{G}\right)-\left\{c\right\}\cup \{v_j^1,v_j^2,v_j^7,v_j^8\}$
$R_9=R\{v_1^1,v_1^3\}$	$V\left(\mathbb{G}\right)-\left\{c\right\}\cup \{v_j^2,v_j^5,v_j^6,v_j^7\}$	$R_{10}=R\{v_1^2,v_1^4\}$	$V\left(\mathbb{G}\right)-\left\{c\right\}\cup \{v_j^3,v_j^6,v_j^7,v_j^8\}$
$R_{11}=R\{v_1^3,v_1^5\}$	$V\left(\mathbb{G}\right)-\left\{c\right\}\cup \{v_j^1,v_j^4,v_j^7,v_j^8\}$	$R_{12}=R\{v_1^4,v_1^6\}$	$V\left(\mathbb{G}\right)-\left\{c\right\}\cup \{v_j^1,v_j^2,v_j^5,v_j^8\}$

shows the RNs with a minimum cardinality of 16, whereas RNs with maximum cardinality have been shown in

Table 10. RNs ${\acute{R}}_u$ for $1\le u\le 16$ and $1\le j\le 8$.

RNs	Elements	RNs	Elements
$R\{v_1^j,v_3^j\}$	$V\left(\mathbb{G}\right)-\{v_2^1,v_2^2,v_2^3,v_2^4,v_2^5,v_2^6,v_2^7,v_2^8\}$	$R\{v_2^j,v_4^j\}$	$V\left(\mathbb{G}\right)-\{v_3^1,v_3^2,v_3^3,v_3^4,v_3^5,v_3^6,v_3^7,v_3^8\}$

,

Table 11. RNs ${\acute{R}}_u$ for $17\le u\le 20$ and $1\le j\le 8$.

RNs	Elements	RNs	Elements
$R\{v_1^1,v_1^4\}$	$V\left(\mathbb{G}\right)-\left\{c\right\}\cup \{v_1^6,v_2^6,v_3^6,v_4^6\}\cup \{v_1^7,v_2^7,v_3^7,v_4^7\}$	$R\{v_1^2,v_1^5\}$	$V\left(\mathbb{G}\right)-\left\{c\right\}\cup \{v_1^7,v_2^7,v_3^7,v_4^7\}\cup \{v_1^8,v_2^8,v_3^8,v_4^8\}$
$R\{v_1^3,v_1^6\}$	$V\left(\mathbb{G}\right)-\left\{c\right\}\cup \{v_1^1,v_2^1,v_3^1,v_4^1\}\cup \{v_1^8,v_2^8,v_3^8,v_4^8\}$	$R\{v_1^4,v_1^7\}$	$V\left(\mathbb{G}\right)-\left\{c\right\}\cup \{v_1^1,v_2^1,v_3^1,v_4^1\}\cup \{v_1^2,v_2^2,v_3^2,v_4^2\}$

,

Table 12. RNs ${\acute{R}}_u$ for $21\le u\le 32$ and $2\le j\le 4$.

RNs	Elements	RNs	Elements
$R\{v_j^1,v_j^2\}$	$V\left(\mathbb{G}\right)-\left\{c\right\}\cup \{v_1^4,v_1^5,v_1^6,v_1^7\}$	$R\{v_j^2,v_j^3\}$	$V\left(\mathbb{G}\right)-\left\{c\right\}\cup \{v_1^5,v_1^6,v_1^7,v_1^8\}$
$R\{v_j^3,v_j^4\}$	$V\left(\mathbb{G}\right)-\left\{c\right\}\cup \{v_1^1,v_1^6,v_1^7,v_1^8\}$

,

Table 13. RNs ${\acute{R}}_u$ for $33\le u\le 36$ and $2\le j\le 8$.

RNs	Elements	RNs	Elements
$R\{v_2^1,v_2^3\}$	$V\left(\mathbb{G}\right)-\left\{c\right\}\cup \{v_1^2,v_2^2,v_3^2,v_4^2\}\cup \{v_1^5,v_1^6,v_1^7\}$	$R\{v_2^2,v_2^4\}$	$V\left(\mathbb{G}\right)-\left\{c\right\}\cup \{v_1^3,v_2^3,v_3^3,v_4^3\}\cup \{v_1^6,v_1^7,v_1^8\}$
$R\{v_2^3,v_2^5\}$	$V\left(\mathbb{G}\right)-\left\{c\right\}\cup \{v_1^4,v_2^4,v_3^4,v_4^4\}\cup \{v_1^1,v_1^7,v_1^8\}$	$R\{v_2^4,v_2^6\}$	$V\left(\mathbb{G}\right)-\left\{c\right\}\cup \{v_1^5,v_2^5,v_3^5,v_4^5\}\cup \{v_1^1,v_1^2,v_1^8\}$

,

Table 14. RNs ${\acute{R}}_u$ for $37\le u\le 48$ and $2\le j\le 4$.

RNs	Elements	RNs	Elements
$R\{v_j^1,v_j^4\}$	$V\left(\mathbb{G}\right)-\left\{c\right\}\cup \{v_1^6,v_1^7\}$	$R\{v_j^2,v_j^5\}$	$V\left(\mathbb{G}\right)-\left\{c\right\}\cup \{v_1^7,v_1^8\}$
$R\{v_j^3,v_j^6\}$	$V\left(\mathbb{G}\right)-\left\{c\right\}\cup \{v_1^1,v_1^8\}$	$R\{v_j^4,v_j^7\}$	$V\left(\mathbb{G}\right)-\left\{c\right\}\cup \{v_1^1,v_1^2\}$

,

Table 15. RNs ${\acute{R}}_u$ for $49\le u\le 60$ and $2\le j\le 4$.

RNs	Elements	RNs	Elements
$R\{v_j^1,v_j^5\}$	$V\left(\mathbb{G}\right)-\left\{c\right\}\cup \{v_1^3,v_2^3,v_3^3,v_4^3\}\cup \left\{v_1^7\right\}$	$R\{v_j^2,v_j^6\}$	$V\left(\mathbb{G}\right)-\left\{c\right\}\cup \{v_1^4,v_2^4,v_3^4,v_4^4\}\cup \left\{v_1^8\right\}$
$R\{v_j^4,v_j^8\}$	$V\left(\mathbb{G}\right)-\left\{c\right\}\cup \{v_1^2,v_2^2,v_3^2,v_4^2\}\cup \left\{v_1^6\right\}$

,

Table 16. RNs ${\acute{R}}_u$ for $61\le u\le 77$.

RNs	Elements	RNs	Elements
$R\{c,v_1^1\}$	$V\left(\mathbb{G}\right)-\{v_1^2,v_2^2,v_3^2,v_4^2\}\cup \{v_1^8,v_2^8,v_3^8,v_4^8\}$	$R\{c,v_1^2\}$	$V\left(\mathbb{G}\right)-\{v_1^1,v_2^1,v_3^1,v_4^1\}\cup \{v_1^3,v_2^3,v_3^3,v_4^3\}$
$R\{c,v_1^3\}$	$V\left(\mathbb{G}\right)-\{v_1^2,v_2^2,v_3^2,v_4^2\}\cup \{v_1^4,v_2^4,v_3^4,v_4^4\}$	$R\{c,v_1^4\}$	$V\left(\mathbb{G}\right)-\{v_1^3,v_2^3,v_3^3,v_4^3\}\cup \{v_1^5,v_2^5,v_3^5,v_4^5\}$
$R\{c,v_2^1\}$	$V\left(\mathbb{G}\right)-\left\{v_1^1\right\}\cup \{v_2^3,v_3^3,v_4^3\}\cup \{v_2^7,v_3^7,v_4^7\}$	$R\{c,v_2^2\}$	$V\left(\mathbb{G}\right)-\left\{v_1^2\right\}\cup \{v_2^4,v_3^4,v_4^4\}\cup \{v_2^8,v_3^8,v_4^8\}$
$R\{c,v_2^3\}$	$V\left(\mathbb{G}\right)-\left\{v_1^3\right\}\cup \{v_2^1,v_3^1,v_4^1\}\cup \{v_2^5,v_3^5,v_4^5\}$	$R\{c,v_2^4\}$	$V\left(\mathbb{G}\right)-\left\{v_1^4\right\}\cup \{v_2^2,v_3^2,v_4^2\}\cup \{v_2^6,v_3^6,v_4^6\}$
$R\{c,v_3^1\}$	$V\left(\mathbb{G}\right)-\{v_3^4,v_4^4\}\cup \{v_3^6,v_4^6\}$	$R\{c,v_3^2\}$	$V\left(\mathbb{G}\right)-\{v_3^5,v_4^5\}\cup \{v_3^7,v_4^7\}$
$R\{c,v_3^3\}$	$V\left(\mathbb{G}\right)-\{v_3^6,v_4^6\}\cup \{v_3^8,v_4^8\}$	$R\{c,v_3^4\}$	$V\left(\mathbb{G}\right)-\{v_3^1,v_4^1\}\cup \{v_3^7,v_4^7\}$
$R\{c,v_4^1\}$	$V\left(\mathbb{G}\right)-\left\{v_2^1\right\}\cup \left\{v_4^5\right\}$	$R\{c,v_4^2\}$	$V\left(\mathbb{G}\right)-\left\{v_2^2\right\}\cup \left\{v_4^6\right\}$
$R\{c,v_4^3\}$	$V\left(\mathbb{G}\right)-\left\{v_2^3\right\}\cup \left\{v_4^7\right\}$	$R\{c,v_4^4\}$	$V\left(\mathbb{G}\right)-\left\{v_2^4\right\}\cup \left\{v_4^8\right\}$

,

Table 17. RNs ${\acute{R}}_u$ for $78\le u\le 81$.

RNs	Elements	RNs	Elements
$R\{v_1^1,v_1^5\}$	$V\left(\mathbb{G}\right)-\left\{c\right\}\cup \{v_1^3,v_2^3,v_3^3,v_4^3\}\cup \{v_1^7,v_2^7,v_3^7,v_4^7\}$	$R\{v_1^2,v_1^6\}$	$V\left(\mathbb{G}\right)-\left\{c\right\}\cup \{v_1^4,v_2^4,v_3^4,v_4^4\}\cup \{v_1^8,v_2^8,v_3^8,v_4^8\}$
$R\{v_1^3,v_1^7\}$	$V\left(\mathbb{G}\right)-\left\{c\right\}\cup \{v_1^1,v_2^1,v_3^1,v_4^1\}\cup \{v_1^5,v_2^5,v_3^5,v_4^5\}$	$R\{v_1^4,v_1^8\}$	$V\left(\mathbb{G}\right)-\left\{c\right\}\cup \{v_1^2,v_2^2,v_3^2,v_4^2\}\cup \{v_1^6,v_2^6,v_3^6,v_4^6\}$

,

Table 18. RNs ${\acute{R}}_u$ for $82\le u\le 89$ and $2\le j\le 4$.

RNs	Elements	RNs	Elements
$R\{v_1^1,v_2^2\}$	$V\left(\mathbb{G}\right)-\{v_1^2,v_1^3\}\cup \{v_j^1,v_j^5,v_j^8\}$	$R\{v_1^2,v_2^3\}$	$V\left(\mathbb{G}\right)-\{v_1^3,v_1^4\}\cup \{v_j^1,v_j^2,v_j^6\}$
$R\{v_1^3,v_2^4\}$	$V\left(\mathbb{G}\right)-\{v_1^4,v_1^5\}\cup \{v_j^2,v_j^3,v_j^7\}$	$R\{v_1^4,v_2^5\}$	$V\left(\mathbb{G}\right)-\{v_1^5,v_1^6\}\cup \{v_j^3,v_j^4,v_j^8\}$
$R\{v_2^1,v_1^2\}$	$V\left(\mathbb{G}\right)-\{v_1^1,v_1^8\}\cup \{v_j^2,v_j^4,v_j^6\}$	$R\{v_2^2,v_1^3\}$	$V\left(\mathbb{G}\right)-\{v_1^1,v_1^2\}\cup \{v_j^3,v_j^5,v_j^7\}$
$R\{v_2^3,v_1^4\}$	$V\left(\mathbb{G}\right)-\{v_1^2,v_1^3\}\cup \{v_j^4,v_j^6,v_j^8\}$	$R\{v_2^4,v_1^5\}$	$V\left(\mathbb{G}\right)-\{v_1^3,v_1^4\}\cup \{v_j^1,v_j^5,v_j^7\}$

,

Table 19. RNs ${\acute{R}}_u$ for $90\le u\le 97$, $1\le j\le 2$ and $3\le k\le 4$.

RNs	Elements	RNs	Elements
$R\{v_2^1,v_3^2\}$	$V\left(\mathbb{G}\right)-\{v_k^1,v_k^8\}\cup \left\{v_2^5\right\}\cup \{v_j^2,v_j^3,v_j^4\}$	$R\{v_2^2,v_3^3\}$	$V\left(\mathbb{G}\right)-\{v_k^1,v_k^2\}\cup \left\{v_2^6\right\}\cup \{v_j^3,v_j^4,v_j^5\}$
$R\{v_2^3,v_3^4\}$	$V\left(\mathbb{G}\right)-\{v_k^2,v_k^3\}\cup \left\{v_2^7\right\}\cup \{v_j^4,v_j^5,v_j^6\}$	$R\{v_2^4,v_3^5\}$	$V\left(\mathbb{G}\right)-\{v_k^3,v_k^4\}\cup \left\{v_2^8\right\}\cup \{v_j^5,v_j^6,v_j^7\}$
$R\{v_3^1,v_2^2\}$	$V\left(\mathbb{G}\right)-\{v_k^2,v_k^3\}\cup \left\{v_2^6\right\}\cup \{v_j^1,v_j^7,v_j^8\}$	$R\{v_3^2,v_2^3\}$	$V\left(\mathbb{G}\right)-\{v_k^3,v_k^4\}\cup \left\{v_2^7\right\}\cup \{v_j^1,v_j^2,v_j^8\}$
$R\{v_3^3,v_2^4\}$	$V\left(\mathbb{G}\right)-\{v_k^4,v_k^5\}\cup \left\{v_2^8\right\}\cup \{v_j^1,v_j^2,v_j^3\}$	$R\{v_3^4,v_2^5\}$	$V\left(\mathbb{G}\right)-\{v_k^5,v_k^6\}\cup \left\{v_2^1\right\}\cup \{v_j^2,v_j^3,v_j^4\}$

,

Table 20. RNs ${\acute{R}}_u$ for $98\le u\le 105$$1\le h\le 3$ and $2\le k\le 3$.

RNs	Elements	RNs	Elements
$R\{v_3^1,v_4^2\}$	$V\left(\mathbb{G}\right)-\left\{v_4^j\right|j=1,6,7,8\}\cup \{v_h^2,v_h^3,v_k^4\}$	$R\{v_3^2,v_4^3\}$	$V\left(\mathbb{G}\right)-\left\{v_4^j\right|j=1,2,7,8\}\cup \{v_h^3,v_h^4,v_k^5\}$
$R\{v_3^3,v_4^4\}$	$V\left(\mathbb{G}\right)-\left\{v_4^j\right|j=1,2,3,8\}\cup \{v_h^4,v_h^5,v_k^6\}$	$R\{v_3^4,v_4^5\}$	$V\left(\mathbb{G}\right)-\left\{v_4^j\right|j=1,2,3,4\}\cup \{v_h^5,v_h^6,v_k^7\}$
$R\{v_4^1,v_3^2\}$	$V\left(\mathbb{G}\right)-\left\{v_4^j\right|j=1,2,3,4\}\cup \{v_h^6,v_h^7,v_k^8\}$	$R\{v_4^2,v_3^3\}$	$V\left(\mathbb{G}\right)-\left\{v_4^j\right|j=2,3,4,5\}\cup \{v_h^1,v_h^7,v_k^8\}$
$R\{v_4^3,v_3^4\}$	$V\left(\mathbb{G}\right)-\left\{v_4^j\right|j=3,4,5,6\}\cup \{v_h^1,v_h^2,v_k^8\}$	$R\{v_4^4,v_3^5\}$	$V\left(\mathbb{G}\right)-\left\{v_4^j\right|j=4,5,6,7\}\cup \{v_h^1,v_h^2,v_k^3\}$

and

Table 21. RNs ${\acute{R}}_u$ for $106\le u\le 141$, $1\le j\le 8$, $k=1,3,5$.

R. N.	Elements	R. N.	Elements	R. N.	Elements
$R\{v_1^j,v_3^{j+k}\}$	$V\left(\mathbb{G}\right)$	$R\{v_3^j,v_1^{j+k}\}$	$V\left(\mathbb{G}\right)$	$R\{v_2^j,v_4^{j+k}\}$	$V\left(\mathbb{G}\right)$
$R\{v_4^j,v_2^{j+k}\}$	$V\left(\mathbb{G}\right)$	$R\{v_1^j,v_2^{j+k}\}$	$V\left(\mathbb{G}\right)$	$R\{v_2^j,v_1^{j+k}\}$	$V\left(\mathbb{G}\right)$
$R\{v_2^j,v_3^{j+k}\}$	$V\left(\mathbb{G}\right)$	$R\{v_3^j,v_2^{j+k}\}$	$V\left(\mathbb{G}\right)$	$R\{v_j^j,v_{j+k}^j\}$	$V\left(\mathbb{G}\right)$

, respectively. Thus, ${\displaystyle \bigcup _{l=1}^{12}}{R}_l=V\left(\mathbb{G}\right)-\left\{c\right\}$. We can see that the $|{\displaystyle \bigcup _{l=1}^{12}}{R}_l|=32$ and $|{\acute{R}}_u\cap {\displaystyle \bigcup _{l=1}^{12}}{R}_l|\ge |R_l|$, where $1\le u\le 301$. Now, we define a mapping $\tau :V\left(\mathbb{G}\right)\to [0,1]$ such that $\tau \left(v_k^j\right)=\frac{1}{16}$. It is observed that $R_l$ for $1\le l\le 12$ of $V\left(\mathbb{G}\right)$ have a pairwise intersection, exhibiting a non-cyclic order with ${\displaystyle \bigcap _{l=1}^{12}}{R}_l=\varphi$; therefore, by Theorem 1, Case B, Sub case (1)b, we have $1\le fdim\left(\mathbb{G}\right)\le {\displaystyle \sum _{l=1}^{32}}\frac{1}{16}\le \frac{32}{16}\le 2$.

Case II: For any $m\ge 5$ and $n\ge 4$:

Lemma 2 confirms the fact that the minimum resolving sets are $R_1=R\{v_1^r,v_1^{r+1}\}$ and $R_2=R\{v_1^r,v_1^{r+2}\}$, respectively. The same also affirms that $\left|R_l\right|=4n$ and $|{\displaystyle \bigcup _{l=1}^m}{R}_l|=mn$ and $|R\{a,b\}\cap {\displaystyle \bigcup _{l=1}^m}{R}_l|\ge |R_l|$∀$\{a,b\}\in V\left(\mathbb{G}\right)$. Let $\sigma =|{\displaystyle \bigcup _{l=1}^m}{R}_l|=mn$ and $\kappa =|R_l|=4n$. Then, we define a mapping $\tau :V\left(\mathbb{G}\right)\to [0,1]$, such that

$$\tau \left(v\right)=\left\{\begin{array}{cc}\frac{1}{\kappa }\hfill & \mathrm{for}a\in {\displaystyle \bigcup _{l=1}^m}{R}_l,\hfill \\ 0\hfill & \mathrm{for}a\in V\left(\mathbb{C}\right)-{\displaystyle \bigcup _{l=1}^m}{R}_l.\hfill \end{array}\right.$$

It can be seen that $\tau$ is a resolving function for $\mathbb{G}$ with $n\ge 3$ because $\tau \left(R\right\{a,b\left\}\right)\ge 1$∀$u,v\in V\left(\mathbb{G}\right)$. On the contrary, assume that there is another resolving function $\rho$, such that $\rho \left(u\right)\le \tau \left(u\right)$ for at least one $u\in V\left(\mathbb{G}\right)$$\rho \left(u\right)\ne \tau \left(u\right)$. As a consequence, $\rho \left(R\right\{a,b\left\}\right)<1$, where $R\{a,b\}$ is a resolving neighbourhood of $\mathbb{G}$ with minimum cardinality $\kappa$. It shows that $\rho$ is not a resolving function, which is a contradiction. Therefore, $\tau$ is a minimal resolving function that attains minimum $\left|\tau \right|$ for $\mathbb{G}$. We have seen that all the $R_l$ have a pairwise intersection bearing a non-cyclic order and have ${\displaystyle \bigcap _{l=1}^m}{R}_l=\varphi$; thus, by Theorem 1, Sub case (1)b, assigning $\frac{1}{\kappa }$ to the vertices of $\mathbb{G}$ in ${\displaystyle \bigcup _{l=1}^m}{R}_l$ and calculating the summation of all the weights, we get: $1\le fdim\left(\mathbb{G}\right)\le {\displaystyle \sum _{l=1}^{\sigma }}\frac{1}{\kappa }\le \frac{m}{4}.$

6. Conclusions

In this note, we have found the sharp bounds for the FMD of connected networks. In order to test the tautology of Theorem 1, we have considered the classes of networks that are grid-like in nature—called triangular and polaroid grid networks. We end this manuscript with the following conclusions:

• The bounds lie in the interval of $[1,\frac{\left|X\right|}{\kappa }]$.
• Theorem 1 is a generalization of what was found by Liu et al. in [24] for the FMD of the generalized Jahangir Graph.
• The FMD of ${\mathbb{T}}^n$ is $fdim\left({\mathbb{T}}^n\right)=\frac{3}{2}$.
• The polaroid grid network has the FMD $fdim\left(\mathbb{PG}(m,n)\right)\le \frac{m}{4}$.
• It is found that the FMD of $\mathbb{PG}(m,n)$ is unbounded.
• The value of the FMD ${\mathbb{T}}^n$ is constant as well as bounded.
• Table 22. Summary of obtained Results.

  $\mathbb{G}$	$\mathit{f}\mathit{d}\mathit{i}\mathit{m}$	$\underset{\mathit{f}\mathit{d}\mathit{i}\mathit{m}\to \mathit{\infty }}{lim}$	Remarks
  ${\mathbb{T}}^n$	$\frac{3}{2}$	$\frac{3}{2}$	Constant and Bounded
  $\mathbb{PG}(m,n)$	$1\le fdim\left(\mathbb{PG}(m,n)\right)\le \frac{m}{4}$	∞	Unbounded

  shows the summary of the results obtained for the FMD of the networks under consideration.
• The behaviour of the obtained results as they tend to ∞ is shown graphically in Figure 4.
• Feng et al. [20] studied only the vertex transitive graphs and computed their fraction metric dimension. In this paper, the developed lower and upper bounds of FMD in Theorem 1 work for all the graphs, which may be vertex transitive and non-vertex transitive. We also illustrated the obtained results by finding the FMDs of the triangular and polaroid grids, which are non-vertex transitive graphs.