Graph
We define a simple, unlabelled graph G as a pair of two sets:
Where N is a set of nodes and E is a set of edges between the nodes in the graph. can also be denoted , which denotes vertex. They are interchangable.
Nodes
N can be defined by a set of pronumerals.
or
where:
Edges
E can be defined as a set of unordered pairs where and are called the endpoints of the edge:
where:
Degree
The degree of a node with 1-based index in the set of all nodes is denoted: