International Journal of Pure and Applied Volume 109 No. 7 2016, 35-41 ISSN: 1311-8080 (printed version); ISSN: 1314-3395 (on-line version) url: http://www.ijpam.eu AP doi: 10.12732/ijpam.v109i7.5 ijpam.eu

FUZZY COMBINATORIAL DUAL GRAPH

K. Shriram1, R. Sujatha1, S. Narasimman1 1Department of Mathematics SSN College of Engineering Chennai, INDIA

Abstract: Fuzzy graph is now a very important research area due to its wide application. Fuzzy is an important subclass of fuzzy . In this paper, we define the fuzzy combinatorial dual graph which is very close association with the fuzzy dual graph. The fuzzy combinatorial dual graph is defined and derived some of the results.

AMS Subject Classification: 05C72, 03E72 Key Words: fuzzy graphs, fuzzy dual graphs, fuzzy combinatorial dual graphs

1. Introduction

Graph theory is a way to demonstrate the modelling and Graph theory struc- tures are used to represent the telephone network, railway network, communica- tion problems, traffic network etc. A graph is a convenient way of representing the information involving relationship between objects. The objects are repre- sented by the set of vertices and the relationship between them is represented by the set of edges. When there is vagueness in the description of the objects or in its relationships or in both, it is natural that we need to construct a ”F uzzyGraphT heory”. In 1965, L.A. Zadeh [1] introduced a mathematical frame work to explain the concept of uncertainty in real life through the publication of a seminal paper ”F uzzysets”. A set of elements which are assigned with a of membership

Received: October 1, 2016 c 2016 Academic Publications, Ltd. Published: February 17, 2016 url: www.acadpubl.eu 36 K. Shriram, R. Sujatha, S. Narasimman values are said to be fuzzy sets. A. Rosenfeld [2] introduced Fuzzy graph and also he coined many fuzzy analogous graph theoretic concepts like , and . Fuzzy graphs have many more applications in modelling real time systems where the level of information inherent in the system varies with different levels of precision. Mordeson and Nair [3] defined the concept of complement of fuzzy graphs and studied some operation on fuzzy graphs. Abdul-Jabbar et al. [4] introduced the concept of a fuzzy dual graph and discussed the some of the properties. Pal et al. [5] and Samanta et al. [6] introduced and investigated the concept of fuzzy planar graphs and studied several properties. Noura Alshehri et al. [7] introduced the concept of intuitionistic fuzzy planar graphs and discussed some of the properties. Frequent number of research works are done on this topic.

2. Basics Concepts and Preliminaries

In this section, we see some elementary notions of graph theory and fuzzy graphs to understand the basic concepts mandatory for this paper. A graph [8] is a pair G = (V,E), where V is a non-empty set and E is a relation on V . A cut set of a graph is defined as the set of edges of a graph which, if removed , disconnects the graph. A is a graph that may contains multiple edges between any two vertices, but it does not contain any self loops. A drawing of a graph on any surface such that no edges intersect is called embedding. A graph G is planar if it can be drawn in the plane with its edges only inter- secting at vertices of G. A planar graph with cycles divides the plane into a set of regions called faces. The portion of the plane lying outside a graph embedded in a plane is infinite region. The dual graph of a plane graph G has a vertex corresponding to each face of G and an edge joining two neighbouring faces for each edge in G. The term dual is used because this property is symmetric, meaning that if H is a dual of G, then G is a dual of H(if G is connected). The concepts can be explained in different approaches. A dual graph can be classified into three types and they are geometrical dual graph, combinatorial dual graph and self-dual. A Combinatorial dual graph [8] of G is there is a one to one correspondence between their sets of edges which preserves cycles as sets of edges such that the removal of set of edges in G′ forms a cut set or bond. A fuzzy set [2] A drawn from X is defined as A = {< x, µA(x) >: x ∈ X}, where µ : X → [0, 1] is the membership function of the fuzzy set A. A fuzzy graph G = (V, σ, µ) is a nonempty set V together with a pair of functions σ : V → [0, 1] and µ : V × V → [0, 1] such that, for all x, y ∈ V ,µ(x, y) ≤ FUZZY COMBINATORIAL DUAL GRAPH 37 min(σ(x), σ(y)), where σ(x),σ(y) and µ(x, y) represents the membership values of the vertices and the edge in G, respectively. We denote the underlying graph by G∗ = (σ∗, µ∗) where σ∗ = {x ∈ V : σ(x) > 0} and µ∗ = {(x, y) ∈ V × V : µ(x, y) > 0}. A path P of length n is a sequence of distinct vertices x0, x1, . . . , xn such that µ(x(i−1), xi) > 0, i = 1, 2, . . . , n and the degree of the membership of a weakest edge is defined as its strength. The maximum of all strength of all paths between x and y is said to be connectedness of two vertices. If µ(w, x) = 1 and µ(y, z) = 0, then we say that the fuzzy graph has no crossing. Similarly, if µ(w, x) has value near to 1 and µ(y, z) has value near to 0, the crossing µ(y, z) will not be important for the planarity. If µ(y, z) has value near to 1 and µ(w, x) has value near to 1, then the crossing becomes very important for the planarity. Let V be a nonempty set and σ : V → [0, 1] is a mapping and E = n(x, y), µ(x, y)j, j = 1, 2, . . . , p|(x, y) ∈ V × V o be a fuzzy multiset [6] of V ×V such that µ(x, y)j ≤ min {(x), (y)} for all j = 1, 2, , p. Then G = (V, σ, E) is denoted as fuzzy multigraph [6] where σ(x) and µ(x, y)j represent the mem- bership value of the vertex x and the membership value of the edge (x, y) in G, respectively. Strength of the fuzzy edge I(x,y) can be measured by the value µ(x,y)j I(x,y) = min{σ(x),σ(y)} .

