Abstract

In chemistry, graphs are commonly used to show the structure of chemical compounds, with nodes and edges representing the atom and bond types, respectively. Edge resolving set is an ordered subset of nodes of a graph , in which each edge of is distinctively determined by its distance vector to the nodes in . The cardinality of a minimum edge resolving set is called the edge metric dimension of . An edge resolving set of is fault-tolerant if is also an edge resolving set, for every in . Resolving set allows obtaining a unique representation for chemical structures. In particular, they were used in pharmaceutical research for discovering patterns common to a variety of drugs. In this paper, we determine the exact edge metric and fault-tolerant edge metric dimension of benzenoid tripod structure and proved that both parameters are constant.

1. Introduction

Mathematical chemistry has recently presented a wide range of approaches to understanding the chemical structures that underpin existing chemical theories and developing and exploring new mathematical models of chemical phenomena and applying mathematical concepts and processes to chemistry. Only a few scientists have been convinced to exploit linkages between mathematics and chemistry and the possibility of using arithmetic to deduce known and anticipate new chemical characteristics, throughout the history of science. In many areas of physical chemistry, such as thermodynamics and compound energy, extensive use of mathematical approaches is commonplace. After physicists revealed in the first few years of the twentieth century that the key features of chemical compounds can be predicted using quantum theory approaches, a significant need for mathematics in chemistry arose. The main driving force that drove the mathematics and its concepts into chemistry laboratories was the realization that chemistry cannot be comprehended without knowledge of quantum physics, including its complicated mathematical instruments. For the different study of mathematical chemistry in terms of graph theory, we suggest some literature here [1].

Chemical graph theory is a branch of mathematical science that is used to characterise the structural properties of molecules, processes, crystals, polymers, clusters, and other objects. The vertex of a chemical graph theory might be an electron, an atom, a molecule, a collection of atoms, intermediates, orbitals, and many other things. Intermolecular bonding, bonded and nonbonded connections, basic reactions, and other forces such as van der Waals forces, Keesom forces, and Debye forces can all be used to illustrate the relationships between vertices of a structure.

The general convex polytope structures are discussed in [2, 3], in which authors consider the problem of edge metric resolvability. In the reply to aroused question from seminal work of edge resolvability, Raza and Bataineh [4] answered some questions and provided interesting results as well as analysis between vertex and edge resolvability. The detailed discussion of identifying edges and vertices of general graph is studied in [5]. Necklace graph’s edge resolvability is discussed in [6]. Polycyclic aromatic hydrocarbons in terms of edge and fault-tolerant edge resolvability are deeply investigated in [7]. The generalized version of edge resolvability is introduced in [8]. Few efficient techniques of finding edge resolving set are found in [9]. The graph having larger edge resolvability rather than vertex resolvability is generally studied in [10]. The generalized Peterson graph’s edge resolvability is found in [11]. The k-multiwheel graph point of discussion with its edge resolvability is found in [12].

Slater [13] presented the idea of resolving sets, which was later discussed by Harary and Melter [14]. Metric generators, as detailed in [15, 16], allow for alternative representations of chemical substances. Precisely, they were used in pharmaceutical research for determining patterns similar to a variety of drugs [17]. Metric dimension has various other applications, such as robot navigation [18], weighing problems [19], computer networks [20], combinatorial optimization [21], image processing, facility location problems, and sonar and coastguard loran [13]; for further detail, see [22, 23]. Due to its variety of applications, the concept of metric dimension is widely used to solve many difficult problems. Hussain et al. [24], Krishnan et al. [25], and Siddiqui et al. [26] have computed the resolvability parameter for alpha-boron nanotube, certain crystal structures, and certain nanotube lattices, respectively. For the NP-harness of these topics, for example, and for the metric dimension [27, 28] and application along with its NP-hardness, see [29]. Rather than separating two unique vertices of a graph based on a subset of vertices, two edges might be distinguished based on the same subset of vertices. Kelenc et al. [30] created a new parameter called the edge metric dimension to represent this idea. They employed graph metric to identify each pair of edges based on the graph’s distance from a selection of vertices.

The following are basic preliminaries for the concepts studied here.

Definition 1 (see [31]). Assume that is an associated graph of chemical structure/network, whose vertex/node set are denoted by symbol or simply , while or is the edge/bond set, and the shortest distance between two bonds is denoted by and calculated by counting the number of bonds while moving through the path.

Definition 2 (see [32]). The distance between an edge and a node is counted by the relation . Assuming a subset of selected nodes , if the position of each edge is unique of a graph, then is called as edge metric resolving set and is the minimum count of members of , called as edge metric dimension.

Definition 3. Assuming that any of the member of edge metric resolving set is not working or any of the node from members is spoiled, then one cannot get the unique position of the entire edge set. To tackle this issue, the definition is known as fault-tolerant edge resolving set which is dealt with by eliminating any of the member from and still obtains the unique position of the entire edge set of a graph, symbolized as , and the minimum members in the set denoted as and named as fault-tolerant edge metric dimension.

Theorem 1 (see [30]). If is the edge metric dimension, then , iff is a path .

2. Construction of Tripod Structure

