Strong sum distance in fuzzy graphs

Abstract

In this paper the idea of strong sum distance which is a metric, in a fuzzy graph is introduced. Based on this metric the concepts of eccentricity, radius, diameter, center and self centered fuzzy graphs are studied. Some properties of eccentric nodes, peripheral nodes and central nodes are obtained. A characterisation of self centered complete fuzzy graph is obtained and conditions under which a fuzzy cycle is self centered are established. We have proved that based on this metric, an eccentric node of a fuzzy tree G is a fuzzy end node of G and a node is an eccentric node of a fuzzy tree if and only if it is a peripheral node of G and the center of a fuzzy tree consists of either one or two neighboring nodes. The concepts of boundary nodes and interior nodes in a fuzzy graph based on strong sum distance are introduced. Some properties of boundary nodes, interior nodes and complete nodes are studied.

Introduction

The theory of fuzzy graphs was developed by Rosenfeld (1975) in the year 1975. During the same time Yeh and Bang (1975) have also introduced various connectedness concepts in fuzzy graphs. Rosenfled (1975) introduced the concept of Î¼âˆ’distance in fuzzy graphs. The author has defined Î¼âˆ’ length of any uâˆ’v path P as the sum of reciprocals of arc weights in P and distance between u and v called the Î¼âˆ’distance denoted by d Î¼ (u,v), as the the smallest Î¼âˆ’ length of P. In a fuzzy graph G:(V,Ïƒ,Î¼), d Î¼ (u,v) is a metric on V âˆ€ u,vâˆˆV. Based on this Î¼âˆ’ distance Bhattacharya (1987) has introduced the concepts of eccentricity and center in fuzzy graphs and the properties of this metric are further studied by Sunitha and Vijyakumar (1998). The geodetic iteration number and geodetic number of fuzzy graphs based on Î¼âˆ’distance was introduced by Linda and Sunitha (2013). Abdul Jabbar et al. (2009) introduced the concept of fuzzy planar graph and discussed some of its interesting properties. Recently, Pal et al. (2013) and Samanta et al. (2014) introduced and investigated the concept of fuzzy planar graphs and studied several properties. Noura and Akram (2014) studied isomorphism between intuitionistic fuzzy planar graphs. Interval valued fuzzy planar graphs and interval valued fuzzy dual graph are defined by Tarasankar et al. (2014). Some properties of interval valued fuzzy planar graphs and interval valued fuzzy dual graph are also studied by the authors. Talebi and Rashmanlou (2013) studied isomorphism on interval valued fuzzy graph. Rashmanlou and Pal (2013) defined isometry on interval valued fuzzy graphs and established that isometry on interval valued fuzzy graphs is an equivalence relation. The same authors (Pal and Rashmanlou 2013) also defined irregular interval valued fuzzy graphs and their various classifications. Recently, Akram et al. introduced the concepts of bipolar fuzzy graphs and interval-valued fuzzy line graphs (Akram 2011, 2012, 2013; Akram and Dudek 2011, 2012). Further the author has defined length, distance, eccentricity, radius and diameter of a bipolar fuzzy graph and has introduced the concept of self centered bipolar fuzzy graphs (Akram and Karunambigai 2011). Namboothiri et al. (2013) discussed Cayley fuzzy graphs. Alshehri and Akram (2013) introduced the concept of Cayley bipolar fuzzy graphs and investigated some of their properties. The author has also introduced the concept of an antipodal intuitionistic fuzzy graph and self median intuitionistic fuzzy graph of the given intuitionistic fuzzy graph (Akram and Karunambigai 2012). Akram and Alshehri (2014) introduced various types of intuitionistic fuzzy bridges, intuitionistic fuzzy cut vertices, intuitionistic fuzzy cycles and intuitionistic fuzzy trees in intuitionistic fuzzy graphs and investigated some of their interesting properties. To model ecological problems, in 1968 Cohen (1968) introduced the notion of competition graphs. Fuzzy competition graph was introduced by Samanta and Pal (2013). Two generalizations of fuzzy competition graph as fuzzy k-competition graphs and p-competition fuzzy graphs are also defined by the same authors. In Samanta et al. (2015) define another generalization of fuzzy competition graph, called m-step competition graph. Bhutani and Rosenfeld have introduced the concepts of strong arcs (Bhutani and Rosenfeld 2003a), fuzzy end nodes (Bhutani and Rosenfeld 2003c) and gâˆ’distance in fuzzy graphs (Bhutani and Rosenfeld 2003b). The geodesic eccentricity and geodesic center of a fuzzy graph G is also discussed in (Bhutani and Rosenfeld 2003b). Further studies based on the gâˆ’distance are carried out by Sameena and Sunitha (2008) and (Sameena and Sunitha 2011). The concepts of gâˆ’peripheral nodes, gâˆ’boundary nodes and gâˆ’interior nodes based on gâˆ’distance was introduced by Linda and Sunitha (2012). Nagoorgani and Umamaheswari introduced the concept of fuzzy detour Î¼âˆ’distance (Nagoorgani and Umamaheswari 2010). The authors further defined fuzzy detour Î¼âˆ’center and studied its properties. Fuzzy detour gâˆ’distance was introduced by Linda and Sunitha (2014a) and in (Linda and Sunitha 2014b), the authors introduced fuzzy detour gâˆ’ boundary nodes and fuzzy detour gâˆ’ interior nodes in fuzzy graphs. In this paper we introduce the concept of strong sum distance in fuzzy graphs and a study on boundary nodes and interior nodes of a fuzzy graph based on this distance is carried out.

Section 2 contains preliminaries and in section 3, strong sum distance in fuzzy graphs is defined and proved that it is a metric. Based on this metric, eccentricity, radius, diameter, center in fuzzy graphs are defined. Necessary conditions for a fuzzy graph to be self centered are obtained in this section. By an example it is shown that a unique eccentric node fuzzy graph with each node eccentric need not be self centered. Sufficient conditions for a fuzzy cycle to be self centered is given in section 4. A necessary and sufficient condition for a complete fuzzy graph to be self centered is given in section 5. In section 6 we have the embedding theorem i.e; construction of fuzzy graph G from a given fuzzy graph H such that <C(G)> â‰…H. In section 7, based on this metric it is proved that an eccentric node of a fuzzy tree G is a fuzzy end node of G and a node is an eccentric node of a fuzzy tree if and only if it is a peripheral node of G and the center of a fuzzy tree consists of either one or two neighboring nodes. In section 8 boundary node of a fuzzy graph based on strong sum distance is defined. Boundary nodes of fuzzy tree and complete fuzzy graph are discussed in this section. A complete node is defined and it is showed by an example that a complete node need not be a boundary node. Also an example to show that fuzzy cut node can be a boundary node is given in this section. Interior of a fuzzy graph based on strong sum distance is defined in Section 9. In a fuzzy graph there are nodes which are neither boundary nodes nor interior nodes. Interior node in complete fuzzy graph and boundary nodes in a cycle are also discussed in this section.

Preliminaries

