Survey
* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
Int. J. of Mathematical Sciences and Applications, Vol. 1, No. 3, September 2011 Copyright Mind Reader Publications www.journalshub.com Labellings of Fuzzy Graph Structures as Fuzzy Algebra of Incidence Algebra Dinesh T. and Ramakrishnan T.V. Department of Mathematical Sciences Kannur University,Mangattuparamba Kannur University Campus P.O.-670 567 Kerala, India [email protected] Abstract The authors established a relation between incidence algebras and the Rilabellings, Ri-index vectors, labelling matrices and index matrices of a graph structure and a relation between fuzzy algebra of an incidence algebra and the labellings and index vectors of a fuzzy graph in previous papers. Here we extend these concepts to fuzzy graph structures. Subject classification: Primary 05C72, Secondary 05C78,06A11. Keywords: Fuzzy graph structures, Ri-labelling,Ri-index vector, Labelling matrix, Index matrix, Fuzzy algebra of incidence algebra. 1. Introduction Based on the works of Brouwer[2], Doob[9] and Stewart[16], Jeurissen[12] defined index vectors, labelings and admissible index vectors of graphs. We established some relations between graph labelings and incidence algebras in [6] and extended the concepts to graph structures in [7]. Later we established relations between a fuzzy algebra of an incidence algebra and the labellings and index vectors of a fuzzy graph in [8]. Here we extend this to fuzzy graph structures. For concepts on Graph Theory, reference may be made to [11], for fuzzy graphs to [13] and for incidence algebras, to [15] and [10]. 2.Preliminaries We recall the concept of graph structure given by Sampathkumar[14] and fuzzy graph structure given by the authors in [3]. Definition 2.1 [14] G = (V,R1,R2,...,Rk) is a graph structure if V is a non empty set and R1,R2,...,Rk are relations on V which are mutually disjoint such that each Ri, i=1,2,...,k, is symmetric and irreflexive. If (u,v)∈ Ri for some i,1 ≤ i ≤ k, (u,v) is an Ri-edge. Ri-path between two vertices u and v consists only of Ri-edges. G is R1R2...Rk connected if G is Ri-connected for each i. Definition 2.2 [3] 1369 Dinesh T. and Ramakrishnan T.V. Let G be a graph structure (V,R1,R2,...,Rk) and µ,ρ1, ρ2,..., ρk be fuzzy subsets of V,R1,R2,...,Rk respectively such that ρi (x,y) ≤ µ (x)∧µ(y) ∀ x,y ∈V, i=1,2,...,k. Then = (µ, ρ1, ρ2,... ρk) is a fuzzy graph structure of G. We now recall the concepts of Ri -labellings and Ri -index vectors of a graph structure and some results obtained in [4]. Definition 2.3 [4] Let F be an abelian group or a ring and G = (V,R1,R2,...,Rk) be a graph structure with vertices v0,v1,...,vp-1 and qi number of Ri-edges. A mapping ri:V→ F is an Ri-index vector with components ri(v0), ri(v1),..., ri(vp-1), i=1,2,...,k and a mapping ri: Ri → F is an Ri -labelling with components xi( ),xi( ),..., xi( ), i=1,2,...,k. ∈ An Ri -labelling xi is an Ri -labelling for the Ri -index vector ri iff ri(vj)= where is the set of all Ri -edges incident with vj. Ri -index vectors for which an Ri -labelling exists are called admissible Ri -index vectors. Now we recall the concepts of partial order, pre-order, incidence algebra etc. from [15]. Definition 2.4 [15] A set X with a binary relation ≤ is a pre-ordered set if ≤ is reflexive and transitive. If ≤ is reflexive, transitive and antisymmetric, then X is a partially ordered set (poset). Spiegel and O'Donnell [15] gives the definition of incidence algebra as follows. Definition 2.5 [15] The incidence algebra I(X,R) of the locally finite partially ordered set X over the commutative ring R with identity is I(X,R)={f:X x X→ R|f(x,y)=0 if x is not less than or equal to y} with operations given by (f+g)(x,y) = f(x,y)+g(x,y) (f.g)(x,y) = ≤≤ (r.f)(x,y) = r.f(x,y) for f,g∈ I(X,R) with r∈ R and x,y,z ∈ X. In [10], Foldes and Meletiou says about incidence algebra of pre-order as follows. Definition 2.6 [10] Given a field F, the incidence algebra A(ρ), of a pre-order set (S,ρ),S={1,2,...,n} over F is the set of maps α:S2→F such that α (x,y)=0 unless x ρ y. The addition and multiplication in A(ρ) are defined as matrix sum and product. 3. ρi -labellings and ρi -index vectors of a fuzzy graph structure Now we move on to define ρi -labellings, ρi -index vectors etc. of a fuzzy graph structure. Definition 3.1 Let = (µ,ρ1, ρ2,... ρk) be a fuzzy graph structure. Let ri:V→F and xi: Ri →F, i=1,2,...,k. We have xi(ρi)(xi(u,v))= !"#∈ $%& '() * + and ,i(µ)( ri(u))= !(∈ $%&') µ -. Then */=(r i,ri (µ)) is a ρi. 1 0 if ri is an Ri -index vector for =(supp(µ),supp(ρ1),supp(ρ2),...,supp(ρk)). 2 =(xi, xi(ρi)) is index vector of a ρi -labelling of if xi is an Ri -index vector for 1 =(supp(µ),supp(ρ1),supp(ρ2),...,supp(ρk)). 1370 Labellings of Fuzzy Graph Structures as Fuzzy Algebra of Incidence Algebra Definition 3.2 For a fuzzy graph structure = (µ,ρ1, ρ2,... ρk), 1 2 =(xi, xi (ρi)) is 1. */=(r i,ri (µ)) is admissible if ri is so for =(supp(µ),supp(ρ1),supp(ρ2),...,supp(ρk)). Then . a ρi -labelling for */. . fuzzy admissible if ri(µ)(ri(- ))≥ 3ρ &44 )56 &ρ ) 7&- - )8 ∀ vi ∈V. 2. */is . Then 2 is a fuzzy ρi-labelling for */. . In [4], we studied the operations of addition and scalar multiplication of Ri -index vectors and Ri -labellings of a graph structure. We introduced multiplication in [7]. We recall them now. Let G = (V,R1,R2,...,Rk) be a graph structure. 9 (vl,vm) = (vl,vm)+ (vl,vm) (f (vl,vm)=f (vl,vm)) (vl,vm) =4< 4=4= 4> ∈ -: -; (vs,vm) ∀(vl,vm)∈ Ri. * 9 * (vl)=* (vl)+ * (vl) (f* (vl)=f* (vl)) * * (vl) =4<4= ∈ * -: * (vs) ∀vl∈ V. Now we recall some of the results proved in [7]. Theorem 3.1 [7] The set ?@AB (V,F) of Ri -labellings for all admissible Ri -index vectors of a graph structure G = (V,R1,R2,...,Rk) is a subalgebra of I(V,F) where Ai is the collection of all admissible Ri -index vectors. Theorem 3.2 [7] The set?@λB (V,F) of Ri -labellings for λ C ,λ ∈ F, C an all 1 vector, of a graph structure G = (V,R1,R2,...,Rk) forms a subalgebra of the incidence algebra I(V,F). Theorem 3.3 [7] The set ?@6B (V,F) of Ri-labellings for 0 of a graph structure G = (V,R1,R2,...,Rk) forms a subalgebra of the incidence algebra I(V,F). We now establish some relation between the fuzzy ρi -labellings and fuzzy ρi -index vectors with a fuzzy algebra of the incidence algebra related with a graph structure. Note that by a fuzzy algebra of an incidence algebra, we mean a collection of mappings from a fuzzy subset of V x V to a fuzzy subset of F which forms a subalgebra of I(V,F). Theorem 3.4 The set of fuzzy ρi -labellings F?@AB (V,F) for fuzzy admissible ρi -index vectors of a fuzzy graph structure = (µ,ρ1, ρ2,... ρk) is a fuzzy algebra of the incidence algebra I(V,F). Proof Let D. D. be fuzzy ρi -labellings for the fuzzy admissible ρi -index vectors D *. *D . . Then by definition are Ri -labellings for * * in 1 =(supp(µ),supp(ρ1),supp(ρ2),...,supp(ρk)). So from theorem 3.1, 9 , and f are Ri -labellings for * 9 * ,* * and +* respectively in 1 Also 1371 Dinesh T. and Ramakrishnan T.V. * 9 * (µ) * 9 * (vl) = !EF %G HEI %G H4< JK ≥ !EF %EI %4< HEI H4< JK But * K=E4∈LBM K - * (-: =E4∈LBO -: -N < * K=E4∈LBM K - * (-: =E4∈LBO -: -N < where P Q' and P Q4< are the sets of ρi -edges incident with u and -: respectively in 1 . Hence !EF %EI %4 HEI H4 JK≥ R ρ E4ρ 4< 4> 56 W S ! Tρ K -UK -F V 4< 4> ∈LBX Y V 9 K - E4∈LBM 9 -: -N Z[ 9 . is a fuzzy ρ -labelling for *.\ 9 *. . Therefore .\ * * (µ) * * (vl) = !EF& % H)EI % H4< JK ≥ since Hence ! EF% EI% 4< H EIH 4< * * (u) =;FE;∈;E^^_ * K* ] . as in the previous case,* * (µ) * * (vl) ≥ R ρ E4ρ 4< 4> 56 S ! Tρ K -UK -F V K - W E4∈LBM \ Therefore \ . . is a fuzzy ρ -labelling for *. *. . +* (µ) +* (vl) = !EF&a %)EIa %4< JK ≥ ! EFa% EIa% 4< As in the previous case, !EFa %EIa %4< JK ≥ R ρ E4ρ 4< 4> 56 S]Kb Tρ K -UK -F D. is a fuzzy ρ -labelling for +* D. . Therefore + JK 4< 4> ∈LBX Y -: -N `[ JK V + K - W E4∈LBM V V 4< 4> ∈LBX Y + -: -N `[ So the set, F?@AB (V,F), of all fuzzy ρ -labellings for the set of all fuzzy admissible ρ -index vectors, is a fuzzy algebra of the incidence algebra I(V,F). 1372 Labellings of Fuzzy Graph Structures as Fuzzy Algebra of Incidence Algebra Theorem 3.5 The set of fuzzy ρ -labellings, F?@6B (V,F) for c is a fuzzy algebra of the incidence algebra I(V,F). Proof Let D. D. be fuzzy ρ -labellings for the fuzzy ρ -index vector c. Then by definition are Ri -labellings for 0 in 1 =(supp(µ),supp(ρ1),supp(ρ2),...,supp(ρk)). So from theorem 3.3, 9 , and f are Ri labellings for c in 1 c 9 c(µ) c 9 c(vl) = JK ! EF6G6EI6G64< ! = EF6EI64< 6EI64< JK But cK=E4∈LBM K - = E4∈LBM K - c(-: =E4∈LBO -: -N =E4∈LBO -: -N where P Q' and P Q4< are sets of ρ -edges incident with u and -: respectively in 1 . < < Hence !EF6EI646EI64 JK= R ρ E4ρ 4< 4> 56 S]Kb Tρ K -UK -F V 9 K - W E4∈LBM 9 . is a fuzzy ρ -labelling for c\ 9 c.\\ Therefore .\ cc(µ) cc(vl) = !EF66EI664< JK ≥ ! EF6EI64< 6EI64< since cc(u) =;FE;∈;E^^_ cKc] . Hence as in the previous case,cc(µ) cc(vl) ≥ R ρ E4ρ 4< 4> 56 S]Kb Tρ K -UK -F D Therefore \ . . is a fuzzy ρ -labelling for cc. +c(µ) +c(vl) = !EFa6EIa64< JK ≥ E4∈LBM ! As in the previous case, !EFa6EIa64< JK ≥ R ρ E4ρ 4< 4> 56 S]Kb Tρ K -UK -F D. is a fuzzy ρ -labelling for +c D. Therefore + 1373 Y V 4< 4> ∈LBX Y -: -N `[ JK V + K - W E4∈LBM 4< 4> ∈LBX 9 -: -N `[ JK V K - W EFa6EIa64< V V 4< 4> ∈LBX Y + -: -N `[ Dinesh T. and Ramakrishnan T.V. Hence the set of all fuzzy ρ -labellings for c is a fuzzy algebra of the incidence algebra (I(V,F). Theorem 3.6 The set, F?@d (V,F) of fuzzy ρ -labellings for λD . e. is a fuzzy algebra of the incidence algebra I(V,F). Proof D Let D. D. be fuzzy ρ --labellings for the fuzzy admissible ρ --index vectors λD f e. λf e. . Then by definition are Ri -labellings for λQ g λQ g in 1 =(supp(µ),supp(ρ1),supp(ρ2),...,supp(ρk)). So from theorem 3.2, 9 , and f are Ri -labellings for λ 9 λ ,λ λ and +λ respectively in 1 λ 9 λ (µ) λ 9 λ (vl) = ! H H % EFλ% Gλ EIλ Gλ 4< ≥ But λ K=E4∈LBM K - λ (-: =E4∈LBO -: -N % % ! H JK H Ehλ EIλ 4< λ EIλ 4< JK < λ K=E4∈LBM K - λ (-: =E4∈LBO -: -N < where P Q' and P Q4< are the sets of ρi -edges incident with u and -: respectively in 1 . Hence !EFλ%EIλ%4 λHEIλH4 JK≥ R ρ E4ρ 4< 4> 56 S]Kb Tρ K -UK -F V 9 K - W E4∈LBM 9 . is a fuzzy ρ -labelling for λ.\ 9 λ. . Therefore .\ λ λ (µ) λ λ (vl) = !EF&λ% λH)EIλ% λH4< JK ≥ since Hence % % ! H EFλ EIλ 4< λH EIλ 4< λ λ (u) =;FE;∈;E^^_ λ Kλ ] . as in the previous case,λ λ (µ) λ λ (vl) ≥ R ρ E4ρ 4< 4> 56 S]Kb Tρ K -UK -F 1374 4< 4> ∈LBX Y 9 -: -N `[ JK V K - W E4∈LBM V V 4< 4> ∈LBX Y -: -N `[ Labellings of Fuzzy Graph Structures as Fuzzy Algebra of Incidence Algebra \ Therefore \ . . is a fuzzy ρ -labelling for λ. λ. . +λ (µ) +λ (vl) = !EF&aλ%)EIaλ% 4< JK ≥ ! % EFaλ% EIaλ 4< As in the previous case, !EFaλ%EIaλ% 4< JK ≥ R ρ E4ρ 4< 4> 56 S]Kb Tρ K -UK -F D . D. is a fuzzy ρ -labelling for +λ Therefore + . JK V + K - W E4∈LBM V 4< 4> ∈LBX Y + -: -N `[ So F?@d (V,F) is a fuzzy algebra of the incidence algebra I(V,F). 4. Fuzzy labellings of a fuzzy graph structure and fuzzy algebra of an incidence algebra We now extend the results in the previous section to the whole of the fuzzy graph structure. For that first we recall some concepts and results from [5] and [7]. Definition 4.1 [5] Let F be an abelian group or a ring. Let ri be an Ri -index vector and xi be an Ri -labelling for i=1,2,...,k. Then cc l c * cc l c k c c l c p k c* c l c p j o j o l l l l l l l lllo o is a labelling matrix and r =j is an index matrix for the graph structure x=j jl l l l l o jl l l l l o j c l l l c o j c l l l c o i cc l c m n i cc l c*m n G = (V,R1,R2,...,Rk). q kq p j o x :j o → r m is a labelling for r:s m → r m if N∈= t=* (-; for s=0,1,...,p-1; i=1,2,...,k. If * is an j o j o iqm n admissible Ri-index vector i=1,2,...,k, then r is called an admissible index matrix for G. Theorem 4.1 [7] The set ?uv s m r m ) of labelling matrices for all admissible index matrices of a graph structure G = (V,R1,R2,...,Rk) is a subalgebra of?s m r m . Theorem 4.2 [7] The set ?ud s m r m of labelling matrices forwx, 1375 Dinesh T. and Ramakrishnan T.V. g cc l c y cc l c k p k cg c l c p cy c l c j o j o l l lll o l l l l l o , J=j w=j ,g an all 1 vector for i=1,2,...,k jl ll ll o jl l l l l o j c l l l c o j c l l l c o icc l cgm n icc l cym n of a graph structure G = (V,R1,R2,...,Rk) is a subalgebra of ?s m r m . Theorem 4.3 [7] The set ?u6 s m r m of labelling matrices for 0 of a graph structure G = (V,R1,R2,...,Rk) is a subalgebra of ?s m r m . Now we define fuzzy labellings and fuzzy index matrices of a fuzzy graph structure as follows. Definition 4.2 Let F be an abelian group or a ring. * be an Ri -index vector, be an Ri -labelling for i=1,2,...,k. Then zcc l c */ cc l c k c p k c*{ c l c p zc l c j o j o lllll o lllll o j is a labelling matrix and *{ =j is an index matrix of a fuzzy graph structure. 2= jl l l l l o jll ll l o j c l l l c o j c l l l c o icc l c*/m n icc l c zn m 2is a labelling for *{ if /. is a ρ -labelling for */, . i=1,2,...,k. If */. is an admissible ρ -index vector for i=1,2,...,k, *{ is an admissible index matrix for . If */. is fuzzy admissible for i=1,2,...,k, * /is fuzzy admissible and 2 is a fuzzy labelling. Now we move on to prove certain results on fuzzy admissible index matrices and fuzzy labelling matrices. Theorem 4.4 The set, F?@A (s m ,r m ), of fuzzy labelling matrices for fuzzy admissible index matrices of a fuzzy graph structure = (µ,ρ1, ρ2,... ρk) is a fuzzy algebra of the incidence algebra ?(s m ,r m ). Proof m m m m D D z Let z ∈|?@v s r . Then . . ∈|?@AB s r , the collection of all fuzzy ρ -labellings, for i=1,2,...,k. So there exist D *. *D . ∈} , the collection of all fuzzy admissible ρ --index vectors, for i=1,2,...,k. D Hence D. D. are fuzzy ρ -labellings for *D . *. respectively for i=1,2,...,k. By theorem 3.4, the set of fuzzy ρ -labellings for fuzzy admissible ρ -index vectors is a fuzzy algebra of the incidence algebra I(V,F) for \ \ D 9 . , \ i=1,2,...,k. So .\ . . and f . are fuzzy ρ -labellings for fuzzy ρ -index vectors *. 9 *. ,*. *. and 9 * ,*~ / are fuzzy admissible index matrices and f*D . respectively for i=1,2,...,k. So *~ * and f* 9 , ~ z are fuzzy labelling matrices for *~ 9 * ,*~ / respectively. Hence ~ and f * and f* m m m m |?@v s r is a fuzzy algebra of the incidence algebra ?(s ,r ). Theorem 4.5 The set of fuzzy labellings F?@6 (s m ,r m ), for fuzzy index matrix 0 of a fuzzy graph structure = (µ,ρ1, ρ2,... ρk) is a fuzzy algebra of the incidence algebra ?(s m ,r m ). Proof m m m m D D z Let z ∈|?@6 s r . Then . . ∈|?@6B s r , the collection of all fuzzy ρ -labellings for 0, for i=1,2,...,k. 1376 Labellings of Fuzzy Graph Structures as Fuzzy Algebra of Incidence Algebra By theorem 3.5, the set of fuzzy ρ labellings for fuzzy ρ index vector c is a fuzzy algebra of the incidence D algebra I(V,F) for i=1,2,...,k. So .\ 9 . , \ . . and f . are fuzzy ρ -labellings for fuzzy ρ -index vectors D and fc respectively for i=1,2,...,k. So z z are fuzzy labelling matrices for c. Hence c\ 9 c,cc |?@6 s m r m is a fuzzy algebra of the incidence algebra ?(s m ,r m ). Theorem 4.6 The set of fuzzy labellings F?@Λ (s m ,r m ) for fuzzy index matrix Λ J of a fuzzy graph structure = (µ,ρ1, ρ2,... ρk) is a fuzzy algebra of the incidence algebra ?(s m ,r m ). Proof m m m m D D z Let z ∈|?@Λ s r . Then . . ∈|?@λB s r , the collection of all fuzzy ρ -labellings for y , for i=1,2,...,k. By theorem 3.6, the set of fuzzy ρ -labellings for fuzzy ρ -index vectors λQ CQ is a fuzzy algebra of the D 9 . , \ incidence algebra ?@λB (s,r) for i=1,2,...,k. So .\ . . and f . are fuzzy ρ -labellings for fuzzy ρ y and fy0 , respectively for i=1,2.,...,k. So D. D. are fuzzy labelling matrices for 9 y. ,y\ index vectors y.\ . . . m m D wx. Hence F?@Λ (s ,r ) is a fuzzy algebra of the incidence algebra ?(s m ,r m ). References [1] Ancykutty Joseph, On Incidence Algebras and Directed Graphs, Internat. J. Math. Math. Sc., 31:5(2002),301-305. [2] Brouwer, A.E., A Note on Magic Graphs, Report ZN 47/72(Internal communication), 1972, Mathematisch Centrum, Amsterdam. [3] Dinesh, T. & Ramakrishnan, T.V., On Generalised Fuzzy Graph Structures, Appl. Math. Sc., 5(4) (2011), 173-180. [4] Dinesh, T. & Ramakrishnan, T.V., Ri-labellings and Ri-index vectors of a Graph Structure, Adv. Appl. Discrete Math., 7(1)(2011), 63-82. [5] Dinesh, T. & Ramakrishnan, T.V., Labelling Matrices and Index Matrices of a Graph Structure (Communicated). [6] Dinesh, T. & Ramakrishnan, T.V., Labeling of Graphs and Incidence Algebra, Internat. J. Contemp. Math. Sc., 6(26) (2011), 1253-1259. [7] Dinesh, T. & Ramakrishnan, T.V., Incidence Algebras and Labellings of Graph Structures (Communicated). [8] Dinesh, T. & Ramakrishnan, T.V., Labellings of Fuzzy Graphs as Fuzzy Algebra of Incidence Algebra, accepted for publication in Internat. J. Fuzzy Math. and Systems. [9] Doob, M., Generalizations of Magic Graphs, J. Combin. Theory Ser. B17(1974), 205-217. [10] Foldes, S. & Meletiou, G., On Incidence Algebras and Triangular Matrices, Rutcor Research Report 35-2002, November 2002, Rutgers Center for Operations Research, Rutgers University, New Jersey. [11] Harary, F., Graph Theory, Narosa Pub. House, 1995. [12] Jeurissen, R.H., Incidence Matrix and Labelings of a Graph, J. Combin. Theory, Ser. B, 30(3), June 1981,290-301. [13] Mordeson, J.N. & Nair, P.S., Fuzzy Graphs and Fuzzy Hypergraphs, PhysicaVerlag, 2000. [14] Sampathkumar, E., Generalised Graph Structures, Bull. Kerala Math. Assoc., Vol 3, No.2, Dec 2006, 65-123. [15] Spiegel, E. & O'Donnell, C.J. - Incidence Algebras, Marcel Dekker Inc., 1997. [16] Stewart, B.M., Magic Graphs, Canad. J. Math. 18(1966), 1031-1059. 1377