Soft Graphs
Soft Graphs
net/publication/289986734
Soft graphs
CITATIONS READS
23 824
2 authors, including:
Rajesh K Thumbakara
Mar Athanasius College (Autonomous) Kothamangalam
23 PUBLICATIONS 58 CITATIONS
SEE PROFILE
All content following this page was uploaded by Rajesh K Thumbakara on 20 September 2022.
Soft Graphs
Rajesh K. Thumbakara1 and Bobin George2
1
Dept. of Mathematics, M.A College, Kothamangalam
E-mail: [email protected]
2
Dept. of Mathematics, Pavanatma College, Murickassery
E-mail: [email protected]
Abstract
Keywords: Soft sets, Soft graph, Soft graph homomorphism, Soft tree, Soft
complete graph.
1 Introduction
Soft set theory [7] was introduced by Molodtsov in 1999 as a general
mathematical tool for dealing with uncertainties. In soft set theory, the problem of
setting the membership function does not arise, which make the theory easily
applied to many different fields. The operations of soft sets are defined by Maji et
al. [6]. At present, work on soft set theory is progressing rapidly. The algebraic
structure of soft set Theory has also being studied in more detail [1], [3], [5], [8].
In this paper we introduce the notion of soft graphs, we also define soft graph
homomorphism, soft tree, soft complete graph and investigate some of their
properties.
76 Rajesh K. Thumbakara et al.
2 Preliminaries
For notation definition and facts from Graph theory we refer to [2], [4], [9] and
that of Soft set theory to [6], [7].
2.1 Graphs
A graph G = (V , E ) consists of a non-empty set of objects V, called vertices and a
set E of two element subset of V called edges. Two vertices x and y are adjacent if
{x, y} ∈ E . A graph G = (V ′, E ′) is said to be a subgraph of G = (V , E ) if V ′ ⊆ V
and E ′ ⊆ E . For any subset S of the vertex set of the graph G, the induced
subgraph S%is the subgraph of G whose vertex set is S and two vertices are
adjacent in S if and only if they are adjacent in G. A graph is complete if every
vertex is connected to every other vertex and we denote the complete graph on n
vertices by K n . A tree is a connected acyclic graph; where by a cycle we mean a
closed path. The distance between two vertices u and v of a connected graph G
denoted by d (u , v) is the length of the shortest u-v path. The diameter of the graph
G is the maximum of vertex eccentricities, where the eccentricity of a vertex u,
e(u ) = max{d (u, v) v ∈ V } . A homomorphism from a graph G to a graph H is
defined as a mapping h : G → H such that ( x, y ) ∈ E (G ) ⇒ (h( x), h( y )) ∈ E ( H ) . A
hypergraph H is a pair H = (V , E ) where V is a set of elements called vertices and
E is a set of non-empty subsets of V called edges or hyperedges, E is a subset of
P (V ) − {∅} where P (V ) the power set of V.
Definition 2.2.2 Let ( F , A) and (G , B ) be two soft sets over the common universe
U. We say that ( F , A) is a soft subset of (G , B ) if (1) A ⊆ B ,
(2) For all e ∈ A , F (e) ⊆ G (e) .
Definition 2.2.3 Let ( F , A) and (G , B ) be two soft sets over the common universe
U. The union of two soft sets ( F , A) and (G , B ) is the soft set ( H , C ) where
C = A ∪ B and H is defined as follows:
Soft Graphs 77
F (e), for e ∈ A − B
H (e) = G (e), for e ∈ B − A
F (e) ∪ G (e), for e ∈ A ∩ B
Definition 2.2.4 Let ( F , A) and (G , B ) be two soft sets over the common universe
U such that A ∩ B = ∅ . The intersection ( F , A) and (G , B ) is the soft set
( H , C ) where C = A ∩ B and H (e) = F (e) ∩ G (e) for all e ∈ C
Definition 2.2.5 Let ( F , A) and (G , B ) be two soft sets over the common universe
U. Then ( F , A) and (G , B ) denoted by ( F , A) ∧ (G , B ) is defined by
( F , A) ∧ (G , B ) = ( H , A × B ) where H ((α , β )) = F (α ) ∩ G ( β ) for all
(α , β ) ∈ A × B
3 Soft Graphs
Let G = (V , E ) be a simple graph, A any nonempty set. Let R an arbitrary relation
between elements of A and elements of V. That is R ⊆ A × V . A set valued
function F : A → P (V ) can be defined as F ( x) = { y ∈ V xRy} . The pair ( F , A) is a
soft set over V.
F ( x) = { y ∈ V xRy ⇔ x is adjacent to y in G} .
Hence ( F , A) ∈ SG (G ) .
78 Rajesh K. Thumbakara et al.
v1
v5 v2
v4 v3
Fig. 1
v1 v2 v3 v4 v5
Fig. 2
v1 v2
v4 v3
Fig. 3
Proof: Let A be the set of all edges of the graph G. Define a set valued function
F : A → P (V ) by, F (e) = { y ∈ V eRy ⇔ y is an end vertex of the edge e} .
Soft Graphs 79
F (e), for e ∈ A − B
U (e) = H (e), for e ∈ B − A
F (e) ∪ H (e), for e ∈ A ∩ B
F (e), for e ∈ A
Hence U (e) =
H (e), for e ∈ B
Let A = {v1} and B = {v5 } . Define the set valued function F by,
F ( x) = { y ∈ V xRy ⇔ d ( x, y ) ≤ 1} .
Hence ( F , A) ∧ ( F , B ) ∉ SG (G ) .
v1
v6 v2
v5 v3
v4
Fig. 4
Proof:
x ∈ A, y ∈ B . Hence (U , C ) = ( F , A) ∧ ( H , B ) ∈ SG (G ) .
(1) K ⊆ A
(2) H%( x) is a connected subgraph of F%( x) for all x ∈ K
Soft Graphs 81
Corollary 3.15 Every soft graph is a soft graph of itself. That is if ( F , A) is a soft
graph of G then ( F , A) is a soft subgraph of itself.
v1 v2 u
v4 v3 v
Fig. 5
4 Soft Trees
Definition 4.1 Let G = (V , E ) a graph and ( F , A) be a soft graph of G . Then
( F , A) is said to be a soft tree if F%( x) is a tree for all x ∈ A .
Remark 4.4 The converse of above theorem is not true. That is if ( F , A) is a soft
tree of G then G need not be a tree.
For from example 4.2 ( F , A) is a soft tree but G is not a tree as it contains a cycle.
Theorem 4.5 A soft graph ( F , A) of G is a soft tree if and only if F%( x) is acyclic
for all x ∈ A .
Theorem 4.6 Let ( F , A) be a soft tree of the graph G1 then the following holds
Proof
Remark 5.4 The converse of above theorem is not true. That is if ( F , A) is a soft
complete graph of G then G need not be a complete graph.
Theorem 5.7 Let ( F , A) be a soft complete graph of the graph G1 then the
following holds
Proof:
6 Conclusion
In this paper, we introduced soft graphs, soft subgraph, soft graph homomorphism,
soft tree and soft complete graph and studied some of their properties.
References
[1] H. Aktas and N. Cagman, Soft sets and soft groups, Inform. Sci.,
177(2007), 2726-2735.
[2] C. Berge, Hyper Graphs, Elsevier Science Publisher, The Netherlands,
(1989).
[3] F. Feng, Y.B. Jun and X. Zhao, Soft semirings, Comput. Math. Appl.,
56(2008), 2621-2628.
[4] F. Harary, Graph Theory, Addison-Wesley Publishing Company, Inc.,
(1969).
[5] Y.B. Jun, Soft BCK/BCI-algebras, Comput. Math. Appl., 56(2008), 1408-
1413.
[6] P.K. Maji, R. Biswas and A.R. Roy, Soft set theory, Comput. Math. Appl.,
45(2003), 555-562.
[7] D. Molodtsov, Soft set theory-First results, Comput. Math. Appl.,
37(1999), 19-31.
[8] E.K.R. Nagarajan and G. Meenambigai, An application of soft sets to
lattices, Kragujevac Journal of Mathematics, 35(1) (2011), 75-87.
[9] P.J. Cameron, Graph Homomorphisms, Combinatorics Study Group
Notes, September (2006).