Vertex rough graphs

This article introduces the notion of vertex rough graph and discusses certain basic graph theoretic definitions and examples. Adjacency of vertices is used to create a matrix corresponding to a vertex rough graph. Also, the membership function of a vertex rough graph is introduced with the help of Pawlak’s Rough set theory, and using this certain results are obtained. The concepts of rough precision and rough similarity degree are extended to vertex rough graphs.


Introduction
Uncertainty and imprecision occurring in the form of vagueness and ambiguity make many of the naturally occurring situations complex and complicated.Classical mathematical techniques often fail to prosper in situations like this.Further, most of these techniques are crisp, precise and deterministic.The classical technique of probability theory has the limitation that the happening of an event is strictly determined by chance.Zadeh [1] has defined fuzzy sets which can mathematically model situations which are imprecise and vague.Pawlak [2] introduced the concept of rough sets which is an excellent mathematical tool to handle ambiguity and equivocalness associated with the given information.The main advantage of rough set theory is that it does not need any additional information about the data, like membership values in fuzzy sets.In classical set theory, Crisp sets are defined by a membership function, but in rough set theory, the primary concept to define a rough set is an indiscernibility relation.It employs indiscernibility relations to evaluate to what extent two objects were similar.Using this indiscernibility relation, one can construct lower and upper approximations of a set.Lower approximation consists of all instances which surely belongs to the concept, and upper approximation consists of all cases which possibly belongs to the concepts.One benefit of the rough set theory is that it does not require any additional parameter to extract information.Rough set theory has found main applications [3] in many branches like rough classification and logic [4,5], decision making [6,7], machine learning [8], data mining [9,10], banking [11], medicine [12], etc.
A Graph is a symmetric binary relation on a set.It is a fundamental tool in mathematical modelling and has applications in almost all branches of Science and Engineering.Many of the real life problems were solved through mathematical modelling with the help of graph theory.The theory of rough graphs is an attempt to unify rough set theory and graph theory.Graph theory, where objects are represented by vertices and relations by edges, is a convenient way of representing information involving relationship between objects.When there is ambiguity in the description of the objects or in its relationships or in both, it is quite natural that we need to design a structure supporting it, which is called a Rough Graph.
With the advent of World Wide Web, the amount of data need to be collected and stored has increased exponentially and a major part of this data can be represented as graphs which includes page link structures, social, professional and academic networks such as Facebook, Linkedin, DBLP, etc.Most of the times, the patterns of connection between entities in these, which represents non trivial topological features, which are neither purely crisp nor completely random, is called a Complex Network [13].A major challenge nowa-days is to mine these complex networks and the abundance of data in these motivated a new area, called Graph mining, which focus on investigate, propose and develop new algorithms designed to mine complex networks.As ambiguity is naturally inherited in these networks, a suitable modelling can be achieved by utilizing the concept of Rough Graphs.
The notion of edge rough graph was introduced by He and Shi [14].They have established the concept using a partition on the edge set of a graph.He et al. [15] extended this concept to weighted rough graph by enduing the edges of rough graph with weight attribute, and gave the algorithm of exploring the class optimal tree in weighted rough graph, which generalizes the classical Kruskal algorithm of exploring the optimal tree and presented an application in relationship analysis.Another application of Weighted Rough graph was discussed in [16].Combining the edge rough graphs and cayley graphs, Liang et al. [17] studied an application of rough graph in data mining.Tong He introduced further rough theoretic properties of rough graphs [18] and representation forms of rough graphs [19].Some other hybrid structures of rough graphs like soft rough graphs, neutrosophic soft rough graphs, intuitionistic fuzzy rough graphs are also introduced in [20][21][22].
In edge rough graph, there is no significance for vertex set.It is not possible to compare any two arbitrary rough graphs.They can be compared only if their vertex sets are same.If such a comparison is possible, then the real life applications of rough graph will have more flexibility.The main objective of this paper was to introduce the concept of vertex rough graph which is a more general concept than the edge rough graph.The vertex rough graph is constructed using a partition on the vertex set.Using a partition of vertex set, we define lower approximation and upper approximation of a graph.Hence, this paper is an introduction to the theory of vertex rough graph.
In this paper, the basic idea of edge rough graph is extended to vertex rough graph.Section 2 discusses some basic definitions of graph theory, rough set and edge rough graph.In Sect.3, the notion of vertex rough graph is introduced and some examples are given.Basic graph theoretic definitions of vertex rough graphs are defined and a counter example for a connected graph which is not surely connected is provided.Later, adjacency matrix of vertex rough graph is defined and some of its properties are discussed.In the last section, some rough theoretic ideas like membership functions and precisions of a vertex rough graphs are defined and related properties are derived.

