Graph
Ordered Pair
where
- Vertices of , is a non-finite set
- Edges of is the set of -element subsets of
Vertex Set
Let be a graph then
is the vertex set of
Edge Set
Let be a graph then
is the edge set of
Edge
Let be vertices then
denotes the edge between
Adjacent / Neighbours
Let be vertices of then
and are adjacent in (or neighbours) if
Drawing Graphs
Vertices denoted as blobs
Edges denoted as lines between vertices (ensuring edges don’t intersect)
Isomorphism of Graphs
Let be graphs
and are isomorphic if
such that for all then
Subgraphs
Let be a graph then
is a subgraph of if
Removing Edge from Graph
Let be a graph with edge
denotes subgraph
where edge is deleted from
Removing Vertex from Graph
Let be a graph with vertex
denotes subgraph
where and all edges incident with
Examples of Graphs
Complete Graph
Complete Graph of vertices is with
and the set of all possible edges
Empty Graph
Empty Graph of vertices is for with
vertices and edgesPath
Path of Length for with
where path of length of has vertices and edges
Note that it can be denoted as or
Cycle
Cycle of length is for with
Acyclic Graph
Let be a graph then
is acyclic if it contains no cycles
Connected Graph
Let be a graph then
is connected if for all then are connected in
Equivalence Relation for Graphs
Let be a graph then
if and are connected in is an equivalence relation where
Equivalence class partition into disjoint connected subgraphs called components of
Minimal Connected Graph
Let be a graph then
is a Minimal Connected Graph if
- is connected
- is not connected for all
Note that it means every edge is required for connectivity
Neighbourhood of a Vertex
Let be a graph with then
Neighbourhood of is
Degree of a Vertex
Let be a graph with then
Degree of vertex is
Leaf of Graph
Let be a graph then
is a leaf of if
Number of Vertices of
Let be a graph then
is the number of vertices of
Number of Edges of
Let be a graph then
is the number of edges of
Number of edges when Removing Vertex of Graph
Let be a graph with then
Spanning Subgraph
Let be a graph
Let be a subgraph of thenis a spanning subgraph of if
Adding Edges to a Graph
Let be a graph
Let be a edge thenis the graph formed from and adding edge
Notation
Suppose then
where for and
Maximal Acyclic Graph
Let be acyclic graph then
is maximal acyclic if there does not exist such that is acyclic
Cyclic Property of Adding Edge to Graph
Let be a graph
Adding edge to graph creates cycle contains - path
Isolated Vertex
Let be a graph with vertex then
is a Isolated Vertex if
Eulerian Graph
Let be a graph then
is a Eulerian Graph if all vertices has even degree