Documente Academic
Documente Profesional
Documente Cultură
http://md.pt.to
Ainda grafos planares rvores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Dual de um grafo planar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Exemplo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Exemplo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Observaes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Euler outra vez! . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Euler outra vez! . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Al Plato Poliedros . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Slidos Platnicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Slidos Platnicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Mas o que que isso tem a ver?. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Exemplo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Esqueletos de Poliedros Regulares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . So estes e no h mais! . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Livros de Pintar LOral, porque eu mereo! . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Exemplo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Algumas propriedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Majorando . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Exemplo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Cinco cores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Quatro cores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2 3 4 5 6 7 8 9
10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25
no tem lacetes nem arestas em paralelo tem pelo menos um vrtice de grau 1 (*) (exerccio) |E|=|V|-1 (**)
MD 3
(*)
Porque um grafo cujos vrtices tm todos grau maior ou igual a 2 tem necessariamente um ciclo. Se o grafo tem um lacete, isso bvio (um lacete por si s j um ciclo). Podemos, por isso, supor que no h lacetes. Escolhemos um vrtice v1 e uma aresta { v1 , v2 }; como v2 tem grau maior ou igual a 2, existe uma outra aresta { v2 , v3 }; e assim, sucessivamente. Como o nmero de vrtices nito, a dada altura, h um vrtice que se repete e completamos um ciclo. MD note 1 of slide 3
(**)
Sugesto: use induo, juntamente com a existncia de um vrtice de grau 1. MD note 2 of slide 3
Para vrtices de G escolhemos um ponto em cada face de G Dados dois vrtices v1 , v2 de G , correspondentes a faces F1 , F2 de G, traamos uma aresta a unir v1 e
(*)
Note-se que a cada aresta que est totalmente contida numa mesma face corresponder no grafo dual um lacete (como no segundo exemplo dado a seguir). MD note 1 of slide 4
Exemplo
MD 5
Exemplo
MD 6
Observaes
O nmero de vrtices de G igual ao nmero de faces de G O nmero de arestas de G igual ao nmero de arestas de G O grau de cada vrtice de G igual ao grau da face correspondente em G O dual de G (isomorfo a) G MD 7
f a+v = 2
(onde f , a e v designam o nmero de faces, arestas e vrtices de G)
Corolrio. (Frmula de Euler generalizada) Se G = (V, E) um grafo planar topolgico com c componentes conexas, tem-se a igualdade
f a+v =c+1
MD 8
f a+v = 2
(onde f , a e v designam o nmero de faces, arestas e vrtices de G)
a 3v 6
Corolrio. Seja G um grafo planar topolgico simples e conexo com v 3. Ento G tem pelo menos um vrtice de grau 5. (**)
(*)
MD 9
(*)
Para demonstrar este corolrio, note-se que
2a = F face de G
e que cada face tem grau 3 (porqu?); assim, 2a 3f , ou ainda 2a 3f 0;
(F )
(**)
Para demonstrar este corolrio, basta atender ao corolrio anterior: supondo que nenhum vrtice tenha grau 5, ter-se-ia todos os vrtices com grau pelo menos igual a 6. Como a soma dos graus dos vrtices igual a 2a, da resultaria
2a 2(3v 6) = 6v 12 < 6v 2a
(a ltima desigualdade resulta de que 2a igual soma dos graus dos vrtices e, por hiptese, estes seriam todos maiores ou iguais a 6) Conclui-se ento 2a < 2a, o que absurdo. MD note 2 of slide 9
Al Plato
Poliedros
Recordemos que:
10
Um poliedro um slido geomtrico cujas faces so polgonos. Um poliedro convexo se contm o segmento que une quaisquer dois dos seus pontos.
MD 11
Slidos Platnicos
Denio. Chama-se poliedro regular a um poliedro convexo em que:
As faces so todas iguais As arestas so todas iguais os vrtices incidem com o mesmo nmero de arestas
MD 12
Slidos Platnicos
!
Nas pginas do site MathWorld podemos encontrar, por exemplo, informao relativa ao octaedro em
http://mathworld.wolfram.com/Octahedron.html
Sobre os outros slidos platnicos... you gure it out :-) J agora, aproveitem para rever alguma coisa em
http://mathworld.wolfram.com/Congruence.html
MD note 1 of slide 13
Exemplo
Um dodecaedro...
G um grafo planar topolgico G simples e conexo o nmero de vrtices, arestas e faces de G so os mesmos de P
MD 16
So estes e no h mais!
Teorema. H apenas 5 poliedros regulares os slidos platnicos. Dem.: (d grau de cada vrtice; d grau de cada face) d como 2a = dv = d f , tem-se f = d v e a = 1 dv . 2 Euler:
d d v
1 dv + v = 2 (d 2)(2 d) + 4 = 2 v
4 8 20 6 12
4d v
d
3 3 3 4 5
d
3 4 5 3 3
a
6 12 30 12 30
f
4 6 12 8 20 Tetraedro Cubo Dodecaedro Octaedro Icosaedro
MD 17
Livros de Pintar
LOral, porque eu mereo!
Denio. Seja G = (V, E) um grafo. Chamamos n-colorao de G a uma partio de V em conjuntos V1 , . . . , Vn , tal que cada aresta de G tem as extremidades em conjuntos distintos. Chamamos nmero cromtico de G, e representamos por (G), ao menor inteiro k tal que existe uma k-colorao de G.
18
Estamos a colorir vrtices. Colorir faces num grafo equivale a colorir vrtices no grafo dual. MD note 1 of slide 19
Exemplo
Algumas propriedades
Proposio. Seja G um grafo sem lacetes. Se G tem um ciclo de comprimento mpar, ento (G) 3.
Majorando
Teorema. (Brooks, 1941) Seja G um grafo conexo em que mximo grau dos seus vrtices d. Se G no um ciclo de comprimento mpar nem um grafo completo de ordem d + 1, ento (G) d. MD 22
Exemplo
Como o grafo contm K4 com subgrafo, o seu nmero cromtico 4; e como o mximo entre os graus dos seus vrtices igual a 6 e no se trata de um grafo completo, podemos concluir que o seu nmero cromtico no superior a 6. MD note 1 of slide 23
Cinco cores
Teorema. Seja G um grafo planar sem lacetes. Ento (G) 5. Dem. ... MD 24
Quatro cores
Teorema. (Apel e Haken, 1976) Seja G um grafo planar sem lacetes. Ento (G) 4. MD 25
10