© 2024 The authors. This article is published by IIETA and is licensed under the CC BY 4.0 license (http://creativecommons.org/licenses/by/4.0/).
OPEN ACCESS
Fuzzy labeling in graph theory is important because it enhances the modelling of uncertainties, gives relationships a granular representation, makes network models more robust, enables clustering and community detection, contributes to decision-making, enables machine learning and data mining, and has applications in different fields where complex structures need to be expressed with degrees of membership or uncertainty. In this paper, we proved that the twing and comb graphs admit fuzzy labeling by providing an algorithm. Also, we show that the twing and comb graphs reveal vertex and edge anti-magic labeling. Fuzzy end vertex, fuzzy bridge, degree, strong degree, and strong edge are mostly related to connectivity, so they may be applied to networking. Because of that, we have derived some properties related to the fuzzy end vertex, fuzzy bridge, degree, strong degree, and strong edge have been discussed.
Fuzzy Edge Anti-Magic labeling, Fuzzy Vertex Anti-Magic labeling, Fuzzy Edge Anti-Magic Comb, Fuzzy Vertex Anti-Magic comb, Fuzzy Edge Anti-Magic twing, Fuzzy Vertex Anti-Magic twing
In graph theory, labeling is a fundamental concept that studies connections and relationships between objects represented by vertices, or nodes, interconnected by edges, or links. In graph labeling, vertices, edges, or both are assigned numerical or symbolic labels to convey specific information or encode graph properties. Depending on the graph's context and application, these labels can represent distances, colors, weights, or any other relevant characteristics.
Fuzzy graph labeling can be used in many areas, such as decision-making, pattern recognition, image processing, and network analysis when inaccuracies and ambiguities need to be taken into account. Graph-based models are often characterized by uncertainty, which can be captured and quantified using fuzzy graph labeling.
Gallian [1] discussed various graph labeling in the dynamic survey of graph labeling. The fuzzy graph (FG) is more noticeable when there is ambiguity on vertices and edges, and the FG is more prominent. Rosenfield [2] had a salient advancement in the mathematical system for haziness in vertices and edges. Fuzzy Labeling graphs (FLG) have applications in coding theories, circuit designs, X-rays, astronomy, communication networks, etc. The notion of fuzzy labeling (FL), magic fuzzy labeling graph discussed by Gani and Subahashini [3], Nagoor Gani and Akram [4]. Ameenal Bibi and Devi [5], Bibi and Devi [6] studied vertex graceful fuzzy labeling and fuzzy anti-magic labeling of some graphs. Sujatha et al. [7, 8] proved some outcomes on graceful FL, magic FL, and Triangular anti-magic FL in an algorithmic approach for some unique graphs. Shanmugapriya and Hemalatha [9] have explored fuzzy edge magic total labeling for some family of graphs and discussed the application of finding the strength of relationship between two persons. Shanmugapriya and Hemalatha [10] have obtained fuzzy vertex magic total labeling of generalized Peterson graph and demonstrated application about electricity passing through transformers. Mahdi et al. [11] discussed about medical images using fuzzy convolutional neural networks. Saibavani and Parvathi [12] explained the power domination in different graphs with applications. Sujatha et al. [13] illustrated the anti-magic labeling on some triangular fuzzy graphs. Rashmanlou et al. [14] discussed the new operations on bipolar FGs. Akram and Waseem [15] explained the notion of metric in m-polar FG and disscussed properties.
A graph is a Fuzzy Edge Anti-Magic labeling graph if a Fuzzy Edge Anti-Magic (FEAM) labeling is defined on it. A graph is a Fuzzy Vertex Anti-Magic labeling if a Fuzzy Vertex Anti-Magic (FVAM) labeling is defined on it. In this paper, we established FEAM labeling and FVAM labeling for fuzzy comb and fuzzy twing graphs. This study may be used in the field of social networking, Road networking and etc. The above results can be expanded with fuzzy interval, triangular fuzzy number and trapezoidal fuzzy number.
“An FG G(μ, ρ) is a couple of functions μ:V→[0, 1] & ρ:V×V→[0, 1] where ∀u,v c \in V, then ρ(u, v)≤min{μ(u), μ(v)}.” [3]
“A graph G(μ, ρ) is known as FLG, if μ:V→[0, 1] & ρ:V×V→[0, 1] is one-one correspondence in which the grade of membership of edges and vertices are different and ρ(u,v)<min{μ(u),μ(v)}∀u,$v \in V$.” [3]
The vertex degree of u is defined by $d(u)=\sum_{u \neq v, v \in V} \rho(u, v)$.
Example 2.1
Figure 1. Fuzzy labeling graph
From Figure 1, the degree of the vertex is defined as: d(v1)=0.4+0.1=0.5, d(v2)=0.1+0.3+0.2=0.6, d(v3)=0.4+0.3 +0.5=1.2, d(v4)=0.5+0.2=0.7.
“The strength of P is defined as $\bigwedge_{d=1}^n \mu\left(v_{d-1}, v_d\right)$). i.e., the strength of a path is defined to be the weight of the weakest edge of the path.” [3]
“A strongest path joining any two nodes u, v is a path corresponding to maximum strength between u and v. The strength of the strongest path is denoted by μ∞(u, v).” [3]
An edge (u, v) of an FG is known as strong edge if ρ∞(u, v)=ρ(u, v).
“A strong neighborhood of $u \in V$ is $N_s(u)=$ {v $\in$ V: edge (u,v) is strong}.” [5]
“Strong degree of a vertex is defined as the total membership value of all strong edges incident at that vertex. It is named by ds(v). Ie, $d_s(v)=\sum_{u \in N_s(v)} \rho(v, u)$.” [5]
“An edge is called a fuzzy bridge of G if its removal reduces the strength of connectedness between some pair of vertices in G.” [3]
“If a vertex has almost one strong neighbour in G, it is said to as a fuzzy end vertex of G(μ, ρ).” [3]
Example 2.2
Figure 2. Fuzzy graph
In Figure 2, the possible paths between v3 and v4 are v3v4, v3v1v2v4 and the strength of the corresponding paths are 0.5 and 0.3.
ρ∞(v3, v4)=0.5
If we remove the edge v3v4 then the strength of the path will be reduced to ρ'∞(v3, v4)=0.3.
Therefore, the edge v3v4 is a fuzzy bridge, strong edge and v3, v4 strong neighbours.
An FG is called Fuzzy Edge Anti-Magic (FEAM) labeling if $\mu(u)+\rho(u, v)+\mu(v) \forall u, v \in V$ are all distinct and is denoted by Am0.
A Fuzzy Vertex Anti-Magic (FVAM) labeling in “a graph G is a 1-1 correspondence $f: E(G) \rightarrow\{(1,2,3 \ldots,|E(G)|)\}$ in which for any two different vertices v and w, the total of the labels on edges incident to 'v' distinct from the total of labels on edges incident to w." [8]
An FG which admits FEAM labeling is known as the FEAM graph. An FG which admits FVAM labeling is known as the FVAM graph.
A graph is obtained by joining every vertex of a path with one pendent edge is known as comb graph CPn.
A comb graph is called a fuzzy comb graph if FL exists. Fuzzy comb graph is called FEAM comb graph if FEAM labeling exists. And also, fuzzy comb graph is called FVAM comb graph if FVAM labeling exists.
In this section, the FEAM comb and the FVAM comb graph have been proved with the use of the proposed algorithm through the theorem.
Algorithm 3.1
FL of vertices and edges CPnwith n≥1, where n is a path length and z→(0, 1] Step 1: Input values for n and z. $n=$ int (input ("Enter the value for $n: "$ )) $z=$ float (input ("Enter the value for $z:$ ")) Step 2: Calculate the maximum number of vertices m=2n+2. Step 3: Initialize empty lists for vertex and edge labels vertex_labels = [] edge_labels = [] Step 4: Generate vertex labels using the given formula for d=1 to m { $\mu\left(v_d\right)={ }_{\}}^{\{}(2 n+d+1) z, 1 \leq d \leq 2 n+2$ } Step 5: Generate edge labels using the given formulas for d=1 to m if d=1 { $\begin{aligned} & \rho\left(v_d, v_{d+1}\right)=\max \left\{\mu\left(v_d\right), \mu\left(v_{d+1}\right)\right\} \\ & -\min \left\{\mu\left(v_d\right), \mu\left(v_{d+1}\right)\right\}\end{aligned}$ } if 2≤d≤n { $\begin{aligned} & \rho\left(v_d, v_{d+1}\right)=\max \left\{\mu\left(v_d\right), \mu\left(v_{d+1}\right)\right\}- \\ & \min \left\{\mu\left(v_d\right), \mu\left(v_{d+1}\right)\right\}+(d-1) z\end{aligned}$ } for d=1 to m if 1≤d≤n+1 { $\begin{aligned} & \rho\left(v_d, v_{n+1+d}\right)=\max \left\{\mu\left(v_d\right), \mu\left(v_{n+1+d}\right)\right\} \\ & -\min \left\{\mu\left(v_d\right), \mu\left(v_{n+1+d}\right)\right\}+(n+1-d) z\end{aligned}$ } Step 6: Output the vertices and edges labels Print (“vertex Labels:”) Print (“Edge Labels:”) |
Theorem 3.1
Let CPn:(μ, ρ) be the fuzzy labeled comb graph for all n≥1 then CPn admits FEAM labeling.
Proof:
Let z→(0, 1] such that:
$Z=\left\{\begin{array}{c}\frac{1}{10^2} ; 0<n \leq 24 \\ \frac{1}{10^{k+3}} ; 24<n \leq 24+\sum_{\substack{t=0 \\ 0 \leq i \leq k}} 225 \times 10^t, k=0 \\ \frac{1}{10^{k+4}} ; 24+\sum_{\substack{t=0 \\ 0 \leq i \leq k}} 225 \times 10^t<n \leq 24 \\ +\sum_{\substack{t=0 \\ 0 \leq i \leq k+1}}^i 225 \times 10^t, k=0,1,2 \cdots\end{array}\right.$
Using algorithm 3.1, we have the membership value of vertices and edges defined as follows:
$\begin{gathered}\mu: V \rightarrow[0,1] \ni \mu\left(v_d\right)=(2 n+d+1) \ z \ \forall \ v_d \in V, \\ 1 \leq d \leq 2 n+2\end{gathered}$
ρ:V×V→[0, 1] such that
$\begin{gathered}\rho\left(v_d, v_{d+1}\right)=\max \left\{\mu\left(v_d\right), \mu\left(v_{d+1}\right)\right\}-\min \left\{\mu\left(v_d\right), \mu\left(v_{d+1}\right)\right\}, d=1 \\ \rho\left(v_d, v_{d+1}\right)=\max \left\{\mu\left(v_d\right), \mu\left(v_{d+1}\right)\right\} -\min \left\{\mu\left(v_d\right), \mu\left(v_{d+1}\right)\right\}+(d-1) z, 2 \leq d \leq n \\ \rho\left(v_d, v_{n+d+1}\right)=\max \left\{\mu\left(v_d\right), \mu\left(v_{n+d+1}\right)\right\}-\min \left\{\mu\left(v_d\right), \mu\left(v_{n+1+d}\right)\right\}+(n+1-d) z, 1 \leq d \leq n+1\end{gathered}$
To prove the FEAM labeling of the comb graph We show that all the anti-magic constants of the comb graph are different in the following three cases:
Case 1: When d=1 and ∀n
Now, $\begin{aligned} & \quad \operatorname{Am}_0\left(C P_n\right)=\mu\left(v_d\right)+\rho\left(v_d, v_{d+1}\right)+\mu\left(v_{d+1}\right)=(2 n+d+1) z+\max \left\{\mu\left(v_d\right), \mu\left(v_{d+1}\right)\right\}-\min \left\{\mu\left(v_d\right), \mu\left(v_{d+1}\right)\right\}+(d+2 n+2) z=(4 n+2 d+4) z\end{aligned}$
Case 2: When 2≤d≤n & ∀n
Now, $\begin{aligned} & \quad \operatorname{Am}_0\left(C P_n\right)=\mu\left(v_d\right)+\rho\left(v_d, v_{d+1}\right)+\mu\left(v_{d+1}\right)=(2 n+d+1) z+(d-1) z+\max \left\{\mu\left(v_d\right), \mu\left(v_{d+1}\right)\right\}- \min \left\{\mu\left(v_d\right), \mu\left(v_{d+1}\right)\right\}+(d+2 n+2) z=(4 n+3 d+3) z\end{aligned}$
Case 3: When 2≤d≤n & ∀n≥2
Now, $\begin{gathered}A m_0\left(C P_n\right)=\mu\left(v_d\right)+\rho\left(v_d, v_{n+1+d}\right)+\mu\left(v_{n+1+d}\right),= (2 n+d+1) z+\max \left\{\mu\left(v_d\right), \mu\left(v_{n+d+1}\right)\right\}- \min \left\{\mu\left(v_d\right), \mu\left(v_{n+d+1}\right)\right\}+(n+1-d) z=(7 n+d+5) z\end{gathered}$
Hence, in Case 1, Case 2, and Case 3, we have proved that all the anti-magic constants of the comb graph are different.
Thus, fuzzy labeled comb graph admits FEAM labeling.
Example 3.1 Figure 3 illustrates the FEAM comb graph of path length 24.
Figure 3. CP24- FEAM comb graph
Algorithm 3.2
FL of vertices and edge of CPn with n≥1, where n is a path length and z→(0,1] Step 1: Input values for n and z. $n=$ int (input ("Enter the value for $n:$ ")) Step 2: Calculate the maximum number of vertices m=2n+2. Step 3: Initialize empty lists for vertex and edge labels vertex_labels = [] edge_labels = [] Step 4: Generate vertex labels using the given formula for d=1 to m { $\mu\left(v_d\right)=(2 n+d+1) z, 1 \leq d \leq 2 n+2$ } Step 5: Generate edge labels using the given formulas for d=1 to m if d=1 { $\begin{aligned} & \rho\left(v_d, v_{d+1}\right)=\max \left\{\mu\left(v_d\right), \mu\left(v_{d+1}\right)\right\} \\ &-\min \left\{\mu\left(v_d\right), \mu\left(v_{d+1}\right)\right\}\end{aligned}$ } if d=1 { $\rho\left(v_d, v_{2 n+2}\right)=\min \left\{\mu\left(v_d\right), \mu\left(v_{2 n+2}\right)\right\}+n z$ } for d=1 to m if 0≤d≤n-2 { $\begin{aligned} & \rho\left(v_{n+3+d}, v_{n+4+d}\right)= \\ & \max \left\{\mu\left(v_{n+3+d}\right), \mu\left(v_{n+4+d}\right)\right\}- \\ & \min \left\{\mu\left(v_{n+3+d}\right), \mu\left(v_{n+4+d}\right)\right\}+(2 n-d) z\end{aligned}$ for d=1 to m if 0≤d≤n-1 { $\begin{aligned} & \rho\left(v_{3+d}, v_{2 n+2-d}\right) \\ & =\min \left\{\mu\left(v_{3+d}\right), \mu\left(v_{2 n+2-d}\right)\right\}+(2 n+2) z\end{aligned}$ } Step 6: Output the vertices and edges labels Print (“vertex Labels:”) Print (“Edge Labels:”) |
Theorem 3.2
Let CPn:(μ, ρ) be the fuzzy labeled comb graph for all n≥1 then CPn admits FVAM labeling.
Proof:
Given CPn:(μ, ρ) be the fuzzy labeled comb graph.
To prove that fuzzy labeled comb graph CPn:(μ, ρ) satisfies the condition of FVAM labeling.
That is to prove that for any two vertices u and v in CPn, the total of the grade membership on the edges incident at the vertex u is distinct from the total of the grade membership on the edges incident at the vertex v.
Let z→(0, 1] such that
$z=\left\{\begin{array}{c}\frac{1}{10^2} ; 0<n \leq 24 \\ \frac{1}{10^{k+3}} ; 24<n \leq 24+\sum_{\substack{t=0 \\ 0 \leq i \leq k}}^i 225 \times 10^t \text { where } k=0 \\ \frac{1}{10^{k+4}} ; 24+\sum_{\substack{t=0 \\ 0 \leq i \leq k}}^i 225 \times 10^t<n \leq 24 \\ +\sum_{\substack{t=0 \\ 0 \leq i \leq k+1}}^i 225 \times 10^t \text { where } k=0,1,2 \cdots\end{array}\right.$
Using algorithm 3.2, we have membership value of vertices and edges defined as follows:
$\begin{gathered}\mu: V \rightarrow[0,1] \ni \mu\left(v_d\right)=(2 n+d+1) z, 1 \leq d \leq 2 n+2\end{gathered}$ (1)
$\begin{gathered}\rho\left(v_d, v_{d+1}\right)=\max \left\{\mu\left(v_d\right), \mu\left(v_{d+1}\right)\right\} -\min \left\{\mu\left(v_d\right), \mu\left(v_{d+1}\right)\right\}\end{gathered}$ (2)
$\rho\left(v_d, v_{2 n+2}\right)=\min \left\{\mu\left(v_d\right), \mu\left(v_{2 n+2}\right)\right\}+n z, d=1$ (3)
$\begin{aligned} & \rho\left(v_{n+3+d}, v_{n+4+d}\right)=\max \left\{\mu\left(v_{n+3+d}\right), \mu\left(v_{n+4+d}\right)\right\}-\min \left\{\mu\left(v_{n+3+d}\right), \mu\left(v_{n+4+d}\right)\right\}+(2 n-d) z, 0 \leq d \leq n-2\end{aligned}$ (4)
$\begin{gathered}\rho\left(v_{3+d}, v_{2 n+2-d}\right)=\min \left\{\mu\left(v_{3+d}\right), \mu\left(v_{2 n+2-d}\right)\right\} +(2 n+2) z, 0 \leq d \leq n-1\end{gathered}$ (5)
Also, sum of the edge labels incident at:
$v_d=W t\left(v_d\right)=\sum_{u \in N\left(v_d\right)} \rho\left(u, v_d\right)$ (6)
when, $N\left(v_d\right)$ be the neighbourhood vertices of $v_d$ for all d=1 to 2n+2 and Wt($v_d$) be the weight of $v_d$.
From equation number Eq. (1), Eq. (2), Eq. (3), Eq. (4), Eq. (5) and Eq. (6) for any two vertices vp and vq with p≠q, Wt(vp) and Wt(vq) have distinct values.
Therefore, FVAM labeling is allowed for comb graph CPn∀n≥1.
Example 3.2 Figure 4 illustrates the FVAM comb graph of path length 25.
Figure 4. CP25 – FVAM comb graph
The twing graph is a graph that is formed by joining a couple of terminal edges to every internal vertex of the path. It is named T(n).
A twing graph is called fuzzy twing graph if FL exists. Fuzzy twing graph is called FEAM twing graph if FEAM labeling exists. And also, a fuzzy twing graph is called FVAM twing graph if FVAM labeling is exists.
In this section, the FEAM twing graph and the FVAM twing graph have been proved with the use of the proposed algorithm through the theorem.
Algorithm 4.1
FL of vertices and edges of T(n) with n≥1, where n is the number of internal vertices in the path and z→(0,1] Step 1: Input values for n and z. $n=$ int (input ("Enter the value for $n:$ ")) Step 2: Calculate the maximum number of vertices m=3n+2. Step 3: Initialize empty lists for vertex and edge labels vertex_labels $=[]$ Step 4: Generate vertex labels using the given formula for d=1 to m { $\mu\left(v_d\right)=(3 n+d+1) z, 1 \leq d \leq 3 n+2$ } Step 5: Generate edge labels using the given formulas for d=1 to m if d=1 { $\begin{aligned} & \rho\left(v_d, v_{n+2 d}\right)=\max \left\{\mu\left(v_d\right), \mu\left(v_{n+2 d}\right)\right\}- \\ & \quad \min \left\{\mu\left(v_d\right), \mu\left(v_{n+2 d}\right)\right\}-n z\end{aligned}$ } if 2≤d≤n+1 { $\begin{aligned} & \rho\left(v_d, v_{d+1}\right)=\max \left\{\mu\left(v_d\right), \mu\left(v_{d+1}\right)\right\} \\ & -\min \left\{\mu\left(v_d\right), \mu\left(v_{d+1}\right)\right\}+(d-n-1) z\end{aligned}$ } if n+2≤d≤2n+1 { $\begin{aligned} & \rho\left(v_d, v_{d+1}\right)=\max \left\{\mu\left(v_d\right), \mu\left(v_{d+1}\right)\right\} \\ & -\min \left\{\mu\left(v_d\right), \mu\left(v_{d+1}\right)\right\}+(d-n-1) z\end{aligned}$ } for d=1 to m if n+2≤d≤2n+1 { $\begin{aligned} & \rho\left(v_d, v_{d+1}\right)=\max \left\{\mu\left(v_d\right), \mu\left(v_{d+1}\right)\right\} \\ & -\min \left\{\mu\left(v_d\right), \mu\left(v_{d+1}\right)\right\}+(d-n-1) z\end{aligned}$ } Step 6: Output the vertices and edges labels Print (“vertex Labels:”) Print (“Edge Labels:”) |
Theorem 4.1
Let T(n):(μ, ρ) be the fuzzy labelled twing graph then T(n) admits FEAM labeling.
Proof:
Let z→(0, 1] such that:
$Z=\left\{\begin{array}{c}\frac{1}{10^2} ; 0<n \leq 16 \\ \frac{1}{10^{k+2}} ; 16<n \leq 16+\sum_{1 \leq i \leq k}^i 15 \times 10^t \text { where } k=1 \\ \frac{1}{10^{k+3}} ; 16+\sum_{\substack{t=1 \\ 1 \leq i \leq k}} 15 \times 10^t<n \leq 16 \\ +\sum_{\substack{t=1 \\ 1 \leq i \leq k+1}}^i 15 \times 10^t \text { where } k=1,2,3 \cdots\end{array}\right.$
The membership values of the vertices and edges are defined as follows using algorithm 4.1.
$\begin{gathered}\mu: V \rightarrow[0,1] \ni \mu\left(v_d\right)=(3 n+d+1) z \forall v_d \in V, 1 \leq d \leq 3 n+2\end{gathered}$
ρ:V×V→[0, 1] such that:
$\begin{aligned} & \rho\left(v_d, v_{n+2 d}\right)=\max \left\{\mu\left(v_d\right), \mu\left(v_{n+2 d}\right)\right\} -\min \left\{\mu\left(v_d\right), \mu\left(v_{n+2 d}\right)\right\}-n z, d=1\end{aligned}$
$\begin{gathered}\rho\left(v_d, v_{n+d}\right)=\max \left\{\mu\left(v_d\right), \mu\left(v_{n+d}\right)\right\} -\min \left\{\mu\left(v_d\right), \mu\left(v_{n+d}\right)\right\}+d z, 2 \leq d \leq n+1\end{gathered}$
$\begin{gathered}\rho\left(v_d, v_{d+1}\right)=\max \left\{\mu\left(v_d\right), \mu\left(v_{d+1}\right)\right\} -\min \left\{\mu\left(v_d\right), \mu\left(v_{d+1}\right)\right\}+(d-n-1) z, n+2 \leq d \leq 2 n+1\end{gathered}$
$\begin{aligned} & \rho\left(v_d, v_{n+1+d}\right)=\max \left\{\mu\left(v_d\right), \mu\left(v_{n+1+d}\right)\right\} -\min \left\{\mu\left(v_d\right), \mu\left(v_{n+1+d}\right)\right\}+(d-1) z, n+2 \leq d \leq 2 n+1\end{aligned}$
To prove the FEAM labeling of the twing graph We show that all the anti-magic constants of the twing graph are different in the following four cases:
Case 1: When d =1
Now, $\begin{aligned} A_0\left[(T(n)]=\mu\left(v_d\right)+\rho\left(v_d, v_{n+2 d}\right)+\mu\left(v_{n+2 d}\right)=\right. (3 n+d+1) z+\max \left\{\mu\left(v_d\right), \mu\left(v_{n+2 d}\right)\right\}- \min \left\{\mu\left(v_d\right), \mu\left(v_{n+2 d}\right)\right\}-n z+(3 n+n+2 d+1) z= (7 n+3 d+3) z\end{aligned}$
Case 2: When 2≤d≤n+1
Now, $A m_0\left[(T(n)]=\mu\left(v_d\right)+\rho\left(v_d, v_{n+d}\right)+\mu\left(v_{n+d}\right)=(3 n+\right.$ $d+1) z+\max \left\{\mu\left(v_d\right), \mu\left(v_{n+d}\right)\right\}-\min \left\{\mu\left(v_d\right), \mu\left(v_{n+d}\right)\right\}+$ $d z+(3 n+n+d+1) z=(8 n+3 d+2) z$
Case 3: When n+2≤d≤2n+1
Take $\begin{aligned} \operatorname{Am}_0\left[(T(n)]=\mu\left(v_d\right)+\rho\left(v_d, v_{d+1}\right)+\mu\left(v_{d+1}\right)=(3 n+\right. d+1) z+\max \left\{\mu\left(v_d\right), \mu\left(v_{d+1}\right)\right\}-\min \left\{\mu\left(v_d\right), \mu\left(v_{d+1}\right)\right\}+ (d-n-1) z+(3 n+d+1+1) z=(5 n+3 d+3) z\end{aligned}$
Case 4: When n+2≤d≤2n+1
Take $\begin{aligned} A m_0[(T(n)]=\mu & \left(v_d\right)+\rho\left(v_d, v_{n+1+d}\right)+\mu\left(v_{n+1+d}\right) =(3 n+d+1) z +\max \left\{\mu\left(v_d\right), \mu\left(v_{n+1+d}\right)\right\} -\min \left\{\mu\left(v_d\right), \mu\left(v_{n+1+d}\right)\right\}+(d-1) z +(3 n+n+1+d+1) z =(8 n+3 d+3) z\end{aligned}$
Hence, in Case 1, Case 2, Case 3, and Case 4, we have proved that all the anti-magic constants of the twing graphs are different.
Thus, fuzzy labeled twing graph T(n) admits FEAM labeling.
Theorem 4.2
Let T(n):(μ, ρ) be the fuzzy labeled twing graph then T(n) admits FVAM labeling.
Proof:
Given T(n):(μ, ρ) be the fuzzy labeled twing graph.
To prove that fuzzy labeled twing graph T(n):(μ, ρ) satisfies the condition of FVAM labeling.
That is to prove that for any two vertices u and v in T(n), the total of the grade membership on the edges incident at the vertex u is distinct from the total of the grade membership on the edges incident at the vertex v.
The membership values of the vertices and edges are defined as follows using algorithm 4.1.
Let z→(0, 1] such that:
$Z=\left\{\begin{array}{c}\frac{1}{10^2} ; 0<n \leq 16 \\ \frac{1}{10^{k+2}} ; 16<n \leq 16+\sum_{1 \leq i \leq k}^i{ }_{1=1} 15 \times 10^t \text { where } k=1 \\ \frac{1}{10^{k+3}} ; 16+\sum_{1 \leq i \leq k}^i 15 \times 10^t<n \leq 16 \\ +\sum_{\substack{t=1 \\ 1 \leq i \leq k+1}}^i 15 \times 10^t \text { where } k=1,2,3, \cdots\end{array}\right.$
$\begin{gathered}\mu: V \rightarrow[0,1] \ni \mu\left(v_d\right)=(3 n+d+1) z \forall v_d \in V, \\ 1 \leq d \leq 3 n+2\end{gathered}$ (7)
ρ:V×V→[0, 1] such that:
$\begin{aligned} & \rho\left(v_d, v_{n+2 d}\right)=\max \left\{\mu\left(v_d\right), \mu\left(v_{n+2 d}\right)\right\} \\ & -\min \left\{\mu\left(v_d\right), \mu\left(v_{n+2 d}\right)\right\}-n z, d=1\end{aligned}$ (8)
$\begin{gathered}\rho\left(v_d, v_{n+d}\right)=\max \left\{\mu\left(v_d\right), \mu\left(v_{n+d}\right)\right\} \\ -\min \left\{\mu\left(v_d\right), \mu\left(v_{n+d}\right)\right\}+d z, \\ 2 \leq d \leq n+1\end{gathered}$ (9)
$\begin{gathered}\rho\left(v_d, v_{d+1}\right)=\max \left\{\mu\left(v_d\right), \mu\left(v_{d+1}\right)\right\} \\ -\min \left\{\mu\left(v_d\right), \mu\left(v_{d+1}\right)\right\}+(d-n-1) z, \\ n+2 \leq d \leq 2 n+1\end{gathered}$ (10)
$\begin{gathered}\rho\left(v_d, v_{n+1+d}\right)=\max \left\{\mu\left(v_d\right), \mu\left(v_{n+1+d}\right)\right\} \\ -\min \left\{\mu\left(v_d\right), \mu\left(v_{n+1+d}\right)\right\}+(d-1) z, \\ n+2 \leq d \leq 2 n+1\end{gathered}$ (11)
Also, sum of the edge labels incident at:
$v_d=W t\left(v_d\right)=\sum_{u \in N\left(v_d\right)} \rho\left(u, v_d\right)$ (12)
when, $N\left(v_d\right)$ be the neighbourhood vertices of $v_d$ for all $d=1$ to m and Wt($v_d$) be the weight of $v_d$ .
From equation number Eq. (7), Eq. (8), Eq. (9), Eq. (10), Eq. (11) and Eq. (12) for any two vertices vp and vq with p≠q, Wt(vp) and Wt(vq) have distinct values.
Hence twing graph T(n) for all n≥1 admits FVAM labeling.
Example 4.1 Figure 5 illustrates the FEAM and FVAM twing graph of T(17).
Figure 5. T(17) - FEAM and FVAM twing graph
·Every FEAM comb graph must have precisely one couple of vertices whose degrees and strong degrees are same.
·In FEAM and FVAM comb graph all the edges are fuzzy bridges and strong edges.
·For any FEAM and FVAM comb graph, $d_s(v)=d(\mathrm{v}) \forall v \in V$.
·For any FVAM comb graph, $d(u) \neq d(v) \& d_s(u) \neq d_s(v)$ for any pair of vertices $u, v \in V$
·Every FEAM and FVAM comb graph has $\frac{2 n+2}{2}$ fuzzy end nodes for all n.
·In FEAM and FVAM twing graph all the edges are fuzzy bridges and strong edges.
·For any FEAM and FVAM twing graph $n \geq 1, d_s(v)=d(v) \forall v \in V$
·For any FEAM and FVAM twing graph $n \geq 1, d(u) \neq d(v)$ for any pair of vertices $u, v \in V$.
·For any FEAM and FVAM twing graph $n \geq 1, d_s(u) \neq d_s(v)$ for any pair of vertices $u, v \in V$.
·Every FEAM and FVAM twing graph has 2n+2 fuzzy end nodes for all n.
Fuzzy graph labeling has more applications in different areas, particularly social networking, control of traffic signals, road networking, and finding the strength of relationships between the persons. In this paper, we have obtained fuzzy labeling for twing and comb graphs by providing an algorithm. We have proved the FEAM and FVAM labeling using the proposed algorithm for twing and comb graphs and discussed some properties corresponding to degree of vertex, strong degree, strong edge, fuzzy bridge, and fuzzy end nodes in the FEAM and FVAM twing and comb graphs. It may be applied to find the strength of the relationship between the persons. The FEAM and FVAM labeling of the diamond graph and the lilly graph is still open.
[1] Gallian, J.A. (2018). A dynamic survey of graph labeling. Electronic Journal of combinatorics, 1(DynamicSurveys): DS6. https://doi.org/10.37236/27
[2] Rosenfeld, A. (1975). Fuzzy graphs. In Fuzzy sets and their applications to cognitive and decision processes, pp. 77-95. https://doi.org/10.1016/B978-0-12-775260-0.50008-6
[3] Gani, A.N., Subahashini, D.R. (2012). Properties of fuzzy labeling graph. Applied Mathematical Sciences, 6(70): 3461-3466.
[4] Nagoor Gani, A., Akram, M. (2014). Novel properties of fuzzy labeling graphs. Journal of Mathematics, 2014: 375135. https://doi.org/10.1155/2014/375135
[5] Ameenal Bibi, K., Devi, M. (2018). Fuzzy anti-magic labeling on some graphs. Kongunadu Research Journal, 5(1): 8-14. https://doi.org/10.26524/krj244
[6] Bibi, K.A., Devi, M. (2017). A note on fuzzy vertex graceful labeling on some special graphs. International Journal of Advanced Research in Computer Science, 8(6): 175-180. https://doi.org/10.26483/ijarcs.v8i6.4327
[7] Sujatha, N., Dharuman, C., Thirusangu, K. (2019). Graceful and magic labeling in special fuzzy graphs. International Journal of Recent Technology and Engineering (IJRTE), 8(3): 5320-5328. https://doi.org/10.35940/ijrte.C6877.098319
[8] Sujatha, N., Dharuman, C., Thirusangu, K. (2019). Triangular fuzzy antimagic labeling on some special graphs. International Journal of Advanced Science and Technology, 28(16): 1220-1227.
[9] Shanmugapriya, R., Hemalatha, P.K. (2021). A note on fuzzy edge magic total labeling graphs. Fuzzy Intelligent Systems: Methodologies, Techniques, and Applications, 365-386. https://doi.org/10.1002/9781119763437.ch13
[10] Shanmugapriya, R., Hemalatha, P.K. (2021). Application of fuzzy vertex magic graph. In Proceedings of First International Conference on Mathematical Modeling and Computational Science: ICMMCS 2020, pp. 575-582. https://doi.org/10.1007/978-981-33-4389-4_53
[11] Mahdi, H.A., Shujaa, M.I., Zghair, E.M. (2023). Diagnosis of medical images using fuzzy convolutional neural networks. Mathematical Modelling of Engineering Problems, 10(4): 1345-1351. https://doi.org/10.18280/mmep.100428
[12] Saibavani, T.N.P., Parvathi, N. (2023). Power domination in different graphs with applications. Mathematical Modelling of Engineering Problems, 10(2): 546-550. https://doi.org/10.18280/mmep.100222
[13] Sujatha, N., Dharuman, C., Thirusangu, K. (2023). Antimagic labeling on triangular fuzzy graphs. Advances and Applications in Mathematical Sciences, 22(6): 1231-1241.
[14] Rashmanlou, H., Samanta, S., Pal, M., Borzooei, R.A. (2015). A study on bipolar fuzzy graphs. Journal of Intelligent & Fuzzy Systems, 28(2): 571-580. https://doi.org/10.3233/IFS-141333
[15] Akram, M., Waseem, N. (2016). Certain metrics in m-polar fuzzy graphs. New Mathematics and Natural Computation, 12(2): 135-155. https://doi.org/10.1142/S1793005716500101