Hindawi Publishing Corporation Discrete Dynamics in Nature and Society Volume 2014, Article ID 397823, 9 pages http://dx.doi.org/10.1155/2014/397823

Research Article

Intuitionistic Fuzzy Planar Graphs

Noura Alshehri1 and Muhammad Akram2

1 Department of Mathematics, Faculty of Sciences (Girls), King Abdulaziz University, Jeddah, Saudi Arabia

2 Department of Mathematics, University of the Punjab, New Campus, Lahore, Pakistan

Correspondence should be addressed to Noura Alshehri; nalshehrie@kau.edu.sa Received 21 April 2014; Accepted 7 August 2014; Published 24 August 2014 Academic Editor: Zuo-nong Zhu

Copyright © 2014 N. Alshehri and M. Akram. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Graph theory has numerous applications in modern sciences and technology. Atanassov introduced the concept of intuitionistic fuzzy sets as a generalization of fuzzy sets. Intuitionistic fuzzy set has shown advantages in handling vagueness and uncertainty compared to fuzzy set. In this paper, we apply the concept of intuitionistic fuzzy sets to multigraphs, planar graphs, and dual graphs. We introduce the notions of intuitionistic fuzzy multigraphs, intuitionistic fuzzy planar graphs, and intuitionistic fuzzy dual graphs and investigate some of their interesting properties. We also study isomorphism between intuitionistic fuzzy planar graphs.

1. Introduction

Graph theory is now a very important research area due to its wide applications. There are many practical applications with a graph structure in which crossing between edges is nuisance including design problems for circuits, subways, and utility lines. Crossing of two connections normally means that the communication lines must be run at different heights. This is not a big issue for electrical wires, but it creates extra expenses for some types of lines. Circuits, in particular, are easier to manufacture if their connections can be constructed in fewer layers. These applications are designed by the concept of planar graphs. Circuits, where crossing of lines is necessary, can not be represented by planar graphs. Numerous computational challenges can be solved by means of cuts of planar graph. In the city planning, subway tunnels, pipelines, and metro lines are essential in twenty first century. Due to crossing, there is a chance for an accident. Also, the cost of crossing of routes in underground is high. But underground routes reduce the traffic jam. In a city planning, routes without crossing are perfect for safety. But due to lack of space, crossing of such lines is allowed. It is easy to observe that the crossing between one congested and one noncongested route is better than the crossing between two congested routes. The term "congested" has no definite meaning. We generally use "congested," "very congested,"

"highlycongested"routes, andsoforth. Theseterms arecalled linguistic terms and they have some membership values. A congested route may be referred to as strong route and low congested route may be called weak route. Thus crossing between strong route and weak route is more safe than the crossing between two strong routes. That is, crossing between strong route and weak route may be allowed in city planning with certain amount of safety. The terms strong route and weak route lead to strong edge and weak edge of a fuzzy graph, respectively. And the permission of crossing between strong and weak edges leads to the concept of fuzzy planar graph [1-3].

Presently, science and technology is featured with complex processes and phenomena for which complete information are not always available. For such cases, mathematical models are developed to handle various types of systems containing elements of uncertainty. A large number of these models are based on an extension of the ordinary set theory, namely, fuzzy sets. The notion of fuzzy sets was introduced by Zadeh [4] as a method of representing uncertainty and vagueness. Since then, the theory of fuzzy sets has become a vigorous area of research in different disciplines. In 1983, Atanassov [5] introduced the concept of intuitionistic fuzzy sets as a generalization of fuzzy sets. Atanassov added in the definition of fuzzy set a new component which determines the degree of nonmembership. Fuzzy sets give the degree of

membership of an element in a given set (the nonmembership of degree equals one minus the degree of membership), while intuitionistic fuzzy sets give both a degree of membership and a degree of nonmembership, which are more or less independent from each other; the only requirement is that the sum of these two degrees is not greater than 1. Intuitionistic fuzzy sets are higher order fuzzy sets. Application of higher order fuzzy sets makes the solution-procedure more complex, but if the complexity on computation-time, computation-volume or memory-space are not the matter of concern then a better result could be achieved.

Fuzzy graph theory is finding an increasing number of applications in modeling real time systems where the level of information inherent in the system varies with different levels of precision. Fuzzy models are becoming useful because of their aim in reducing the differences between the traditional numerical models used in engineering and sciences and the symbolic models used in expert systems. Kauffman's initial definition of a fuzzy graph [6] was based on Zadeh's fuzzy relations [7]. Rosenfeld [8] introduced the fuzzy analogue of several basic graph-theoretic concepts and Bhattacharya [9] gave some remarks on fuzzy graphs. Mordeson and Nair [10] defined the concept of complement of fuzzy graph and studied some operations on fuzzy graphs. In [11], the definition of complement of a fuzzy graph was modified so that the complement of the complement is the original fuzzy graph, which agrees with the crisp graph case. Shannon and Atanassov [12] introduced the concept of intuitionistic fuzzy relations and intuitionistic fuzzy graphs and investigated some of their properties in [13]. Parvathi et al. defined operations on intuitionistic fuzzy graphs in [14]. Akram et al. [15-18] introduced many new concepts including intuitionistic fuzzy hypergraphs, strong intuitionistic fuzzy graphs, intuitionistic fuzzy cycles, and intuitionistic fuzzy trees. Abdul-Jabbar et al. [1] introduced the concept of a fuzzy dual graph and discussed some of its interesting properties. Recently, Pal et al. [2] and Samanta et al. [3] introduced and investigated the concept of fuzzy planar graphs and studied several properties. In this paper, we apply the concept of intuitionistic fuzzy sets to multigraphs, planar graphs, and dual graphs. We introduce the notions of intuitionistic fuzzy multigraphs, intuitionistic fuzzy planar graphs, and intuitionistic fuzzy dual graphs and investigate some of their interesting properties. We also study isomorphism between intuitionistic fuzzy planar graphs. We have used standard definitions and terminologies in this paper. For other notations, terminologies, and applications not mentioned in the paper, the readers are referred to [8,10, 14,19-27].

