You are on page 1of 5

IOSR Journal of Mathematics (IOSR-JM

)
e-ISSN: 2278-5728, p-ISSN: 2319-765X. Volume 11, Issue 6 Ver. IV (Nov. - Dec. 2015), PP 103-107
www.iosrjournals.org

Some Concepts on Constant Interval Valued Intuitionistic Fuzzy
Graphs
1

S. Yahya Mohamed and 2R. Jahir Hussain,

1

P .G and Research Department of Mathematics, Govt. Arts College , Tiruchirappalli-620 022, India.
P .G and Research Department of Mathematics, Jamal Mohamed College, Tiruchirappalli-620 020, India.

2

Abstract: The fundamental characteristic of the IVIFS is that the values of its membership function and nonmembership function are intervals rather than exact numbers. In this paper, we define degree, order and size of
IVIFGs. Also constant Interval valued intuitionistic fuzzy graphs and totally constant IVIFGs are introduced
and discussed some properties of constant IVIFG.
Keywords: Intuitionistic fuzzy graph, Interval valued intuitionistic fuzzy set, Interval valued intuitionistic fuzzy
graph, Strong IVIFG, Constant IVIFG, totally constant IVIFG.
AMS Mathematics Subject Classification (2010): 03E72, 05C69, 05C72.

I.

Introduction:

Fuzzy set (FS) was introduced by Zadeh [16] in 1965, as a generalization of crisp sets. The concept of
intuitionistic fuzzy sets (IFSs), as a generalization of fuzzy set was introduced by K. Atanassov [1] and defined
new operations on intuitionistic fuzzy graphs. Later, K. Attannasov and G. Gargov [3] introduced the Interval
valued intuitionistic fuzzy sets (IVIFSs) theory, as a generalization of both interval valued fuzzy sets(IVFSs)
and intuitionistic fuzzy sets (IFSs) . Hence, many scholars applied IFS and IVIFS to decision analysis and
pattern recognition widely.
By introducing the degree of membership M A(x), the degree of non-membership NA(x) and the degree
of hesitancy HA(x), the IFS theory and IVIFS theory established. According to the IVIFS definition, M A(x),
NA(x) and HA(x) are intervals, where MA(x) denotes the range of support party, N A(x) denotes the range of
opposition party and HA(x) denotes the range of absent party. Atannasov’s IVIFS is based on point estimation,
which means that these intervals can be regarded as estimation result of an experiment. K. Atanassov [2] in
1994 introduced some operations over interval valued fuzzy sets (IVFSs). In 2000, Some Operations on
intuitionistic fuzzy sets were proposed by De S. K., Biswas. R and Roy A. R [6]. In 2006, some operators
defined over Interval-valued intuitionistic fuzzy sets were proposed by N. K. Jana and M. Pal [8]. In 2008,
properties of some IFS operators and operations were proposed by Q. Liu, C. Ma and X. Zhou [9]. In 2011,
Intuitionistic fuzzy sets: Some new results were proposed by R. K. Verma and B. D. Sharma [12]. In 2014, An
Interval-valued Intuitionistic Fuzzy Weighted Entropy (IVIFWE) Method for Selection of Vendor was proposed
by D. Ezhilmaran and S. Sudharsan [7]. A. Nagoor Gani and S. Sajitha Begum [11] defined degree, Order and
Size in intuitionistic fuzzy graphs and extend the properties. In 2014, M. Ismayil[10] et.al. introduced the
notion of strong IVIFG and discussed some operations.
In this paper, we define the degree, order and size of IVIFGs with some results. Also, Constant IVIFGs
and totally constant IVIFGs are introduced, and some properties are analyzed.

II.

Preliminary

