La Teoría de Grafos

El origen de la teoría de grafos se remonta al siglo XVIII con el problema de los

puentes de Königsberg, el cual consistía en encontrar un camino que recorriera los siete
puentes del río Pregel en la ciudad de Königsberg, actualmente Kaliningrado, de modo que
se recorrieran todos los puentes pasando una sola vez por cada uno de ellos. El trabajo
de Leonhard Euler sobre el problema titulado La solución de un problema relativo a la
geometría de la posición en 1736, es considerado el primer resultado de la teoría de
grafos. También se considera uno de los primeros resultados topológicos en geometría
(que no depende de ninguna medida). Este ejemplo ilustra la profunda relación entre la
teoría de grafos y la topología.

Durante el Siglo XVIII, la ciudad de Königsberg, en Prusia Oriental estaba dividida en cuatro
zonas por el río Pregel. Había siete puentes que comunicaban estas regiones, tal y como
se muestra en el dibujo. Los habitantes de la ciudad hacían paseos dominicales tratando
de encontrar una forma de caminar por la ciudad, cruzando cada puente una sola vez, y
regresando al lugar de partida

Para resolver este problema, Euler representó las cuatro zonas como cuatro puntos, y los
puentes como aristas que unen los puntos, tal y como se muestra en la figura.

Con la representación que hizo Euler en ella intervienen cuatro puntos (a los que
denominaremos vértices), a saber, a, b, c, d y siete aristas o lados que conectan algunos
de los vértices.
Grafos

Un grafo G es un par (V, E), donde V y E son conjuntos, junto con una aplicación

γG : E → {{u, v} : u, v ∈ V } Al conjunto V se le llama conjunto de vértices;

Al conjunto E conjunto de lados o aristas, y a la aplicación γG (o simplemente γ) aplicación

de incidencia.

Definiciones

Definición 1

Un grafo simple G(V, E) consta de V , un conjunto no vacío de vértices, y de E, un

conjunto de pares no ordenados de elementos distintos de V. A esos pares se les llama
aristas o lados.

Ejercicio 1

Muestre que si G es simple, entonces ε ≤ (2v )

En algunos casos lo grafos simples no bastan para modelar ciertas situaciones en
las cuales se requiere de la existencia de múltiples aristas entre par de vértices. En este
caso no es suficiente definir las aristas como par de vértices; la definición de multigrafo es
un poco más complicada.

Definición 2

Un multigrafo G(V, E) consta de un conjunto V de vértices, un conjunto E de aristas

y una función f de E en {{u, v}|u, v ∈ V, u 6= v}. Se dice que las aristas e1, e2 son aristas
múltiples o paralelas si f(e1) = f(e2).

Los multigrafos definidos no admiten bucles o lazos (aristas que conectan un

vértice consigo mismo). Usamos en este caso, pseudografos que son más generales que
los multígrafos.

Definición 3

Un pseudografo G(V, E) consta de un conjunto V de vértices, un conjunto E de

aristas y una función f de E en {{u, v}|u, v ∈ V }. Se dice que una arista e es un bucle o lazo
si f(e) = {u, u} = {u} para algún u ∈ V .
 La diferencia entre grafo y digrafo es que el último tiene los lados dirigidos y se
entiende como un grafo dirigido.

Definición 4

Un grafo dirigido o digrafo G = (V, E) consta de un conjunto V de vértices, un

conjunto E de aristas, que son pares ordenados de elementos de V.

Definimos los multigrafos dirigidos de la siguiente manera

Definición 5

Un multigrafo dirigido G(V, E) consta de un conjunto V de vértices, un conjunto E

de aristas y una función f de E en {(u, v)|u, v ∈ V }. Se dice que las aristas e1, e2 son aristas
múltiples o paralelas si f(e1) = f(e2).