2. Preliminaries

In this section, we review some elementary concepts whose understanding is necessary for full benefit from this paper.

By a graph we mean a pair G* = (V, E), where V is the set and E is a relation on V. The elements of V are vertices of G* and the elements of E are edges of G*. We write xy e E to mean (x, y) e E, and if e = xy e E, we say x and y are adjacent. Formally, given a graph G* = (V, E), two vertices x, y e V are said to be neighbors, or adjacent nodes, if xy e E.

The number of vertices, the cardinality of V, is called the order of graph and denoted by |V|. The number of edges, the cardinality of E, is called the size of graph and denoted by |£|.A multigraph is a graph that may contain multiple edges between any two vertices, but it does not contain any self-loops. A graph can be drawn in many different ways. A graph may or may not be drawn on a plane without crossing of edges. A drawing of a geometric representation 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 intersecting at vertices of G*. A crisp graph is called nonplanar graph if there is at least one crossing between the edges for all possible geometrical representations of the graph. A planar graph with cycles divides the plane into a set of regions are called faces. The length of a face in a plane graph G* is the total length of the closed walk(s) in G* bounding the face. The portion of the plane lying outside a graph embedded in a plane is infinite region. The dual graph of a plane graph G* is a graph that has a vertex corresponding to each face of G* and an edge joining two neighboring 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).

Let X be a nonempty set. A fuzzy set [4] A drawn from X is defined as A = {{x : pA(x)) : x e X}, where p : X ^ [0,1] is the membership function of the fuzzy set A. A fuzzy binary relation [7] on X is a fuzzy subset p on XxX. By a fuzzy relation, we mean a fuzzy binary relation given by p : X x X ^ [0,1]. A fuzzy graph [6] G = (V,a,y) is a nonempty set V together with a pair of functions a : V ^ [0,1] and p : V xV ^ [0,1] such that, for all x,y e V, p(x, y) < min(a(x), o(y)), where a(x) and x, y) represent the membership values of the vertex x and of the edge (x, y) in G, respectively. A loop at a vertex x in a fuzzy graph is represented by x, x) = 0. An edge is nontrivial if x, y) = 0. Let G be a fuzzy graph and, for a certain geometric representation, the graph has only one crossing between two fuzzy edges ((w, x), p(w, x)) and ((y, z), p(y, z)). If p(w, x) = 1 and y, z) = 0, then we say that the fuzzy graph has no crossing. Similarly, if p(w, x) has value near to 1 and y, z) has value near to 0, the crossing will not be important for the planarity. If y, z) has value near to 1 and p(w, x) has value near to 1, then the crossing becomes very important for the planarity.

Let X be a nonempty set. A fuzzy multiset [28] A drawn from X is characterized by a function, "count membership" of A denoted by CMA such that CMA : X ^ Q, where Q is the set of all crisp multisets drawn from the unit interval [0, 1] . Then for any x e X, the value CMA(x) is a crisp multiset drawn from [0,1]. For each x e X, the membership sequence is defined as the decreasingly ordered sequence of elements in CMA(%). It is denoted by (^A(x), (x), (x),..., (x)) where (x) > (x) > (x) > ■ ■ ■ > (x).

Let V be a nonempty set and a : V ^ [0,1] a mapping and let p = {(x,y),p(x,y)j,j = 1,2,..., p | (x, y) e V x V} be a fuzzy multiset of V x V such that p(x,y): < min{o(x),o(y)} for all j = 1,2,... pxy = max{j | p(x, y)j = 0}. Then G = (V, a, p) is denoted as fuzzy multigraph [2] where a(x) and x, y)j represent

the membership value of the vertex x and the membership value of the edge (x, y) in G, respectively. In 1983, Atanassov [5] introduced the concept of intuitionistic fuzzy sets as a generalization of fuzzy sets [4]. An intuitionistic fuzzy set (IFS, for short) on a universe X is an object of the form

A = {(x,pA (x), vA (x)) | x e X},

where pA(x)(e [0,1]) is called degree of membership of x in A and vA(x)(e [0,1]) is called degree of nonmembership of x in A, and vA satisfies the following condition for all x e X, pA(x) + vA(x) < 1. An intuitionistic fuzzy relation R = (pR(x,y), vR(x,y)) in a universe XxY(R(X ^ Y), for short) is an intuitionistic fuzzy set of the form

R = {((x, y), Hr (x, y), vR (x, y)) l(x,y)eXxY}, (2)

where pr : XxY ^ [0,1] and vr : XxY ^ [0,1]. The intuitionistic fuzzy relation R satisfies pR(x, y) + vr(x, y) < 1 for all x, y e X. An intuitionistic fuzzy graph is a pair G = (A, B) where A = {V, pA, vA) is an intuitionistic fuzzy set in V and В = {V xV,pB, vB) is an intuitionistic fuzzy relation on V such that

Ив (xy) < min (Иа (X) , Va (У)), (3)

Vb (xy) < max (va (x) , Va (y)) (4)

such that 0 < ив(ху) + vB(xy) < 1 for all x, y e V.

