Sesion de Teor´ıa 7 - UM
41
´ Algebra y Matem´ atica Discreta Sesi´ondeTeor´ ıa 7 ´ Algebra y Matem´ atica Discreta Sesi´ on de Teor´ ıa 7 (c) 2013 Leandro Mar´ ın, Francisco J. Vera, Gema M. D´ ıaz 7 Oct 2013 - 13 Oct 2013
Transcript of Sesion de Teor´ıa 7 - UM
Algebra y Matematica Discreta Sesion de Teorıa 7
Algebra y Matematica Discreta
Sesion de Teorıa 7
(c) 2013 Leandro Marın, Francisco J. Vera, Gema M. Dıaz
7 Oct 2013 - 13 Oct 2013
Algebra y Matematica Discreta Sesion de Teorıa 7
Grafos
Grafos Hamiltonianos
Definicion
Un grafo se dice Hamiltoniano, cuando contiene un ciclo querecorre todos los vertices sin repetir ninguno.
Algebra y Matematica Discreta Sesion de Teorıa 7
Grafos
Grafos Hamiltonianos
Definicion
Un grafo se dice Hamiltoniano, cuando contiene un ciclo querecorre todos los vertices sin repetir ninguno.
Hay diversos algoritmos que nos permiten encontrar cicloshamiltonianos, pero en este curso no vamos a ver ninguno.
Algebra y Matematica Discreta Sesion de Teorıa 7
Grafos
Grafos Hamiltonianos
Definicion
Un grafo se dice Hamiltoniano, cuando contiene un ciclo querecorre todos los vertices sin repetir ninguno.
Hay diversos algoritmos que nos permiten encontrar cicloshamiltonianos, pero en este curso no vamos a ver ninguno.
Resolveremos los problemas de grafos hamiltonianosestudiando directamente cada caso.
Algebra y Matematica Discreta Sesion de Teorıa 7
Grafos
Grafos Hamiltonianos
Definicion
Un grafo se dice Hamiltoniano, cuando contiene un ciclo querecorre todos los vertices sin repetir ninguno.
Hay diversos algoritmos que nos permiten encontrar cicloshamiltonianos, pero en este curso no vamos a ver ninguno.
Resolveremos los problemas de grafos hamiltonianosestudiando directamente cada caso.
Para grafos pequenos es mas efectivo que la aplicacion dealgoritmos generales.
Algebra y Matematica Discreta Sesion de Teorıa 7
Grafos
Grafos Hamiltonianos
Ejemplo: Dodecaedro
Este es un ejemplo muy conocido de grafo Hamiltoniano.
0
1
2 3
456
7
8
9
10
11
1213
14
15
16
17
18
19
Algebra y Matematica Discreta Sesion de Teorıa 7
Grafos
Grafos Hamiltonianos
Ejemplo de No Hamiltoniano
??
Si este grafo tuviera un ciclo hamiltoniano, dicho ciclo tendrıaque pasar por todos los vertices, en particular tendrıa quepasar por los vertices 1, 2 y 3, pero como tiene que entrar ysalir, necesariamente tiene que usar todas las aristas.
Algebra y Matematica Discreta Sesion de Teorıa 7
Grafos
Grafos Hamiltonianos
Ejemplo de No Hamiltoniano
??
Si este grafo tuviera un ciclo hamiltoniano, dicho ciclo tendrıaque pasar por todos los vertices, en particular tendrıa quepasar por los vertices 1, 2 y 3, pero como tiene que entrar ysalir, necesariamente tiene que usar todas las aristas.Y eso es imposible sin pasar dos veces por 0 o por 3.
Algebra y Matematica Discreta Sesion de Teorıa 7
Grafos
Grafos Planos
Planteamiento
Hasta ahora no nos hemos planteado el problema de pintar elgrafo.
Algebra y Matematica Discreta Sesion de Teorıa 7
Grafos
Grafos Planos
Planteamiento
Hasta ahora no nos hemos planteado el problema de pintar elgrafo.
Elegıamos cualquier posicion de los vertices y ponıamos lasaristas, sin preocuparnos de lo complicado o simple quepudiera quedar el dibujo.
Algebra y Matematica Discreta Sesion de Teorıa 7
Grafos
Grafos Planos
Planteamiento
Hasta ahora no nos hemos planteado el problema de pintar elgrafo.
Elegıamos cualquier posicion de los vertices y ponıamos lasaristas, sin preocuparnos de lo complicado o simple quepudiera quedar el dibujo.
Cuando se producıan cruces de aristas sin ser un vertices,simplemente no ponıamos el punto del vertice y ya esta.
Algebra y Matematica Discreta Sesion de Teorıa 7
Grafos
Grafos Planos
Planteamiento
Hasta ahora no nos hemos planteado el problema de pintar elgrafo.
Elegıamos cualquier posicion de los vertices y ponıamos lasaristas, sin preocuparnos de lo complicado o simple quepudiera quedar el dibujo.
Cuando se producıan cruces de aristas sin ser un vertices,simplemente no ponıamos el punto del vertice y ya esta.
Existen situaciones en que esto puede ser importante.
Algebra y Matematica Discreta Sesion de Teorıa 7
Grafos
Grafos Planos
Planteamiento
Hasta ahora no nos hemos planteado el problema de pintar elgrafo.
Elegıamos cualquier posicion de los vertices y ponıamos lasaristas, sin preocuparnos de lo complicado o simple quepudiera quedar el dibujo.
Cuando se producıan cruces de aristas sin ser un vertices,simplemente no ponıamos el punto del vertice y ya esta.
Existen situaciones en que esto puede ser importante.
Por ejemplo, si el grafo corresponde a conexiones electricas enuna placa de circuito, estamos interesados en saber si esposible pintarlo sin que haya cruces.
Algebra y Matematica Discreta Sesion de Teorıa 7
Grafos
Grafos Planos
Planteamiento
Hasta ahora no nos hemos planteado el problema de pintar elgrafo.
Elegıamos cualquier posicion de los vertices y ponıamos lasaristas, sin preocuparnos de lo complicado o simple quepudiera quedar el dibujo.
Cuando se producıan cruces de aristas sin ser un vertices,simplemente no ponıamos el punto del vertice y ya esta.
Existen situaciones en que esto puede ser importante.
Por ejemplo, si el grafo corresponde a conexiones electricas enuna placa de circuito, estamos interesados en saber si esposible pintarlo sin que haya cruces.
Los grafos que se pueden pintar en un plano sin que hayacruces de aristas fuera de los vertices es lo que se conocecomo grafo plano.
Algebra y Matematica Discreta Sesion de Teorıa 7
Grafos
Grafos Planos
Planteamiento II
Demostrar que un grafo es plano consiste en encontrar unarepresentacion plana del mismo. Dicha representacion recibirael nombre de mapa.
Algebra y Matematica Discreta Sesion de Teorıa 7
Grafos
Grafos Planos
Planteamiento II
Demostrar que un grafo es plano consiste en encontrar unarepresentacion plana del mismo. Dicha representacion recibirael nombre de mapa.
El problema esta cuando no la encontramos.
Algebra y Matematica Discreta Sesion de Teorıa 7
Grafos
Grafos Planos
Planteamiento II
Demostrar que un grafo es plano consiste en encontrar unarepresentacion plana del mismo. Dicha representacion recibirael nombre de mapa.
El problema esta cuando no la encontramos.
Puede ser poque el grafo no sea plano o porque no somos losuficientemente listos para encontrarla.
Algebra y Matematica Discreta Sesion de Teorıa 7
Grafos
Grafos Planos
Planteamiento II
Demostrar que un grafo es plano consiste en encontrar unarepresentacion plana del mismo. Dicha representacion recibirael nombre de mapa.
El problema esta cuando no la encontramos.
Puede ser poque el grafo no sea plano o porque no somos losuficientemente listos para encontrarla.
Demostrar que no es posible encontrarla es complicado.
Algebra y Matematica Discreta Sesion de Teorıa 7
Grafos
Grafos Planos
Planteamiento II
Demostrar que un grafo es plano consiste en encontrar unarepresentacion plana del mismo. Dicha representacion recibirael nombre de mapa.
El problema esta cuando no la encontramos.
Puede ser poque el grafo no sea plano o porque no somos losuficientemente listos para encontrarla.
Demostrar que no es posible encontrarla es complicado.
Hay dos grafos muy famosos que se sabe que no son planos.
Algebra y Matematica Discreta Sesion de Teorıa 7
Grafos
Grafos Planos
Grafo K5
??
Algebra y Matematica Discreta Sesion de Teorıa 7
Grafos
Grafos Planos
Grafo K3,3
??
Algebra y Matematica Discreta Sesion de Teorıa 7
Grafos
Grafos Planos
Extensiones Esenciales
Supongamos que tenemos un grafo G que no es plano, y encualquier arista le anadimos en medio de ella un vertice,partiendo la arista en dos. El grafo resultante sigue sin serplano.
Algebra y Matematica Discreta Sesion de Teorıa 7
Grafos
Grafos Planos
Extensiones Esenciales
Supongamos que tenemos un grafo G que no es plano, y encualquier arista le anadimos en medio de ella un vertice,partiendo la arista en dos. El grafo resultante sigue sin serplano.
Si al grafo G le anadimos una arista nueva entre dos verticesy G no era plano, entonces el grafo resultante tampoco esplano.
Algebra y Matematica Discreta Sesion de Teorıa 7
Grafos
Grafos Planos
Extensiones Esenciales
Supongamos que tenemos un grafo G que no es plano, y encualquier arista le anadimos en medio de ella un vertice,partiendo la arista en dos. El grafo resultante sigue sin serplano.
Si al grafo G le anadimos una arista nueva entre dos verticesy G no era plano, entonces el grafo resultante tampoco esplano.
Dado un grafo G , diremos que G′ es una extension esencial de
G si G ′ se puede construir haciendo una o varias veces lasoperaciones anteriores al grafo G .
Algebra y Matematica Discreta Sesion de Teorıa 7
Grafos
Grafos Planos
Extensiones Esenciales
Supongamos que tenemos un grafo G que no es plano, y encualquier arista le anadimos en medio de ella un vertice,partiendo la arista en dos. El grafo resultante sigue sin serplano.
Si al grafo G le anadimos una arista nueva entre dos verticesy G no era plano, entonces el grafo resultante tampoco esplano.
Dado un grafo G , diremos que G′ es una extension esencial de
G si G ′ se puede construir haciendo una o varias veces lasoperaciones anteriores al grafo G .
Si G no es plano, ninguna extension esencial suya puede serplana.
Algebra y Matematica Discreta Sesion de Teorıa 7
Grafos
Grafos Planos
Teorema de Kuratowski
Caracterizacion de Grafos Planos
Un grafo G es plano si y solo si no contiene ninguna extensionesencial de K5 ni de K3,3.
Cuando tengamos un grafo que sospechemos que no es planoy queramos demostrarlo, este teorema no los permite.
Algebra y Matematica Discreta Sesion de Teorıa 7
Grafos
Grafos Planos
Teorema de Kuratowski
Caracterizacion de Grafos Planos
Un grafo G es plano si y solo si no contiene ninguna extensionesencial de K5 ni de K3,3.
Cuando tengamos un grafo que sospechemos que no es planoy queramos demostrarlo, este teorema no los permite.
Tenemos que buscar dentro del grafo a K5 o a K3,3 comoextension esencial.
Algebra y Matematica Discreta Sesion de Teorıa 7
Grafos
Grafos Planos
Teorema de Kuratowski
Caracterizacion de Grafos Planos
Un grafo G es plano si y solo si no contiene ninguna extensionesencial de K5 ni de K3,3.
Cuando tengamos un grafo que sospechemos que no es planoy queramos demostrarlo, este teorema no los permite.
Tenemos que buscar dentro del grafo a K5 o a K3,3 comoextension esencial.
Si somos capaces, entonces el teorema nos demuestra que noes plano, si no lo somos, podemos intentar seguir buscando unmapa.
Algebra y Matematica Discreta Sesion de Teorıa 7
Grafos
Grafos Planos
Formula de Euler
Cuando tenemos un mapa de un grafo, este mapa nos defineuna serie de regiones encerradas entre aristas.
Algebra y Matematica Discreta Sesion de Teorıa 7
Grafos
Grafos Planos
Formula de Euler
Cuando tenemos un mapa de un grafo, este mapa nos defineuna serie de regiones encerradas entre aristas.
Consideraremos siempre la region exterior como una regionmas.
Algebra y Matematica Discreta Sesion de Teorıa 7
Grafos
Grafos Planos
Formula de Euler
Cuando tenemos un mapa de un grafo, este mapa nos defineuna serie de regiones encerradas entre aristas.
Consideraremos siempre la region exterior como una regionmas.
Si llamamos V al conjunto de vertices, E al de aristas y R alde regiones se cumple siempre la siguiente formula:
Algebra y Matematica Discreta Sesion de Teorıa 7
Grafos
Grafos Planos
Formula de Euler
Cuando tenemos un mapa de un grafo, este mapa nos defineuna serie de regiones encerradas entre aristas.
Consideraremos siempre la region exterior como una regionmas.
Si llamamos V al conjunto de vertices, E al de aristas y R alde regiones se cumple siempre la siguiente formula:
|R |+ |V | = |E |+ 2
Algebra y Matematica Discreta Sesion de Teorıa 7
Grafos
Grafos Planos
Formula de Euler
Cuando tenemos un mapa de un grafo, este mapa nos defineuna serie de regiones encerradas entre aristas.
Consideraremos siempre la region exterior como una regionmas.
Si llamamos V al conjunto de vertices, E al de aristas y R alde regiones se cumple siempre la siguiente formula:
|R |+ |V | = |E |+ 2
Fijemonos que el el caso de los arboles, solo tenemos unaregion, la region exterior y aplicando la formula se obtiene quelos arboles cumplen que 1 + |V | = |E |+ 2, o lo que es lomismo, |V | = |E |+ 1, que es la formula que caracterizaba losarboles.
Algebra y Matematica Discreta Sesion de Teorıa 7
Grafos
Grafos Planos
Poliedros
Los poliedros son un caso muy interesante de grafos planos.
Algebra y Matematica Discreta Sesion de Teorıa 7
Grafos
Grafos Planos
Poliedros
Los poliedros son un caso muy interesante de grafos planos.
Podemos pensar en ellos como metidos dentro de una esfera,que podemos extender en un mapa como se hace con losmapamundis.
Algebra y Matematica Discreta Sesion de Teorıa 7
Grafos
Grafos Planos
Poliedros
Los poliedros son un caso muy interesante de grafos planos.
Podemos pensar en ellos como metidos dentro de una esfera,que podemos extender en un mapa como se hace con losmapamundis.
En el caso de los poliedros, las regiones pasan a ser las carasdel poliedro.
Algebra y Matematica Discreta Sesion de Teorıa 7
Grafos
Grafos Planos
Poliedros
Los poliedros son un caso muy interesante de grafos planos.
Podemos pensar en ellos como metidos dentro de una esfera,que podemos extender en un mapa como se hace con losmapamundis.
En el caso de los poliedros, las regiones pasan a ser las carasdel poliedro.
Y se puede aplicar la formula de Euler, caras + vertices =aristas + 2.
Algebra y Matematica Discreta Sesion de Teorıa 7
Grafos
Grafos Planos
Grafo Dual
Cuando tenemos un grafo plano, podemos construir lo que seconoce como su grafo dual.
Algebra y Matematica Discreta Sesion de Teorıa 7
Grafos
Grafos Planos
Grafo Dual
Cuando tenemos un grafo plano, podemos construir lo que seconoce como su grafo dual.
Es el que tiene como vertices las regiones del grafo original ycada una de las conexiones entre las regiones.
Algebra y Matematica Discreta Sesion de Teorıa 7
Grafos
Grafos Planos
Grafo Dual
Cuando tenemos un grafo plano, podemos construir lo que seconoce como su grafo dual.
Es el que tiene como vertices las regiones del grafo original ycada una de las conexiones entre las regiones.
Habitualmente nos aparecera un multigrafo, incluso puedesalir un pseudografo.
Algebra y Matematica Discreta Sesion de Teorıa 7
Grafos
Grafos Planos
Grafo Dual
Cuando tenemos un grafo plano, podemos construir lo que seconoce como su grafo dual.
Es el que tiene como vertices las regiones del grafo original ycada una de las conexiones entre las regiones.
Habitualmente nos aparecera un multigrafo, incluso puedesalir un pseudografo.
Lo veremos con distintos ejemplos al hacer ejercicios.
![Introduccion al´ algebra´ conmutativajavier/felipe/conmutativa.pdfuna introduccion a la teor´ ´ıa de anillos, campos y teor ´ıa de Galois como en [17]. Los metodos homol´ ´ogicos](https://static.fdocuments.es/doc/165x107/609e008787bc6415f62616d3/introduccion-al-algebra-conmutativa-javierfelipe-una-introduccion-a-la-teor.jpg)