A fuzzy graph(f-graph) (Mordeson and Nair 2000) is a triplet G:(V,Ïƒ,Î¼) where V the vertex set, Ïƒ is a fuzzy subset of V and Î¼ is a fuzzy relation on Ïƒ such that Î¼(u,v) â‰¤Ïƒ(u) âˆ§Ïƒ(v) âˆ€u,v âˆˆV. We assume that V is finite and non empty, Î¼ is reflexive and symmetric. In all the examples Ïƒ is chosen suitably. Also we denote the underlying crisp graph (Harary 1969) by G âˆ— :(Ïƒ âˆ—,Î¼ âˆ—) where Ïƒ âˆ— = {uâˆˆV : Ïƒ(u) > 0 } and Î¼ âˆ— = {(u,v) âˆˆV x V : Î¼(u,v) >0}. Here we assume Ïƒ âˆ—=V. A fuzzy graph H:(V,Ï„,Î½) is called a partial fuzzy subgraph of G:(V,Ïƒ,Î¼) if Ï„(u) â‰¤ Ïƒ(u) âˆ€u âˆˆÏ„ âˆ— and Î½(u,v) â‰¤ Î¼(u,v) âˆ€(u,v) âˆˆÎ½ âˆ—. In particular we call H:(V,Ï„,Î½) a fuzzy subgraph of G:(V,Ïƒ,Î¼) if Ï„(u) = Ïƒ(u) âˆ€u âˆˆÏ„ âˆ— and Î½(u,v) = Î¼(u,v) âˆ€(u,v) âˆˆÎ½ âˆ— and if in addition Ï„ âˆ—=Ïƒ âˆ—, then H is called a spanning fuzzy subgraph of G. A weakest arc of G:(V,Ïƒ,Î¼) is an arc with least membership value. A path P of length n is a sequence of distinct nodes u 0,u 1,â‹¯,u n such that Î¼(u iâˆ’1,u i ) > 0, i = 1,2,3, â‹¯,n and the degree of membership of a weakest arc in the path is defined as its strength. If u 0=u n and nâ‰¥ 3, then P is called a cycle and a cycle P is called a fuzzy cycle(f-cycle) if it contains more than one weakest arc. A fuzzy graph G:(V,Ïƒ,Î¼) is a complete fuzzy graph (CFG) if Î¼(u,v)=Ïƒ(u)âˆ§Ïƒ(v),âˆ€u,vâˆˆÏƒ âˆ—.

The strength of connectedness between two nodes u and v is defined as the maximum of the strengths of all paths between u and v and is denoted by C O N N G (u,v). A uâˆ’v path P is called a strongest uâˆ’v path if its strength equals CONN G (u,v). A fuzzy graph G:(V,Ïƒ,Î¼) is connected if for every u,v in Ïƒ âˆ—, C O N N G (u,v) > 0. Throughout this, we assume that G is connected. An arc of a fuzzy graph is called strong if its weight is at least as great as the strength of connectedness of its end nodes when it is deleted and a uâˆ’v path is called a strong path if it contains only strong arcs (Bhutani and Rosenfeld 2003a). If Î¼(u,v) > 0, then u and v are called neighbors. Also v is called a strong neighbor if arc (u,v) is strong. The set of all neighbors of u is denoted by N(u) and the set of all strong neighbors of u is denoted by N s (u). A node u is a fuzzy end node of G if it has exactly one strong neighbor in G. A strong path P from u to v is a uâˆ’v geodesic if there is no shorter strong path from u to v and the length of a uâˆ’v geodesic is the geodesic distance from u to v denoted by d g (u,v) (Bhutani and Rosenfeld 2003b). Consider the fuzzy graphs G 1:(V 1,Ïƒ 1,Î¼ 1) and G 2:(V 2,Ïƒ 2,Î¼ 2) with $$\sigma _{1}^{*}$$ = V 1 and $$\sigma _{2}^{*}$$ = V 2. An isomorphism (Bhutani 1989) between two fuzzy graphs G 1 and G 2 is a bijective map h : V 1 â†’ V 2 that satisfies Ïƒ 1(u) = Ïƒ 2(h(u)) âˆ€u âˆˆ V 1 and Î¼ 1(u,v) = Î¼ 2(h(u),h(v)) âˆ€ u,v âˆˆ V 1 and is denoted by G 1 â‰… G 2.

An arc (u,v) is a fuzzy bridge(f-bridge) of G if deletion of (u,v) reduces the strength of connectedness between some pair of nodes (Rosenfeld 1975). Equivalently, (u,v) is a fuzzy bridge if and only if there exist x,y such that (u,v) is an arc on every strongest xâˆ’y path. A node is a fuzzy cutnode (f-cutnode) of G if removal of it reduces the strength of connectedness between some other pair of nodes (Rosenfeld 1975). Equivalently, w is a fuzzy cutnode if and only if there exist u,v distinct from w such that w is on every strongest uâˆ’v path. A connected fuzzy graph G:(V,Ïƒ,Î¼) is a fuzzy tree (f-tree) if it has a spanning fuzzy subgraph F:(V,Ïƒ,Î½), which is a tree, where for all arcs (u,v) not in F there exists a path from u to v in F whose strength is more than Î¼(u,v). Thus for all arcs (u,v) which are not in F, Î¼(u,v)< C O N N F (u,v). A maximum spanning tree (MST) of a connected fuzzy graph G:(V,Ïƒ,Î¼) is a fuzzy spanning subgraph T:(V,Ïƒ,Î½) such that T âˆ— is a tree and for which $$\sum \limits _{u \neq v }$$ Î½(u,v) is maximum (Mordeson and Nair 2000). Note that for a fuzzy tree G, maximum spanning tree is unique and is the spanning fuzzy subgraph F itself (Sunitha and Vijayakumar 1999). Depending on the C O N N G (u,v) of an arc (u,v) in a fuzzy graph G, strong arcs are further classified as Î±âˆ’strong and Î²âˆ’strong and the remaining arcs are termed as Î´âˆ’arcs (Sunil and Sunitha 2009) as follows. Note that Gâˆ’(u,v) denotes the fuzzy subgraph of G obtained by deleting the arc (u,v) from G. An arc (u,v) in G is called Î±âˆ’strong if Î¼(u,v) > C O N N Gâˆ’(u,v)(u,v). An arc (u,v) in G is called Î²âˆ’strong if Î¼(u,v) = C O N N Gâˆ’(u,v)(u,v). An arc (u,v) in G is called a Î´âˆ’arc if Î¼(u,v)< C O N N Gâˆ’(u,v)(u,v). A Î´âˆ’arc (u,v) is called a Î´ âˆ—âˆ’ arc if Î¼(u,v)> Î¼(x,y) where (x,y) is a weakest arc of G.

Strong sum distance in fuzzy graph

Rosenfeld (1975) has defined Î¼âˆ’ length of any uâˆ’v path P as the sum of reciprocals of arc weights in P and distance between u and v called the Î¼âˆ’distance denoted by d Î¼ (u,v), as the the smallest Î¼âˆ’ length of P. Here we introduce a new definition for length of any uâˆ’v path P in a fuzzy graph G and based on the new definition we introduce the concept of strong sum distance.

Definition3.1.

Let G:(V,Ïƒ,Î¼) be a connected fuzzy graph. For any path P:u 0âˆ’u 1âˆ’u 2âˆ’u 3âˆ’â‹¯â‹¯âˆ’u n , length of P is defined as the sum of the weights of the arcs in P i.e. L(P) = $$\displaystyle \sum \limits _{i=1}^{n} \,\mu (u_{i-1},u_{i})$$. If n = 0, define L(P) = 0 and for nâ‰¥ 1, L(P)>0. Also if G is disconnected then L(P) may be zero. For any two nodes u,v in G, let P={P i :P i is a strong uâˆ’v path,i=1,2,3,â‹¯ }. The strong sum distance between u and v is defined as d ss (u,v) = Min {L(P i ):P i âˆˆP,i=1,2,3,â‹¯ }.

Remark3.2.

If Î¼(u,v) = 1 âˆ€ (u,v) âˆˆÎ¼ âˆ— then d ss (u,v) is the length of the shortest path as in crisp graph.

Theorem3.3.

In a fuzzy graph G:(V,Ïƒ,Î¼), d ss : V Ã—V â†’ [0,1] is a metric on V. i.e. âˆ€ u,v,wâˆˆV(1) d ss (u,v) â‰¥ 0 âˆ€ u,vâˆˆV(2) d ss (u,v)= 0 if and only if u=v(3) d ss (u,v) = d ss (v,u)(4) d ss (u,w)â‰¤ d ss (u,v)+d ss (v,w)

Proof.