Let X be a nonempty set. An intuitionistic fuzzy multiset (IFMS) [29] A drawn from X is characterized by two functions: "count membership" of A (CMA) and "count nonmembership" of A (CNA) given by CMA : X ^ Q and CNa : X ^ Q where Q is the set of all crisp multisets drawn from the unit interval [0,1] such that, for each x e X, the membership sequence is defined as a decreasingly ordered sequence of elements in CMA(x) which is denoted by (и'а(х),иА(x),^a(х),---,Ира(x)) where иА(x) > иa(x) > £ (x) > ••• > ^a (x) and the corresponding nonmembership sequence will be denoted by (v'a(x), v2a(x), v3a(x), ..., va(x)) such that иa (x) + v'a(x) < 1 for all x e X and i = 1,2,..., p. An IFMS A is denoted by

{{x : (иа (х),иа (х),иа (x),...,ha (x)),

(v'a (x), v'a (x), v'a (x),..., Va (x))):xeX}.

We arrange the membership sequence in decreasing order but the corresponding nonmembership sequence may not be in decreasing or increasing order.

3. Intuitionistic Fuzzy Planar Graphs

We first introduce the notion of an intuitionistic fuzzy multigraph using the concept of an intuitionistic fuzzy multiset.

Table 1

a b с d

Иа 0.5 0.4 0.5 0.4

va 0.3 0.4 0.3 0.4

ab ab ab be bd

Ив 0.2 0.1 0.2 0.3 0.1

vb 0.2 0 0.2 0.3 0.2

a(0.5, 0.3)

(0.2, 0.2)

(0.1, 0) °.4)

(03> 03) c(0.5, 0.3) (0Л>Л2)

(0.2, 0.2)

d(0.4, 0.4)

Figure 1: Intuitionistic fuzzy multigraph.

Definition 1. Let A = (иА, va) be an intuitionistic fuzzy set on V and let

В = {(xy, ^B(xy)i, vB(xy)i) ,i= 1,2,... ,m l xy e V x V}

be an intuitionistic fuzzy multiset of V x V such that

Hb(xy)i < min {Иа (x) , И а (У)}, Vb(xy)i < max {]' (x), va (y)}

for all i = 1,2,... ,m. Then G is called an intuitionistic fuzzy multigraph.

Note that there may be more than one edge between the vertices x and y. ^B(xy)i, vB(xy)t represent the membership value and nonmembership value of the edge xy in G, respectively. m denotes the number of edges between the vertices. In intuitionistic fuzzy multigraph G, В is said to be intuitionistic fuzzy multiedge set.

Example 2. Consider a multigraph G* = (V,E) such that V = {a, b, c, d}, E = {ab, ab, ab, be, bd}. Let A = (иА, va) be an intuitionistic fuzzy set of V and let В = (ив, vb) be an intuitionistic fuzzy multiedge set of V x V defined by Table 1 and Figure 1.

By routine computations, it is easy to see from Figure 1 that it is an intuitionistic fuzzy multigraph.

Definition 3. Let В = {(xy, nB(xy)i, vB(xy)i), i = 1,2,...,m l xy e V x V} be an intuitionistic fuzzy multiedge set in intuitionistic fuzzy multigraph G. The degree of a vertex x e V is denoted by deg (x) and is defined by deg (x) = (iZi Ив(ху)^ !Zi vB(xy)i) for aU y e V.

Table 2 (a)

a b c d e

Va 0.5 0.4 0.3 0.6 0.6

]a 0.2 0.1 0.1 0.2 0.1

ab ac ad ad be bd cd ae ce de be

Vb 0.2 0.2 0.2 0.3 0.2 0.2 0.2 0.2 0.2 0.2 0.2

]b 0.1 0.1 0.1 0.1 0.1 0.1 0.1 0.1 0.1 0.1 0.1

(0.4.03)

a(0.4,0.2)

c(0.4,0.3)

(0.4, 0.3)

Figure 2: Intuitionistic fuzzy complete multigraph.

Example 4. In Example 2, degrees of the vertices a, b, c, d are deg (a) = (0.5,0.4), deg (b) = (0.9, 0.9), deg (c) = (0.3,0.3), and deg (d) = (0.1,0.2).

Definition 5. Let B = {(xy, ^B(xy)t, vB(xy)i), i = 1,2, ...,m | xy e V x V} be an intuitionistic fuzzy multiedge set in intuitionistic fuzzy multigraph G. A multiedge xy of G is strong if (1/2) min{^A(x), ^A(y)} < pB(xy)^ (1/2) max{vA(x), vA(y)} < vB(xy)t, for all i = 1,2, ...,m.

Definition 6. Let B = {(xy, ^B(xy)t, vB(xy)t), i = 1,2,... ,m I xy e V x V} be an intuitionistic fuzzy multiedge set in intuitionistic fuzzy multigraph G. An intuitionistic fuzzy multigraph G is complete if min{pA(x), pA(y)} = pB(xy)t, max{vA(x), vA(y)} = vB(xy)t, for all i = 1,2, ...,m and for all x,yeV.

Example 7. Consider an intuitionistic fuzzy multigraph G as shown in Figure 2.

By routine computations, it is easy to see from Figure 2 that it is an intuitionistic fuzzy complete multigraph.

Definition 8. Strength of the intuitionistic fuzzy edge ab can be measured by the value

4b = (Mah,Nah)

vB(ab)t

min (a), (b))' max (vA (a), vA (b))

Definition 9. Let G be an intuitionistic fuzzy multigraph. An edge ab is said to be intuitionistic fuzzy strong if Mab > 0.5 or Nab < 0.5, otherwise weak.

