P. 1
Grafos Eulerianos

Grafos Eulerianos

5.0

|Views: 10.735|Likes:
Publicado porjuanchox7
explicacion de grafos eulerianos
explicacion de grafos eulerianos

More info:

Published by: juanchox7 on Jul 10, 2009
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

04/18/2014

pdf

text

original

Elementos Discretos

Facultad de Ciencias y Tecnología Departamento de Computación

Teoría de Grafos:

Grafos Eulerianos

Teoría de Grafos Unidad Académica Elementos Discretos

Problema de los Puentes de Königsberg:
Los Puentes de Königsberg:
Problema de los Puentes de Königsberg La solución de Euler Definición de Grafo Euleriano Teorema del Circuito Euleriano Demostración del Teorema Corolario del Camino Euleriano

Königsberg (populosa y rica ciudad de la Prusia Oriental), nombre antiguo de la actual ciudad de Kaliningrado (Rusia).

El río Pregel atraviesa la ciudad y existen 2 islas en el medio del río, conectadas entre sí y con las márgenes del río, a través de 7 puentes.

Teoría de Grafos Unidad Académica Elementos Discretos

Problema de los Puentes de Königsberg:
Los Puentes de Königsberg:
Problema de los Puentes de Königsberg La solución de Euler Definición de Grafo Euleriano Teorema del Circuito Euleriano Demostración del Teorema Corolario del Camino Euleriano

Protagonistas de uno de los problemas de los matemáticos del siglo XVIII.

Problema:
¿Es posible partir de un punto de la ciudad y recorrer cada puente una sola vez regresando al punto de partida.?
Teoría de Grafos Unidad Académica Elementos Discretos

La solución de Euler:
Euler:
Problema de los Puentes de Königsberg La solución de Euler Definición de Grafo Euleriano Teorema del Circuito Euleriano Demostración del Teorema Corolario del Camino Euleriano

En 1736, el matematico suizo Leonhard Euler modelo el problema usando un grafo G = (V, A) donde: V = {las islas y las dos márgenes del río} y A = {los puentes}
margen 1 isla 1 margen 2 isla 2

1707 - 1783

G = (V, A)

Problema:
¿Existirá un circuito en el grafo G que recorra todos los arcos una sola vez?

Respuesta:
Euler demostró que no existe dicho circuito.
Teoría de Grafos Unidad Académica Elementos Discretos

La solución de Euler:
Euler:
Problema de los Puentes de Königsberg La solución de Euler Definición de Grafo Euleriano Teorema del Circuito Euleriano Demostración del Teorema Corolario del Camino Euleriano

Para que existiera el circuito buscado, todos los vértices de G debían ser de grado par (en este caso todos son de grado impar).
3 G = (V, A) 5 3 3

Construcción de puentes:
Si se construyeran dos puentes el problema tendría solución afirmativa.
4 G = (V, A) 6 4
Teoría de Grafos Unidad Académica Elementos Discretos

4

Definición de Grafo Euleriano:
Problema de los Puentes de Königsberg La solución de Euler Definición de Grafo Euleriano Teorema del Circuito Euleriano Demostración del Teorema Corolario del Camino Euleriano

Definiciones: Camino euleriano:
Es un camino que recorre todos los arcos del grafo una sola vez. Por lo tanto, es un camino simple que transita por todos los arcos del grafo.

Circuito euleriano:
Es un camino euleriano, donde el vértice de partida coincide con el vértice de llegada.
G = (V, A, ϕ) G1 = (V1, A1, ϕ)

Ejemplos:

3
e1 e5

e9 4

e2 e6 e10 4 e7 e8 e4 e3

4

2

2
e1 e5 e11

e2 e6

4 2 e7 e3
e8

4 3 C = (e2, e3, e4, e5, e6, e7, e8, e1, e9, e10, e11) camino euleriano

e4 4 2 C = (e1, e2, e3, e4, e5, e6, e7, e8) circuito euleriano
Teoría de Grafos Unidad Académica Elementos Discretos

Definición de Grafo Euleriano:
Grafo Euleriano:
Problema de los Puentes de Königsberg La solución de Euler Definición de Grafo Euleriano Teorema del Circuito Euleriano Demostración del Teorema Corolario del Camino Euleriano