(1) and (2) follows from the definition. Next, since reversal of a strong path from u to v is a strong path from v to u and vice versa, d ss (u,v) = d ss (v,u). Let P 1 be a strong uâˆ’v path such that d ss (u,v) = L(P 1) and P 2 be a strong vâˆ’w path such that d ss (v,w) = L(P 2). The strong path P 1 followed by strong path P 2 is a uâˆ’w walk and since every walk contains one path, there exists a strong uâˆ’w path in G whose length is at most d ss (u,v) + d ss (v,w).Therefore, d ss (u,w) â‰¤ d ss (u,v) + d ss (v,w).

Definition3.4.

Let G:(V,Ïƒ,Î¼) be a connected fuzzy graph and let u be a node of G. The eccentricity e(u) of u is the strong sum distance to a node farthest from u. Thus e(u) = max {d ss (u,v):v âˆˆV}. For a node u, each node at strong sum distance e(u) from u is an eccentric node for u denoted by u âˆ—. G is a unique eccentric node (u.e.n) fuzzy graph if each node in G has a unique eccentric node. The radius r(G) is the minimum eccentricity of the nodes, whereas the diameter d(G) is the maximum eccentricity. A node u is a central node if e(u) = r(G), and C(G) is the set of all central nodes. The fuzzy subgraph induced by C(G) denoted by <C(G)> = H:(V,Ï„,Î½) is called the center of G. A connected fuzzy graph G is self centered if each node is a central node i.e. Gâ‰…H. A node u is a peripheral node if e(u) = d(G).

Example3.5.

In Figure 1, d ss (u,v) = 0.5, d ss (u,w) = 0.2, d ss (u,x) = 0.2, d ss (v,w) = 0.3, d ss (v,x) = 0.3, d ss (w,x) = 0.4. Therefore e(u) = 0.5, u âˆ— = v, e(v) = 0.5, v âˆ— = u, e(w) = 0.4, w âˆ— = x, e(x) = 0.4, x âˆ— = w. The central nodes are w and x. The peripheral nodes are u and v. Here r(G) = 0.4 and d(G) = 0.5.

Remark3.6.

In crisp graph, a unique eccentric node graph is self centered if and only if each node of G is eccentric. Note that the f-graph in Figure 1 is a unique eccentric node f-graph. In Figure 1, each node is eccentric and each node has a unique eccentric node but G is not self centered.

Theorem3.7.

For any connected fuzzy graph G:(V,Ïƒ,Î¼), the radius and diameter satisfy r(G) â‰¤ d(G) â‰¤ 2 r(G).

Proof.

r(G) â‰¤ d(G) follows from the definition of radius and diameter. Let w be a central node of G. Therefore e(w) = r(G). Let u and v be two peripheral nodes of G. Therefore e(u) = e(v) = d(G).By triangle inequality d ss (u,v) â‰¤ d ss (u,w) + d ss (w,v)i.e. d(G) â‰¤ r(G) + r(G). d(G) â‰¤ 2 r(G). Therefore r(G) â‰¤ d(G) â‰¤ 2 r(G).

Remark3.8.

Note that in crisp graph, eccentricities of the adjacent nodes differ atmost by 1. In Figure 2, u 1 and u 2 are adjacent nodes. Note that e(u 1) = 3.65 and e(u 2) = 2.55 and hence |e(u 1)) - e(u 2)| = 1.1. But this result is true if u and v are strong neighbors as in following theorem.

Theorem3.9.

For every two strong neighbors u and v in a connected fuzzy graph G:(V,Ïƒ,Î¼), |e(u) - e(v)| â‰¤ 1.

Proof.

Assume without loss of generality e(u) â‰¥ e(v). Let x be a node farthest from u. i.e. e(u) = d ss (u,x) â‰¤ d ss (u,v) + d ss (v,x), by triangle inequality. Therefore e(u) â‰¤ d ss (u,v) + e(v), since e(v) â‰¥ d ss (v,x). Since u and v are strong neighbors we have d ss (u,v) â‰¤ 1. Therefore e(u)â‰¤ 1 + e(v) â‡’ 0 â‰¤ e(u) - e(v) â‰¤ 1.$$\therefore$$ |e(u) - e(v)| â‰¤ 1.

The above Theorem can be generalized as follows.

Theorem3.10.

For every two nodes u and v in a connected fuzzy graph G:(V,Ïƒ,Î¼), |e(u) - e(v)| â‰¤ d ss (u,v).

Proof.

Assume without loss of generality e(u) â‰¥ e(v). Let x be a node farthest from u. i.e. e(u) = d ss (u,x) â‰¤ d ss (u,v) + d ss (v,x), by triangle inequality. Therefore e(u) â‰¤ d ss (u,v) + e(v), since e(v) â‰¥ d ss (v,x). i.e. 0 â‰¤ e(u) - e(v) â‰¤ d ss (u,v).Therefore |e(u) - e(v)| â‰¤ d ss (u,v).

Remark3.11.

Note that in crisp graph, for every two adjacent nodes u and v, |d(u,x) - d(v,x)| â‰¤ 1. In Figure 2, u 1 and u 2 are adjacent nodes. Note that d ss (u 1,u 3) = 3.65 and d ss (u 2,u 3) = 1.1 and hence |d ss (u 1,u 3)) - d ss (u 2,u 3)| = 2.55. But this result is true if u and v are strong neighbors as in following theorem.

Theorem3.12.

For every two strong neighbors u and v in a connected fuzzy graph G:(V,Ïƒ,Î¼), |d ss (u,x) - d ss (v,x)| â‰¤ 1 for every node x of G.

Proof.

Let u and v be strong neighbors in G and let x be any node of G. Assume d ss (u,x) â‰¥ d ss (v,x). Then by triangle inequality we have d ss (u,x) â‰¤ d ss (u,v) + d ss (v,x). Since u and v are strong neighbors d ss (u,x) â‰¤ 1 + d ss (v,x) â‡’ 0 â‰¤ d ss (u,x) - d ss (v,x) â‰¤ 1. Therefore |d ss (u,x) - d ss (v,x)| â‰¤ 1.

Proposition3.13.

For any two real numbers a, b such that 0 <a â‰¤b â‰¤ 2a, there exist a fuzzy graph G such that r(G) = a and d(G) = b.

Proof.

From the definiton of strong arcs it follows that all arcs in Figure 3 are strong arcs. Therefore d ss (u,v) = a, d ss (u,w) = a and d ss (v,w) = b. Then e(u) = a, e(v) = b and e(w) = b. Therefore r(G) = a and d(G) = b.

Theorem3.14.

If G:(V,Ïƒ,Î¼) is a self centered fuzzy graph, then each node of G is eccentric.

Proof.

Assume G is self centered and let u be any node of G. Let v be an eccentric node of u i.e. u âˆ— = v. Then e(u) = d ss (u,v). Since G is self centered we have e(v) = e(u). Therefore e(u) = d ss (u,v) = e(v), which shows u is an eccentric node of v i.e. v âˆ— = u. Hence the proof.

Remark3.15.

Fuzzy graph G:(V,Ïƒ,Î¼) in Figure 4 is self centered with e(u i ) = 0.8, i = 1,2,3,4. The condition in Theorem 3.14 is not sufficient. In Figure 1, each node is eccentric but G is not self centered.

Theorem3.16.

If G:(V,Ïƒ,Î¼) is a self centered fuzzy graph, then for every pair of nodes u,v âˆˆG, u âˆˆV âˆ— implies v âˆˆU âˆ—, where U âˆ— is the set of all eccentric nodes of u and V âˆ— is the set of all eccentric nodes of v.

Proof.

Assume G is self centered and let u, v be any two nodes of G. Let u be an eccentric node of v. i.e. d ss (v,u) = e(v), so we have u âˆˆV âˆ—. Now it is required to prove that v âˆˆU âˆ—. Since G is self centered we have e(v) = e(u). Also we have d ss (v,u) = d ss (u,v) = e(v). Therefore e(u) = d ss (u,v) which shows v is an eccentric node of u i.e. v âˆˆU âˆ—. Hence the proof.