Because it is significant in theoretical chemistry, benzenoid systems are natural graph representations of benzenoid hydrocarbons. It is a well-known fact that hydrocarbons generated from benzenoids are important and beneficial in the chemical, food, and environmental industries, according to [33]. The authors in [34] describe the benzenoid system we mentioned above in our work. Polynomial types were discussed in relation to various catacondensed and pericondensed benzenoid structures. This is a pericondensed benzenoid tripod construction. It has nodes and bonds, with all the running parameters . Furthermore, Jamil et al. [35] provide a comprehensive topological investigation of benzenoid structures, and metric-based study of benzenoid networks is available in [36]. The node and bond or vertex and edge set for the benzenoid structure is shown as follows. In our primary results, we apply the labelling of nodes and edges specified in Figure 1.

Lemma 1. If is a graph of benzenoid tripod with , then the minimum members in its edge resolving set are two.

Proof. The total number of nodes in the corresponding graph of benzenoid tripod with is and to check the possibilities of edge resolving set with cardinality two is . Here, we are checking with cardinality two because by Theorem 1, the edge resolving set with cardinality one is reserved for path graph only. Now due to the NP-hardness of choosing edge resolving set, we cannot find the exact number of edge resolving sets for a graph, but from -possibilities, we choose a subset and defined as . Now to prove this claim that is actually one of the candidates for the edge resolving set of benzenoid tripod graph or , we will follow Definition 2. To fulfill the requirements of definition, we will check the unique positions or locations of each edge and the methodology is defined above in Definition 2.
Positions with respect to , for the edges with , are given asPositions with respect to , for the edges with , are given asPositions with respect to , for the edges with , are given asPositions with respect to , for the edges with , are given asPositions with respect to , for the edges with , are given asPositions with respect to , for the edges with , are given asPositions with respect to , for the edges with , are given asPositions with respect to , for the edges with , are given asPositions with respect to , for the edges with , are given asPositions of the joint edges are given asThe given positions of all -bonds of graph of benzenoid tripod with , with respect to , are unique and no two bonds have the same position . So we can conclude that we resolve the bonds of with two nodes. It is implied that the minimum members in the edge resolving set of are two.

Remark 1. If is a graph of benzenoid tripod with , then

Proof. From the definition of edge metric dimension, the concept is solemnly based on the selected subset () chosen in such a way that the entire edge set has unique position with respect to the selected nodes or subset. In Lemma 1, we already discussed the possibility of selected subset (edge resolving set) and, according to the definition, its minimum possible cardinality. In that lemma, we choose as an edge resolving set for the graph of benzenoid tripod or for all the possible combinatorial values of . We also proved in such lemma that is the least possible cardinality of edge resolving set for the benzenoid tripod . It is enough for the proof of what we claim in the statement that edge metric dimension of benzenoid tripod is two, which completes the proof.

Lemma 2. If is a graph of benzenoid tripod with , then the minimum members in its fault-tolerant edge resolving set are four.