Preliminaries
Some basic definitions from graph theory, Rough set theory and edge rough graph are given: of edges, and an incidence function ψ G that associates with each edge of G an unordered pair of (not necessarily distinct) vertices of G.If e is an edge and u and v are vertices such that ψ G (e) = uv, then e is said to join u and v; the vertices u and v are called the ends of e. Two graphs G and H are identical (written Two graphs G and H are said to be isomorphic ( written [2] Suppose we are given a set of objects U called the universe and an indiscernibility relation R ⊆ U × U , representing our lack of knowledge about elements of U .For the sake of simplicity we assume that R is an equivalence relation.Let X be a subset of U .We want to characterize the set X with respect to R: The graphs R(T ) * and R(T ) * are called R-lower and Rupper approximate graphs of T .The pair of graph (R(T

Vertex rough graph
In this section, Vertex rough graph of a graph with respect to a indiscernability relation on vertex set V is presented.
The graphs R * (T ) and R * (T ) are called R-lower approximate graph of T and R-upper approximate graph of T .The pair of graph (R 1) By using definition 3.3, we get the lower and upper approximations of vertex set and edge set as (Fig. 2):     adjacent if and only if they are non adjacent in R * (T ).Also adjacency of R * (T ) c is defined as two vertices u and v are adjacent if and only if they are non adjacent in R * (T ).

Remark 3.1
The connectedness of vertex rough graph is the same as the connectedness of edge rough graph.

Result 3.1 If T (W , X
) is connected then it need not be surely connected.Similarly T is a tree then it need not be a sure tree.
Consider T = (W , X ) be a subgraph (Fig. 3) of G(V , E) Then, we get the lower approximation of vertex set and edge set as (Fig. 4) Here R * (T ) is disconnected.but T = (W , X ) is connected.Also T is a tree but R * (T ) is not a tree.It is a forrest.

Matrix corresponding to a rough graph
Let G=(V , E) be a universe graph with V ={v 1 , v 2 , . . ., v n }.R be an equivalent relation defined on V. Let T (W , X ) be a R * (T ) Note: There is no one to one correspondence between set of all rough graph and set of all ternary matrices.But for every rough graph, there is a ternary matrix.

Remark 3.2
Let T be a rough graph and A R (T ) be its corresponding matrix.Then

Rough properties of rough graph
In the same way of rough set theory, rough graph can be also defined employing instead of approximation, rough membership function.

Definition 4.1 The rough vertex membership function of a rough graph T
Also, the rough edge membership function of a rough graph

Definition 4.2
The vertex and edge membership function can be used to define the rough graph of a graph as shown The membership function has the following properties: Next we extend the definition of Edge precision α R (T ) [18] of a edge rough graph to vertex rough graph: Result 4.1 Let M be the set of all vertex rough graphs.For any vertex attribute set W and edge attribute set X and t ⊆ M then, Result 4.2 If T and S are two vertex rough graphs, where T = (W 1 , X 1 ) and S = (W 2 , X 2 ).S is a vertex rough subgraph of T , then α R (S) ≤ α R (T ) and β R (S) ≤ β R (T ).
To compare two rough graphs, rough similarity degree [18] is an important measure.We can extend it to vertex rough graph.
Definition 4.4 Given vertex rough graph set M, attribute set 1. Rough vertex similarity degree ( H , J R ) and rough edge similarity degree([H , J ] R ) between H and J are defined by 2. Lower rough vertex similarity degree( H , J R * ) and lower rough edge similarity degree([H , J ] R * ) between H and J are defined by Upper rough vertex similarity degree (< H , J > R * ) and upper rough edge similarity degree ([H , J ] R * ) between H and J are defined by Proposition 4.2 Given vertex rough graph set M, R to be the attribute set.K = (M, R) to be the knowledge system.H , J ⊆ M. Then

Conclusion
Both the Rough set theory and the graph theory have a variety of applications across different fields.This paper introduced the concept of vertex rough graph which combines rough set theory and the graph theory.Similar to rough set theory, the notion of vertex and edge rough membership function is introduced and using this membership functions, an alternative definition of vertex rough graph has been developed.Later, vertex precision and edge precision are defined and some properties are discussed.Since edge rough graph has lot of applications in various fields, like relationship analysis, data mining, etc., the vertex rough graphs also will have applications in these fields as well as many other fields.In future we will find out further rough properties and applications of vertex rough graphs.
For any attribute set R ⊆ P on E, the elements (or be called edges) in E can be classified into different equivalence classes [e] R .For any subgraph T = (W , X ), where W ⊆ V , X ⊆ E, graph T is called R-definable graph or R-exact graph if X is the union of some [e] R .Conversely, graph T is called R-undefinable graph or R-rough graph.For R-rough graph, two exact graphs R(T ) * = (W , R(X ) * ) and R(T ) * = (W , R(X ) * ) can be used to define it approximately, where

Definition 3 . 5 ADefinition 3 . 6
both surely subgraph and possibly subgraph of T , then S is a rough subgraph of T .set of two or more edges of a rough graph T is said to be multiple or parallel edges if they have the same end vertices.An edge for which two ends are the same is called a loop at the common vertex.A rough graph T = (R * (T ), R * (T )) is said to be surely simple if R * (T ) contains no loops and parallel edges.A rough graph T = (R * (T ), R * (T )) is said to be possibly simple if R * (T ) contains no loops and parallel edges.A rough graph T = (R * (T ), R * (T )) is said to be simple if it is both surely and possibly simple graphs.Two rough graphs T = (R * (T ), R * (T )) and S = (R * (S), R * (S)) are said to be surely isomorphic if there is a graph isomorphism between R * (T ) and R * (S).Also it is said to be possibly isomorphic if there is a graph isomorphism between R * (T ) and R * (S).Two rough graphs T = (R * (T ), R * (T )) and S = (R * (S), R * (S)) are said to be isomorphic if they are both surely and possibly isomorphic.Definition 3.7 Let T = (R * (T ), R * (T )) be a Rough graph.The Complement T c of T with respect to G is defined by taking V (T c ) = V (T ) and T c = (R * (T ) c , R * (T ) c ) where adjacency of R * (T ) c is defined as two vertices of u and v are

Fig. 2 1 R
Fig. 2 Lower and upper approximations of the graph T in Example 3.1

v 6 e 4 e 5 Fig. 4
Fig. 4 Lower approximation of T in Example 3.2