Remark3.17.

The condition in Theorem 3.16 is not sufficient. In Figure 1, each node is eccentric and we have u âˆ— = v, v âˆ— = u and w âˆ— = x, x âˆ— = w but G is not self centered.

Remark3.18.

The center of a connected fuzzy graph need be connected as shown in Figure 5.

Theorem3.19.

The center of every connected fuzzy graph G:(V,Ïƒ,Î¼) lies in a block of G âˆ—.

Proof.

Let G:(V,Ïƒ,Î¼) be a connected fuzzy graph. Assume that the center of G does not lie in a block of G âˆ—. Then there exist a node v such that, v is a cut node of G âˆ—. Let G 1 and G 2 be any two components of G âˆ— - v. Therefore each of G 1 and G 2 contain at leat one central node of G. Let u be a node of G such that d ss (u,v) = e(v). Let P 1 be a strong uâˆ’v path such that d ss (u,v) = L(P 1), length of P 1. Then one of G 1 and G 2 contains no node in the path P 1, say G 2 contains no node of P 1. Let w be a central node of G that belongs to G 2 and let P 2 be a strong vâˆ’w path such that d ss (v,w) = L(P 2), length of P 2. Therefore d ss (u,w) = L(P 1) + L(P 2). Hence we have e(w) > e(v), which contradicts w is a central node of G. Hence center of every connected fuzzy graph G:(V,Ïƒ,Î¼) lies in a block of G âˆ—.

Remark3.20.

As in crisp graphs, in fuzzy graphs every peripheral node is an eccentric node but not conversly. In Figure 1, u,v,w,x are eccentric nodes but w and x are not peripheral nodes.

Remark3.21.

In crsip graph no cutnode is a peripheral node but there are fuzzy graphs with peripheral nodes as fuzzy cut nodes. In Figure 1, nodes u and v are the peripheral nodes and node v is a fuzzy cut node. Note that removal of the node v reduces strength of connectedness between the nodes w and x.

Remark3.22.

A fuzzy cycle need not be self centered. In Figure 6, r(G) = 0.6 and d(G) = 0.7 and the central node is v.

Self centered fuzzy cycle

Using the concept of Î¼âˆ’eccentric nodes, in (Sunitha and Vijayakumar 1998) Sunitha and Vijayakumar has proved the sufficient conditions for a fuzzy graph G such that G âˆ— is a cycle to be self centered. In this section, sufficient conditions for a cycle to be self centered based on strong sum distance are discussed. Note that all arcs in a fuzzy cycle are strong (Rosenfeld 1975).

Theorem4.1.

Let G:(V,Ïƒ,Î¼) be a fuzzy graph with n nodes such that G âˆ— â‰… C n , cycle on n nodes with arcs e i = (u i ,u i+1) i=1,2,â‹¯,nâˆ’1 and e n = (u n ,u 1). Let 0<t<sâ‰¤1. Then G is self centered if

1. 1.

Î¼(e i ) = t for i=1,3,5,â‹¯,nâˆ’1, Î¼(e i ) = s for i=2,4,6,â‹¯,nâˆ’2 and Î¼(e n ) = s when n is even.

2. 2.

Î¼(e i ) = s for i=1,3,5,â‹¯,nâˆ’2, Î¼(e i ) = t for i=2,4,6,â‹¯,nâˆ’1 and Î¼(e n ) = s when n is odd and n=4kâˆ’1, where k=1,2,3,â‹¯.

3. 3.

Î¼(e i ) = t for i=1,3,5,â‹¯,nâˆ’2, Î¼(e i ) = s for i=2,4,6,â‹¯,nâˆ’1 and Î¼(e n ) = t when n is odd and n=4k+1, where k=1,2,3,â‹¯.

Also,