Definition 2.1: A fuzzy graph G = (σ,µ) is a pair of functions σ : V → [ 0,1] and
µ : V x V → [ 0,1], where for all u, v ЄV, we have µ(u,v) ≤ σ(u) Λ σ(v).
Definition 2.2: An intuitionistic fuzzy graph is of the form G = (V, E ), where
(i)
V={v1,v2,…,vn} such that μ1: V[0,1]and γ1: V [0,1] denote the degree of membership and nonmembership of the element vi ∈V, respectively, and 0 ≤ μ1 (vi) + γ1 (vi) ≤ 1 for every vi ∈V, (i = 1,2, …, n),
(ii)
E ⊆ V x V where μ2: V x V [0,1] and γ2: V x V [0,1] are such that μ2 (vi , vj) ≤ min [μ1(vi), μ1(vj)]
and γ2 (vi ,vj) ≤ max [γ1(vi), γ1(vj) ] and 0 ≤ μ2 (vi, vj) + γ2 (vi , vj) ≤ 1 for every (vi , vj) ∈ E, i, j = 1,2, …, n.
Definition 2.3: An edge e = (x, y) of an IFG G = ( V, E ) is called an effective edge if
μ2(x, y) = μ1(x) Λ μ1 (y) and γ2(x, y) = γ1(x) V γ1(y).
Definition 2.4: An Intuitionistic fuzzy graph is complete if μ2ij = min ( μ1i, μ1j ) and
γ2ij = max (γ2i ,γ2j) for all ( vi , vj ) Є V.

DOI: 10.9790/5728-1164103107

www.iosrjournals.org

