Árvores geradoras. centro de informática - ufpematemática discreta141 subgrafo gerador o subgrafo...

25
Árvores Geradoras

Upload: thalita-meneses

Post on 07-Apr-2016

215 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Árvores Geradoras. Centro de Informática - UFPEMatemática Discreta141 Subgrafo gerador O subgrafo gerador (ou de espalhamento) de um grafo G1(V1,E1) é

Árvores Geradoras

Page 2: Árvores Geradoras. Centro de Informática - UFPEMatemática Discreta141 Subgrafo gerador O subgrafo gerador (ou de espalhamento) de um grafo G1(V1,E1) é

Centro de Informática - UFPE Matemática Discreta 2

Subgrafo gerador

O subgrafo gerador (ou de espalhamento) de um grafo G1(V1,E1) é um subgrafo G2(V2,E2) de G1 tal que V1=V2. Ou seja, G2 contém todos os vértices de G1

Quando o subgrafo gerador é uma árvore, ele recebe o nome de árvore geradora (ou de espalhamento – spanning tree).

Page 3: Árvores Geradoras. Centro de Informática - UFPEMatemática Discreta141 Subgrafo gerador O subgrafo gerador (ou de espalhamento) de um grafo G1(V1,E1) é

Centro de Informática - UFPE Matemática Discreta 3

Árvore geradora

Uma árvore T é denominada árvore geradora de um grafo conexo G se T é um sub-grafo de G e contém todos os vértices de G

Page 4: Árvores Geradoras. Centro de Informática - UFPEMatemática Discreta141 Subgrafo gerador O subgrafo gerador (ou de espalhamento) de um grafo G1(V1,E1) é

Centro de Informática - UFPE Matemática Discreta 4

Subgrafo e Árvore geradora

(b) e (c) são subgrafos geradores de (a) (c) é árvore geradora de (a) e (b)

Page 5: Árvores Geradoras. Centro de Informática - UFPEMatemática Discreta141 Subgrafo gerador O subgrafo gerador (ou de espalhamento) de um grafo G1(V1,E1) é

Centro de Informática - UFPE Matemática Discreta 5

Árvore geradora (outro exemplo)

Page 6: Árvores Geradoras. Centro de Informática - UFPEMatemática Discreta141 Subgrafo gerador O subgrafo gerador (ou de espalhamento) de um grafo G1(V1,E1) é

Centro de Informática - UFPE Matemática Discreta 6

Floresta geradora

Se um grafo é desconexo, não podemos identificar nenhuma árvore geradora. Mas podemos identificar no mínimo uma floresta de árvores geradoras, uma para cada componente do grafo.

Page 7: Árvores Geradoras. Centro de Informática - UFPEMatemática Discreta141 Subgrafo gerador O subgrafo gerador (ou de espalhamento) de um grafo G1(V1,E1) é

Centro de Informática - UFPE Matemática Discreta 7

Exemplo de aplicação de árvore geradora

A figura abaixo ilustra um conjunto de terras separadas por muros. Supondo que todas são cheias de água, como podemos esvaziar todas, furando um número mínimo de buracos nos muros?

Page 8: Árvores Geradoras. Centro de Informática - UFPEMatemática Discreta141 Subgrafo gerador O subgrafo gerador (ou de espalhamento) de um grafo G1(V1,E1) é

Centro de Informática - UFPE Matemática Discreta 8

Se cada terra e a área exterior formam o conjunto de vértices, e se cada muro separando duas áreas é representado por uma aresta, temos:

Uma árvore geradora, é a solução

Page 9: Árvores Geradoras. Centro de Informática - UFPEMatemática Discreta141 Subgrafo gerador O subgrafo gerador (ou de espalhamento) de um grafo G1(V1,E1) é

Centro de Informática - UFPE Matemática Discreta 9

Teorema

Um grafo simples é conexo se e somente se possui uma árvore geradora

Prova:1) Se G (simples) possui uma árvore geradora então G é conexoSeja T a árvore geradora de G.T contem todos os nós de G.Existe um caminho em qualquer dois nós de T.Como T é subgrafo de G e contem todos os nós de G, existe um caminho entre quaisquer dois nós de G.Logo G é conexo

Page 10: Árvores Geradoras. Centro de Informática - UFPEMatemática Discreta141 Subgrafo gerador O subgrafo gerador (ou de espalhamento) de um grafo G1(V1,E1) é

Centro de Informática - UFPE Matemática Discreta 10

Prova:2) Se G (simples) é conexo então ele possui uma árvore geradora.Se G é conexo e não é uma árvore, ele deve conter um circuito simples.Remova uma aresta de um desses circuitos simples.O subgrafo resultante dessa operação possui uma aresta a menos, mas contem todos os nós de G e ainda é conexo.Se esse subgrafo não é uma árvore, ele possui um circuito simples. Do mesmo modo, remova uma aresta desse circuito. Repita esse processo até que não haja mais circuitos.O resultado é uma árvore geradora de G.

