Un grafo G {\displaystyle G} es un par ordenado G = ( V , E ) {\displaystyle G=(V,E)} , donde: V {\displaystyle V} es un conjunto de vértices o nodos, y E {\displaystyle E} es un conjunto de aristas o arcos, que relacionan estos nodos. Normalmente V {\displaystyle V} suele ser finito. Muchos resultados importantes sobre grafos no son aplicables para grafos infinitos. Se llama orden del grafo G {\displaystyle G} a su número de vértices, | V | {\displaystyle |V|} . El grado de un vértice o nodo V {\displaystyle V} es igual al número de...