An intuitionistic fuzzy graph is an extended structure of a fuzzy graph that give more precision, flexibility and compatibility to a system when compared with the system that designed using fuzzy graphs. In this paper, we define two new operations on intuitionistic fuzzy graphs namely normal product and tensor product. Also, we calculated the degree of the intuitionistic fuzzy graphs obtained by the operations Cartesian product, tensor product, normal product and composition of intuitionistic fuzzy graphs. These operations are highly used in computer science, geometry, algebra, operations research, etc.
Concept of graph theory have applications in many areas of computer science, including data mining, image segmentation, clustering, image capturing, networking, etc. An intuitionistic fuzzy set is a generalization of the notion of a fuzzy set. Intuitionistic fuzzy models gives more precision, flexibility and compatibility to the system as compared to the fuzzy models.
In 1983, Atanassov [3, 4] introduced the concept of intuitionistic fuzzy set as a generalization of fuzzy sets. Atanassov added a new components which determines the degree of non-membership in the definition of fuzzy set. The fuzzy sets give the degree of membership, while intuitionistic fuzzy sets give both the degree of membership and the degree of non-membership, which are more or less independent from each other, the only requirement is that the sum of these two degrees is not greater than one. Intuitionistic fuzzy sets have been applied in a wide variety of fields including computer science, engineering, mathematics, medicine, chemistry, economics, etc.
In 1975, Rosenfeld [19] discussed the concept of fuzzy graph whose basic idea was introduced by Kauffman [9] in 1973. The fuzzy relations between fuzzy sets were also considered by Rosenfeld and he developed the structure of fuzzy graphs, obtained analogs of several graphs theoretical concepts. Atanassov introduced the concept of intuitionistic fuzzy relation. Different types of intuitionistic fuzzy graphs and their applications can be found in several papers. Also, Sahoo and Pal [21] discussed the concept of intuitionistic fuzzy competition graph. In this paper, we define two new operations on intuitionistic fuzzy graphs namely Cartesian product and tensor product and study about the degree of the vertex in intuitionistic fuzzy graph, which are obtained from two intuitionistic fuzzy graphs G′ and G′′ using the operations Cartesian product, composition, tensor product and normal product.
Review of literature
After Rosenfeld [19] the fuzzy graph theory increases with its various types of branches, such as – fuzzy tolerance graph [27], fuzzy threshold graph [26], bipolar fuzzy graphs [17, 32], highly irregular interval valued fuzzy graphs [13, 14], isometry on interval-valued fuzzy graphs [16], balanced interval-valued fuzzy graphs [11, 15], fuzzy k-competition graphs and p-competition fuzzy graphs [30], fuzzy planar graphs [25, 33], bipolar fuzzy hypergraphs [28, 29], m-step fuzzy compitition graphs [24], etc. Fuzzy graph is used in telecommunication system [31]. A new concept of fuzzy colouring of fuzzy graph is given [34]. Ghorai and Pal introduced operations on m-polar fuzzy graphs [6], m-polar fuzzy planar graphs [7] and Ceratin Types of Product Bipolar Fuzzy Graphs [5]. Nayeem and Pal introduced shortest path problem on a network with imprecise edge weight [10].
Akram and Al-Shehrie [1] defined intuitionistic fuzzy cycles and intuitionistic fuzzy trees and intuitionistic fuzzy planar graphs [2]. Balanced intuitionistic fuzzy graphs is discuss by Karunambigai et al. [8]. Also, Parvathi and Karunambigai [12] defined intuitionistic fuzzy graphs. Sahoo and Pal [21] discussed the concept of intuitionistic fuzzy competition graph. They also discuss intuitionistic fuzzy tolerance graph [23], different types of products on intuitionistic fuzzy graphs [20] and intuitionistic fuzzy labeling graphs [22].
Preliminaries
A graph is an ordered pair G = (V, E), where V is the set of all vertices of G, which is non empty and E is the set of all edges of G. Two vertices x, y in a graph G are said to be adjacent in G if (x, y) is an edge of G. A simple graph is a graph without loops and multiple edges. A complete graph is a simple graph in which every pair of distinct vertices is connected by an edge. The complete graph on n vertices has edges.
An isomorphism of graphs G1 and G2 is a bijection between the vertex sets of G1 and G2 such that any two vertices v1 and v2 of G1 are adjacent in G1 if and only if f (v1) and f (v2) are adjacent in G2. An isomorphic graphs are denoted by G1 ≅ G2.
Let G1 = (V1, E1) and G2 = (V2, E2) be two simple graphs. Then the direct product of G1 and G2 is a graph G1 ⊓ G2 = (V, E) with V = V1 × V2 and E = {((u1, v1) , (u2, v2)) ∣ (u1, u2) ∈ E1, (v1, v2) ∈ E2}. The union of graphs G1 and G2 is defined as G1 ∪ G2 = (V1 ∪ V2, E1 ∪ E2) and join is the simple graph G1 + G2 = (V1 ∪ V2, E1 ∪ E2 ∪ E′), where E′ is the set of all edges joining the vertices of V1 and V2 and assume thatV1 ∩ V2 = φ .
Intuitionistic fuzzy graphs
An intuitionistic fuzzy set A on the set X is characterized by a mapping m : X → [0, 1], which is called as a membership function and n : X → [0, 1], which is called as a non-membership function. An intuitionistic fuzzy set is denoted by A = (X, mA, nA). The membership function of the intersection of two intuitionistic fuzzy sets A = (X, mA, nA) and B = (X, mB, nB) is defined as mA∩B = min {mA, mB} and the non-membership function nA∩B = max {nA, nB}. We write A = (X, mA, nA) ⊆ B = (X, mB, nB) (intuitionistic fuzzy subset) if mA (x) ≤ mB (x) and nA (x) ≥ nA (x) for all x ∈ X.
Here, an intuitionistic fuzzy graph is defined below:
Definition 1. [12] An intuitionistic fuzzy graph is of the form G = (V, E, σ, μ) where σ = (σ1, σ2), μ = (μ1, μ2) and
V = {v0, v1, …, vn} such that σ1 : V → [0, 1] and σ2 : V → [0, 1], denote the degree of membership and non-membership of the vertex vi ∈ V respectively and 0 ≤ σ1 (vi) + σ2 (vi) ≤1 for every vi ∈ V (i = 1, 2, …, n).
μ1 : V × V → [0, 1] and μ2 : V × V → [0, 1], where μ1 (vi, vj) and μ2 (vi, vj) denote the degree of membership and non-membership value of the edge (vi, vj) respectively such that μ1 (vi, vj) ≤ min {σ1 (vi) , σ1 (vj)} and μ2 (vi, vj) ≤ max {σ2 (vi) , σ2 (vj)}, 0 ≤ μ1 (vi, vj) + μ2 (vi, vj) ≤1 for every (vi, vj).
Now, we give an example of intuitionistic fuzzy graph:
Example 1. Let G = (V, E, σ, μ) be an intuitionistic fuzzy graph, where σ (v) = (σ1 (v) , σ2 (v)), μ (u, v) = (μ1 (u, v) , μ2 (u, v)). Let the vertex set be V = {v1, v2, v3, v4} and σ (v1) = (0.3, 0.6), σ (v2) = (0.8, 0.2), σ (v3) = (0.2, 0.8), σ (v4) = (0.5, 0.4); μ (v1, v2) = (0.25, 0.45), μ (v2, v3) = (0.18, 0.75), μ (v3, v4) = (0.15, 0.52), μ (v4, v1) = (0.3, 0.25), μ (v1, v3) = (0.2, 0.8), μ (v2, v4) = (0.4, 0.35). The corresponding intuitionistic fuzzy graph is shown in Fig. 1.
Definition 2. An intuitionistic fuzzy graph G = (V, E, σ, μ) is said to be complete if μ1 (vi, vj) = σ1 (vi) ∧ σ1 (vj) and μ2 (vi, vj) = σ2 (vi) ∨ σ2 (vj) for all vi, vj ∈ V .
Definition 3. Let G = (V, E, σ, μ) be an intuitionistic fuzzy graph. The degree of a vertex u in G is denoted by dG (u) = (d1G (u) , d2G (u)) and defined by and .
Degree of vertex of different types of product on intuitionistic fuzzy graphs
We define degree of vertex of different types of product on intuitionistic fuzzy graphs. First we defined the degree of vertex in Cartesian product of two intuitionistic fuzzy graphs.
Degree of a vertex in Cartesian product
Definition 4. The Cartesian product of two intuitionistic fuzzy graphs G′ = (V′, E′, σ′, μ′) and G′′ = (V′′, E′′, σ′′, μ′′) is defined as an intuitionistic fuzzy graph G = G′ × G′′ = (V, E, σ′ × σ′′, μ′ × μ′′) where V = V′ × V′′ and E = {((u1, v1) , (u2, v2)) ∣ u1 = u2, (v1, v2) ∈ E′′orv1 = v2, (u1, u2) ∈ E′} with
for all (u1, v1) ∈ V′ × V′′ and
Definition 5. Let G = G′ × G′′ = (V, E, σ′ × σ′′, μ′ × μ′′) be the Cartesian product of two intuitionistic fuzzy graphs G′ = (V′, E′, σ′, μ′) and G′′ = (V′′, E′′, σ′′, μ′′). Then the degree of the vertex (u1, v1) in V is denoted by dG′×G′′ (u1, v1) = (d1G′×G′′ (u1, v1) , d2G′×G′′ (u1, v1)) and defined by
Theorem 1.Let G′ = (V′, E′, σ′, μ′) and G′′ = (V′′, E′′, σ′′, μ′′) be two intuitionistic fuzzy graphs. If , and , , then dG′×G′′ (u1, v1) = dG′ (u1) + dG′′ (v1).
Proof. From the definition of degree of the vertex in Cartesian product, we have
and
Hence, dG′×G′′ (u1, v1) = dG′ (u1) + dG′′ (v1).
Example 2. Here, , and , . Then by Theorem 1, we have
So, dG′×G′′ (u1, v1) = (0.3, 0.8). Similarly, we can find the degree of all vertices in the Cartesian product G′ × G′′. This is verified in the Fig. 2.
Degree of vertex in composition
Next, we defined the degree of a vertex in composition of two intuitionistic fuzzy graphs.
Definition 6. The compostion of two intuitionistic fuzzy graphs G′ = (V′, E′, σ′, μ′) and G′′ = (V′′, E′′, σ′′, μ′′) is defined as an intuitionistic fuzzy graph G = G′ [G′′] = (V, E, σ′ ∘ σ′′, μ′ ∘ μ′′) where V = V′ × V′′ and E = {((u1, v1) , (u2, v2)) ∣ u1 = u2, (v1, v2) ∈ E′′orv1 = v2, (u1, u2) ∈ E′} ∪ {((u1, v1) , (u2, v2)) ∣ v1 ≠ v2, (u1, u2) ∈ E′} with for all (u1, v1) ∈ V′ × V′′ and
Definition 7. Let G = G′ [G′′] = (V, E, σ′ ∘ σ′′, μ′ ∘ μ′′) be the composition of two intuitionistic fuzzy graph G′ = (V′, E′, σ′, μ′) and G′′ = (V′′, E′′, σ′′, μ′′). Then the degree of the vertex (u1, v1) in V is denoted by dG′[G′′] (u1, v1) = (d1G′[G′′] (u1, v1) , d2G′[G′′] (u1, v1)) and defined by
Theorem 2.Let G′ = (V′, E′, σ′, μ′) and G′′ = (V′′, E′′, σ′′, μ′′) be two intuitionistic fuzzy graphs. If , and , , then dG′[G′′] (u1, v1) = |V′′|dG′ (u1) + dG′′ (v1).
Proof. From the definition of vertex degree in composition of two intuitionistic fuzzy graphs, we have
and
Example 3. Consider the intuitionistic fuzzy graphs G′, G′′ and G′ [G′′] as follows.
Here, , and , , then by Theorem 2, we have
So, dG′[G′′] (u1, v1) = (0.5, 1.2). Similarly, we can find the degree of all vertices in the composition G′ [G′′]. This is verified in the Fig. 3.
Degree of a vertex in tensor product
Next, we defined degree of a vertex in tensor product of two intuitionistic fuzzy graphs.
Definition 8. The tensor product of two intuitionistic fuzzy graphs G′ = (V′, E′, σ′, μ′) and G′′ = (V′′, E′′, σ′′, μ′′) is defined as an intuitionistic fuzzy graph G = G′ ⊗ G′′ = (V, E, σ′ ⊗ σ′′, μ′ ⊗ μ′′) where V = V′ × V′′ and E = {((u1, v1) , (u2, v2)) ∣ (u1, u2) ∈ E′, (v1, v2) ∈ E′′} with
for all (u1, v1) ∈ V′ × V′′ and
for all (u1, u2) ∈ E′, (v1, v2) ∈ E′′ .
Definition 9. Let G = G′ ⊗ G′′ = (V, E, σ′ ⊗ σ′′, μ′ ⊗ μ′′) be the tensor product of two intuitionistic fuzzy graphs G′ = (V′, E′, σ′, μ′) and G′′ = (V′′, E′′, σ′′, μ′′). Then the degree of the vertex (u1, v1) in V is denoted by dG′⊗G′′ (u1, v1) = (d1G′⊗G′′ (u1, v1) , d2G′⊗G′′ (u1, v1)) and definedby
Theorem 3.Let G′ = (V′, E′, σ′, μ′) and G′′ = (V′′, E′′, σ′′, μ′′) be two intuitionistic fuzzy graphs. If , , then dG′⊗G′′ (u1, v1) = dG′ (u1) and if , , then dG′⊗G′′ (u1, v1) = dG′′ (v1).
Proof. Let, , , then
Hence, dG′⊗G′′ (u1, v1) = dG′ (u1).
Similarly, if , , then dG′⊗G′′ (u1, v1) = dG′′ (v1).
Example 4. In this example, we obtain the degree of the vertex of G′ ⊗ G′′ by the Theorem 3.
Consider the intuitionistic fuzzy graphs G′, G′′ and G′ [G′′] as in Fig. 4. Here, , , then d1G′⊗G′′ (u1, v1) = d1G′ (u1) =0.2 and d2G′⊗G′′ (u1, v1) = d2G′ (u1) =0.4.
Hence dG′⊗G′′ (u1, v1) = (0.2, 0.4).
Degree of a vertex in normal product
Finally, we define degree of a vertex in normal product of two intuitionistic fuzzy graphs.
Definition 10. The normal product of two intuitionistic fuzzy graphs G′ = (V′, E′, σ′, μ′) and G′′ = (V′′, E′′, σ′′, μ′′) is defined as an intuitionistic fuzzy graph G = G′ • G′′ = (V, E, σ′ • σ′′, μ′ • μ′′) where V = V′ × V′′ and E = {((u1, v1) , (u2, v2)) ∣ u1 = u2, (v1, v2) ∈ E′′orv1 = v2, (u1, u2) ∈ E′} ∪ {((u1, v1) , (u2, v2)) ∣ (u1, u2) ∈ E′, (v1, v2) ∈ E′′} with
for all (u1, v1) ∈ V′ × V′′ and
Definition 11. Let G = G′ • G′′ = (V, E, σ′ • σ′′, μ′ • μ′′) be the normal product of two intuitionistic fuzzy graphs G′ = (V′, E′, σ′, μ′) and G′′ = (V′′, E′′, σ′′, μ′′). Then the degree of the vertex (u1, v1) in V is denoted by dG′•G′′ (u1, v1) = (d1G′•G′′ (u1, v1) , d2G′•G′′ (u1, v1)) and defined by
Theorem 4.Let G′ = (V′, E′, σ′, μ′) and G′′ = (V′′, E′′, σ′′, μ′′) be two intuitionistic fuzzy graphs. If , , , , and , then dG′•G′′ (u1, v1) = |V′′|dG′ (u1) + dG′′ (v1).
In this paper, we determined the degree of the vertices of the graphs G′ × G′′, G′ [G′′], G′ ⊗ G′′ and G′ • G′′ in terms of the degree of the vertices of an intuitionistic fuzzy graphs G′ and G′′ under some conditions and illustrated them through examples. The vertices and their degree of any graph are very important parameters. This study is very useful to analyse various properties of Cartesian product, composition, tensor product and normal product of two intuitionistic fuzzy graphs.
Footnotes
Acknowledgments
Financial support of first author offered by Council of Scientific and Industrial Research, New Delhi, India (Sanction no. 09/599(0057)/2014-EMR-I) is thankfully acknowledged.
The authors are thankful to the reviewers for their valuable comments and suggestions to improve the presentation of the paper.
References
1.
AkramM. and Al-ShehrieN., Intuitionistic fuzzy cycles and intuitionistic fuzzy trees. The Scientific World Journal, 2014, 11.
2.
Al-ShehrieN. and AkramM., Intuitionistic fuzzy planar graphs. Discrete Dynamics in Nature and Society2014, 9.
3.
AtanassovK.T., Intuitionistic fuzzy sets. VII ITKR’s Seession, Deposed in Central for Science-Technical Library of Bulgarian Academy of Science, 1697/84, Sofia, Bulgaria, 1983.
4.
AtanassovK.T., Intuitionistic fuzzy sets. Fuzzy Sets and Systems20 (1986), 87–96.
5.
GhoraiG. and PalM., Ceratin types of product bipolar fuzzy graphs. International Journal of Applied and Computational Mathematics (2015). doi: 10.1007/s40819-015-0112-0
6.
GhoraiG. and PalM., On some operations and density of m-polar fuzzy graphs. Pacific Science Review A: Natural Science and Engineering17(1) (2015), 14–22.
7.
GhoraiG. and PalM., A study on m-polar fuzzy planar graphs. Int J of Computing Science and Mathematics (2016), In press.
KauffmanA., Introduction a la theorie des sousemsembles flous. Masson et cie1, 1973.
10.
NayeemA. and PalM., Shortest path problem on a network with imprecise edge weight. Fuzzy Optimization and Decision Making4(4) (2005), 293–312.
11.
PalM., SamantaS. and RashmanlouH., Some results on interval-valued fuzzy graphs. International Journal of Computer Science and Electronics Engineering3(3) (2015), 205–211.
12.
ParvathiR. and KarunambigaiM.G., Intuitionistic fuzzy graphs. Computational Intelligence, Theory and Application38 (2006), 139–150.
13.
PramanikT., SamantaS. and PalM., Interval-valued fuzzy planar graphs. International Journal of Machine Learning and Cybernetics (2014). doi: 10.1007/s13042-014-0284-7
14.
RashmanlouH. and PalM., Some properties of highly irregular interval valued fuzzy graphs. World Applied Sciences Journal27(12) (2013), 1756–1773.
15.
RashmanlouH. and PalM., Balanced interval-valued fuzzy graphs. Journal of Physical Sciences17 (2013), 43–57.
16.
RashmanlouH. and PalM., Isometry on interval-valued fuzzy graphs. Intern J Fuzzy Mathematical Archive3 (2014), 28–35.
17.
RashmanlouH., SamantaS., PalM. and BorzooeiR.A., A study on bipolar fuzzy graphs. Journal of Intelligent and Fuzzy Systems28 (2015), 571–580.
18.
RashmanlouH., SamantaS., PalM. and BorzooeiR.A., Bipolar fuzzy graphs with Categorical properties. The International Journal of Computational Intelligence Systems8(5) (2015), 808–818.
19.
RosenfieldA., Fuzzy graphs, Fuzzy Sets and Their Application, ZadehL.A.,
FuK.S.,
ShimuraM., Eds., Academic press, New York, 1975, pp. 77–95.
20.
SahooS. and PalM., Different types of products on intuitionistic fuzzy graphs. Pacific Science Review A: Natural Science and Engineering17(3), 87–96.
21.
SahooS. and PalM., Intuitionistic fuzzy competition graph. Journal of Applied Mathematics and Computing, Springer. doi: 10.1007/s12190-015-0928-0
22.
SahooS. and PalM., Intuitionistic fuzzy labeling graph. communicated.
23.
SahooS. and PalM., Intuitionistic fuzzy tolerance graph with application. communicated.
24.
SamantaS., AkramM. and PalM., M-step fuzzy compitition graphs. Journal of Applied Mathematics and Computing, Springer47 (2015), 461–472. DOI: 10.1007/s12190-014-0785-2, 2014.
25.
SamantaS., PalA. and PalM., New concepts of fuzzy planar graphs. International Journal of Advanced Research in Artificial Intelligence3(1) (2014), 52–59.
26.
SamantaS. and PalM., Fuzzy threshold graphs. CIIT International Journal of Fuzzy Systems3 (2011), 360–364.
27.
SamantaS. and PalM., Fuzzy tolerance graphs. International Journal of Latest Trends in Mathematics1 (2011), 57–67.
28.
SamantaS. and PalM., Bipolar fuzzy hypergraphs. International Journal of Fuzzy Logic Systems2(1) (2012), 17–28.
29.
SamantaS. and PalM., Irregular bipolar fuzzy graphs. International Journal of Applications of Fuzzy Sets2 (2012), 91–102.
30.
SamantaS. and PalM., Fuzzy k-competition graphs and p-competition fuzzy graphs. Fuzzy Information and Engineering5 (2013), 191–204.
31.
SamantaS. and PalM., Telecommunication system based on fuzzy graphs. J Telecommun Syst Manage3 (2013), 1–6.
32.
SamantaS. and PalM., Some more results on bipolar fuzzy sets and bipolar fuzzy intersection graphs. The Journal of Fuzzy Mathematics22(2) (2014), 253–262.
33.
SamantaS. and PalM., Fuzzy planar graph. IEEE Transaction on Fuzzy Systems23(6) (2015), 1936–1942.
34.
SamantaS., PramanikT. and PalM., Fuzzy colouring of fuzzy graphs. Afrika Mathematika (2015). doi: 10.1007/s13370-015-0317-8