Abstract

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,” “highly congested” routes, and so forth. These terms are called 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 [13].

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 . 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. [1518] 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, 1927].

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 , where is the set and is a relation on . The elements of are vertices of and the elements of are edges of . We write to mean , and if , we say and are adjacent. Formally, given a graph , two vertices are said to be neighbors, or adjacent nodes, if . The number of vertices, the cardinality of , is called the order of graph and denoted by . The number of edges, the cardinality of , 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 is planar if it can be drawn in the plane with its edges only intersecting at vertices of . 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 is the total length of the closed walk(s) in 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 is a graph that has a vertex corresponding to each face of and an edge joining two neighboring faces for each edge in . The term “dual” is used because this property is symmetric, meaning that if is a dual of , then is a dual of (if is connected).

Let be a nonempty set. A fuzzy set [4] drawn from is defined as , where is the membership function of the fuzzy set . A fuzzy binary relation [7] on is a fuzzy subset on . By a fuzzy relation, we mean a fuzzy binary relation given by . A fuzzy graph [6] is a nonempty set together with a pair of functions and such that, for all , , where and represent the membership values of the vertex and of the edge in , respectively. A loop at a vertex in a fuzzy graph is represented by . An edge is nontrivial if . Let be a fuzzy graph and, for a certain geometric representation, the graph has only one crossing between two fuzzy edges and . If and , then we say that the fuzzy graph has no crossing. Similarly, if has value near to and has value near to , the crossing will not be important for the planarity. If has value near to and has value near to , then the crossing becomes very important for the planarity.

Let be a nonempty set. A fuzzy multiset [28] drawn from is characterized by a function, “count membership” of denoted by such that , where is the set of all crisp multisets drawn from the unit interval . Then for any , the value is a crisp multiset drawn from . For each , the membership sequence is defined as the decreasingly ordered sequence of elements in . It is denoted by where .

Let be a nonempty set and a mapping and let be a fuzzy multiset of such that for all , where . Then is denoted as fuzzy multigraph [2] where and represent the membership value of the vertex and the membership value of the edge in , 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 is an object of the form where is called degree of membership of in and is called degree of nonmembership of in , and , satisfies the following condition for all , . An intuitionistic fuzzy relation in a universe , for short) is an intuitionistic fuzzy set of the form where and . The intuitionistic fuzzy relation satisfies for all . An intuitionistic fuzzy graph is a pair where is an intuitionistic fuzzy set in and is an intuitionistic fuzzy relation on such that such that for all .

Let be a nonempty set. An intuitionistic fuzzy multiset (IFMS) [29] drawn from is characterized by two functions: “count membership” of () and “count nonmembership” of () given by and where is the set of all crisp multisets drawn from the unit interval such that, for each , the membership sequence is defined as a decreasingly ordered sequence of elements in which is denoted by where and the corresponding nonmembership sequence will be denoted by such that for all and . An IFMS is denoted by

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.

Definition 1. Let be an intuitionistic fuzzy set on and let be an intuitionistic fuzzy multiset of such that for all . Then is called an intuitionistic fuzzy multigraph.

Note that there may be more than one edge between the vertices and . , represent the membership value and nonmembership value of the edge in , respectively. denotes the number of edges between the vertices. In intuitionistic fuzzy multigraph , is said to be intuitionistic fuzzy multiedge set.

Example 2. Consider a multigraph such that , . Let be an intuitionistic fuzzy set of and let be an intuitionistic fuzzy multiedge set of 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 be an intuitionistic fuzzy multiedge set in intuitionistic fuzzy multigraph . The degree of a vertex is denoted by and is defined by for all .

Example 4. In Example 2, degrees of the vertices are , , , and .

Definition 5. Let be an intuitionistic fuzzy multiedge set in intuitionistic fuzzy multigraph . A multiedge of is strong if , , for all .

Definition 6. Let be an intuitionistic fuzzy multiedge set in intuitionistic fuzzy multigraph . An intuitionistic fuzzy multigraph is complete if , , for all and for all .