Definition 10. Let G be an intuitionistic fuzzy multigraph and let B contain two edges (ab,^B(ab)i, vB(ab)i) and (cd,^B(cd)p vB(cd)j) which are intersected at a point P,

where i and j are fixed integers. We define the intersecting value at the point P by

I = (MP,NP) = (

Mab + Mcd Nab +Ncd

If the number of points of intersections in an intuitionistic fuzzy multigraph increases, planarity decreases. Thus for intuitionistic fuzzy multigraph, IP is inversely proportional to the planarity. We now introduce the concept of an intu-itionistic fuzzy planar graph.

Definition 11. Let G be an intuitionistic fuzzy multigraph and let P1, P2,..., Pz be the points of intersections between the edges for a certain geometrical representation; G is said to be an intuitionistic fuzzy planar graph with intuitionistic fuzzy planarity value f = (fM, fN), where

f=(fM,fN)

1 + {MPi + MPi + ■ ■ ■ + MP} '

1 + {Npi +Np2 + + })'

Clearly, f = (fM, fN) is bounded and 0 < M^ < 1; N^ is 0 < Nj < 1. If there is no point of intersection for a certain geometrical representation of an intuitionistic fuzzy planar graph, then its intuitionistic fuzzy planarity value is (1,1). In this case, the underlying crisp graph of this intuitionistic fuzzy graph is the crisp planar graph. If fM decreases and fN increases, then the number of points of intersection between the edges increases and decreases, respectively, and the nature of planarity decreases and decreases, respectively. We conclude that every intuitionistic fuzzy graph is an intuitionistic fuzzy planar graph with certain intuitionistic fuzzy planarity value.

Example 12. Consider a multigraph G* = (V, E) such that V = {a, b, c, d, e},

E = {ab, ac, ad, ad, be, bd, cd, ce, ae, de, be}. (11)

Let A = (/aa, vA) be an intuitionistic fuzzy of V and let B = (pB, vB) be an intuitionistic fuzzy multiedge set of VxV defined by Table 2.

a( 0.5,0.2) (0.2, 0.1) b(0.4,0.1)

(0.2, 0.1)

(0.2, 0.1)

.6/0.2) e(0.6, 0.1)

Figure 3: Intuitionistic fuzzy planar graph.

The intuitionistic fuzzy multigraph as shown in Figure 3 has two points of intersections P1 and P2. P1 is a point between the edges (ad, 0.2, 0.1) and (be, 0.2, 0.1) and P2 is between (ad,0.3,0.1) and (be,0.2,0.1). For the edge (ad,0.2,0.1), Iad = (0.4,0.5), For the edge (ad,0.3,0.1), Iad = (0.6,0.5), and for the edge (be,0.2,0.1), Ihc = (0.6667,1). For the first point of intersection P1, intersecting value 1P is (0.5335, 0.75) and that for the second point of intersection P2,1P = (0.63335,0.75). Therefore, the intuitionistic fuzzy planarity value for the intuitionistic fuzzy multigraph shown in Figure 3 is (0.461,0.4).

Intuitionistic fuzzy planarity value for the intuitionistic fuzzy complete multigraph is calculated from Theorem 13.

Theorem 13. Let G be an intuitionistic fuzzy complete multigraph. The intuitionistic fuzzy planarity value f = (Mf,Nf) ofG isgivenby Mf = 1/(1 + np) and Nf = 1/(1 + np) suchthat Mf + Nj < 1, where np is the number of points of intersections between the edges in G.

Definition 14. An intuitionistic fuzzy planar graph G is called strong intuitionistic fuzzy planar graph if the intuitionistic fuzzy planarity value f = (Mf, Nf) of the graph is Mf > 0.5, Nf < 0.5.

Theorem 15. Let G be a strong intuitionistic fuzzy planar graph. The number of points of intersections between strong edges in G is at most one.

Proof. Let G be a strong intuitionistic fuzzy planar graph. Assume that G has at least two points of intersections P1 and P2 between two strong edges in G. For any strong edge (ab,^B(ab)i, vB(ab)i),

VB(ah)i > 2 min (a), Va (h)},

VB(ab)i < 1 max {va (a), Va (b)}.

This shows that Mah > 0.5 or Nah < 0.5. Thus for two intersecting strong edges (ab,^B(ab)i, vB(ab)i) and (ed,

^b(cd)j, Vb(cd)j),

Mah + Mcd 2

> 0.5,

Nah + Ncd 2

that is, MPi > 0.5, NPi < 0.5. Similarly, MPi > 0.5, NPi < 0.5. This implies that 1 + MP + MPi >2, 1 + NP + N,P2 < 2. Therefore, fM = 1/(1 + MP\ MPi) < 0.5, fN2 = 1/(1 + NPi + NPi) > 0.5. It contradicts the fact that the intuitionistic fuzzy graph is a strong intuitionistic fuzzy planar graph. Thus number of points of intersections between strong edges can not be two. Obviously, if the number of points of intersections of strong intuitionistic fuzzy edges increases, the intuitionistic fuzzy planarity value decreases. Similarly, if the number of points of intersection of strong edges is one, then the intuitionistic fuzzy planarity value Mf > 0.5, Nf < 0.5. Any intuitionistic fuzzy planar graph without any crossing between edges is a strong intuitionistic fuzzy planar graph. Thus, we conclude that the maximum number of points of intersections between the strong edges in G is one. □

Theorem 16. Let G be an intuitionistic fuzzy planar graph with intuitionistic fuzzy planarity value f = (Mf,Nf). If Mf > 0.67, Nf < 0.33, G do not contain any point of intersection between two strong edges.