Un grafo es euleriano si contiene un camino o un circuito euleriano.

Por lo tanto

G = (V, A, ϕ)

3
e1 e5

e9 4

e2 e6 e10 4 e7 e8 e4 e3

4

G1 = (V1, A1, ϕ)

2

2
e1 e5 e11

e2 e6

4 2 e7 e3
e8

4 3 C = (e2, e3, e4, e5, e6, e7, e8, e1, e9, e10, e11) camino euleriano

e4 4 2 C = (e1, e2, e3, e4, e5, e6, e7, e8) circuito euleriano

euleriano

3 G = (V, A) 5 3

euleriano

3 No se puede construir un camino euleriano

no es euleriano
Teoría de Grafos Unidad Académica Elementos Discretos

Teorema del Circuito Euleriano:
Teorema:
Problema de los Puentes de Königsberg La solución de Euler Definición de Grafo Euleriano Teorema del Circuito Euleriano Demostración del Teorema Corolario del Camino Euleriano

Para cualquier grafo G = (V, A). Si G es conexo y todos sus vértices son de grado par, entonces G tiene un circuito Euleriano.

grado par

grado impar

Teoría de Grafos Unidad Académica Elementos Discretos

Demostración del Teorema:
Demostración:
Problema de los Puentes de Königsberg La solución de Euler Definición de Grafo Euleriano Teorema del Circuito Euleriano Demostración del Teorema Corolario del Camino Euleriano

Por inducción y por construcción. Hipótesis: Sea G = (V, A) un grafo, tal que: (i) G es conexo, (ii) G tiene todos sus vértices de grado par Tesis: G tiene un circuito euleriano

Observaciones: El problema del circuito euleriano radica en los arcos de G, por eso se va a hacer inducción sobre el número de arcos de G, es decir, sobre |A| = m. La intención es que al ir variando m, si el grafo cumple las hipótesis del teorema (G es conexo y todos sus arcos son de grado par) entonces se compruebe que G tiene un circuito euleriano.
Teoría de Grafos Unidad Académica Elementos Discretos

Demostración del Teorema:
Inducción:
Problema de los Puentes de Königsberg La solución de Euler Definición de Grafo Euleriano Teorema del Circuito Euleriano Demostración del Teorema Corolario del Camino Euleriano

Colocamos el teorema como la propiedad a probar. P(m): Dado un grafo G = (V, A) con |A| = m. Si G es conexo y todos los vértices de G son de grado par, entonces G contiene un circuito Euleriano.

La inducción se hace para |A| ≥ 3 Se descartan los casos |A| = 1 y |A| = 2, porque con esa cantidad de arcos, los grafos que satisfacen las hipótesis no son simples.

no son grafos simples
Teoría de Grafos Unidad Académica Elementos Discretos

Demostración del Teorema:
Inducción:
Problema de los Puentes de Königsberg La solución de Euler Definición de Grafo Euleriano Teorema del Circuito Euleriano Demostración del Teorema Corolario del Camino Euleriano 2

Se usará la forma fuerte de inducción. P(m): Dado un grafo G = (V, A) con |A| = m. Si G es conexo y todos los vértices de G son de grado par, entonces G contiene un circuito Euleriano.

Caso Base: Probar P(m) para m = 3
P(3): Dado un grafo G = (V, A) con |A| = 3. Si G es conexo y todos los vértices de G son de grado par, entonces G contiene un circuito Euleriano. El grafo G = (V, A) con |A| = 3, que cumple las hipótesis es:
2

v1

En G existe el siguiente circuito euleriano: C = (v1, v2, v3, v1)
v2
2 Teoría de Grafos Unidad Académica Elementos Discretos

v3

Por lo tanto, P(3) es verdadero.

Demostración del Teorema:
Paso Inductivo:
Problema de los Puentes de Königsberg La solución de Euler Definición de Grafo Euleriano Teorema del Circuito Euleriano Demostración del Teorema Corolario del Camino Euleriano