Page 11: Árvores Geradoras. Centro de Informática - UFPEMatemática Discreta141 Subgrafo gerador O subgrafo gerador (ou de espalhamento) de um grafo G1(V1,E1) é

Centro de Informática - UFPE Matemática Discreta 11

Algoritmo para achar a árvore geradora

Se G não contém nenhum ciclo ele já é a sua própria árvore geradora.

Suponhamos agora que ele contém um ciclo. Tirando uma aresta desse ciclo resulta em um grafo ainda conexo.

Continuando assim até que não tenha nenhum ciclo, o grafo obtido é um grafo conexo que é uma árvore.

Algoritmo baseado na prova do teorema visto

Page 12: Árvores Geradoras. Centro de Informática - UFPEMatemática Discreta141 Subgrafo gerador O subgrafo gerador (ou de espalhamento) de um grafo G1(V1,E1) é

Centro de Informática - UFPE Matemática Discreta 12

Solução 1: {B,G}, {A,F}, {G,F}, {G,D}, {G,C},{B,C}Solução 2: {B,G}, {A,F}, {G,F}, {E,D}, {G,D}, {B,C}

Page 13: Árvores Geradoras. Centro de Informática - UFPEMatemática Discreta141 Subgrafo gerador O subgrafo gerador (ou de espalhamento) de um grafo G1(V1,E1) é

Centro de Informática - UFPE Matemática Discreta 13

Algoritmo para achar a árvore geradora

O algoritmo baseado na prova do teorema não é eficiente, pois ele requer que circuitos simples sejam identificados.

No lugar de construir árvores geradoras retirando arestas do grafo, vamos construí-las adicionando arestas sucessivamente.

Podemos fazer isso de duas maneiras1) Fazendo busca em profundidade2) Busca em largura

Page 14: Árvores Geradoras. Centro de Informática - UFPEMatemática Discreta141 Subgrafo gerador O subgrafo gerador (ou de espalhamento) de um grafo G1(V1,E1) é

Centro de Informática - UFPE Matemática Discreta 14

Busca em profundidade para achar a árvore geradora (depth-first search)

1) Arbitrariamente escolha um nó do grafo para a raiz.2) Construa um caminho começando por esse nó, adicionando arestas sucessivamente, onde cada nova aresta é incidente com o último nó do caminho e com um nó ainda não pertencente ao caminho3) Continue adicionando arestas a esse caminho para ir o mais longe possível.4) Se o caminho possui todos os nós do grafo, então o caminho é a árvore geradora do grafo.5) Caso contrário, retorne ao nó mais próximo de maneira que um novo caminho possa ser construído a partir desse nó e que contenha nós ainda não visitados.6) Esse processo continua até que todos os nós sejam incluídos na árvore geradora

Page 15: Árvores Geradoras. Centro de Informática - UFPEMatemática Discreta141 Subgrafo gerador O subgrafo gerador (ou de espalhamento) de um grafo G1(V1,E1) é

Centro de Informática - UFPE Matemática Discreta 15

Busca em profundidade para achar a árvore geradora (depth-first search) - Exemplo

Backtracking

Page 16: Árvores Geradoras. Centro de Informática - UFPEMatemática Discreta141 Subgrafo gerador O subgrafo gerador (ou de espalhamento) de um grafo G1(V1,E1) é

Centro de Informática - UFPE Matemática Discreta 16

Busca em árvores

Na busca em profundidade, nós penetramos o mais profundamente possível na árvore, antes de partir para outro vértice

Por exemplo, temos a árvore rotulada onde os rótulos correspondem à ordem em que os vértices foram visitados pela busca em profundidade.

11

2 8

37

912

4 5 6

1

10

Page 17: Árvores Geradoras. Centro de Informática - UFPEMatemática Discreta141 Subgrafo gerador O subgrafo gerador (ou de espalhamento) de um grafo G1(V1,E1) é

Centro de Informática - UFPE Matemática Discreta 17

Busca em largura para achar a árvore geradora (breadth-first search)

1) Arbitrariamente escolha um nó do grafo para a raiz.2) Adicione todas as arestas incidentes a esse nó3) Os novos nós adicionados se tornam os nós do nível 1 da árvore geradora4) Arbitrariamente, ordene os nós do nível 15) Seguindo essa ordem, acrescente cada aresta incidente com os nós do nível, desde que ela não forme um circuito simples.6) Arbitrariamente, ordene os filhos de cada nó do nível 1.7) Isso produz os nós do nível 28) Esse processo continua até que todos os nós sejam incluídos na árvore geradora

