Caminos Eulerianos y la Fórmula de Euleracademicos.azc.uam.mx/franz/docs/jiamgrfz.pdf ·...

24
Caminos Eulerianos y la Fórmula de Euler Jornadas de Investigación en Análisis Matemático dedicadas al Tricentenario de Leonhard Euler 12 a 16 de noviembre de 2007 Guadalupe Rodr´ ıguez — Departamento de Ciencias B ´ asicas Francisco Zaragoza — Departamento de Sistemas Universidad Aut ´ onoma Metropolitana Azcapotzalco [email protected] y [email protected] Caminos Eulerianos y la F ´ ormula de Euler – p. 1/24

Transcript of Caminos Eulerianos y la Fórmula de Euleracademicos.azc.uam.mx/franz/docs/jiamgrfz.pdf ·...

Page 1: Caminos Eulerianos y la Fórmula de Euleracademicos.azc.uam.mx/franz/docs/jiamgrfz.pdf · 2016-01-13 · Teorema de Kuratowski Teorema de Euler ⇒ K5,K3,3 no son gráficas aplanables.

Caminos Eulerianos y laFórmula de Euler

Jornadas de Investigación enAnálisis Matemático dedicadas alTricentenario de Leonhard Euler

12 a 16 de noviembre de 2007

Guadalupe Rodrıguez — Departamento de Ciencias Basicas

Francisco Zaragoza — Departamento de Sistemas

Universidad Autonoma Metropolitana Azcapotzalco

[email protected] y [email protected]

Caminos Eulerianos y la Formula de Euler – p. 1/24

Page 2: Caminos Eulerianos y la Fórmula de Euleracademicos.azc.uam.mx/franz/docs/jiamgrfz.pdf · 2016-01-13 · Teorema de Kuratowski Teorema de Euler ⇒ K5,K3,3 no son gráficas aplanables.

Contenido

1. Caminos eulerianos.(a) Gráficas eulerianas.(b) Problema del cartero.(c) Doble cubierta por ciclos.

2. Fórmula de Euler.(a) Planaridad.(b) Poliedros regulares.(c) Coloración de mapas.

Caminos Eulerianos y la Formula de Euler – p. 2/24

Page 3: Caminos Eulerianos y la Fórmula de Euleracademicos.azc.uam.mx/franz/docs/jiamgrfz.pdf · 2016-01-13 · Teorema de Kuratowski Teorema de Euler ⇒ K5,K3,3 no son gráficas aplanables.

El problema de los puentes (1736)

El problema es como sigue: en Koenigsbergexiste una isla llamada Kneiphof y el río quela rodea se divide en dos ramas y esasramas son atravesadas por siete puentes.

Acerca de estos puentes se preguntó siacaso alguien podría organizar una ruta demodo que cruzara cada puente exactamenteuna vez. Me dijeron que algunas personasaseguraban que esto es imposible, mientrasque otras dudaban, pero que nadieaseguraría que de hecho era posible.

Caminos Eulerianos y la Formula de Euler – p. 3/24

Page 4: Caminos Eulerianos y la Fórmula de Euleracademicos.azc.uam.mx/franz/docs/jiamgrfz.pdf · 2016-01-13 · Teorema de Kuratowski Teorema de Euler ⇒ K5,K3,3 no son gráficas aplanables.

Los puentes de Koenigsberg

e

Caminos Eulerianos y la Formula de Euler – p. 4/24

Page 5: Caminos Eulerianos y la Fórmula de Euleracademicos.azc.uam.mx/franz/docs/jiamgrfz.pdf · 2016-01-13 · Teorema de Kuratowski Teorema de Euler ⇒ K5,K3,3 no son gráficas aplanables.

Circuitos eulerianos

Un circuito de una gráfica es euleriano sicontiene a cada una de sus aristasexactamente una vez.

Una gráfica es euleriana si tiene algúncircuito euleriano.

El problema general que nos interesa es el dedecidir si una gráfica dada es euleriana o no.

Supondremos que las gráficas son conexas.

Caminos Eulerianos y la Formula de Euler – p. 5/24

Page 6: Caminos Eulerianos y la Fórmula de Euleracademicos.azc.uam.mx/franz/docs/jiamgrfz.pdf · 2016-01-13 · Teorema de Kuratowski Teorema de Euler ⇒ K5,K3,3 no son gráficas aplanables.

Gráficas eulerianas

(Euler 1736 y Hierholzer 1873) Una gráfica eseuleriana si y sólo si todos sus vértices tienengrado par.

AA

BB

CC

DD

a a bb

c c dd

ee

ff

gg

h

i

Caminos Eulerianos y la Formula de Euler – p. 6/24

Page 7: Caminos Eulerianos y la Fórmula de Euleracademicos.azc.uam.mx/franz/docs/jiamgrfz.pdf · 2016-01-13 · Teorema de Kuratowski Teorema de Euler ⇒ K5,K3,3 no son gráficas aplanables.

