Un grafo es una pareja ordenada G = (V, E), donde V es un conjunto de vértices y E es un conjunto de aristas.
(Gross & Yellen, 2006)

• Grafo simple: sin lazos ni múltiples aristas.

• Multigrafo: permite múltiples aristas entre los mismos vértices.

• Grafo dirigido (dígrafo): las aristas tienen una dirección.

• Grafo ponderado: cada arista tiene un valor o peso.

• Grafo completo: todos los nodos están conectados entre sí.

• Grafo bipartito: los vértices se pueden dividir en dos conjuntos disjuntos, y todas las aristas conectan nodos de conjuntos distintos.

(Diestel, 2017)

• Se denotan comúnmente con letras (A, B, C...).

• El número de conexiones de un nodo se llama grado.

Los vértices representan los objetos del problema a modelar.
(Cormen et al., 2009)

Un camino es una sucesión de aristas consecutivas que conectan un conjunto de vértices. Si no se repite ningún vértice, se llama camino simple.

Un camino de longitud k es una secuencia de k aristas que conectan k+1 vértices.
(Gross & Yellen, 2006)

Una trayectoria simple no repite vértices; un circuito sí, pero regresa al punto inicial.
(Diestel, 2017)

• En grafos dirigidos se habla de fuertemente conexo si todos los nodos son alcanzables desde cualquier otro.

La conexidad es fundamental para estudiar la accesibilidad dentro de una red.
(Gross & Yellen, 2006)

Este teorema afirma que cualquier mapa plano puede ser coloreado con un máximo de cuatro colores, de modo que regiones adyacentes no compartan el mismo color. Es una aplicación importante de la teoría de grafos en la cartografía.

El teorema fue demostrado con ayuda de computadoras en 1976 por Appel y Haken.
(Appel & Haken, 1977)

• La teoría de grafos estudia las relaciones entre objetos conectados mediante nodos y aristas, siendo esencial para modelar redes y resolver problemas reales.
  → (Diestel, 2017) https://medium.com/@matematicasdiscretaslibro/cap%C3%ADtulo-11-teoria-de-grafos-3b00228dd81c

• Los tipos de grafos permiten clasificar las estructuras según sus propiedades, como la dirección de las aristas o la presencia de pesos.
  → (Gross & Yellen, 2006) https://posgrados.inaoep.mx/archivos/PosCsComputacionales/Curso_Propedeutico/Matematicas_Discretas/Capitulo_4_Grafos.pdf

• Los vértices representan entidades dentro del sistema, y el grado de un vértice indica su nivel de conexión.
  → (Cormen et al., 2009)

• La noción de trayectoria y ciclo permite analizar rutas, recorridos y estructuras repetitivas en los grafos.
  → (Gross & Yellen, 2006)

• El Teorema de los Cuatro Colores demuestra que cualquier mapa plano puede colorearse con solo cuatro colores sin que regiones adyacentes compartan el mismo.
  → (Appel & Haken, 1977)

• La conexidad garantiza la existencia de caminos entre todos los nodos de una red.
  → (Diestel, 2017)

Referencias Bibliográficas

• Appel, K., & Haken, W. (1977). Every planar map is four colorable. Illinois Journal of Mathematics, 21(3), 429–567. https://projecteuclid.org/euclid.ijm/1256049011

• Cormen, T. H., Leiserson, C. E., Rivest, R. L., & Stein, C. (2009). Introduction to algorithms (3rd ed.). MIT Press.

• Diestel, R. (2017). Graph theory (5th ed.). Springer. https://doi.org/10.1007/978-3-662-53622-3

• Gross, J. L., & Yellen, J. (2006). Graph theory and its applications (2nd ed.). Chapman & Hall/CRC.

La teoría de grafos no es solo un tema teórico, sino una herramienta poderosa con múltiples aplicaciones prácticas. Nos permite resolver problemas cotidianos y complejos relacionados con rutas, redes y estructuras interconectadas. Gracias a ella, es posible optimizar sistemas y procesos tanto a nivel local como global, impactando positivamente en distintas disciplinas.