Definition 17. Let G be an intuitionistic fuzzy graph. Let 0 < c < 0.5 be a rational number. An edge xy is said to considerable edge if

Vb (xy)

min W M^a (y)}

vb (xy)

max {va (x), Va (y)}

If an edge is not considerable, it is called nonconsiderable edge. For intuitionistic fuzzy multigraph G, a multiedge xy is said to be considerable edge if Mxy > c, Nxy < c, for each edge xy in G.

Remark 18. Let 0 < c < 0.5 be a rational number.

If (fa(xy)/min[^A(x),^A(y)}) > c, (vB(xy)/maxj^M,

pA(y)}) < c for all edges xy of an intuitionistic fuzzy graph G, then the number c is said to be considerable number of the intuitionistic fuzzy graph. Considerable number of an intuitionistic fuzzy graph may not be unique, but it is countable. Clearly, for a specific value of c, a set of considerable edges is obtained and for different values of c one can obtain different sets of considerable edges. Actually, c is a preassigned number for a specific application.

Theorem 19. Let G be a strong intuitionistic fuzzy planar graph with considerable number c. The number of points of intersections between considerable edges in G is at most [1/c] (or 1/C-1).

Proof. Let G be a strong intuitionistic fuzzy planar graph, where E = j(xy,^B(xy)i, vB(xy)i),i = 1,2,...,m | xy e V x V}. Let 0 < c < 0.5 be the considerable number and let f = (Mf, Nf) be the intuitionistic fuzzy planarity value. For any considerable edge (ab, ^B(ab)i, vB(ab)i),

< 0.5;

pB(ab)i >cx min {^ (a), ^ (b)}, vB(ab)i < c x max {va (a), va (b)}.

This shows that Mab > c, Nab < c. Let P1,P2,...,Pn be the n points of intersections between considerable edges. Then for the point P1 between two intersecting considerable edges (ab, ^B(ab)i, vB(ab)i) and (cd, pB(cd)j, vB(cd)j), MP = (Mab + Mcd)/2 > c, NPi = (Nab + Ncd)/2 < c. So ^ M^ > nxc, NP < nxc. Hence Mf < 1/(1+пс), Nf > 1/(1+nc). As G is strong intuitionistic fuzzy planar graph, 0.5 < Mf < 1/(1 + nc), 0.5 > Nf > 1/(1 + nc). Hence 0.5 < 1/(1 + nc). This implies n < 1/c. This inequality will be satisfied for some integral values of n which are obtained from the following expression:

if - is not an integer L С J С

— 1, if - is an integer.

Face of an intuitionistic fuzzy planar graph is an important parameter. Face of an intuitionistic fuzzy graph is a region bounded by intuitionistic fuzzy edges. Every intuitionistic fuzzy face is characterized by intuitionistic fuzzy edges in its boundary If all the edges in the boundary of an intuitionis-tic fuzzy face have membership and nonmembership values 1 and 0, respectively it becomes crisp face. If one of such edges is removed or has membership and nonmembership values 0 and 1, respectively, the intuitionistic fuzzy face does not exist. So the existence of an intuitionistic fuzzy face depends on the minimum value of strength of intuitionistic fuzzy edges in its boundary. A intuitionistic fuzzy face and its membership values and nonmembership values of an intuitionistic fuzzy graph are defined below.

Definition 20. Let G be an intuitionistic fuzzy planar graph and Б = [(xy, ^B(xy)i, vB(xy)i),i = 1,2,...,m | xy e Fx V}. An intuitionistic fuzzy face of G is a region, bounded by the set of intuitionistic fuzzy edges E' с E, of a geometric representation of G. The membership and nonmembership values of the intuitionistic fuzzy face are

^b(xy)i

min W (Х),Иа (У)}

vb(xy)i

max [vA (x), vA (y)}

,i = 1,2,

,i=1,2,..

xy e E'

xy e E'

Definition 21. An intuitionistic fuzzy face is called strong intuitionistic fuzzy face if its membership value is greater than 0.5 or nonmembership value is less than 0.5, and weak face otherwise. Every intuitionistic fuzzy planar graph has an infinite region which is called outer intuitionistic fuzzy face. Other faces are called inner intuitionistic fuzzy faces.

Example 22. Consider an intuitionistic fuzzyplanar graph as shown in Figure 4. The intuitionistic fuzzy planar graph has the following faces:

(i) intuitionistic fuzzy face F1 is bounded by the edges (v1v2, 0.5,0.1), (v2v3, 0.6,0.1), and (v1v3, 0.5,0.1);

(0.5, 0.1)

v1 (0.6,0.3) (0.5, 0.1) v2(0.7, 0.3)

(0.5, 0.1)

(0.6, 0.1)

v3(0.8, 0.1) v4 (0.7,0.1)

Figure 4: Faces in intuitionistic fuzzy planar graph.

(ii) outer intuitionistic fuzzy face F2 is surrounded by edges (v1v3, 0.5,0.1), (v1v4,0.5,0.1), (v2v4,0.6,0.1), and (v2v3, 0.6, 0.1);

(iii) intuitionistic fuzzy face F3 is bounded by the edges (v1 v2, 0.5,0.1), (v2v4, 0.6,0.1), and (v1v4, 0.5,0.1).

Clearly, the membership value and nonmembership value of an intuitionistic fuzzy face F1 are 0.833 and 0.333, respectively. The membership value and nonmembership value of an intuitionistic fuzzy face F3 are also 0.833 and 0.333, respectively. Thus F1 and F3 are strong intuitionistic fuzzy faces.