Gráficas dirigidas eulerianas

(Konig 1936) Una gráfica dirigida D eseuleriana si y sólo si los grados interno yexterno de cada vértice de D son iguales.

AA

BB

CC

DD

a a bb

c c dd

e e

ff

gg

h hi i

Caminos Eulerianos y la Formula de Euler – p. 7/24

Page 8: Caminos Eulerianos y la Fórmula de Euleracademicos.azc.uam.mx/franz/docs/jiamgrfz.pdf · 2016-01-13 · Teorema de Kuratowski Teorema de Euler ⇒ K5,K3,3 no son gráficas aplanables.

Gráficas mixtas eulerianas

(Ford y Fulkerson 1962) Una gráfica mixta Mes euleriana si y sólo si todo subconjunto Sde los vértices de M es par y balanceado.

AA

BB

CC

DD

a a bb

c c dd

e e

ff

gg

h hi i

Caminos Eulerianos y la Formula de Euler – p. 8/24

Page 9: Caminos Eulerianos y la Fórmula de Euleracademicos.azc.uam.mx/franz/docs/jiamgrfz.pdf · 2016-01-13 · Teorema de Kuratowski Teorema de Euler ⇒ K5,K3,3 no son gráficas aplanables.

El problema del cartero

(Mei Gu Guan 1960) Cuando el autor estabadibujando un diagrama para la ruta de uncartero, él descubrió el siguiente problema:

Un cartero tiene que cubrir su ruta asignadaantes de regresar a la oficina postal.

El problema es encontrar la distancia máscorta que debe caminar el cartero.

Caminos Eulerianos y la Formula de Euler – p. 9/24

Page 10: Caminos Eulerianos y la Fórmula de Euleracademicos.azc.uam.mx/franz/docs/jiamgrfz.pdf · 2016-01-13 · Teorema de Kuratowski Teorema de Euler ⇒ K5,K3,3 no son gráficas aplanables.

Recorridos de cartero

AA

BB

CC

DD

a a bb

c c dd

ee

ff

gg

Caminos Eulerianos y la Formula de Euler – p. 10/24

Page 11: Caminos Eulerianos y la Fórmula de Euleracademicos.azc.uam.mx/franz/docs/jiamgrfz.pdf · 2016-01-13 · Teorema de Kuratowski Teorema de Euler ⇒ K5,K3,3 no son gráficas aplanables.

Sobre el problema del cartero

Se puede resolver eficientemente paragráficas y gráficas dirigidas.

El problema es NP duro en gráficas mixtas.

Existen muchas variantes de este problema.

Para algunas de estas variantes es NPcompleto decidir si existe solución factible.

Caminos Eulerianos y la Formula de Euler – p. 11/24

Page 12: Caminos Eulerianos y la Fórmula de Euleracademicos.azc.uam.mx/franz/docs/jiamgrfz.pdf · 2016-01-13 · Teorema de Kuratowski Teorema de Euler ⇒ K5,K3,3 no son gráficas aplanables.

Doble cubierta por ciclos

Si se duplican todas las aristas de una gráficase obtiene una gráfica euleriana.

¿Existirá una doble cubierta por ciclos?

Szekeres y Seymour conjeturan que sí(excepto para los contraejemplos obvios).

Caminos Eulerianos y la Formula de Euler – p. 12/24

Page 13: Caminos Eulerianos y la Fórmula de Euleracademicos.azc.uam.mx/franz/docs/jiamgrfz.pdf · 2016-01-13 · Teorema de Kuratowski Teorema de Euler ⇒ K5,K3,3 no son gráficas aplanables.

Fórmula de Euler (1750)

En todo poliedro se cumple que c + v = e + 2.

c es el número de caras, v es el número devértices y e es el número de aristas.

En el cubo c = 6, v = 8 y e = 12.

Caminos Eulerianos y la Formula de Euler – p. 13/24

Page 14: Caminos Eulerianos y la Fórmula de Euleracademicos.azc.uam.mx/franz/docs/jiamgrfz.pdf · 2016-01-13 · Teorema de Kuratowski Teorema de Euler ⇒ K5,K3,3 no son gráficas aplanables.

Gráficas aplanables

G = (V, E) gráfica y S superficie.

G está encajada si está dibujada en S sin quese intersecten sus aristas.

Una gráfica es aplanable si se puede encajaren el plano.

Caminos Eulerianos y la Formula de Euler – p. 14/24

Page 15: Caminos Eulerianos y la Fórmula de Euleracademicos.azc.uam.mx/franz/docs/jiamgrfz.pdf · 2016-01-13 · Teorema de Kuratowski Teorema de Euler ⇒ K5,K3,3 no son gráficas aplanables.

Teorema de Euler

Sea G = (V, E) una gráfica aplanable yconexa.

Sea C el número de caras de algún encajede G.

Entonces se cumple que

