UFES Planaridade. UFES Teoria dos Grafos (INF 5037) Planaridade Ideia intimamente ligada à noção...
Transcript of UFES Planaridade. UFES Teoria dos Grafos (INF 5037) Planaridade Ideia intimamente ligada à noção...
![Page 1: UFES Planaridade. UFES Teoria dos Grafos (INF 5037) Planaridade Ideia intimamente ligada à noção de mapa, ou seja, uma representação de um conjunto de.](https://reader030.fdocumentos.tips/reader030/viewer/2022020715/552fc0f8497959413d8b61c1/html5/thumbnails/1.jpg)
UFES
Planaridade
![Page 2: UFES Planaridade. UFES Teoria dos Grafos (INF 5037) Planaridade Ideia intimamente ligada à noção de mapa, ou seja, uma representação de um conjunto de.](https://reader030.fdocumentos.tips/reader030/viewer/2022020715/552fc0f8497959413d8b61c1/html5/thumbnails/2.jpg)
UFESTeoria dos Grafos(INF 5037)
Planaridade
• Ideia intimamente ligada à noção de mapa, ou seja, uma representação de um conjunto de elementos (usualmente geogŕaficos) dispostos sobre o plano
![Page 3: UFES Planaridade. UFES Teoria dos Grafos (INF 5037) Planaridade Ideia intimamente ligada à noção de mapa, ou seja, uma representação de um conjunto de.](https://reader030.fdocumentos.tips/reader030/viewer/2022020715/552fc0f8497959413d8b61c1/html5/thumbnails/3.jpg)
UFESTeoria dos Grafos(INF 5037)
Planaridade
• Aplicações:
–Cartografia
–Circuitos impressos
–Malhas de transporte terrestre
![Page 4: UFES Planaridade. UFES Teoria dos Grafos (INF 5037) Planaridade Ideia intimamente ligada à noção de mapa, ou seja, uma representação de um conjunto de.](https://reader030.fdocumentos.tips/reader030/viewer/2022020715/552fc0f8497959413d8b61c1/html5/thumbnails/4.jpg)
UFESTeoria dos Grafos(INF 5037)
Grafo planar
• Um grafo planar pode ser representado no planosem que duas arestas quaisquer se cruzem.
• Os poliedros podem ser representados por grafos planares.
![Page 5: UFES Planaridade. UFES Teoria dos Grafos (INF 5037) Planaridade Ideia intimamente ligada à noção de mapa, ou seja, uma representação de um conjunto de.](https://reader030.fdocumentos.tips/reader030/viewer/2022020715/552fc0f8497959413d8b61c1/html5/thumbnails/5.jpg)
UFESTeoria dos Grafos(INF 5037)
Imersão em uma superfície S
• O desenho de uma representação geométrica de um grafo G em qualquer superfície S tal que nenhuma aresta se cruza é dita imersão de G na superfície S.
• Um grafo G é planar se existe uma imersão de G no plano.
![Page 6: UFES Planaridade. UFES Teoria dos Grafos (INF 5037) Planaridade Ideia intimamente ligada à noção de mapa, ou seja, uma representação de um conjunto de.](https://reader030.fdocumentos.tips/reader030/viewer/2022020715/552fc0f8497959413d8b61c1/html5/thumbnails/6.jpg)
UFESTeoria dos Grafos(INF 5037)
Faces de um grafo planar• Seja R uma representação plana de G em
um plano P
• As linhas de R dividem P em regiões denominadas faces de R.
• Existe exatamente uma face não limitada, denominada face externa.
• Uma face de um grafo planar é uma porção do plano limitado por um ciclo do grafo que não contenha cordas.
![Page 7: UFES Planaridade. UFES Teoria dos Grafos (INF 5037) Planaridade Ideia intimamente ligada à noção de mapa, ou seja, uma representação de um conjunto de.](https://reader030.fdocumentos.tips/reader030/viewer/2022020715/552fc0f8497959413d8b61c1/html5/thumbnails/7.jpg)
UFESTeoria dos Grafos(INF 5037)
Faces de um grafo planar
• Duas representações planas de um grafo planar possuem sempre o mesmo número de faces.
• Se G é planar, todo subgrafo de G também é planar.
![Page 8: UFES Planaridade. UFES Teoria dos Grafos (INF 5037) Planaridade Ideia intimamente ligada à noção de mapa, ou seja, uma representação de um conjunto de.](https://reader030.fdocumentos.tips/reader030/viewer/2022020715/552fc0f8497959413d8b61c1/html5/thumbnails/8.jpg)
UFESTeoria dos Grafos(INF 5037)
Fronteira de uma face
• A fronteira de uma face é o percurso fechado que limita e determina a face. Neste percurso, cada ponte é atravessada duas vezes.
• Duas faces são adjacentes se possuírem uma aresta em comum em suas fronteiras.
![Page 9: UFES Planaridade. UFES Teoria dos Grafos (INF 5037) Planaridade Ideia intimamente ligada à noção de mapa, ou seja, uma representação de um conjunto de.](https://reader030.fdocumentos.tips/reader030/viewer/2022020715/552fc0f8497959413d8b61c1/html5/thumbnails/9.jpg)
UFESTeoria dos Grafos(INF 5037)
Grau de uma face
• O grau de uma face f é o comprimento do percurso fechado que determina sua fronteira.
d(fi) = 2m, i = 1,...,nf
nf = número de faces
![Page 10: UFES Planaridade. UFES Teoria dos Grafos (INF 5037) Planaridade Ideia intimamente ligada à noção de mapa, ou seja, uma representação de um conjunto de.](https://reader030.fdocumentos.tips/reader030/viewer/2022020715/552fc0f8497959413d8b61c1/html5/thumbnails/10.jpg)
UFESTeoria dos Grafos(INF 5037)
Fórmula de Euler
● Para grafos planares, vale a relação de Euler, já conhecida para poliedros convexos
● Essa fórmula relaciona faces, vértices e arestas de um grafo planar convexo.
f = m - n + 2
![Page 11: UFES Planaridade. UFES Teoria dos Grafos (INF 5037) Planaridade Ideia intimamente ligada à noção de mapa, ou seja, uma representação de um conjunto de.](https://reader030.fdocumentos.tips/reader030/viewer/2022020715/552fc0f8497959413d8b61c1/html5/thumbnails/11.jpg)
UFESTeoria dos Grafos(INF 5037)
Teorema
Se G é um grafo planar então
f = m - n + 2
Prova:
Por indução sobre f
![Page 12: UFES Planaridade. UFES Teoria dos Grafos (INF 5037) Planaridade Ideia intimamente ligada à noção de mapa, ou seja, uma representação de um conjunto de.](https://reader030.fdocumentos.tips/reader030/viewer/2022020715/552fc0f8497959413d8b61c1/html5/thumbnails/12.jpg)
UFESTeoria dos Grafos(INF 5037)
• Quanto maior é o número de arestas de um grafo G em relação a seu número de vértices, mais difícil intuitivamente se torna a obtenção de uma representação planar para G.
• Qual seria um limite superior para o número de arestas de um grafo planar?
![Page 13: UFES Planaridade. UFES Teoria dos Grafos (INF 5037) Planaridade Ideia intimamente ligada à noção de mapa, ou seja, uma representação de um conjunto de.](https://reader030.fdocumentos.tips/reader030/viewer/2022020715/552fc0f8497959413d8b61c1/html5/thumbnails/13.jpg)
UFESTeoria dos Grafos(INF 5037)
Corolários do teorema da fórmula de Euler
• Corolários: • Seja G um grafo planar e conexo, com
|E| > 2. Então m 3n – 6.
• Seja G um grafo planar, conexo e bipartido, com |E| > 2. Então m 2n – 4.
![Page 14: UFES Planaridade. UFES Teoria dos Grafos (INF 5037) Planaridade Ideia intimamente ligada à noção de mapa, ou seja, uma representação de um conjunto de.](https://reader030.fdocumentos.tips/reader030/viewer/2022020715/552fc0f8497959413d8b61c1/html5/thumbnails/14.jpg)
UFESTeoria dos Grafos(INF 5037)
Exercício
• Todo grafo G planar possui um vértice x de grau d(x) 5 (ou seja, grau no máximo igual a 5).
![Page 15: UFES Planaridade. UFES Teoria dos Grafos (INF 5037) Planaridade Ideia intimamente ligada à noção de mapa, ou seja, uma representação de um conjunto de.](https://reader030.fdocumentos.tips/reader030/viewer/2022020715/552fc0f8497959413d8b61c1/html5/thumbnails/15.jpg)
UFESTeoria dos Grafos(INF 5037)
Os grafos K5 e K
3,3 não são planares.
![Page 16: UFES Planaridade. UFES Teoria dos Grafos (INF 5037) Planaridade Ideia intimamente ligada à noção de mapa, ou seja, uma representação de um conjunto de.](https://reader030.fdocumentos.tips/reader030/viewer/2022020715/552fc0f8497959413d8b61c1/html5/thumbnails/16.jpg)
UFESTeoria dos Grafos(INF 5037)
Subdivisão de uma aresta
• A subdivisão de uma aresta {v,w} de um grafo G é uma operação que transforma a aresta {v,w} no caminho vz
1z
2...z
kw, k 0
e zi são vértices de grau 2 adicionados a
G.
![Page 17: UFES Planaridade. UFES Teoria dos Grafos (INF 5037) Planaridade Ideia intimamente ligada à noção de mapa, ou seja, uma representação de um conjunto de.](https://reader030.fdocumentos.tips/reader030/viewer/2022020715/552fc0f8497959413d8b61c1/html5/thumbnails/17.jpg)
UFESTeoria dos Grafos(INF 5037)
G2 é subdivisão de G1
Diz-se que um grafo G2 é uma subdivisão de um grafo G1 quando G2 puder ser obtido de G1 através de uma sequência de subdivisões de arestas de G1.
![Page 18: UFES Planaridade. UFES Teoria dos Grafos (INF 5037) Planaridade Ideia intimamente ligada à noção de mapa, ou seja, uma representação de um conjunto de.](https://reader030.fdocumentos.tips/reader030/viewer/2022020715/552fc0f8497959413d8b61c1/html5/thumbnails/18.jpg)
UFESTeoria dos Grafos(INF 5037)
Teorema de Kuratowski
Um grafo é planar
sss
não contém como subgrafo uma subdivisão de K
5 e K
3,3
![Page 19: UFES Planaridade. UFES Teoria dos Grafos (INF 5037) Planaridade Ideia intimamente ligada à noção de mapa, ou seja, uma representação de um conjunto de.](https://reader030.fdocumentos.tips/reader030/viewer/2022020715/552fc0f8497959413d8b61c1/html5/thumbnails/19.jpg)
UFESTeoria dos Grafos(INF 5037)
Grafo Dual Planar
● Forma alternativa de representação de um grafo planar
● Os vértices do grafo dual representam as faces do grafo original e as arestas do grafo dual indicam adjacências entre as faces no grafo original.
● Um grafo pode ter várias representações planas. Os grafos duais de cada uma delas podem não ser isomorfos entre si.
![Page 20: UFES Planaridade. UFES Teoria dos Grafos (INF 5037) Planaridade Ideia intimamente ligada à noção de mapa, ou seja, uma representação de um conjunto de.](https://reader030.fdocumentos.tips/reader030/viewer/2022020715/552fc0f8497959413d8b61c1/html5/thumbnails/20.jpg)
UFESTeoria dos Grafos(INF 5037)
GD é o dual de G', planar, se:● Um vértice de GD está associado com cada face de G';● Para cada aresta a de G', existe uma aresta aD de GD,
associada com a, ligando os vértices correspondentes às faces;
● Se a separa as faces fi e f
j em G' então aD conecta os
dois vértices de GD associados com fi e f
j;
● Uma aresta a pode não separar duas faces de G' quando a é incidente a um vértice de grau 1. Neste caso, aD forma um laço no vértice de GD, associado com a face em G', limitada por a.
![Page 21: UFES Planaridade. UFES Teoria dos Grafos (INF 5037) Planaridade Ideia intimamente ligada à noção de mapa, ou seja, uma representação de um conjunto de.](https://reader030.fdocumentos.tips/reader030/viewer/2022020715/552fc0f8497959413d8b61c1/html5/thumbnails/21.jpg)
UFESTeoria dos Grafos(INF 5037)
Podemos inferir que...
● Considerando GDo dual de uma representação planar G' de um grafo G:● V(GD) = f(G')● E(GD) = E(G')● d(vD
i) = d(f
i) , para toda face f
i de
G'
![Page 22: UFES Planaridade. UFES Teoria dos Grafos (INF 5037) Planaridade Ideia intimamente ligada à noção de mapa, ou seja, uma representação de um conjunto de.](https://reader030.fdocumentos.tips/reader030/viewer/2022020715/552fc0f8497959413d8b61c1/html5/thumbnails/22.jpg)
UFESTeoria dos Grafos(INF 5037)
Teorema
Um grafo planar G é bipartido se e somente se o seu dual GD é euleriano
![Page 23: UFES Planaridade. UFES Teoria dos Grafos (INF 5037) Planaridade Ideia intimamente ligada à noção de mapa, ou seja, uma representação de um conjunto de.](https://reader030.fdocumentos.tips/reader030/viewer/2022020715/552fc0f8497959413d8b61c1/html5/thumbnails/23.jpg)
UFESTeoria dos Grafos(INF 5037)
O problema das 4 cores
● Em 1852 Guthrie publicou em uma revista científica a conjectura proposta por seu irmão e apenas em 1976, Appel, Hasken e Koch provaram matematicamente o resultado, após um processamento de mais de 1200 horas de CPU de várias instâncias do problema.