We now introduce dual of intuitionistic fuzzy planar graph. In intuitionistic fuzzy dual graph, vertices are corresponding to the strong intuitionistic fuzzy faces of the intuitionistic fuzzy planar graph and each intuitionistic fuzzy edge between two vertices is corresponding to each edge in the boundary between two faces of intuitionistic fuzzy planar graph. The formal definition is given below.

Definition 23. Let G be an intuitionistic fuzzy planar graph and let

Б = {(xy, ^B(xy)i, vB(xy)i) ,i= 1,2,... ,m I xy e V x V}.

Let F1,F2,...,Fk be the strong intuitionistic fuzzy faces of G. The intuitionistic fuzzy dual graph of G is an intuitionistic fuzzy planar graph G' = (V', A', B'), where V' = [xi,i = 1,2,... ,k}, and the vertex xi of G' is considered for the face Fi of G. The membership and nonmembership values of vertices are given by the mapping A1 = (pAi, vAi ) : V' ^ [0,1] x [0,1] suchthat (xi) = max[pBi (uv)i, i = 1,2, ...,p | uv is an edge of the boundary of the strong intuitionistic fuzzy face Fi}, and vAi (xi) = min[vB/ (uv)i, i = 1,2,..., p I uv is an edge of the boundary of the strong intuitionistic fuzzy face Fi}.

There may exist more than one common edge between two faces Fi and Fj of G. Thus there may be more than one edge between two vertices xi and Xj in intuitionistic fuzzy

~--- / -M

Figure 5: Intuitionistic fuzzy dual graph.

dual graph G'. Let (XjXj) denote the membership value of the Zth edge between xi and Xj, and v^XjXj) denote the nonmembership value of the Zth edge between xt and Xj. The membership and nonmembership values of the intuitionistic fuzzy edges of the intuitionistic fuzzy dual graph are given by

(xiXj)l = plB(mv);-, vbi(xiXj)l = v1b(uv)j where (wv) is an edge in the boundary between two strong intuitionistic fuzzy

faces F; and Fj and I = 1,2,___,5, where s is the number of

common edges in the boundary between F; and Fj or the number of edges between xt and Xj. If there is any strong pendant edge in the intuitionistic fuzzy planar graph, then there will be a self-loop in G' corresponding to this pendant edge. The edge membership and nonmembership value of the self-loop is equal to the membership and nonmembership value of the pendant edge. Intuitionistic fuzzy dual graph of intuitionistic fuzzy planar graph does not contain point of intersection of edges for a certain representation, so it is intuitionistic fuzzy planar graph with planarity value (1,1). Thus the intuitionistic fuzzy face of intuitionistic fuzzy dual graph can be similarly described as in intuitionistic fuzzy planar graphs.

Example 24. Consider an intuitionistic fuzzy planar graph G = (V, A, £) as shown in Figure 5 such that V = (fl, fc, c, d}, A = (a, 0.6,0.2), (fc, 0.7,0.2), (c, 0.8,0.2), (d, 0.9,0.l), and B = ((flfc, 0.5,0.01), (ac, 0.4,0.01), (ad, 0.55, 0.01), (fcc, 0.45, 0.01), (fcc, 0.6, 0.01), (cd, 0.7, 0.01)j

The intuitionistic fuzzy planar graph has the following faces:

(i) intuitionistic fuzzy face F1 is bounded by (flfc, 0.5,0.01), (ac, 0.4, 0.01), (fcc, 0.45,0.01),

(ii) intuitionistic fuzzy face F2 is bounded by (ad, 0.55, 0.01), (cd, 0.7,0.01), (ac, 0.4,0.01),

(iii) intuitionistic fuzzy face F3 is bounded by (fcc, 0.45,0.01), (fcc, 0.6, 0.01),

(iv) outer intuitionistic fuzzy face F4 is surrounded by (flfc, 0.5,0.01), (fcc, 0.6,0.01), (cd, 0.7,0.01), (ad, 0.55, 0.01).

Routine calculations show that all faces are strong intuition-istic fuzzy faces. For each strong intuitionistic fuzzy face, we

consider a vertex for the intuitionistic fuzzy dual graph. So the vertex set V = (x1 j, where the vertex x{ is

taken corresponding to the strong intuitionistic fuzzy face F;, i = 1,2,3,4. Thus

(x1) = max (0.5,0.4,0.45} = 0.5, (x2) = max (0.55,0.7,0.4} = 0.7, vA, (x1) = min (0.01, 0.01,0.01} = 0.01, vA, (x2) = min (0.01, 0.01,0.01} = 0.01, (x3) = max (0.45,0.6} = 0.6, (x4) = max (0.5,0.6,0.7, 0.55} = 0.7, vA, (x3) = min (0.01, 0.01} = 0.01, vA, (%4) = min (0.01,0.01, 0.01,0.01} = 0.01.

There are two common edges ad and cd between the faces F2 and F4 in G. Hence between the vertices x2 and x4, there exist two edges in the intuitionistic fuzzy dual graph of G. Membership and nonmembership values of these edges are given by

pBi (x2x4) = (cd) = 0.7, pBi (x2x4) = (ad) = 0.55, vB> (x2x4) = vB (cd) = 0.01, vBi (x2x4) = vB (ad) = 0.01.

The membership and nonmembership values of other edges of the intuitionistic fuzzy dual graph are calculated as

VB> (*I*B) = FB (fcc) = 0.45,

FB' (xlx2) ) = (ac) = = 0.4,

(x1x4) 1 = (flfc) = 0.5,

PB' (x3x4) ) = (fee) = = 0.6,

VB, (Xi^3) = Fb (fee) = 0.01,

VB, (Xi^2) = vb (ac) = 0.01,

vb' (^1^4) = VB (flfe) = 0.01,

vb' (^3^4) = ve (fee) = 0.01.

Thus the edge set of intuitionistic fuzzy dual graph is B' = |(x1 %3,0.45, 0.01), (x1 %2,0.4, 0.01), {x1xi, 0.5,0.01),

(x3x4,0.6,0.01), (x2x4, 0.7,0.01), (x2x4, 0.55,0.01)}.

In Figure 5, the intuitionistic fuzzy dual graph G' = (V', A', £') of G is drawn by dotted line.

Weak edges in planar graphs are not considered for any calculation in intuitionistic fuzzy dual graphs. We state the following theorems without their proofs.

Theorem 25. Let G be an intuitionistic fuzzy planar graph whose number of vertices, number of intuitionistic fuzzy edges, and number of strong faces are denoted by n, p, m, respectively. Let G' be the intuitionistic fuzzy dual graph of G. Then

(i) the number of vertices of G' is equal to m,

(ii) number of edges of G' is equal to p,

(iii) number of intuitionistic fuzzy faces of G' is equal to n.

Theorem 26. Let G = (V,A,B) be an intuitionistic fuzzy planar graph without weak edges and let the intu-itionistic fuzzy dual graph of G be G' = (V',A',B'). The membership and nonmembership values of intuitionistic fuzzy edges of G' are equal to membership and nonmembership values of the intuitionistic fuzzy edges of G.