$${}</p><p class="noindent">r(G) = \left\{ \begin{array}{rl} & k(t+s), n = 4k \textit{ or } n = 4k + 1, k = 1,2,3, \cdots\\ & k(t+s) - t, n = 4k - 1, k = 1,2,3, \cdots\\ & k(t+s) + t, n = 4k + 2, k = 1,2,3, \cdots \end{array} \right.$$

Illustration1.

Take t = 0.3 and s = 0.4. Figures 7, 8, 9, 10, 11, 12, 13 and 14 illustrates the above theorem.

Case 1. n is even and n=4k where k = 1,2, r(C 4) = 0.7 and r(C 8) = 1.4.

Case 2. n is even and n=4k+2 where k = 1,2, r(C 6) = 1.0 and r(C 10) = 1.7.

Case 3. n is odd and n=4kâˆ’1 where k = 1,2, r(C 3) = 0.4 and r(C 7) = 1.1.

Case 4. n is odd and n=4k+1 where k = 1,2, r(C 5) = 0.7 and r(C 9) = 1.4.

Strong sum distance in complete fuzzy graph

In (Mini Tom Sunitha 2014) Mini and Sunitha proved that any uâˆ’v path P in a CFG is a strongest path if and only if either u or v is a weakest node in the path. In this section we first prove a necessary and sufficient condition for all paths in a CFG to be strongest and then a necessary and sufficient condition for a CFG to be self centered. Note that in a CFG all arcs are strong (Rosenfeld 1975; Bhutani and Rosenfeld 2003a).

Remark5.1.

A complete fuzzy graph need not be self centered. In Figure 15, r(G) = 0.3 and d(G) = 0.5 and the central node is u.

Theorem5.2.

Let G:(V,Ïƒ,Î¼) be a CFG with Ïƒ âˆ— = {u 1,u 2,u 3,...,u n } such that Ïƒ(u 1) â‰¤ Ïƒ(u 2) â‰¤ Ïƒ(u 3) â‰¤ â‹¯â‹¯ â‰¤ Ïƒ(u n ). Then the strong sum distance between any two nodes u i ,u j in G is either Î¼(u i ,u j ) or 2 Ïƒ(u 1).

Proof.

Let u i ,u j be any two nodes in G. We have d ss (u i ,u j ) = min {Î¼(u i ,u j ), Î¼(u i ,u k ) + Î¼(u k ,u j )}. Since G is CFG we have Î¼(u i ,u k ) = Ïƒ(u i ) âˆ§ Ïƒ(u k ). Also since Ïƒ(u 1) â‰¤ Ïƒ(u i ) for i = 2,3, â‹¯, n, when k = 1, Î¼(u i ,u 1) = Ïƒ(u 1) and Î¼(u 1,u j ) = Ïƒ(u 1). Therefore d ss (u i ,u j ) = min {Î¼(u i ,u j ), 2 Ïƒ(u 1)}.

Theorem5.3.

Let G:(V,Ïƒ,Î¼) be a complete fuzzy graph on n nodes, n â‰¥3. All paths in G are strongest paths if and only if there is at most one node w in G having different node strength and Ïƒ(w) > Ïƒ(u i )i = 1,2,3, â‹¯,nâˆ’1.

Proof.

Let G:(V,Ïƒ,Î¼) be a complete fuzzy graph on n nodes, n â‰¥3, with Ïƒ âˆ— = {u 1,u 2,u 3,...,u nâˆ’2,v,w} and all nodes u i , i=1,2,3...,nâˆ’2 have same node strength. Assume all paths in G are strongest paths. Suppose Ïƒ(v) â‰  Ïƒ(w) â‰  Ïƒ(u i ), i=1,2,3,â‹¯,nâˆ’2. Case 1 : Ïƒ (u i ) < Ïƒ (w) and Ïƒ (u i ) < Ïƒ (v), i=1,2,3,â‹¯,nâˆ’2.Let P : wâˆ’u 1âˆ’u 2âˆ’.......âˆ’u k âˆ’v, k â‰¤ nâˆ’2, be a wâˆ’v path. Then P is not a strongest wâˆ’v path since neither w nor v is a weakest node in P (Mini Tom Sunitha 2014), contradiction.Case 2 : Ïƒ (u i ) > Ïƒ (w) and Ïƒ (u i ) > Ïƒ (v), i=1,2,3,â‹¯,nâˆ’2.Let P be any u i âˆ’u j path, i,j = 1,2,3, â‹¯,nâˆ’2, iâ‰ j with either v or w as an internal node. Then P is not a strongest u i âˆ’u j path since neither u i nor u j is a weakest node in P (Mini Tom Sunitha 2014), contradiction.Case 3 : Ïƒ (u i ) < Ïƒ (w) and Ïƒ (u i ) > Ïƒ(v), i=1,2,3,â‹¯,nâˆ’2.Let P be any u i âˆ’w path, i = 1,2,3, â‹¯,nâˆ’2, with v as an internal node. Then P is not a strongest u i âˆ’w path since neither u i nor w is a weakest node in P (Mini Tom Sunitha 2014), contradiction.Hence there exist at most one node w in G having different node strength. Next to prove Ïƒ(w) > Ïƒ(u i )i = 1,2,3, â‹¯,nâˆ’1. Suppose not let, Ïƒ(w) < Ïƒ(u i )i = 1,2,3, â‹¯,nâˆ’1.Then by case 2, we arrive at a contradiction. Hence Ïƒ(w) > Ïƒ(u i )i = 1,2,3, â‹¯,nâˆ’1.

Conversely assume that there is at most one node w in G having different node strength and Ïƒ(w) > Ïƒ(u i )i = 1,2,3, â‹¯,nâˆ’1. Then any path P, joining any two nodes in G is such that at least one of the end nodes of P is a weakest node in the path P and hence P is a strongest path (Mini Tom Sunitha 2014).

Theorem5.4.

Let G:(V,Ïƒ,Î¼) be a CFG on n nodes, n â‰¥3. Then G is self centered if and only if all paths in G are strongest paths.

Proof.

Let G:(V,Ïƒ,Î¼) be a CFG. Assume G is self centered. Then by Theorem 3.14, each node of G is eccentric. Also for any two nodes u,v in G, e(u) = e(v) = r(G) = d(G). If possible assume that all paths in G are not strongest paths. Therefore by Theorem 5.3, there exist at least two nodes u,v with different node strength and let w be an arbitrary node in G such that Ïƒ(w) is least. i.e. we have Ïƒ(w) < Ïƒ(u) and Ïƒ(w) < Ïƒ(v). Also we have Î¼(u,v) = Ïƒ(u) âˆ§Ïƒ(v) > Ïƒ(w) and d ss (u,v) = Min {Î¼(u,v), 2 Ïƒ(w) } by Theorem 5.2. Therefore d ss (u,v) > Ïƒ(w). Also we have e(u) = max {d s s( u,v):v âˆˆV}.

Therefore e(u) > Ïƒ(w) â‹¯â‹¯â‹¯(1).

Now, for any node u in G we have Î¼(u,w) = Ïƒ(w) and therefore d ss (u,w) = Ïƒ(w) by Theorem 5.2.

Thus e(w) = max {d ss (w,u):u âˆˆV} = Ïƒ(w) â‹¯â‹¯â‹¯(2).

From (1) and (2) e(u) > e(w), which contradicts our assumption that G is self centered. Hence all paths in G are strongest paths.

Conversely assume all paths in G are strongest paths. Since all paths in G are strongest paths, there is at most one node in G having different strength and the strength of such a node is greater than the strength of all other nodes in G by Theorem 5.3. Hence all arcs in G have same strength. Also d ss (u,v) = Î¼(u,v) âˆ€u,v by Theorem 5.2. Hence for any two node u,v in G, e(u) = e(v). Therefore G is self centered.

Embedding theorem

In this section, we shall consider the construction of a fuzzy graph G from a fuzzy graph H such that <C(G)> â‰…H.

Theorem6.1.

Let H:(V,Ïƒ â€², Î¼ â€²) be a fuzzy graph. Then there exists a connected fuzzy graph G:(V,Ïƒ,Î¼) such that <C(G)> â‰…H.

Proof.

Let 0 <c = âˆ§Ïƒ â€²(u). Construct a fuzzy graph G:(V,Ïƒ,Î¼) from H as follows. Take four new nodes u 1,u 2,v 1,v 2 and put Ïƒ âˆ— = Ïƒ â€²âˆ— âˆª { u 1, u 2, v 1, v 2 } where Ïƒ = Ïƒ â€² for all nodes w in H, Î¼ = Î¼ â€² for all arcs (u,v) in H. Let Ïƒ(u i ) = Ïƒ(v i ) = t (t â‰¤ c),i = 1,2; Î¼(u 1,u 2) = Î¼(v 1,v 2) = t and Î¼(u 2,w) = Î¼(v 1,w) = t âˆ€w âˆˆH. Then clearly G:(V,Ïƒ,Î¼) is a fuzzy graph and by definition of strong arcs, the arcs (u 1,u 2), (v 1,v 2), (u 1,w), (v 1,w) âˆ€w âˆˆH are strong arcs. Also we have e(w) = 2t âˆ€w âˆˆH and e(u 1) = e(v 1) = 3t and e(u 2) = e(v 2) = 4t. Thus <C(G)> â‰…H and r(G) = 2t and d(G) = 4t.

Example6.2.

Let H:(V â€²,Ïƒ â€², Î¼ â€²) be a fuzzy graph (Figure 16) with V â€²={u,v,w}. Let Ïƒ â€²(u)=0.7, Ïƒ â€²(v)=0.9, Ïƒ â€²(w)=0.8, Î¼ â€²(u,v)=0.6, Î¼ â€²(v,w)=0.7 and Î¼ â€²(u,w)=0.3. Construct the fuzzy graph G:(V,Ïƒ,Î¼) (Figure 17) from H as follows. Take t = 0.4. The node set of G is V=V â€² âˆª { u 1, u 2, v 1, v 2 }. Let Ïƒ(u)=0.7, Ïƒ(v)=0.9, Ïƒ(w)=0.8, Ïƒ(u 1)=Ïƒ(u 2)=Ïƒ(v 1)=Ïƒ(v 2)=0.4, Î¼(u,v)=0.6, Î¼(v,w)=0.7, Î¼(u,w)=0.3, Î¼(u 1,u 2)=0.4, Î¼(v 1,v 2)=0.4, Î¼(u 2,u)=0.4, Î¼(u 2,v)=0.4, Î¼(u 2,w)=0.4, Î¼(v 1,u)=0.4, Î¼(v 1,v)=0.4, Î¼(v 1,w)=0.4. Note that e(u)=e(v)=e(w)=0.8 and e(u 2)=e(v 1)=1.2 and e(u 1)=e(v 2)=1.6. Thus <C(G)> â‰…H and r(G) = 0.8 and d(G) = 1.6.

Strong sum distance in fuzzy trees

Many metric properties of fuzzy trees are studied using Î¼âˆ’ distance (Sunitha and Vijayakumar 1998), gâˆ’ distance (Sameena K and Sunitha 2011) and fuzzy detour gâˆ’ distance (Linda and Sunitha 2014a). In this section a similar study is carried out on fuzzy trees using strong sum distance. Note that an f-graph G:(V,Ïƒ,Î¼) is an f-tree if and only if it has no Î² strong arcs (Sunil and Sunitha 2009).

Theorem7.1.

Let G:(V,Ïƒ,Î¼) be a fuzzy tree and F:(V,Ïƒ,Î½) be the maximum spanning tree of G. Then for each node u in G, e(u) in G is same as e(u) in F.

Proof.

Let G:(V,Ïƒ,Î¼) be a fuzzy tree and let u be any arbitrary node in G. Let e(u) = k, i.e. âˆƒ a node v in G such that d ss (u,v) = k, which implies that there is strong uâˆ’v path P in G such that L(P) = k. Since G is an f-tree, P is the unique strong uâˆ’v path in G. Let F:(V,Ïƒ,Î½) be the maximum spanning tree of G. Since G is a fuzzy tree, F is the unique maximum spanning tree of G and contains all strong arcs of G. Thus F contains the unique strong uâˆ’v path and d ss (u,v) = k. Hence e(u) = k in F.

Corollary7.2.

Let G:(V,Ïƒ,Î¼) be a fuzzy tree and F:(V,Ïƒ,Î½) be the maximum spanning tree of G. Then <C(G)> â‰… <C(F)> and center of a fuzzy tree consists of either one or two neighboring nodes.

Remark7.3.

Theorem 7.1 does not hold for a fuzzy graph which is not a fuzzy tree. The fuzzy graph G in Figure 18 is not a fuzzy tree and hence G has more than one maximum spanning tree. We have e(u) = 0.4, e(v) = 0.4, e(w) = 0.2 and e(x) = 0.4 in G, e(u) = 0.8, e(v) = 1.1, e(w) = 0.5 and e(x) = 1.1 in F 1 and e(u) = 1, e(v) = 1.1, e(w) = 1.3 and e(x) = 1.3 in F 2. Note that the eccentricity of node u is not same in G, F 1 and F 2.

Theorem7.4.

Let G:(V,Ïƒ,Î¼) be a fuzzy tree and F:(V,Ïƒ,Î½) be the maximum spanning tree of G. Then G and F have the same set of eccentric nodes.

Proof.

Let G:(V,Ïƒ,Î¼) be a fuzzy tree and F:(V,Ïƒ,Î½) be the maximum spanning tree of G. By Theorem 7.1, for any node u, eccentricity of u in G is same as eccentricity of u in F. Let e(u) = k and let u âˆ— = v in G. Then there is a strong uâˆ’v path P in G, which is also in F such that L(P) = k. Therefore u âˆ— = v in F also. Similarly we can prove that for any node u in F, if u âˆ— = v in F then u âˆ— = v in G also. Hence the proof.

Theorem7.5.

An eccentric node of a fuzzy tree G:(V,Ïƒ,Î¼) is a fuzzy end node of G.

Proof.

Let G:(V,Ïƒ,Î¼) be a fuzzy tree and let u be an eccentric node of G. Then u is an eccentric node of F, the maximum spanning tree of G by Theorem 7.1. Since F is a tree u is an end node of F and hence a fuzzy end node of F. Since G and F have the same set of fuzzy end nodes (Sameena K and Sunitha 2011), u is fuzzy end node of G.

Remark7.6.

The converse of Theorem 7.5 does not hold as we see in Figure 19. In Figure 19, x is a fuzzy end node. We have u âˆ— = w, v âˆ— = w, w âˆ— = u and x âˆ— = w. Thus x is not an eccentric node of G.

Remark7.7.

Theorem 7.5 does not hold for a fuzzy graph which is not a fuzzy tree as we see in Figure 18. In Figure 18, the eccentric nodes of G are u,v and x, but G has no fuzzy end nodes.

Theorem7.8.

Let G:(V,Ïƒ,Î¼) be a fuzzy tree. Then a node u of G is an eccentric node if and only if u is peripheral node of G.

Proof.

Let G:(V,Ïƒ,Î¼) be a fuzzy tree and u, an eccentric node of G. Then by Theorem 7.5, u is fuzzy end node of G. Since G and F have same set of fuzzy end nodes (Sameena K and Sunitha 2011), u is fuzzy end node of F. Thus u is an end node of F. Choose a fuzzy end node v of F other than u such that d ss (u,v) in F is maximum. Note that such a node v exists since Theorem 2 of (Bhutani and Rosenfeld 2003c) sates that every fuzzy tree has at least two fuzzy end nodes. Then it follows that d ss (u,v) is the diameter of F and hence the diameter of G. Therefore u and v are peripheral nodes of G.

Converse part follows from Remark 3.20.

Remark7.9.

From Theorem 7.5 and 7.8 we have the following Theorem.

Theorem7.10.

A peripheral node of a fuzzy tree G:(V,Ïƒ,Î¼) is a fuzzy end node of G.

Remark7.11.

The converse of Theorem 7.10 is not true (Remark 7.6). Also note that Theorem 7.10 is true only in a fuzzy tree. In Figure 18, u, v and x are peripheral nodes, but G has no fuzzy end nodes. Also in Figure 20, v and x are peripheral nodes of G, but x is not a fuzzy end node of G.

Boundary node of a fuzzy graph

Gary Chartrand and Ping Zang (2006) introduced the concepts of boundary vertex and boundary based on geodesic distance in crisp graph. Linda and Sunitha (2012) introduced the concepts of boundary node and boundary based on geodesic distance in fuzzy graphs. In this section we introduce the same concepts based on strong sum distance in fuzzy graphs. Also we define complete node based on strong sum distance and show by an example that a complete node need not be a boundary node.

Definition8.1.

A node v in a connected fuzzy graph G:(V,Ïƒ,Î¼) is a boundary node of a node u if d ss (u,v) â‰¥ d ss (u,w) for each neighbor w of v; while a node v is a boundary node of a fuzzy graph G if v is a boundary node of some node of G.

The set of all boundary nodes of u is denoted by u b. The fuzzy subgraph induced by the boundary nodes of G is called the boundary of G denoted by âˆ‚(G).

Example8.2.

Consider the fuzzy graph in Figure 21(a). Here u b = {w,y}, v b = {u}, w b = {u}, x b = {w}, y b = {w}.

Hence the boundary nodes of G are u, w and y.

Remark8.3.

In a connected fuzzy graph every eccentric node is a boundary node, but a boundary node need not be an eccentric node. Consider the fuzzy graph in Figure 21. The eccentric nodes u and w are boundary nodes of G but the boundary node y is not an eccentric node of G.

Example8.4.

In Figure 22, e(u) = 0.9 and u âˆ— = v, e(v) = 1.4 and v âˆ— = w, e(w) = 1.4 and w âˆ— = v, e(x) = 0.9 and x âˆ— = w. Also u b = v, v b = w, w b = v, x b = w. Hence the nodes v,w are peripheral nodes, eccentric nodes and boundary nodes. Note that G is not self centered.

Definition8.5.

A node v in a fuzzy graph G is called a complete node if the fuzzy subgraph induced by the neighbors of v form a complete fuzzy graph.

Remark8.6.

In crisp graph a vertex v of G is a boundary vertex of every vertex distinct from v if and only if v is a complete vertex of G (Chartrand and Zang 2006) but in fuzzy graphs, based on strong sum distance a complete node need not be a boundary node as shown in Figure 23. Node u is a complete node but it is not a boundary node. Also it may be noted that a node which is a boundary node of all other nodes need not be complete. Node w is boundary node of all other nodes, but it is not complete.

Remark8.7.

In crisp graphs no cut node of a connected graph G is a boundary node of G (Chartrand and Zang 2006), but in fuzzy graphs which is not a fuzzy tree, a fuzzy cut node can be a boundary node as in Figure 24. In Figure 24, the boundary nodes of G are u,v and x. Note that node u is a fuzzy cut node. Node w is neither fuzzy cut node nor boundary node.

Theorem8.8.

In a fuzzy graph G:(V,Ïƒ,Î¼) a node u is cut node implies u is not a boundary node.

Proof.

Let G be a fuzzy graph. Assume, to the contrary that there exists a cut node u of G such that u is a boundary node of some node v of G. Let G 1 be the component of Gâˆ’u which contains v and G 2 be any other component of Gâˆ’u. If node w is a neighbor of u that belongs to G 2, then d ss (v,w) = d ss (v,u) + x, 0<xâ‰¤1, which contradicts our assumption that u is a boundary node of v.

Theorem8.9.

In a fuzzy tree G:(V,Ïƒ,Î¼) no fuzzy cut node is a boundary node of G.

Proof.

Let G be a fuzzy tree. Assume, to the contrary that there exists a fuzzy cut node u of G such that u is a boundary node of some node v of G. Let F be the unique maximum spanning tree of G. Theorem 8 of (Sunitha and Vijayakumar 1999) states that internal nodes of F are fuzzy cut nodes of G. Hence u is an internal node of F. By Theorem 7.4 and 7.5, G and F have the same set of eccentric nodes and an eccentric node of G is a fuzzy end node of G. Now since u is a boundary node it is an eccentric node of G and hence u is a fuzzy end node of F, which contradicts that u is an internal node of F. Hence no fuzzy cut node of a fuzzy tree is a boundary node.

Theorem8.10.

In a fuzzy tree G:(V,Ïƒ,Î¼) a boundary node is a fuzzy end node.

Proof.

Let G be a fuzzy tree and u is a boundary node of G. In a fuzzy tree every node is either a fuzzy cut node or a fuzzy end node (Bhutani and Rosenfeld 2003c). By Theorem 8.9 no fuzzy cut node is a boundary node of G. Hence u is a fuzzy end node of G.

Remark8.11.

In a fuzzy tree G:(V,Ïƒ,Î¼) a fuzzy end node need not be a boundary node. In Figure 25(a), the boundary nodes are v and w and the fuzzy end nodes are v, w and y. Note that the fuzzy end node y is not a boundary node.

Theorem8.12.

Let G:(V,Ïƒ,Î¼) be a complete fuzzy graph on n nodes, nâ‰¥3 and let u 0 be a node of G. Every node distinct from u 0 is a boundary node of u 0 if and only if u 0 is a weakest node of G.

Proof.

nâ‰¥3. Let u 0 be a node of G such that every node distinct from u 0 is a boundary node of u 0. i.e; we have $${u_{0}^{b}}$$ = {u i ,i=1,2,3,...,nâˆ’1}. To prove that u 0 is a weakest node of G. Suppose not. Let u k be a node of G such that Ïƒ(u k ) is least. Then by definition of CFG, Î¼(u 0,u k ) = Ïƒ(u k ) and Î¼(u 0,u i ) = Ïƒ(u 0) âˆ§Ïƒ(u i ), iâ‰ k. Therefore we have Î¼(u 0,u k ) < Î¼(u 0,u i ). Also, d ss (u 0,u k ) = Î¼(u 0,u k ) and d ss (u 0,u i ) = min {Î¼(u 0,u i ), 2 Ïƒ(u k )}, iâ‰ k by Theorem 5.2. Clearly d ss (u 0,u k ) < d ss (u 0,u i ). Therefore by definition of boundary node u k is not a boundary node of u 0, which contradicts the assumption that every node distinct from u 0 is a boundary node of u 0. Therefore u 0 is a weakest node of G.

Conversly assume that u 0 is a weakest node of G. Then by definition of CFG, Î¼(u 0,u i ) = Ïƒ(u 0), i=1,2,3,...,nâˆ’1. Also for any node u i of G d ss (u 0,u i ) = Î¼(u 0,u i ). Hence by definition of boundary node, every node distinct from u 0 is a boundary node of u 0.

Corollary8.13.

In a CFG G:(V,Ïƒ,Î¼), if u 0 is the unique weakest node then every node distinct from u 0 are boundary nodes of G, whereas if the weakest node is not unique then all the nodes of G are boundary nodes of G.

Interior node of a fuzzy graph

Gary Chartrand and Ping Zang (2006) introduced the concepts of interior vertex and interior based on geodesic distance in crisp graph. Linda and Sunitha (2012) introduced the concepts of interior node and interior based on geodesic distance in fuzzy graphs. In this section we introduce the same concepts based on strong sum distance in fuzzy graph. In crisp graph the interior nodes are precisely those nodes that are not boundary nodes (Chartrand and Zang 2006).

Definition9.1.

Any node w in a connected fuzzy graph G:(V,Ïƒ,Î¼) is said to lie between two other nodes u and v(both different from w) with respect to strong sum distance if d ss (u,v) = d ss (u,w) + d ss (w,v).

Definition9.2.

A node w is an interior node of a connected fuzzy graph G:(V,Ïƒ,Î¼) if for every node u distinct from w, there exist a node v such that w lies between u and v.

Example9.3.

Consider the fuzzy graph in Figure 26. The interior nodes are x, w and z and boundary nodes are u and v. Node y is neither a boundary node nor an interior node.

Theorem9.4.

Let G:(V,Ïƒ,Î¼) be a fuzzy graph. A boundary node of G is not an interior node of G.

Proof.

Let v be a boundary node of a connected fuzzy graph G : (V,Ïƒ,Î¼), say v is a boundary node of the node u. Assume, to the contrary, that v is an interior node of G. Therefore by definition of interior node, there exist a node w distinct from u and v such that v lies between u and w. Let P be that strong uâˆ’w path in which v lies between u and w. i.e; P = uâˆ’v 1âˆ’v 2âˆ’v 3âˆ’...âˆ’v=v j âˆ’v j+1âˆ’....âˆ’v k = w, 1 <j<k. Now v j+1 âˆˆ N(u) and d ss (u,v j+1) = d ss (u,v) + k, 0<k â‰¤ 1, which contradicts that v is a boundary node of u.

Remark9.5.

The converse of Theorem 9.4 is not always true. In fuzzy graph, all nodes which are not boundary nodes need not be interior nodes. In Figure 26, the boundary nodes are u and v and interior nodes are x,w and z. Node y is neither a boundary node nor an interior node.

Remark9.6.

In a complete fuzzy graph G : (V,Ïƒ,Î¼), by Theorem 8.12 and Corollary 8.13 there exists at most node which is not a boundary node. Therefore in a CFG there exist at most one node which in an interior node. The interior node if it exists is the unique weakest node of G.

Example9.7.

In Figure 27, we have d ss (u,v) = 0.2, d ss (u,w) = 0.2, d ss (u,x) = 0.2, d ss (v,w) = 0.4, d ss (v,x) = 0.4, d ss (w,x) = 0.4 and d ss (v,w) = d ss (v,u) + d ss (u,w), d ss (v,x) = d ss (v,u) + d ss (u,x) and d ss (w,x) = d ss (w,u) + d ss (u,x). Hence u is the only interior node. By Theorem 8.12 nodes v,w,x are boundary nodes.

Theorem9.8.

In a fuzzy tree G:(V,Ïƒ,Î¼) a node is an interior node if and only if it is a fuzzy cut node.

Proof.

Let G be a fuzzy tree and F, the unique maximum spanning tree of G. Let u be an interior node of G. Hence by Theorem 9.4 u is not a boundary node of G. Suppose u is not a fuzzy cut node of G. Theorem 8 of (Sunitha and Vijayakumar 1999) states that internal nodes of F are fuzzy cut nodes of G. Hence u is not an internal node of F. u is an end node of F and hence a fuzzy end node of G. Thus u does not lie between any two nodes of G since there is only one strong arc incident on u. Therefore u is not an interior node of G, which contradicts our assumption. Hence u is a fuzzy cut node of G.

Conversely, let u be a fuzzy cut node of G. Hence u is an internal node of F. Since F is a tree, for any node w different u there exist an end node v of F such that d ss (w,v) = d ss (w,u) + d ss (u,v). Thus u is an interior node of G.

Conclusion

The idea of strong sum distance which is a metric, in a fuzzy graph is introduced. The concepts of eccentricity, radius, diameter, center, self centered f-graphs etc. are studied using this metric. A characterization of self centered complete fuzzy graph is obtained and conditions under which a fuzzy cycle is self centered are established. A necessary and sufficient condition for all paths in a CFG with nâ‰¥ 3 to be strongest paths is obtained. Also discussed the construction of a fuzzy graph G from a given fuzzy graph H such that <C(G)> â‰…H. We have proved that based on this metric, an eccentric node of a fuzzy tree G is a fuzzy end node of G and a node is an eccentric node of a fuzzy tree if and only if it is a peripheral node of G and the center of a fuzzy tree consists of either one or two neighboring nodes. The concepts of boundary nodes and interior nodes in a fuzzy graph based on strong sum distance are introduced. Some properties of boundary nodes, interior nodes and complete nodes are studied.

References

• Abdul Jabbar, N, Naoom JH, Ouda EH (2009) Fuzzy dual graph. J Al Nahrain Univ 12: 168â€“171.

• Akram, M (2011) Bipolar fuzzy graphs. Inform Sci 181: 5548â€“5564.

• Akram M (2012) Interval-valued fuzzy line graphs. Neural Comput Appl 21: 145â€“150.

• Akram, M (2013) Bipolar fuzzy graphs with applications. Knowledge-Based Syst 39: 1â€“8.

• Akram, M, Alshehri N (2014) Intuitionistic fuzzy cycles and intuitionistic fuzzy trees. Sci World J 2014: 11. Article ID 305836.

• Akram, M, Dudek WA (2011) Interval-valued fuzzy graphs. Comput Math Appl 61: 289â€“299.

• Akram M, Dudek WA (2012) Regular bipolar fuzzy graphs. Neural Comput Appl 21: 197â€“205.

• Akram, M, Karunambigai MG (2011) Metric in Bipolar Fuzzy Graphs. World Appl Sci J 14(12): 1920â€“1927.

• Akram M, Karunambigai MG (2012) Some metric aspects of intuitionistic fuzzy graphs. World Appl Sci J 17(12): 1789â€“1801.

• Alshehri, N, Akram M (2013) Cayley bipolar fuzzy graphs. Sci World J 2013: 8. Article ID 156786.

• Alshehri, N, Akram M (2014) Intuitionistic fuzzy planar graphs. Discrete Dynamics Nat Soc 2014: 9. Article ID 397823.

• Bhattacharya, P (1987) Some remarks on fuzzy graphs. Pattern Recognit Lett 6: 297â€“302.

• Bhutani, KR (1989) On automorphisms of fuzzy graphs. Pattern Recognit Lett 9: 159â€“162.

• Bhutani, KR, Rosenfeld A (2003a) Strong arcs in fuzzy graphs. Inform Sci 152: 319â€“322.

• Bhutani KR, Rosenfeld A (2003b) Geodesics in fuzzy graphs. Electron Notes Discrete Math 15: 51â€“54.

• Bhutani, KR, Rosenfeld A (2003c) Fuzzy end nodes in fuzzy graphs. Information Sci 152: 323â€“326.

• Chartrand, G, Zang P (2006) Introduction to Graph Theory. Tata McGraw Hill Edition, Delhi.

• Cohen, JE (1968) Interval graphs and food webs: a finding and a problem. Document 17696-PR, RAND Corporation, Santa Monica, CA.

• Harary, F (1969) Graph Theory. Addison-Wesley Publishing Company Inc, Boston.

• Linda, JP, Sunitha MS (2013) Î¼- Geodetic Iteration Number and Î¼- Geodetic Number of a Fuzzy Graph. Gen Math Notes 18: 1â€“12.

• Linda, JP, Sunitha MS (2012) On g-eccentric nodes g-boundary nodes and g-interior nodes of a fuzzy graph. Int Jr Math Sci Appl 2: 697â€“707.

• Linda JP, Sunitha MS (2014a) Fuzzy detour g-center of a fuzzy graph. Ann Fuzzy Math Inform 7(2): 219â€“228.

• Linda, JP, Sunitha MS (2014b) Fuzzy detour g-interior nodes and Fuzzy detour g-boundary nodes of a fuzzy graph. J Intell Fuzzy Syst 27: 435â€“442.

• Mini Tom Sunitha, MS (2014) Notes on types of arcs in a fuzzy graph. J Uncertainty Math Sci: 1â€“4.

• Mordeson, JN, Nair PS (2000) Fuzzy Graphs and Fuzzy Hypergraphs. Physica - Verlag, Heidelberg.

• Namboothiri, NMM, Kumar VA, Ramachandran PT (2013) Cayley fuzzy graphs. Far East J Math Sci 73: 1â€“15.

• Nagoorgani, A, Umamaheswari J (2010) Fuzzy detour Î¼center in fuzzy graphs. Int J Algorithms Comput Math 3(2): 57â€“63.

• Pal, M, Rashmanlou H (2013) Irregular Interval - valued fuzzy graphs. Annals of Pure and Applied Mathematics 3(1): 56â€“66.

• Pal, A, Samanta S, Pal M (2013) Concept of fuzzy planar graphs In: Proceedings of the Science and Information Conference, 557â€“563, London, UK.

• Pramanik, T, Samanta S, Pal M (2014) Interval - valued fuzzy planar graphs. Int J Mach Learn Cyber. doi:10.1007/-014-0284-7.

• Rashmanlou, H, Pal M (2013) Isometry on Interval - valued fuzzy graphs. Int J Fuzzy Math Arch 3: 28â€“35.

• Rosenfeld, A (1975) Fuzzy Graphs. In: Zadeh LA, Fu KS, Shimura M (eds)Fuzzy Sets and their Application to Cognitive and Decision Processes, 77â€“95.. Academic Press, New York.

• Samanta, S, Pal M (2013) Fuzzy k-competition graphs and p-competition fuzzy graphs. Fuzzy Inf Eng. doi:10.1007/s12543-013-0140-6.

• Samanta, S, Pal A, Pal M (2014) New concepts of fuzzy planar graphs. Int J Adv Res Artif Intell 3(1): 52â€“59.

• Samanta, S, Akram M, Pal M (2015) m-Step fuzzy competition graphs. J Appl Math Comput 47: 461â€“472.

• Sameena, K, Sunitha MS (2008) A Characterisation of g-selfcentered Fuzzy Graphs. J Fuzzy Math 16: 787â€“791.

• Sameena K, Sunitha MS (2011) On g- distance in fuzzy trees. J Fuzzy Math 19: 787â€“791.

• Sunil, M, Sunitha MS (2009) Types of arcs in a fuzzy graph. Inform Sci 179: 1760â€“1768.

• Sunitha, MS, Vijayakumar A (1998) Some Metric Aspects Of Fuzzy Graphs In: Proceedings Of The Conference on Graph Connections, 111â€“114.. Cochin University of Science and Technology, Cochin.

• Sunitha MS, Vijayakumar A (1999) A characterization of fuzzy trees. Inform Sci 113: 293â€“300.

• Talebi, AA, Hossein R (2013) Isomorphism on Interval - valued fuzzy graphs. Annals of Fuzzy Mathematics and Informatics 6(1): 47â€“58.

• Yeh, RT, Bang SY (1975) Fuzzy relations, fuzzy graphs and their application to clustering analysis. In: Zadeh LA, Fu KS, Shimura M (eds)Fuzzy sets and their Application to Cognitive and Decision Processes, 125â€“149.. Academic Press, New York.

Author information

Authors

Corresponding author

Correspondence to Mini Tom.

Competing interests

The authors declare that they have no competing interests.

Authorsâ€™ contributions

The authors MT and SMS introduced the idea of strong sum distance in a fuzzy graph and studied various concepts in fuzzy graph based on this metric and drafted the manuscript. Both authors read and approved the final manuscript.

Rights and permissions

Reprints and permissions

Tom, M., Sunitha, M.S. Strong sum distance in fuzzy graphs. SpringerPlus 4, 214 (2015). https://doi.org/10.1186/s40064-015-0935-5