Hipótesis Inductiva:
Asumimos como cierto P(3) ∧ P(4) ∧ ... ∧ P(k-1), es decir, asumimos que: Para cualquier grafo G = (V, A) con |A| < k. Si G es conexo y todos los vértices de G son de grado par, entonces G contiene un circuito Euleriano.

Tesis Inductiva:

Debemos probar P(k), es decir: Dado un grafo G = (V, A) con |A| = k. Si G es conexo y todos los vértices de G son de grado par, entonces G contiene un circuito Euleriano.

Teoría de Grafos Unidad Académica Elementos Discretos

Demostración del Teorema:
Paso Inductivo:
Problema de los Puentes de Königsberg La solución de Euler Definición de Grafo Euleriano Teorema del Circuito Euleriano Demostración del Teorema Corolario del Camino Euleriano

Aquí se usa el Proceso de construcción.

Estrategia:
Desarrollar la tesis, partiendo de su antecedente (hipótesis de la tesis), por construcción se hace aparecer la hipótesis inductiva, se sustituye y se trata de llegar al consecuente de la tesis. Antecedente de la tesis inductiva Sea G = (V, A) un grafo con |A| = k, tal que: (i) G es conexo, (ii) G tiene todos sus vértices de grado par Consecuente de la Tesis inductiva: G tiene un circuito euleriano

Asumimos entonces que disponemos de un grafo G = (V, A), con |A| = k arcos, que es conexo y todos sus vértices son de grado par.
Teoría de Grafos Unidad Académica Elementos Discretos

Demostración del Teorema:
Paso Inductivo:
Problema de los Puentes de Königsberg La solución de Euler Definición de Grafo Euleriano Teorema del Circuito Euleriano Demostración del Teorema Corolario del Camino Euleriano

Aquí se usa el Proceso de construcción.

Construcción:
(1) Conseguir un circuito cualquiera

Ilustración:
(1)
inicio

en G, denominándolo Cprinc. Si Cprinc es euleriano entonces la demostración termina sino continuamos:
(2) Quitar de G los arcos del circuito Cpric. (2)
inicio

G4 G3 G1 G5 G4 G3 G1 G5 G2

G2

Se generan una o varias componentes conexas en G (p ≥ 1).
(3) Cada componente conexa cumple que: (3)

tiene cantidad de arcos menor que k, es conexa y todos sus vértices son de grado par. Por hipótesis inductiva, cada componente conexa posee un circuito euleriano. euleriano

Teoría de Grafos Unidad Académica Elementos Discretos

Demostración del Teorema:
Paso Inductivo:
Problema de los Puentes de Königsberg La solución de Euler Definición de Grafo Euleriano Teorema del Circuito Euleriano Demostración del Teorema Corolario del Camino Euleriano

Aquí se usa el Proceso de construcción.

Construcción:
(4) Escoger p vértices de Cpric: ui , uno

Ilustración:
(4)
u4 u3 u1 u5 u2
inicio

por cada componentes conexas, i ∈ {1, 2, ..., p} en el orden en que fueron visitadas las componentes conexas.
(5) Armar el circuito euleriano de G, (5)

G4 u4

u3 G3 u1 G1 u5 G5

G2 u2

ensamblando el circuito Cpric con los circuitos eulerianos de las componentes conexas, en el orden que son visitadas por el circuito Cpric.

inicio

Teoría de Grafos Unidad Académica Elementos Discretos

Corolario del Camino Euleriano:
Corolario:
Problema de los Puentes de Königsberg La solución de Euler Definición de Grafo Euleriano Teorema del Circuito Euleriano Demostración del Teorema Corolario del Camino Euleriano

Para cualquier grafo G = (V, A). Si G es conexo y todos sus vértices son de grado par o exactamente dos son de grado impar, entonces G tiene un camino Euleriano.

Ejemplo:
G = (V, A)

G = (V, A) 4

2 4 G = (V, A)

3

3

En G existen exactamente dos vértices de grado impar, entonces G tiene un camino euleriano Extraemos un camino que inicie en uno de los vértices de grado impar y que termine en el otro vértice de grado impar. Queda componente conexa con un circuito euleriano. Ensamblando ambos se obtiene el camino euleriano. euleriano
Teoría de Grafos Unidad Académica Elementos Discretos

You're Reading a Free Preview

Descarga
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->