Problema de los puentes de Königsberg

El primer artículo referente a la teoría de gráficas fue de

Leonhard Euler en 1736.
El artículo presentaba una teoría general que incluía una
solución a lo que ahora se llama el problema de los
puentes de Königsberg.
Este consistía en dos islas en el río Pregel en Königsberg
(ahora Kaliningrado en Rusia) que estaban conectadas
entre sí y con las orillas de río por puentes.
Problema de los puentes de Königsberg

El problema es comenzar en
cualquier lugar: A, B, C o D;
cruzar cada puente exactamente
una vez; luego regresar al lugar
de inicio.
La configuración de los puentes se puede modelar como una gráfica.

Los vértices
representan
los lugares y
las aristas
representan
los puentes
 El problema de los puentes de
Königsberg ahora se reduce a
encontrar un ciclo en la gráfica que
incluya todas las aristas y todos los
vértices.
En honor a Euler, un ciclo en una gráfica G que incluye
todas las aristas y todos los vértices de G se llama ciclo
de Euler.
A partir del análisis, se ve que no hay un ciclo de Euler.
• En la gráfica cada vértice es incidente en un número
impar de aristas.
Trayectoria o circuito de Euler
Una trayectoria en una grafica G es una
trayectoria de Euler si se incluye a cada
una de las aristas una sola vez.
Un circuito de Euler es una trayectoria de
Euler que es a la vez un circuito.
Ejemplo 1:

Gráfica 1 Gráfica 2

Un CIRCUITO de EULER Un TRAYECTORIA de EULER

seria: seria:
tt:5,3,2,1,3,4,5 tt: E,D,B,A,C,D.
NO es un circuito.
Teorema 1

a) Si una gráfica G tiene un vértice de

grado impar, entonces NO puede existir
un circuito de Euler en G.
Teorema 1

b. Si G es una grafica conexa (si existe una

trayectoria de cualquier vértice u otro) y
todos los vértices tienen grado par,
entonces existe un circuito de Euler en
G.
Teorema 2
a) Si una gráfica G tiene mas de dos vértices de grado
impar, entonces no puede existir una trayectoria Euler
en G.
Teorema 2
b) Si G es una gráfica conexa y tiene exactamente
dos vértices de grado impar, entonces existe una
trayectoria de Euler en G.

“Cualquier trayectoria de
Euler debe comenzar en un
vértice de grado impar y
terminar en el otro.”
Teorema 1 y 2

Existen 2 vértices de grado Los 4 vértices tienen grado

impar. Hay una trayectoria 3, por lo tanto No existe
de Euler, pero No hay un circuito y NO hay
circuito. trayectoria de Euler.
Todos los vértices tienen grado par.
Hay un circuito.

Un circuito euleriano es una

trayectoria que empieza y termina
en el mismo vértice y recorre
cada arista exactamente una vez.

Teorema 1 (b)
Todos los vértices tienen
grado par.
Pero hay un vértice aislado.

Tendría que pasar por

la misma arista para
regresar.
Algoritmo de Fleury
Sea G=(V,E,y) una gráfica conexa con todos sus
vértices de grado par.
Paso 1
Se elige un miembro de v de V con vértice
inicial para el circuito.
Sea TT v el inicio de la trayectoria a construir.
Paso 2.
Suponga que ya se ha construido TT v,u…,w. Si en
w solo existe una arista {w,z}, se extiende tt a tt:v,u,
….w,z.
Se elimina {w,z} de E y w w V.
Si en w existen varias aristas, se elige una que no
sea un puente {w,z}.
Extienda tt a tt:v,u,…w,z y se elimina {w,z} de E.
Paso 3.
Repetir el paso 2, hasta que no queden aristas en E.
Ejemplo:
Utilice el algoritmo de Fleury para para construir
un circuito de Euler para la grafica:

Paso 1. Elegir el v para iniciar. En este caso se elige el vértice A

Paso 2: se elimina una a una las aristas.
TT: A {A,B} sin arista desde A es un puente

Se elimina la arista entre {A,B}

TT: A {A,B} sin arista desde A es un puente
TT:A,B {B,C} solo una arista desde B permanece

Se elimina la arista entre {B,C}

TT: A {A,B} sin arista desde A es un puente
TT:A,B {B,C} solo una arista desde B permanece
TT:A,B,C {C,A}sin aristas desde C es un puente

Se elimina la arista entre {C,A}

TT: A {A,B} sin arista desde A es un puente
TT:A,B {B,C} solo una arista desde B permanece
TT:A,B,C {C,A} sin aristas desde C es un puente
TT:A,B,C,A {A,D} sin arista desde A es un puente

Se elimina la arista entre {A,D}

TT: A {A,B} sin arista desde A es un puente
TT:A,B {B,C} solo una arista desde B permanece
TT:A,B,C {C,A} sin aristas desde C es un puente
TT:A,B,C,A {A,D} sin arista desde A es un puente
TT:A,B,C,A,D {D,C} Sin arista desde D permanece

Se elimina la arista entre {D,C}

TT: A {A,B} sin arista desde A es un puente
TT:A,B {B,C} solo una arista desde B permanece
TT:A,B,C {C,A} sin aristas desde C es un puente
TT:A,B,C,A {A,D} sin arista desde A es un puente
TT:A,B,C,A,D {D,C} Sin arista desde D permanece
TT:A,B,C,A,D,C {C,E} solo una arista desde C permanece

Se elimina la arista entre {C,E}