We now study isomorphism between intuitionistic fuzzy planar graphs.

Definition 27. Let Gi and G2 be intuitionistic fuzzy graphs. An isomorphism f : Gi ^ G2 is a bijective mapping f : V1 ^ V2 which satisfies the following conditions:

(c) Ha, (xi) = Va2(f(xi)), vAi (Xi) = vAi(f(Xi)),

(d) Vb, (xi7i) = Vb2 (f(xi)f(yi)), ]Bl (xi7i) = % (f(xi)f(yi)),

for all xi e Vi, xiyi e Ei.

Definition 28. Let Gi and G2 be intuitionistic fuzzy graphs. Then, a weak isomorphism f : Gi ^ G2 is a bijective mapping f : Vi ^ V2 which satisfies the following conditions:

(e) f is homomorphism,

(f) Va,^ = Va2(f(xi^ va,(xi) = va2(f(x1)), for all xi eVi.

Definition 29. Let Gi and G2 be the intuitionistic fuzzy graphs. A co-weak isomorphism f : Gi ^ G2 is a bijective mapping f :Vi ^ V2 which satisfies that

(g) f is homomorphism,

(h) (Xiyi) = pBi (f(Xl)f(Уl)), vBi (Xiyi) =

(f(xi)f(yi)),

for all xiyi e Vi.

It is known that isomorphism between intuitionistic fuzzy graphs is an equivalence relation. If there is an isomorphism between two intuitionistic fuzzy graphs such that one is an intuitionistic fuzzy planar graph, then the other will be intuitionistic fuzzy graph. We state the following result without its proof.

Theorem 30. Let G be an intuitionistic fuzzy planar graph and let H be an intuitionistic fuzzy graph. If there exists an isomorphism f : G ^ H, H can be drawn as intuitionistic fuzzy planar graph with same planarity value of G.

Two intuitionistic fuzzy planar graphs with same number of vertices may be isomorphic. But the relations between intuitionistic fuzzy planarity values of two intuitionistic fuzzy planar graphs may have the following relations.

Theorem 31. Let Gi and G2 be two isomorphic intuitionistic fuzzy graphs with intuitionistic fuzzy planarity values fi and f2, respectively Then fi = f2.

Theorem 32. Let Gi and G2 be two weak isomorphic intuitionistic fuzzy graphs with intuitionistic fuzzy planarity values fi and f2, respectively. fi = f2 if the edge membership and nonmembership values of corresponding intersecting edges are same.

Theorem 33. Let Gi and G2 be two co-weak isomorphic intuitionistic fuzzy graphs with intuitionistic fuzzy planarity values fi and f2, respectively. fi = f2 if the minimum of membership values and maximum of nonmembership values of the end vertices of corresponding intersecting edges are same.

4. Conclusions

Graph theory has numerous applications to problems in systems analysis, operations research, economics, and transportation. However, in many cases, some aspects of a graph-theoretic problem may be vague or uncertain. It is natural to deal with the vagueness and uncertainty using the methods of fuzzy sets. Since intuitionistic fuzzy set has shown advantages in handling vagueness and uncertainty compared to fuzzy set, we have applied the concept of intuitionistic fuzzy sets to multigraphs and planar graphs in this paper. The natural extension of this research work is application of intuitionistic fuzzy planar graphs in the area of applied soft computing including neural networks, decision making, and geographical information systems. We plan to extend our research of fuzzification to (1) soft fuzzy planar graphs, (2) roughness in planar graphs, (3) vague planar graphs, and (4) bipolar fuzzy planar graphs.

Conflict of Interests

The authors declare that they do not have any conflict of interests regarding the publication of this paper.

Acknowledgment

This project was funded by the Deanship of Scientific Research (DSR), King Abdulaziz University, Jeddah, under Grant no. (111/363/1434). The authors therefore acknowledge with thanks DSR technical and financial support.

References

[1] N. Abdul-Jabbar, J. H. Naoom, and E. H. Ouda, "Fuzzy dual graph," Journal of Al-Nahrain University, vol. 12, no. 4, pp. 168— 171, 2009.

[2] A. Pal, S. Samanta, and M. Pal, "Concept of fuzzyplanar graphs," in Proceedings of the Science and Information Conference, pp.

557-563, London, UK, October 2013.

[3] S. Samanta, M. Pal, and A. Pal, "New concepts of fuzzy planar graph," International Journal of Advanced Research in Artificial Intelligence, vol. 3, no. 1, pp. 52-59, 2014.

[4] L. A. Zadeh, "Fuzzy sets," Information and Computation, vol. 8, pp. 338-353,1965.

[5] K. T. Atanassov, Intuitionistic Fuzzy Sets, VII ITKR's Session, Sofia, Central Science and Technical Library, Bulgarian Academy of Sciences 1697/84,1983 (Bulgarian).

[6] A. Kauffman, Introduction a la Theorie des Sous-Emsembles Flous, vol. 1, Masson et Cie, 1973.

[7] L. A. Zadeh, "Similarity relations and fuzzy orderings," Information Sciences, vol. 3, no. 2, pp. 177-200,1971.

[8] A. Rosenfeld, "Fuzzy graphs," in Fuzzy Sets and Their Applications, L. A. Zadeh, K. S. Fu, and M. Shimura, Eds., pp. 77-95, Academic Press, New York, NY, USA, 1975.

[9] P. Bhattacharya, "Some remarks on fuzzy graphs," Pattern Recognition Letters, vol. 6, no. 5, pp. 297-302,1987.

[10] J. N. Mordeson and P. S. Nair, Fuzzy Graphs and Fuzzy Hypergraphs, vol. 46 of Studies in Fuzziness and Soft Computing, Physica, Heidelberg, Germany, 2000.

[11] M. S. Sunitha and A. Vijaya Kumar, "Complement of a fuzzy graph," Indian Journal of Pure and Applied Mathematics, vol. 33, no. 9, pp. 1451-1464, 2002.

[12] A. Shannon and K. T. Atanassov, "A first step to a theory of the intuitionistic fuzzy graphs," in Proceeding of the FUBEST, D. Lakov, Ed., pp. 59-61, Sofia, Bulgaria, September 1994.

[13] A. Shannon and K. Atanassov, "Intuitionistic fuzzy graphs from a-, ß- and (a,b)-levels," Notes on Intuitionistic Fuzzy Sets, vol. 1, no. 1, pp. 32-35, 1995.

[14] R. Parvathi, M. G. Karunambigai, and K. T. Atanassov, "Operations on intuitionistic fuzzy graphs," in Proceedings of the IEEE International Conference on Fuzzy Systems (FUZZ-IEEE '09), pp. 1396-1401, August 2009.

[15] M. Akram and W. A. Dudek, "Intuitionistic fuzzy hypergraphs with applications," Information Sciences, vol. 218, pp. 182-193, 2013.

[16] M. Akram and B. Davvaz, "Strong intuitionistic fuzzy graphs," Filomat, vol. 26, no. 1, pp. 177-196, 2012.

[17] M. Akram and N. O. Al-Shehri, "Intuitionistic fuzzy cycles and intuitionistic fuzzy trees," The Scientific World Journal, vol. 2014, Article ID 305836, 11 pages, 2014.

[18] M. Akram, N. O. Alshehri, and W. A. Dudek, "Certain types of interval-valued fuzzy graphs," Journal of Applied Mathematics, vol. 2013, Article ID 857070, 11 pages, 2013.

[19] K. T. Atanassov, Intuitionistic Fuzzy Sets: Theory and Applications, Studies in Fuzziness and Soft Computing, Physica, Heidelberg, Germany, 2012.

[20] U. Cerruti, "Graphs and fuzzy graphs," in Fuzzy Information and Decision Processes, M. M. Gupta, Ed., pp. 123-131, Northholland, 1982.

[21] C. Eslahchi and B. N. Onagh, "Vertex-strength of fuzzy graphs," International Journal of Mathematics and Mathematical Sciences, vol. 2006, Article ID 43614, 9 pages, 2006.

[22] S. Mathew and M. S. Sunitha, "Types of arcs in a fuzzy graph," Information Sciences, vol. 179, no. 11, pp. 1760-1768, 2009.

[23] J. N. Mordeson and C. Peng, "Operations on fuzzy graphs," Information Sciences, vol. 79, no. 3-4, pp. 159-170,1994.

[24] R. Parvathi and M. G. Karunambigai, "Intuitionistic fuzzy graphs," Journal of computational Intelligence: Theory and Applications, vol. 38, pp. 139-150, 2006.

[25] G. Pasi, R. Yager, and K. Atanassov, "Intuitionistic fuzzy graph interpretations of multi-person multi-criteria decision making: Generalized net approach," in Proceedings of the 2nd International IEEE Conference Intelligent Systems, vol. 2, pp. 434-439, June 2004.

[26] F. Riaz and K. M. Ali, "Applications of graph theory in computer science," in Proceedings of the 3rd International Conference on Computational Intelligence, Communication Systems and Networks (CICSyN '11), pp. 142-145, Bali, Indonesia, July 2011.

[27] S. Samanta, M. Akram, and M. Pal, "m-step fuzzy competition graphs," Journal of Applied Mathematics and Computing, 2014.

[28] R. R. Yager, "On the theory of bags," International Journal of General Systems: Methodology, Applications, Education, vol. 13, no. 1, pp. 23-37, 1986.

[29] T. K. Shinoj and S. J. John, "Intuitionistic fuzzy multisets and its application in medical diagnosis," World Academy of Science, Engineering and Technology, vol. 6, no. 1, pp. 1418-1421, 2012.

Copyright of Discrete Dynamics in Nature & Society is the property of Hindawi Publishing Corporation and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use.