Let G be a fuzzy multigraph and for a certain geometrical representation P1,P2,...,Pz be the points of the intersection between the edges. Then G is said to be fuzzy planar graph with fuzzy planarity value[6] f = 1 . 1+IP1 +IP2 ...+IPz

3. Fuzzy Dual Graphs

The Fuzzy dual graph was introduced by Pal et al. [5] and Samanta et al. [6]. A different type of fuzzy planar graph was suggested by Samanta et al. [6] which is as called 0.67-fuzzy planar graph whose fuzzy planarity value is more than or equal to 0.67. When the fuzzy planarity value of a fuzzy graph is 1, then the geometrical representation of fuzzy planar graph is similar to the crisp planar graph or plane graph. By the theorem [6], if fuzzy planarity value is 0.67, then there is no crossing between the strong edges. For an instance, if there is any point of intersection between edges, that is the crossing between the weak edge and any other edge. The significance of the weak edge is less compared to strong edges. Thus, 0.67-fuzzy planar graph is more significant. If fuzzy planarity value increases, then the geometrical structure of planar graph tends to crisp planar graph. Any fuzzy planar graph without any point of 38 K. Shriram, R. Sujatha, S. Narasimman intersection of fuzzy edges is a fuzzy planar graph with fuzzy planarity value 1. Therefore, it is 0.67-fuzzy planar graph. Weak edges in 0.67-planar graph are not considered for any calculation in fuzzy dual graphs. Definition 1. [5] Let G = (V, σ, E) be a 0.67-fuzzy planar graph and E = {((x, y), (x, y)j), j = 1, 2, . . . , p|(x, y) ∈ V × V }, let F1,F2,...,Fk be the strong fuzzy faces of G. The fuzzy dual graph of G is ′ ′ ′ ′ ′ a fuzzy planar graph G = (V , σ ,E ) where V = {xi, i = 1, . . . , k}. The membership value of vertices are given by the mapping σ′ : V ′ → [0, 1] such ′ that σ (xi) = {max(u, v)j, j = 1, 2, p|(u, v)} is an edge of the boundary of strong fuzzy face Fi of G. Between two faces Fi and Fj of G, there may exist more than one common edge. Thus, between two vertices x and y in fuzzy dual graph G there may be more than one edge. The membership values of the fuzzy edges of the fuzzy dual graph are given by where (x, y)j = (u, v)j is an edge in the boundary between two strong fuzzy faces Fi and Fj and i = 1, 2, . . . , s where s is the number of common edges in the boundary between Fi and Fj or the number of common edges between x and y.

4. Fuzzy Combinatorial Dual Graphs

In this section, Fuzzy combinatorial dual graph is defined and the related results are proved. Definition 2. Let G = (V, σ, E) be a 0.67-fuzzy planar graph. Let V be the vertex set such that σ : V → [0, 1] and E be the edge set such that

E = (xi, xj), µ(xi, xj)k, k = 1, 2, , p(xi, xj) ∈ V × V . The fuzzy combinatorial dual graph G′ = (V ′, σ′,E′) where V ′ is the vertex set and E′ is the edge set of G′. The membership values of the vertices of G′ are given by the mapping ′ ′ ′ ′ ′ ′ ′ ′ σ : V → [0, 1] such that σ (xi ) = max(xi , xj )k, k = 1, 2, , p|µ(xi , xj ) is an ′ ′ edge which is incident to the vertex σ (xi ).There is a one-to-one correspondence between the fuzzy edges of G and G′ such that, the membership values of the edges of G′ are known by the membership values of the edges in G and satisfying the following condition. C be any arbitrary (fuzzy cycle) in G if and only if, the set of edges in G′ which is corresponding to the set of C in G form a cut set in G′ i.e., any cycle in G forms a cut set in G′. Example: A 0.67 − fuzzy planar graph G = (V, σ, E) where V is the vertex set and E be the edge set of G. For this graph σ = {a/0.7, b/0.8, c/0.7, d/0.6, e/0.7, f/0.8} FUZZY COMBINATORIAL DUAL GRAPH 39 and

E = {(a, b)/.7, (a, c)/0.7, (a, e)/0.7, (b, d)/0.6, (b, f)/0.5, (c, d)/0.6, (c, e)/0.5, (d, f)/0.5, (e, f)/0.7}.

Any cycle in the fuzzy graph of G they forms a cut set in G′.

Figure 1

