On Trees with Greatest F−Invariant Using Edge Swapping Operations

The F-index of a graph Q is defined as F(Q)=∑t∈V(Q)(dt)3. In this paper, we use edge swapping transformations to find the extremal value of the F-index among the class of trees with given order, pendent vertices, and diameter. We determine the trees with given order, pendent vertices, and diameter having the greatest F-index value. Also, the first five maximum values of F index among the class of trees with given diameter are determined.


Introduction
Mathematical chemistry is providing effective and timesaving methods for evaluating the properties of chemical compounds without having to go through tedious laboratory experimentations. Topological indices are function maps that identify key computational and topological aspects of a structure and evaluate chemical compound properties without using quantum mechanics as final production [1]. e total π-electron energy (E) [2] of a molecule was found to be related to its thermodynamic stability that depends on the structure of a molecule that is its topology. Relationship between (E) and topology of a molecule was determined by its graphical structure [3]. Comparison was made between the original vertex degree-based indices and lately defined edge degree-dependent indices (termed as reformulated Zagreb indices), while relating the two versions of indices, the relation existing between the graph and its line graph was utilized. Yang et.al. [4] brought into consideration to researchers the relation between the subtree number index and the Weiner index in the class of spiro chains and polyphenyl hexagonal chains.
In this paper, we consider only simple finite and connected graphs. In a graph Q, we denote its vertex set and edge set by V(Q) and E(Q), respectively. Let d Q (p) denotes the degree of a vertex p. e distance between two vertices p, t ∈ V(Q) is denoted by d(p, t) and is defined as the length of the shortest path joining them. For more undefined terminologies related to graph theory, we refer [5]. e first topological index were proposed by Weiner [6] (namely, the Weiner index), while he was working on the boiling point of paraffin. e Weiner index is denoted by W(Q) and is defined as (1) Zagreb indices were introduced by Gutman et al. [2] that depend on degrees of nodes and are defined as (2) ese terms were recognized to be a measure of the extent of branching of the carbon atom skeleton of the underlying molecule. Later, its additive version was brought into kind attention to researchers in [7], which as expected, revealed more hidden chemical properties of chemical compounds. is index is named as the general sum connectivity index, given as Furtula et.al. [8] in 2015 introduced the F-index, also referred as the forgotten topological index, which is defined as is index is also a measure of branching and has same measure of predictability as that of the first Zagreb index. In case of the acentric factor and entropy, both M 1 (Q) and F(Q) have a correlation coefficient greater than 0.95 [8].
Ali et al. [9] put forward the survey of work done on the Randic index for certain values of α. Azari et al. [10] considered the forgotten topological index in detail and determined the bounds of this index in terms of other graphical parameters. ey analyzed the relationship of this index with already exiting versions of Zagreb indices. Z. Che et al. [11] determined new bounds for the forgotten index in terms of graph irregularity, Zagreb indices, and many other existing graph invariants. Further they characterized the graphs attaining these bounds and proved that these newly attained bounds are sharper than the existing ones. Another version of the forgotten index namely the forgotten co-index was brought into attention by Ghalavand et al. [12]. e authors found bounds for this index and provided an ordering of graphs with respect to this index. Gutman et al. [13] provided a finite ascending sequence of the forgotten index for trees and moreover for graphs having some particular values of the cyclomatic number c. Gutman et al. [14] proved two weighted inequalities of real nonnegative sequences and then used them to determine lower bounds of certain degree dependent indices. e main motivation behind this work is the idea practiced in [15], in which authors introduced some edge swapping operations on graph structures and analyzed the behavior of generalized sum connectivity descriptor. e authors found the decreasing behavior of the descriptor and provided the least five values of this descriptor for trees. Further they also provided the trees that attain these least values. In this work, making use of certain graph transformations that involve the swapping of edges from one node to another and contraction of edges, we have observed the behavior of the F-index. is enabled us to determine the decreasing sequence of values of F-invariant and the corresponding trees attaining these values. Novelty of work lies behind the fact that solving a research problem that is not solved already is always a good addition to the existing literature. us, this problem of determining members in a certain family of graph with first, second up to fifth extremal values has become good source of attraction to researchers.

F-Invariant under Certain Transformations
In this section, we first observe the increasing or decreasing behavior of F-invariant under certain graph operations involving swapping of edges from one node to another. Our next results show that this descriptor exhibit increasing behavior.
Consider that 2 Computational Intelligence and Neuroscience e α 1 − transform decreases the degree of y 1 by t and increases the degree of x 1 by t, while the degrees of the nodes x 1,1 , x 1,2 , . . . , x 1,p and y 1,1 , y 1,2 , . . . , y 1,t remain unchanged.
For any p > 1 and t ≥ 1.  Computational Intelligence and Neuroscience Lemma 3. Let α 3 (Q) � Q ′ be a tree obtained from Q by applying α 3 -transform (see Figure 3), Proof. By definition of F(Q) we get Hence the proof is complete. □ Lemma 4. Let α 4 (Q) be a tree obtained from Q after applying α 4 -transform (see Figure 4). For any p, r ≥ 0, we have Proof.