Example 7. Consider an intuitionistic fuzzy multigraph 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 can be measured by the value

Definition 9. Let be an intuitionistic fuzzy multigraph. An edge is said to be intuitionistic fuzzy strong if or , otherwise weak.

Definition 10. Let be an intuitionistic fuzzy multigraph and let contain two edges and which are intersected at a point , where and are fixed integers. We define the intersecting value at the point by

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

Definition 11. Let be an intuitionistic fuzzy multigraph and let be the points of intersections between the edges for a certain geometrical representation; is said to be an intuitionistic fuzzy planar graph with intuitionistic fuzzy planarity value , where

Clearly, is bounded and ; is . 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 . In this case, the underlying crisp graph of this intuitionistic fuzzy graph is the crisp planar graph. If decreases and 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 such that , Let be an intuitionistic fuzzy of and let be an intuitionistic fuzzy multiedge set of defined by Table 2.
The intuitionistic fuzzy multigraph as shown in Figure 3 has two points of intersections and . is a point between the edges and and is between and . For the edge , , For the edge , , and for the edge , . For the first point of intersection , intersecting value is and that for the second point of intersection . Therefore, the intuitionistic fuzzy planarity value for the intuitionistic fuzzy multigraph shown in Figure 3 is .

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

Theorem 13. Let be an intuitionistic fuzzy complete multigraph. The intuitionistic fuzzy planarity value of is given by and such that , where is the number of points of intersections between the edges in .

Definition 14. An intuitionistic fuzzy planar graph is called strong intuitionistic fuzzy planar graph if the intuitionistic fuzzy planarity value of the graph is , .

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

Proof. Let be a strong intuitionistic fuzzy planar graph. Assume that has at least two points of intersections and between two strong edges in . For any strong edge , This shows that or . Thus for two intersecting strong edges and , that is, , . Similarly, , . This implies that , . Therefore, , . 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 , . 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 is one.

Theorem 16. Let be an intuitionistic fuzzy planar graph with intuitionistic fuzzy planarity value . If , , do not contain any point of intersection between two strong edges.

Definition 17. Let be an intuitionistic fuzzy graph. Let be a rational number. An edge is said to considerable edge if If an edge is not considerable, it is called nonconsiderable edge. For intuitionistic fuzzy multigraph , a multiedge is said to be considerable edge if , , for each edge in .

Remark 18. Let be a rational number. If , for all edges of an intuitionistic fuzzy graph , then the number 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 , a set of considerable edges is obtained and for different values of one can obtain different sets of considerable edges. Actually, is a preassigned number for a specific application.

Theorem 19. Let be a strong intuitionistic fuzzy planar graph with considerable number . The number of points of intersections between considerable edges in is at most or .

Proof. Let be a strong intuitionistic fuzzy planar graph, where . Let be the considerable number and let be the intuitionistic fuzzy planarity value. For any considerable edge , This shows that , . Let be the points of intersections between considerable edges. Then for the point between two intersecting considerable edges and , , . So , . Hence , . As is strong intuitionistic fuzzy planar graph, , . Hence . This implies . This inequality will be satisfied for some integral values of which are obtained from the following expression:

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 intuitionistic 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 be an intuitionistic fuzzy planar graph and . An intuitionistic fuzzy face of is a region, bounded by the set of intuitionistic fuzzy edges , of a geometric representation of . The membership and nonmembership values of the intuitionistic fuzzy face are