Proof. The total number of nodes in the corresponding graph of benzenoid tripod with , are and to check the possibilities of fault-tolerant edge resolving set with cardinality four are . Here we are checking with cardinality four, and later, we will also check cardinality three. Now due to the NP-hardness of choosing fault-tolerant edge resolving set, we cannot find the exact number of fault-tolerant edge resolving sets for a graph, but from -possibilities, we choose a subset and defined as . Now to prove this claim that is actually one of the candidates for the fault-tolerant edge resolving set of benzenoid tripod graph or , we will follow Definition 3. To fulfill the requirements of definition, we will check the unique positions or locations of each node and the methodology is defined above in Definition 3.
Positions with respect to , for the edges with , are given asPositions with respect to , for the edges with , are given asPositions with respect to , for the edges with , are given asPositions with respect to , for the edges with , are given asPositions with respect to , for the edges with , are given asPositions with respect to , for the edges with , are given asPositions with respect to , for the edges with , are given as:Positions with respect to , for the edges with , are given asPositions with respect to , for the edges with , are given asPositions of the joint edges with respect to are given asOn the behalf of given fact for the fulfillment of definition of fault-tolerant edge resolving set, we can say that with cardinality four is possible, but when it comes to optimized value of , we still need to investigate about the minimum value of . Following are some possible cases to check that whether is possible or not. However, we find the fault-tolerant edge resolving set with the help of algorithm satisfying that , but for the proving purpose we build some general cases and try to conclude that only is possible.Case 1: assume that , with a condition according to our requirement of theorem that , and removal of any vertex from to fulfill the definition. The result is implied in the same edge’s position and contradicts our assumption with the fact that , where and .Case 2: assume that , with a condition according to our requirement of theorem that , and removal of any vertex from to fulfill the definition. The result is implied in the same edge’s position and contradicts our assumption with the fact that , where and .Case 3: assume that , with a condition according to our requirement of theorem that , and removal of any vertex from to fulfill the definition. The result is implied in the same edge’s position and contradicts our assumption with the fact that , where and .Case 4: assume that , with a condition according to our requirement of theorem that , and removal of any vertex from to fulfill the definition. The result is implied in the same edge’s position and contradicts our assumption with the fact that , where and .Case 5: assume that , with a condition according to our requirement of theorem that , and removal of any vertex from to fulfill the definition. The result is implied in the same edge’s position and contradicts our assumption with the fact that , where and .Case 6: assume that , with a condition according to our requirement of theorem that , and removal of any vertex from to fulfill the definition. The result is implied in the same edge’s position and contradicts our assumption with the fact that , where .Case 7: assume that , with a condition according to our requirement of theorem that , and removal of any vertex from to fulfill the definition. The result is implied in the same edge’s position and contradicts our assumption with the fact that , where and .Case 8: assume that , with a condition according to our requirement of theorem that , and removal of any vertex from to fulfill the definition. The result is implied in the same edge’s position and contradicts our assumption with the fact that , where and .Case 9: assume that , with a condition according to our requirement of theorem that , and removal of any vertex from to fulfill the definition. The result is implied in the same edge’s position and contradicts our assumption with the fact that , where and .Case 10: assume that , with a condition according to our requirement of theorem that , and removal of any vertex from to fulfill the definition. The result is implied in the same edge’s position and contradicts our assumption with the fact that , where and .Case 11: assume that , with a condition according to our requirement of theorem that , and removal of any vertex from to fulfill the definition. The result is implied in the same edge’s position and contradicts our assumption with the fact that , where and .Case 12: assume that , with a condition according to our requirement of theorem that , and removal of any vertex from to fulfill the definition. The result is implied in the same edge’s position and contradicts our assumption with the fact that , where and .Case 13: assume that , with a condition according to our requirement of theorem that , and removal of any vertex from to fulfill the definition. The result is implied in the same edge’s position and contradicts our assumption with the fact that , where and .Case 14: assume that , with a condition according to our requirement of theorem that , and removal of any vertex from to fulfill the definition. The result is implied in the same edge’s position and contradicts our assumption with the fact that , where and .Case 15: assume that , with a condition according to our requirement of theorem that , and removal of any vertex from to fulfill the definition. The result is implied in the same edge’s position and contradicts our assumption with the fact that , where and .Case 16: assume that , with a condition according to our requirement of theorem that , and removal of any vertex from to fulfill the definition. The result is implied in the same edge’s position and contradicts our assumption with the fact that , where and .Case 17: assume that , with a condition according to our requirement of theorem that , and removal of any vertex from to fulfill the definition. The result is implied in the same edge’s position and contradicts our assumption with the fact that , where and .Case 18: assume that , with a condition according to our requirement of theorem that , and removal of any vertex from to fulfill the definition. The result is implied in the same edge’s position and contradicts our assumption with the fact that , where .Case 19: assume that , with a condition according to our requirement of theorem that , and removal of any vertex from to fulfill the definition. The result is implied in the same edge’s position and contradicts our assumption with the fact that , where , .Case 20: assume that , with a condition according to our requirement of theorem that , and removal of any vertex from to fulfill the definition. The result is implied in the same edge’s position and contradicts our assumption with the fact that , where , .Case 21: assume that , with a condition according to our requirement of theorem that , and removal of any vertex from to fulfill the definition. The result is implied in the same edge’s position and contradicts our assumption with the fact that , where .The given positions of all -bonds of graph of benzenoid tripod with , with respect to , having , are unique and no two bonds have the same position . It can also be accessed that eliminating any of arbitrary nodes from will not affect the definition of edge resolving set. We also checked that the fault-tolerant edge resolving set with resulted in two edges having the same position . So we can conclude that we resolve the bonds of with four nodes. It is implied that the minimum members in the fault-tolerant edge resolving set of are four.

Remark 2. If is a graph of benzenoid tripod with , then

Proof. From the definition of fault-tolerant edge metric dimension (same as in parent concept), the concept is solemnly based on the selected subset () chosen in such a way that the entire edge set has unique position with respect to the selected nodes or subset. Addition or removal of any arbitrary single member of does not affect the resolvability of edges or position of the entire edge set of graph remains unique. In Lemma 2, we already discussed the possibility of selected subset (fault-tolerant edge resolving set) and, according to the definition, its minimum possible cardinality. In that lemma, we choose as a fault-tolerant edge resolving set for the graph of benzenoid tripod or for all the possible combinatorial values of . We also proved in such lemma that is the least possible cardinality of fault-tolerant edge resolving set for the benzenoid tripod . It is enough for the proof of what we claim in the statement that fault-tolerant edge metric dimension of benzenoid tripod is four, which completes the proof.

3. Conclusion

Mathematical chemistry, particularly graphical chemistry, has made it simpler to examine complicated networks and chemical structures in their simplest forms. Similarly, resolvability is a parameter in which the complete node or edge set, and occasionally both, reconfigure themselves into unique outfits in order to call or access them. Edge metric dimension is also a parameter with this property to gain each edge into a unique form. In this work, we consider benzenoid tripod structure to achieve its resolvability and found its minimum edge-resolving set. We concluded that edge metric and fault-tolerant edge metric resolving set are with constant and exact number of members for this structure.

Data Availability

There are no data associated with this manuscript.

Conflicts of Interest

The authors declare that they have no conflicts of interest.