Un grafo es un conjunto de objetos llamados vértices unidos por enlaces llamados aristas, que permiten representar relaciones binarias entre elementos de un conjunto. Formalmente, un grafo G se define como un par ordenado (V, E) donde V es un conjunto de vértices y E un conjunto de aristas que relacionan los vértices. Existen diferentes tipos de grafos como no dirigidos, dirigidos y ponderados.