Un grafo representa relaciones binarias entre un conjunto de objetos llamados vértices o nodos unidos por enlaces llamados aristas o arcos. Existen diferentes tipos de grafos como simples, dirigidos, etiquetados, aleatorios e hipergrafos. Un homomorfismo en grafos es una función entre dos grafos que respeta la estructura de adyacencia. La conexidad en grafos determina si son conexos o disconexos dependiendo de si existe o no una cadena entre vértices. Los grafos eulerianos y hamiltonianos se definen por la