Definition 21. An intuitionistic fuzzy face is called strong intuitionistic fuzzy face if its membership value is greater than 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 fuzzy planar graph as shown in Figure 4. The intuitionistic fuzzy planar graph has the following faces: (i)intuitionistic fuzzy face is bounded by the edges , , and ;(ii)outer intuitionistic fuzzy face is surrounded by edges , , , and ;(iii)intuitionistic fuzzy face is bounded by the edges , , and .Clearly, the membership value and nonmembership value of an intuitionistic fuzzy face are 0.833 and 0.333, respectively. The membership value and nonmembership value of an intuitionistic fuzzy face are also 0.833 and 0.333, respectively. Thus and 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 be an intuitionistic fuzzy planar graph and let Let be the strong intuitionistic fuzzy faces of . The intuitionistic fuzzy dual graph of is an intuitionistic fuzzy planar graph , where , and the vertex of is considered for the face of . The membership and nonmembership values of vertices are given by the mapping such that , is an edge of the boundary of the strong intuitionistic fuzzy face , and , is an edge of the boundary of the strong intuitionistic fuzzy face .

There may exist more than one common edge between two faces and of . Thus there may be more than one edge between two vertices and in intuitionistic fuzzy dual graph . Let denote the membership value of the th edge between and , and denote the nonmembership value of the th edge between and . The membership and nonmembership values of the intuitionistic fuzzy edges of the intuitionistic fuzzy dual graph are given by , where is an edge in the boundary between two strong intuitionistic fuzzy faces and and , where is the number of common edges in the boundary between and or the number of edges between and . If there is any strong pendant edge in the intuitionistic fuzzy planar graph, then there will be a self-loop in 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 . 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 as shown in Figure 5 such that , , and

The intuitionistic fuzzy planar graph has the following faces:(i)intuitionistic fuzzy face is bounded by ,(ii)intuitionistic fuzzy face is bounded by ,(iii)intuitionistic fuzzy face is bounded by ,(iv)outer intuitionistic fuzzy face is surrounded by , , , .Routine calculations show that all faces are strong intuitionistic fuzzy faces. For each strong intuitionistic fuzzy face, we consider a vertex for the intuitionistic fuzzy dual graph. So the vertex set , where the vertex is taken corresponding to the strong intuitionistic fuzzy face , . Thus There are two common edges and between the faces and in . Hence between the vertices and , there exist two edges in the intuitionistic fuzzy dual graph of . Membership and nonmembership values of these edges are given by The membership and nonmembership values of other edges of the intuitionistic fuzzy dual graph are calculated as Thus the edge set of intuitionistic fuzzy dual graph is In Figure 5, the intuitionistic fuzzy dual graph of 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 be an intuitionistic fuzzy planar graph whose number of vertices, number of intuitionistic fuzzy edges, and number of strong faces are denoted by , , , respectively. Let be the intuitionistic fuzzy dual graph of . Then (i)the number of vertices of is equal to ,(ii)number of edges of is equal to ,(iii)number of intuitionistic fuzzy faces of is equal to .

Theorem 26. Let be an intuitionistic fuzzy planar graph without weak edges and let the intuitionistic fuzzy dual graph of be . The membership and nonmembership values of intuitionistic fuzzy edges of are equal to membership and nonmembership values of the intuitionistic fuzzy edges of .

We now study isomorphism between intuitionistic fuzzy planar graphs.

Definition 27. Let and be intuitionistic fuzzy graphs. An isomorphism is a bijective mapping which satisfies the following conditions: , ,, ,for all , .

Definition 28. Let and be intuitionistic fuzzy graphs. Then, a weak isomorphism is a bijective mapping which satisfies the following conditions: is homomorphism,, ,for all .

Definition 29. Let and be the intuitionistic fuzzy graphs. A co-weak isomorphism is a bijective mapping which satisfies that is homomorphism,, ,for all .

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 be an intuitionistic fuzzy planar graph and let be an intuitionistic fuzzy graph. If there exists an isomorphism , can be drawn as intuitionistic fuzzy planar graph with same planarity value of .

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 and be two isomorphic intuitionistic fuzzy graphs with intuitionistic fuzzy planarity values and , respectively. Then .

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

Theorem 33. Let and be two co-weak isomorphic intuitionistic fuzzy graphs with intuitionistic fuzzy planarity values and , respectively. 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.