Greatest Value of F − Index for Trees of Given
Diameter. e multistar graph denoted by MS(r 1 , r 2 , . . . , r d− 1 ), where r 1 , r d− 1 ≥ 1 and for 2 ≤ j ≤ d − 2, r j ≥ 0, is the caterpillar involving a path a 1 , a 2 , . . . , a d− 1 of length d − 2 having r j pendant vertices that are adjacent to a j for 1 ≤ j ≤ d − 1. e diameter of MS(r 1 , r 2 , . . . , r d− 1 ) is equal to d, and can be derived by connecting the centers of K 1,r 1 , K 1,r 2 , . . . , K 1,r d− 1 with edges. A bistar graph of order r denoted by BS(p, t), where p + t � r − 2, is formed by connecting the central vertices of K 1,p and K 1,t by an edge. A tree that has diameter 3 is also a bistar. For integers r, t with 2 ≤ t ≤ r − 1, S r,t is tree derived by connecting t − 1 pendant vertices to the end node of the path P r− t+1 , with diameter d(S r,t ) � r − t + 1.

Theorem 1. Let T be a tree on r ≥ 3 vertices and diameter
en the maximum value of F(T) is attained for T � S r,r− d+1 .
Proof. Applying α 1 -transform on the vertices that are not attached on the diametral path of T, we get that the maximum value of F(T) is attained in the class of multistars MS(r 1 , r 2 , . . . , r d− 1 ). Now applying the transformations presented in Lemma 2-Lemma 4, it follows that the maximum value of F(T) is attained if and only if r 1 � r − d, r 2 � r 3 � · · · � 0 and r d− 1 � 1. Hence T � S r,r− d+1 .

Corollary 1 (i) In the set of trees T on r vertices, we have max d(T)�i F(T) > max d(T)�j F(T).
(14) (ii) for 2 ≤ i < j ≤ r − 1. □ Theorem 2. For tree of order r ≥ 8, the maximum value of F-index is attained in the following order (see Figure 5).
Proof. Let T be tree of order r ≥ 8. By Corollary 1, the maximum value of F(T) is achieved in the set of trees of diameter 2. It follows that the trees with the maximum value of F(T) is star K 1,r− 1 . e second maximum is attained for S r,r− 2 � BS(r − 3, 1) in the set of trees of diameter 3. e next maximum is reached by BS(r − 4, 2) and BS(r − 5, 3) in trees of diameter 3. Since BS(r − 3, 1) can be obtained from BS(r − 4, 2) by a α 4 transformation, we get F(K 1,r− 1 ) > F(BS(r − 3, 1)) > F (BS(r − 4, 2)). In the set of trees of diameter 4, the maximum value is attained by S r,r− 3 .

Computational Intelligence and Neuroscience
To get the fourth maximum value we compare F(BS(r − 5, 3)) with F(S r,r− 3 ). We have is shows that the second maximum value of F-index is achieved by MS(r − 5, 0, 2) after S r,r− 3 in the set of trees of diameter 4. Using a α 1 -transform, it is easy to see that MS(r − 5, 0, 0, 1) reaches the maximum value in the set of trees of diameter 5 and F(MS(r − 5, 0, 0, 1)) < F(MS(r − 5, 0, 2)), which completes the proof.  (20) Theorem 3. In the set of trees T of order r ≥ 5 with t pendant vertices, where 3 ≤ t ≤ r − 2, we have e above equality holds if and only if T � S r,t .
Proof. First we prove that if x is a pendant vertex adjacent to y, then With equality holds if and only if T � S r,t and d(y) � t. Since 3 ≤ t ≤ r − 2, it follows that there exists a vertex z 0 ∈ N(y)/ x { }, such that d z 0 ≥ 2. Otherwise T is a star having central vertex y. We obtain Since, d(z 0 ) ≥ 2 and for the remaining d(y) − 2 nodes z ∈ N(y)/ x, z 0 , where d(z) ≥ 1, we have We also get d(y) ≤ t because T − y includes of d(y) trees. Now 2 ≤ d(y) ≤ t gives with equality holds if d(y) � t, the adjacent vertex of y has degree 2 and the remaining vertices are of degree 1. Hence T � S r,t and x is adjacent to one of the vertex of S r,t of degree t. Now we use induction to prove the required result. If r � 5, then t � 3 and we have a bistar BS(2, 1) (see Figure 5), the only tree of order 5 having 3 pendant vertices. Let r ≥ 6 and suppose the result is true for all trees of order r − 1 and t pendant vertices, where 3 ≤ t ≤ r − 3. Let x be a pendant vertex adjacent to y, then we have two cases: (i) y has degree 2 and (ii) y is of degree at most 3.
(i) e only vertex z adjacent to y has degree d(z) ≥ 2. en (ii) In this case the graph T − x has t pendant vertices. Applying induction, for t ≤ r − 3, we get F(T − x) ≤ F(S r− 1,t ), with equality holds for T − x � S r− 1,t . It follows that (iii) with equality holds for T − x � S r− 1,t . erefore, we have T � S r,t . If t � r − 2, then T − x is a star with one vertex of degree 1. Hence, T � S r,r− 2 � S r,t . (iv) Let T − x is of order r − 1 with s t − 1 pendant vertices. If d(y) ≥ 3, then by using induction on T − x, we get with equality holds for T − x � S r− 1,t− 1 and d(y) � t. Hence T � S r,t .

Conclusion
In this paper, our main focus is to obtain the greatest value of F-index for trees of given order, diameter, and pendent vertices. Also, we determine the ordering of corresponding extremal trees for F-index. We make use of some graph transformations to determine the greatest value of F-index for trees of given order, diameter, and pendent vertices. ese transformations involves contraction and swapping of pendant edges from one vertex to other resulting in increase in the value of the forgotten index. Using these transformations continuously on a graph lead us to the desired extremal graph with respect to the forgotten index. On the way of obtaining extremal graphs, we also obtained some other members having the second, third, fourth, and fifth maximum value of the forgotten index.

Data Availability
No data were used to support this study.

Conflicts of Interest
e authors declare that they have no conflicts of interest.