Page 18: Árvores Geradoras. Centro de Informática - UFPEMatemática Discreta141 Subgrafo gerador O subgrafo gerador (ou de espalhamento) de um grafo G1(V1,E1) é

Centro de Informática - UFPE Matemática Discreta 18

Busca em largura para achar a árvore geradora (bread-first search) - Exemplo

12

3

Page 19: Árvores Geradoras. Centro de Informática - UFPEMatemática Discreta141 Subgrafo gerador O subgrafo gerador (ou de espalhamento) de um grafo G1(V1,E1) é

Centro de Informática - UFPE Matemática Discreta 19

Busca em árvores

Na busca em amplitude, nós percorremos o máximo de vértices possíveis antes de penetrar mais profundamente na árvore.

Isso significa que visitamos todos os vértices adjacentes ao vértice atual antes de prosseguir para outro vértice.

Page 20: Árvores Geradoras. Centro de Informática - UFPEMatemática Discreta141 Subgrafo gerador O subgrafo gerador (ou de espalhamento) de um grafo G1(V1,E1) é

Centro de Informática - UFPE Matemática Discreta 20

Busca em árvores

Considerando a árvore ao lado, começamos pelo vértice a e percorremos os vértices b e c que são adjacentes a a . Depois, percorremos os vértices d e e, adjacentes a b, e os vértices f, g e h, adjacentes a c; e assim por diante.

g

b c

de

fh

i j k

a

l

Page 21: Árvores Geradoras. Centro de Informática - UFPEMatemática Discreta141 Subgrafo gerador O subgrafo gerador (ou de espalhamento) de um grafo G1(V1,E1) é

Centro de Informática - UFPE Matemática Discreta 21

Busca em árvores

A figura abaixo nos mostra uma árvore rotulada onde os rótulos correspondem à ordem em que os vértices foram visitados pela busca em amplitude, no exemplo anterior 

7

2 3

45

68

9 10 11

1

12

Page 22: Árvores Geradoras. Centro de Informática - UFPEMatemática Discreta141 Subgrafo gerador O subgrafo gerador (ou de espalhamento) de um grafo G1(V1,E1) é

Centro de Informática - UFPE Matemática Discreta 22

Backtracking para decidir se um grafo pode ser colorido com n cores

1) Arbitrariamente escolha um nó a e associe a cor 1 a ele2) Escolha um nó b e se ele não for adjacente a a, associe a cor 1 a ele, caso contrário associe a cor 2.3) Agora vá para o terceiro nó c, e associe a cor 1 se possível, caso contrário a cor 2, se não for possível também, associe a cor 3.4) Continue esse processo usando uma das n cores.5) Caso você encontre um nó que não pode ser colorido com uma das n cores, retroceda até o último nó colorido e tente trocar a sua cor para a próxima da lista, caso não seja possível, retroceda novamente a partir desse nó e assim sucessivamente até que você encontre um nó que seja possível mudar a sua cor e aí o processo de colorir continua.

Page 23: Árvores Geradoras. Centro de Informática - UFPEMatemática Discreta141 Subgrafo gerador O subgrafo gerador (ou de espalhamento) de um grafo G1(V1,E1) é

Centro de Informática - UFPE Matemática Discreta 23

Backtracking para decidir se o grafo a seguir colorido com 3 cores

ba

e

d

c

a

b

c

d

e

c

d

e

Page 24: Árvores Geradoras. Centro de Informática - UFPEMatemática Discreta141 Subgrafo gerador O subgrafo gerador (ou de espalhamento) de um grafo G1(V1,E1) é

Centro de Informática - UFPE Matemática Discreta 24

Backtracking para encontrar um subconjunto de um conjunto de inteiros cuja a soma de seus elementos é M

1) Arrumamos o conjunto numa ordem2) Começamos com a soma de nenhum termo3) Um inteiro na sequencia é incluído se a soma permanece menor que M quando esse inteiro é incluído4) Se ao encontrar um termo cuja a inclusão dê uma soma maior que M, retroceda apagando o último termo da soma

Ex: encontre um subconjunto de {31,27,15,11,7,5}, cuja soma é igual a 39.

Page 25: Árvores Geradoras. Centro de Informática - UFPEMatemática Discreta141 Subgrafo gerador O subgrafo gerador (ou de espalhamento) de um grafo G1(V1,E1) é

Centro de Informática - UFPE Matemática Discreta 25

Ex: encontre um subconjunto de {31,27,15,11,7,5}, cuja soma é igual a 39.

Ø

Soma = 0

{31}

Soma = 31

{31,7}

Soma = 38

{31,5}

Soma = 36

{27,7}

Soma = 34

{27,11}

Soma = 38

{27}

Soma = 27

{27,7,5}

Soma = 39