Además, nos dan un conjunto de funciones formula_30 que determinan cuál de los vértices posibles formula_31 aparecen en el grafo, y cuáles son las aristas.