TT: A {A,B} sin arista desde A es un puente
TT:A,B {B,C} solo una arista desde B permanece
TT:A,B,C {C,A} sin aristas desde C es un puente
TT:A,B,C,A {A,D} sin arista desde A es un puente
TT:A,B,C,A,D {D,C} Sin arista desde D permanece
TT:A,B,C,A,D,C {C,E} solo una arista desde C permanece
TT:A,B,C,A,D,C E {E,G} sin arista desde E es un puente

Se elimina la
arista entre
{E,G}
TT: A {A,B} sin arista desde A es un puente
TT:A,B {B,C} solo una arista desde B permanece
TT:A,B,C {C,A} sin aristas desde C es un puente
TT:A,B,C,A {A,D} sin arista desde A es un puente
TT:A,B,C,A,D {D,C} Sin arista desde D permanece
TT:A,B,C,A,D,C {C,E} solo una arista desde C permanece
TT:A,B,C,A,D,C E {E,G} sin arista desde E es un puente
TT;A,B,C,A,D,C,E G {G,F} {A,G} es un puente, elija (G,F)o(G,H)

Se elimina la
arista entre
{G,F}
TT: A {A,B} sin arista desde A es un puente
TT:A,B {B,C} solo una arista desde B permanece
TT:A,B,C {C,A} sin aristas desde C es un puente
TT:A,B,C,A {A,D} sin arista desde A es un puente
TT:A,B,C,A,D {D,C} Sin arista desde D permanece
TT:A,B,C,A,D,C {C,E} solo una arista desde C permanece
TT:A,B,C,A,D,C E {E,G} sin arista desde E es un puente
TT;A,B,C,A,D,C,E G {G,F} {A,G} es un puente, elija (G,F)o(G,H)
TT;A,B,C,A,D,C,E G,F{F,E} solo una arista de F permanece

Se elimina la
arista entre
{F,E}
TT: A {A,B} sin arista desde A es un puente
TT:A,B {B,C} solo una arista desde B permanece
TT:A,B,C {C,A} sin aristas desde C es un puente
TT:A,B,C,A {A,D} sin arista desde A es un puente
TT:A,B,C,A,D {D,C} Sin arista desde D permanece
TT:A,B,C,A,D,C {C,E} solo una arista desde C permanece
TT:A,B,C,A,D,C E {E,G} sin arista desde E es un puente
TT;A,B,C,A,D,C,E G {G,F} {A,G} es un puente, elija (G,F)o(G,H)
TT;A,B,C,A,D,C,E G,F {F,E} solo una arista de F permanece
TT;A,B,C,A,D,C,E G,F,E {E,H} solo una arista de e permanece

Se elimina la
arista entre
{E,H}
TT: A {A,B} sin arista desde A es un puente
TT:A,B {B,C} solo una arista desde B permanece
TT:A,B,C {C,A} sin aristas desde C es un puente
TT:A,B,C,A {A,D} sin arista desde A es un puente
TT:A,B,C,A,D {D,C} Sin arista desde D permanece
TT:A,B,C,A,D,C {C,E} solo una arista desde C permanece
TT:A,B,C,A,D,C E {E,G} sin arista desde E es un puente
TT;A,B,C,A,D,C,E G {G,F} {A,G} es un puente, elija (G,F)o(G,H)
TT;A,B,C,A,D,C,E G,F {F,E} solo una arista de F permanece
TT;A,B,C,A,D,C,E G,F,E {E,H} solo una arista de e permanece
TT;A,B,C,A,D,C,E G,F,E,H {H,G} solo una arista de H permanece

Se elimina la
arista entre
{H,G}
TT: A {A,B} sin arista desde A es un puente
TT:A,B {B,C} solo una arista desde B permanece
TT:A,B,C {C,A} sin aristas desde C es un puente
TT:A,B,C,A {A,D} sin arista desde A es un puente
TT:A,B,C,A,D {D,C} Sin arista desde D permanece
TT:A,B,C,A,D,C {C,E} solo una arista desde C permanece
TT:A,B,C,A,D,C E {E,G} sin arista desde E es un puente
TT;A,B,C,A,D,C,E G {G,F} {A,G} es un puente, elija (G,F)o(G,H)
TT;A,B,C,A,D,C,E G,F {F,E} solo una arista de F permanece
TT;A,B,C,A,D,C,E G,F,E {E,H} solo una arista de E permanece
TT;A,B,C,A,D,C,E G,F,E,H {H,G} solo una arista de H permanece
TT;A,B,C,A,D,C,E G,F,E,H,G{G,A} solo una arista de G permanece

Se elimina la
arista entre
{G,A}
TT: A {A,B} SIN ARISTA DESDE A ES UN PUENTE
TT:A,B {B,C} SOLO UN AARISTA DESDE B
PERMANECE
TT:A,B,C {C,A} SIN ARISTAS DESDE C ES UN PUENTE
TT:A,B,C,A {A,D} SIN ARISTA DESDE A ES UN PUENTE
TT:A,B,C,A,D {D,C} SIN ARISTA DESDE D PERMANECE
TT:A,B,C,A,D,C {C,E} SOLO UNA ARISTA DESDE C PERMANECE
TT:A,B,C,A,D,C E {E,G} SIN ARISTA DESDE E ES UN PUENTE
TT;A,B,C,A,D,C,E G {G,F} {A,G} ES UN PUENTE, ELIJA (G,F)o(G,H)
TT;A,B,C,A,D,C,E G,F,E {F,E} SOLO UNA ARISTA DE F PERMANECE
TT;A,B,C,A,D,C,E G,F,E,H {H,G} SOLO UNA ARISTA DE H PERMANECE
TT;A,B,C,A,D,C,E G,F,E,H,G {G,A} SOLO UNA ARISTA DE G PERMANECE

TT;A,B,C,A,D,C,E G,F,E,H,G,A