103 | Page

 1R (v j )] Definition 3.1: An interval valued intuitionistic fuzzy graph (IVIFG) with underlying set V is defined to be a pair G = (μ. tdγ(v)) ]. u    2 R (v)) .1] and 𝛾𝐴:𝑋 → [0. and 0  1R (vi )   1R (vi )  1 for every vi ∈V. the interval-valued intuitionistic index of x in A.  A R (x) and  A L (x). 1L (v j )] . 1L (v j )] and 2 R (vi . L u v Definition 3. (  A L (𝑥). v j )   2 R (vi . dγ(v)) where dμ(v) = (    v.  A R (𝑥))] | 𝑥 ∈ 𝑋}where 0 ≤  A R (x)+  A R (𝑥) ≤ 1 . That is every edge is effective edge.2. Example 3. Then the degree of a vertex v is defined by d(v) = (dμ(v). u)   1 (v). (i = 1.  A L (𝑥) ≥ 0.    v. 1L (v j )] and R  2L (vi . abbreviated by [  A (𝑥). The intervals 𝜇𝐴 (𝑥) and 𝛾𝐴 (𝑥) denote the degree of membership function and the degree of non-membership of the element x to the set A.1] with the condition 0 ≤ sup(𝜇𝐴 (𝑥)) + sup(𝛾𝐴 (𝑥)) ≤ 1. where u   1R (v)) and (v.2: Fig -1: Interval Valued Intuitionistic Fuzzy Graph (IVIFG) Definition 3. i. respectively.  1R (v j )] such that 0  2 R (vi . E ) be an IVIFG.  A R (x)). v j )  Max[1L (vi ).  A L (𝑥) ≥ 0.5: The total degree of a vertex ‘v’ in IVIFG is defined as tdμ(v) = (    v.  2 R (vi . Definition 2. n). v j )  min[1R (vi ).1] and γ2: E ⊆ V x V D[0. We call the interval [1 −  A R (x)−  A R (𝑥). ….[𝜇𝐴 (𝑥). u . n.Some Concepts on Constant Interval Valued Intuitionistic Fuzzy Graphs Definition 2. For every 𝑥 ∈ 𝑋. j = 1. γ). (ii) The function µ2: E ⊆ V x V D[0.  A R (𝑥).6: Let G be an IVIFG and all vertices are of same degree then G is said to be regular IVIFG. Interval Valued intuitionistic fuzzy graph Definition 3. vj) ∈ E.org 104 | Page .iosrjournals. DOI: 10.9790/5728-1164103107 www. vj ) Є E. v j )  Max[1L (vi ). where 𝜇𝐴: 𝑋 → [0. which is a hesitancy degree of x to A.    v. v j )  min[1R (vi ).6: An Interval valued intuitionistic fuzzy set A in the finite universe X is defined as 𝐴 = { 𝑥. for any 𝑥 ∈ 𝑋. v j )  Max[ 1R (vi ). Where (i) μ1: VD[0. Especially if 𝜇𝐴 (𝑥) =  A L (𝑥) =  A R (x) and 𝛾𝐴 (𝑥) =  A L (x) =  A R (𝑥) then the given IVIFS A is reduced to an ordinary IFS III.    v. v j )  min[1L (vi ).   2 R  v. v j )  Max[ 1R (vi ). 𝜇𝐴 (𝑥) and 𝛾𝐴 (𝑥) are closed intervals and their Left and Right end points are denoted by  A L (𝑥). 𝛾𝐴 (𝑥)] | 𝑥 ∈ 𝑋 } . y) = γ1(x) V γ1(y) for all ( vi . 1R (v j )]  2L (vi . v j )  1 for every (vi .5: An Intuitionistic fuzzy graph G is said to be strong IFG if μ2(x.3: An IVIFG is called Strong Interval valued intuitionistic fuzzy graph (SIVIFG) if 2 (vi .1]and γ1: V D[0. 1 −  A L (𝑥)−  A L (x)] .2. 1L (v j )] and  2 R (vi .   2 u v R  v. Let us denote 𝐴 = { [𝑥. L  A R (𝑥)] and denoted by 𝜋𝐴 (𝑥).4: Let G = (V. y) = μ1(x) Λ μ1 (y) and γ2(x. u .1] where 2 L (vi . u  ) and L u v R 2 u v dγ(v) = ( 2 Definition 3. (  A L (x).1] denote the degree of membership and non-membership of the element vi ∈V. …. v j )  min[1L (vi ). u    L u v tdγ(v) = (  u v 2 L 2 1 L (v). u  ) L u v 2 R u v 2 t(v) = [(td μ(v). 1R (v j )] 2 L (vi .

regular IVIFG. c2)] Theorem 4.a. u ). Thus (ii)  (i) is proved. DOI: 10. c2). K j ) for all vi  V .c2) . d (vi ) =(c1. Suppose 1L ≠  1L and 1R ≠  1R for at least one pair of vertices say v1. u )] L u v R 2 L 2 u v R 2 u v u v 2 Definition 3. Now. (   v      v )] L vV R 1 vV L 1 vV R 1 vV 1 Definition 3. u ).b) and similarly. (c1. v2∈ V. then the IVIFG is called totally constant IVIFG with degree [(c1. Definition 4. u . So td  (v1 ) = (c1. d  (v)  (k1 . then the order of G is defined to be O(G) = [(    v . k 2 )] is [( 1 .7: Let G be an IVIFG. u )] L u v Since G is 2 R u v 2 L u v 2 R u v 2 [(k1 . G is not constant 1L =  1L and 1R =  1R . Thus (i) (ii) is proved.iosrjournals. c2) + ( 1L (v2 ). Constant Interval Valued Intuitionistic Fuzzy Graph Definition 4. Assume G is both constant IVIFG and Totally constant IVIFG.   2 R  v.1 : Let G be an IVIFG. which is a contradiction to our assumption. We a. d vV G (v)  2[( 2 L  v.9790/5728-1164103107 www. ). Similarly td (v1 ) = (c1 +  1L (v1 ) . ( K i .    v. where p is order of IVIFG. then d  (v1 ) = d  (v2 ) = (c1. k2 . Then.Then d  (vi ) =(c1. td (vi ) = (k1. K j )] . k2 ). Hence. Hence G is totally constant IVIFG.org 105 | Page . k2 ) for all v ϵ V. (c1. pk pk2 pk1 pk2 Theorem 4.4: The size of a constant IVIFG with degree [( k1 . Since 1L ≠  1L and 1R ≠  1R . (  2 L  v. td  (v2 ) = (c1. c2) + ( 1L (v1 ). c2+b). uv uv uv u v IV. k2 . ( .3: Let G be the IVIFG and if 1L =  1L and 1R =  1R for all vertices if and only if the following are equivalent (i) G is constant IVIFG (ii) G is totally constant IVIFG Proof: Let 1L =  1L = a.b). td (vi ) = (c1 + a. c2) for all vi  V . then td  (vi ) = (k1. So G is not totally constant IVIFG . k2 )] . If d  (vi )  ( K i . So G is constant IVIFG. Hence (i) and (ii) are equivalent. td (v1 ) ≠ td (v2 ) .8: Let G be the IVIFG. k2) for all get d  (vi ) +(a. c2) and td (vi ) = (c1. where a and b are constants.    v ). c2). and 1R =  1R = b for all vertices. then td  (v1 ) ≠ td  (v2 ) . So. Let G be constant IVIFG. )] 2 2 2 2 IVIFG. d (v)  (k1 . k2 ). Proof: The size of IVIFG is S(G) = [(    v. c2+b) for all vi  V . k2 ) . then the graph G is constant IVIFG with degree [( K i . which is a contradiction to our assumption.   2 R  v. u . c2+  1R (v2 ) ) . b) = (k1. c2)]. d (vi ) = (k1 . u .Some Concepts on Constant Interval Valued Intuitionistic Fuzzy Graphs Definition 3. d (v1 ) ≠ d (v2 ) . we get. k2)  d  (vi ) = (k1 - vi  V . (   v. c2+  1R (v1 ) ) Also.9: In any IVIFG G. c2). (   v. (( k1 . So td  (vi ) = (c1 + a. suppose that G is totally constant IVIFG.    v. 1R (v1 )) = (c1 + 1L (v1 ) . then the size of G is defined to be S(G) = [(    v. c2) for all vi  V . we take G is totally constant IVIFG. u  )] = 2 S(G). u . K j ) and d (vi )  ( K i . u . Assume that G is constant IVIFG with constant degree [(c1. k2). 1R (v2 )) = (c1 + 1L (v2 ) . we get d  (v1 ) ≠ d  (v2 ) . Now. Conversely. K j ). c2+ 1R (v1 ) ). c2+ 1R (v2 ) and td  (v2 ) = (c1 +  1L (v2 ) . u . u ).2: Let G be an IVIFG.    v. If td  (vi ) = (c1.    v. ((k1 .

c2)(c1. Therefore.  2 R (v))] . u    1R (v))] u v u v  [(   v. (c1 . ).(  2  v.  d   v ). u .pc2)].org 106 | Page .pc2)(pc1. 1L +  1L and 1R +  1R are constant functions for all vertices then  2 L   2 L and  2 R   2 R are also with same constant functions for all edges. Example 4. then 2 S(G) + O(G) = [(pc1. the maximum is taken from either two vertices and then the maximum value may be differ in the one of the vertices and  2 R   2 R = c2 .c2) = (  u v L 2 L 1 (v). (   2 L  v. u   1R (v)). 2 S(G) = [( u v u v  k . we get  2 L   2 L = c1 and  2 R   2 R = c2 for all the edges. Also 1L +  1L may not equal to c1 for all vertices. c2 ). [( (c1 . given is strong IVIFG.c2)] as total degree for all vertices. Where p = O(G).Some Concepts on Constant Interval Valued Intuitionistic Fuzzy Graphs We have ((  d   v .   2 R  v. pk2 ).  1R (v j )] So. u .9790/5728-1164103107 1L +  1L and 1R +  1R are constant functions www. c2 ))] = vV vV  [(   v.c2)(c1.iosrjournals.  1R (v)). Since 1L +  1L = c1 and 1R +  1R = c2 for all the vertices.c2)].   2 R  v. u    L 2 u v Also (c1. 1R (v j )] we get 2 L (vi .  2 R  v. v j )  min[1R (vi ).  2  v. Conversely. u v (v.5: Let G be an IVIFG and G is totally constant IVIFG with [(c 1. vV  (  2 L (v. u . vV u v uv vV vV That is [(pc1. but 1R +  1R may not equal to c2 for all vertices. then (c1. u    L vV = 2 u v 1 L (v). for the edges. ( k . and  2 R (vi .    v. pc2).  2L (vi . u )] = 2 S(G) u v That is.  k )] = 1 vV vV 2 1 vV vV 2 u v [( pk1 . but the converse need not true.( d  v . ( . the converse need not true. v j )  min[1L (vi ).totally constant IVIFG . v j )  Max[ 1R (vi ).   2 R  v. u )  (  L vV u v R 2 u v 2 vV L 1 u v (v). (( pk1 .(pc1. v j )  Max[1L (vi ). u   1R (v)) . 2 R (vi . pk2 )] pk1 pk2 pk1 pk2 . u )  (  1L (v).c2) = (    v. Proof: Given G is [(c1.6: Let G be Strong IVIFG .7: Fig -2: Strong IVIFG with DOI: 10. u    1L (v). S(G) = [( Theorem 4.pc2)] = 2 S(G) + O(G) where p = O(G) Theorem 4. u).   2 R  v.  d  v )) L vV R L vV R vV vV L R L R = 2 [( 2  v. u)   1L (v). u    2 R (v)) u v Therefore. )] 2 2 2 2 Therefore.  k ). 1L (v j )] . 1L (v j )] . Proof: Suppose.   2  v. u ).

[9].174. C and Zhou.5 and  2 R   2 R = 0. DOI: 10. X. N. [8]. http://dx.iosrjournals.  2 L   2 L and  2 R   2 R are constant functions  2 L   2 L = 0. Proposition 4. Then we get for all edges. [15].9 for all edges. K. Yahya Mohamed.10. Int. Fuzzy Sets & Systems.org 107 | Page .doi. http://dx. [2]. K.doi. 33 (1989). Proof: In any IVIFG.1016/0165-0114(89)90205-4 Atanassov. 37 . Notes on Intuitionistic Fuzzy Sets. and Jahir Hussain.org/10. constant IVIFGs and totally constant IVIFGs are defined and some results are proved which is very rich both in theoretical developments and applications. 113 . [6]. Also. K and Gargov. Also 1L +  1L and 1R +  1R  2 L   2 L and  2 R   2 R are not also equal for any edges.1016/s0165-0114(86)80034-3 Atanassov. 20 (1986).Some Concepts on Constant Interval Valued Intuitionistic Fuzzy Graphs Here. [10]. Example 4. (2008).5 and 1R +  1R ≠ 0. (Jan.1016/0165-0114(94)90229-1 De. 31 (1989). Biswas. Fuzzy Logic & Optimization. [16].doi.(3)3 (2010). S et. A and Shajitha Begum. http://dx. References [1]. [3]. Nagoor Gani.9790/5728-1164103107 www.1016/01650114(89)90215-7 Some new identities 2739.D.9 for all vertices. R. B. 9075 . Jana. K. M. It is impossible that are equal for any vertices. [7]. A and Mohamed Ali. Verma. 14 (3) (2008). http://dx. 14 (3). for the edges also we get  2 L   2 L and  2 R   2 R are not equal. [5]. [4].  2 L   2 L = 0.org/10. Yahya Mohamed. On properties of some IFS operators and operations. International Journal of Applied Engineering Research. Operations over interval valued fuzzy set.1016/s0019-9958(65)90241-x.. [12]. 114 (2000). Liu . 87-96. Intuitionistic fuzzy sets. more theorems and results of IVIFGs will be proposed. S. An Interval-valued Intuitionistic Fuzzy Weighted Entropy (IVIFWE) Method for Selection of Vendor.45. Fuzzy Sets & Systems.1016/s0165-0114(98)00191-2 Ezhilmaran. Ver. Vol. In future. [11]. IOSR-JM.9 for all vertices.Journal of Fuzzy Mathematics and Systems. So. Information & Control. S.9083. 343 -349. Notes on Intuitionistic Fuzzy Sets.9 . 1 . Some operators defined over Interval-valued intuitionistic fuzzy sets.8: Fig -2: Strong IVIFG with Here.K and Pal. Zadeh. V.4. Issue 6. Degree. IOSR-JM. Some Operations on intuitionistic fuzzy sets. K.. 9 (21) (2014). 159 .9: For an Interval valued intuitionistic fuzzy graph G. Fuzzy Sets. al. but 1L +  1L ≠ 0. T. (2011). Interval-valued intuitionistic fuzzy sets. Fuzzy Sets & Systems. [13]. 137 . II (Jul-Aug2014). New operations defined over the intuitionistic fuzzy sets. International Journal of Algorithms. L.doi. membership and non-membership values are intervals and in the form 1L < 1R and  1L <  1R respectively. A.353. 9. http://dx. 4(2014). 17 . Atanassov. 1 .org/10. 64 (1994)... Similarly. Issue 4. pp 23-27. K. Computing and Mathematics. Mohamed Ismayil. Notes on Intuitionistic Fuzzy Sets. Ma. R. R and Roy A. R. Fuzzy Sets & Systems.org/10. Order and Size in Intuitionistic Fuzzy Graphs.5 and 1R +  1R = 0. Four equalities connected with intuitionistic fuzzy sets.K and Sharma. 1L +  1L = 0. 8 (1965). 2014). Intuitionistic fuzzy sets: Some new results. (2006). [14]. D and Sudharsan. 61 (1994). pp 47-51. 17 (3).5 and  2 R   2 R = 0. 338 . Q. Vasilev. Vol. Semi global dominating set of Intuitionistic fuzzy graphs. 10.org/10. Fuzzy Sets & Systems.A. G. Atanassov.42. S. 477 .doi.24.org/10.126. Fuzzy Sets & Systems.. 161-168. http://dx.S. Conclusion Here we defined order and size of IVIFG and verify the property that sum of degrees of vertices is equal to twice the size of the graph. Irregular Intuitionistic fuzzy graphs.484. More on intuitionistic fuzzy sets. 1L +  1L and 1R +  1R are not equal for any intervals.doi. On Strong Interval-valued Intuitionistic Fuzzy Graph. Atanassov.