Graph

Ordered Pair

where

  1. Vertices of , is a non-finite set
  2. 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 edges

Path

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

  1. is connected
  2. 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 then

is a spanning subgraph of if

Adding Edges to a Graph

Let be a graph
Let be a edge then

is 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