Definition A graph is a pair of a set of vertices (nodes) vi∈V and a set of pairs of vertices (edges) E={(vi,vj)∣i,j≤∣V∣}. G=(V,E)