Some theorems perhaps to fuzzy combinatorial dual graph presented in the following. Theorem 3. Every 0.67-fuzzy planar graph G has a fuzzy combinatorial dual graph.

Proof. Let G be a 0.67-fuzzy planar graph and G′ be the combinatorial dual graph, since by the definition fuzzy combinatorial dual graph, one-to-one correspondence between the fuzzy edges of G and G′ such that the membership values of the edges of G′ are known. Choose any cycle (fuzzy cycle) C in G. This cycle C splits the fuzzy graph G into two regions. Thus, we can separate the vertices of G′ into two non-empty subsets. Let A′ and B′ be the non-empty subsets of G′. The vertices of A′ and B′ are determined by the boundary of the cycle inside C and outside C in 0.67-fuzzy planar graph of G. Let C′ be the set of edges in G′ which corresponds to the set of edges of the cycle C in G. Removal of C′, disjoints the subsets A′ and B′ of G′. Thus C′ is a cut set of G′. Suppose that C′ is a cut set in G′. Thus C′ gives us partition of the vertices of G′ into two connected components. The edges of G which lies on the boundary of these two components are precisely those forms a cycle C in G, therefore C is a cycle in G. Hence the theorem is proved.

Example: Let G be a 0.67-fuzzy planar graph and G be the fuzzy combi- natorial dual graph. Let V = {a/0.9, b/1, c/0.8, d/1, e/0.5} and E = {(a, b)/0.8, (a, c)/0.6, (a, d)/0.5, (b, c)/0.3, (b, d)/0.2, (b, e)/0.5, (c, d)/0.4, (d, e)/0.7}. Now choose an arbitrary cycle in G and let it be C. Let C = {b, d, e} such that A = {b, d, e} and B = {a, c} in G. The 40 K. Shriram, R. Sujatha, S. Narasimman removal of corresponding edges of C (that is A) then the combinatorial dual fuzzy graph is disconnected. Thus, G has a cut set.

Figure 2

Theorem 4. Every combinatorial dual graph of fuzzy graph has a 0.67- fuzzy planar graph.

Proof. Suppose K5 or K3,3 has a fuzzy combinatorial dual graph, since it has finite number edges so that at least one edge intersects with any other edges. Then it has two following cases. Case (i) Let K5 or K3,3 has at least one fuzzy weak edge in G, then the fuzzy weak edge is not considered in fuzzy graph G. Since there is no intersection between the edges in fuzzy graph G, and it has a fuzzy combinatorial dual ′ graph G . Therefore, the given K5 or K3,3 graph is a 0.67-fuzzy planar graph. Case (ii) Suppose all the edges of K5 or K3,3 are strong edges, and therefore only one edge is intersecting with any other edge. Thus we cannot draw any dual graphs, because the fuzzy planarity value of the intersection of the fuzzy edges should be less than 0.67. Hence the given fuzzy graph K5 or K3,3 does not have 0.67-fuzzy planar graph and it does not have fuzzy combinatorial dual graph. Hence the theorem is proved. Theorem 5. A 0.67-fuzzy graph is planar, if and only if it has a fuzzy combinatorial dual graph.

Proof. From the proof of the above theorem 1 and theorem 2, we conclude the proof of this theorem. Remark 1. Let G be a 0.67-fuzzy planar graph, and C be any arbitrary cycle in G. Then C is the fuzzy cut set of G′ if the removal of C′ from G′ reduces the connectedness between some pair of vertices in G′. Remark 2. Let G and G′ be the 0.67-fuzzy planar graph and fuzzy combi- natorial dual graph. Then the connectedness between the any pair of vertices ′ ′ in G and G are equal i.e., CONN (x,y)G = CONN (x,y)G . FUZZY COMBINATORIAL DUAL GRAPH 41

5. Conclusion

In this paper, we discussed about the combinatorial dual graph and proved some of the important theorems of combinatorial dual graphs.

References

[1] L. A. Zadeh, Fuzzy sets, Information and Computation, Volume 8, pp. 338-353, 1965. [2] A. Rosenfeld, Fuzzy graphs, in L. A. Zadeh, K. S. Fu, M. Shimura(Eds.),Fuzzy Sets and Their Applications, Academic Press, New York, 77-95,1975. [3] J. N. Mordeson and P. S. Nair, Fuzzy graphs and Fuzzy hypergraphs, Physica Verlag, 2000. [4] N. Abdul-jabbar, J. H. Naoom and E. H. Ouda, Fuzzy dual graph, Journal Of Al-nahrain University, 12(4), 168-171,2009 [5] S. Samanta, M. Pal and A. Pal, New concepts of fuzzy planar graph, International Journal of Advanced Research in Artificial Intelligence, Volume 3, No. 1, pp. 52-59,2014. [6] A. Pal, S. Samanta, and M. Pal, Concept of fuzzy planar graphs, in Proceedings of the Science and Information Conference, pp 557-563, London, UK, October 2013. [7] N. Alshehri, and M. Akram, Intuitionstic Fuzzy Planar Graphs, Discrete Dynamics in Nature and Society, Hindawi Publishing Corporation, 2014. [8] F. Harary, Graph Theory, Addison Wesley Publishing Company Inc. 1969. 42