|V | − |E| + C = 2.

Caminos Eulerianos y la Formula de Euler – p. 15/24

Page 16: Caminos Eulerianos y la Fórmula de Euleracademicos.azc.uam.mx/franz/docs/jiamgrfz.pdf · 2016-01-13 · Teorema de Kuratowski Teorema de Euler ⇒ K5,K3,3 no son gráficas aplanables.

Teorema de Kuratowski

Teorema de Euler ⇒ K5, K3,3 no son gráficasaplanables.

Teorema de Kuratowski: Una gráfica esaplanable si y sólo si no contiene unasubgráfica homeomorfa a K5 o K3,3.

Caminos Eulerianos y la Formula de Euler – p. 16/24

Page 17: Caminos Eulerianos y la Fórmula de Euleracademicos.azc.uam.mx/franz/docs/jiamgrfz.pdf · 2016-01-13 · Teorema de Kuratowski Teorema de Euler ⇒ K5,K3,3 no son gráficas aplanables.

Poliedros regulares

Teorema (Pitágoras y Platón): Sólo existencinco poliedros regulares.

cubotetraedro octaedro

dodecaedro icosaedro

Caminos Eulerianos y la Formula de Euler – p. 17/24

Page 18: Caminos Eulerianos y la Fórmula de Euleracademicos.azc.uam.mx/franz/docs/jiamgrfz.pdf · 2016-01-13 · Teorema de Kuratowski Teorema de Euler ⇒ K5,K3,3 no son gráficas aplanables.

Creación de otras superficies I

Cilindro y banda de Möbius

Caminos Eulerianos y la Formula de Euler – p. 18/24

Page 19: Caminos Eulerianos y la Fórmula de Euleracademicos.azc.uam.mx/franz/docs/jiamgrfz.pdf · 2016-01-13 · Teorema de Kuratowski Teorema de Euler ⇒ K5,K3,3 no son gráficas aplanables.

Creación de otras superficies II

Esfera, toro y botella de Klein

Caminos Eulerianos y la Formula de Euler – p. 19/24

Page 20: Caminos Eulerianos y la Fórmula de Euleracademicos.azc.uam.mx/franz/docs/jiamgrfz.pdf · 2016-01-13 · Teorema de Kuratowski Teorema de Euler ⇒ K5,K3,3 no son gráficas aplanables.

Teorema de Poincaré

Consideremos un encaje simple de unagráfica en una superficie S con |V | vértices,|E| aristas y C caras.

Si S es una esfera con g asas, entonces

|V | − |E| + C = 2 − 2g.

Si S es una esfera con h bandas de Möbius,entonces

|V | − |E| + C = 2 − h.

Caminos Eulerianos y la Formula de Euler – p. 20/24

Page 21: Caminos Eulerianos y la Fórmula de Euleracademicos.azc.uam.mx/franz/docs/jiamgrfz.pdf · 2016-01-13 · Teorema de Kuratowski Teorema de Euler ⇒ K5,K3,3 no son gráficas aplanables.

Coloración de mapas

Dos países adyacentes deben tener coloresdiferentes.

Conjetura: Se requieren a lo más 4 colores.

Teorema de los cuatro colores: Toda gráficaaplanable se puede colorear con a lo más 4colores.

Caminos Eulerianos y la Formula de Euler – p. 21/24

Page 22: Caminos Eulerianos y la Fórmula de Euleracademicos.azc.uam.mx/franz/docs/jiamgrfz.pdf · 2016-01-13 · Teorema de Kuratowski Teorema de Euler ⇒ K5,K3,3 no son gráficas aplanables.

Teorema de Heawood

Sea Sg la esfera con g asas. Entonces

χ(Sg) ≤⌊

7 +√

1 + 48g

2

.

Ringel y Youngs demostraron que se cumplela igualdad para casi todas las superficiescerradas.

La única excepción es la botella de Klein.

Caminos Eulerianos y la Formula de Euler – p. 22/24

Page 23: Caminos Eulerianos y la Fórmula de Euleracademicos.azc.uam.mx/franz/docs/jiamgrfz.pdf · 2016-01-13 · Teorema de Kuratowski Teorema de Euler ⇒ K5,K3,3 no son gráficas aplanables.

Coloración Tierra Luna

11

22 33 44

55

66

7 78 8

Una partición de K8 en dos gráficas planas

Caminos Eulerianos y la Formula de Euler – p. 23/24

Page 24: Caminos Eulerianos y la Fórmula de Euleracademicos.azc.uam.mx/franz/docs/jiamgrfz.pdf · 2016-01-13 · Teorema de Kuratowski Teorema de Euler ⇒ K5,K3,3 no son gráficas aplanables.

Al menos nueve colores

Esta gráfica fue propuesta por Sulanke:

K8

Y a lo mucho doce colores (usando Euler).

Caminos Eulerianos y la Formula de Euler – p. 24/24