A apresentação está carregando. Por favor, espere

A apresentação está carregando. Por favor, espere

CC/EC/UFES 2010/2 Teoria dos Grafos (INF 5037) Conectividade e Separabilidade.

Apresentações semelhantes


Apresentação em tema: "CC/EC/UFES 2010/2 Teoria dos Grafos (INF 5037) Conectividade e Separabilidade."— Transcrição da apresentação:

1 CC/EC/UFES 2010/2 Teoria dos Grafos (INF 5037) Conectividade e Separabilidade

2 CC/EC/UFES 2010/2 Teoria dos Grafos (INF 5037) Conectividade de arestas Em um grafo conexo G, o número de arestas do menor corte de arestas de G é definido como conectividade de arestas de G (K´ (G)) K´ (G): número mínimo de arestas cuja remoção reduz o rank de G em uma unidade. K´(T) = ????, onde T é uma árvore.

3 CC/EC/UFES 2010/2 Teoria dos Grafos (INF 5037) Corte de vértices Subconjunto minimal de vértices V´ V, cuja remoção de G o desconecta ou o transforma em um grafo nulo, n > 1. G – V´: desconexo ou nulo e subconjunto próprio V V´, G – V é conexo e não nulo.

4 CC/EC/UFES 2010/2 Teoria dos Grafos (INF 5037) Conectividade de vértices O número mínimo de vértices que desconecta o grafo G ou o reduz a um único vértice é definido como conectividade de vértices de G (K (G)) K(T) = ????, onde T é uma árvore. Conectividade de vértices tem sentido apenas para grafos conexos com mais de três vértices e não completos.

5 CC/EC/UFES 2010/2 Teoria dos Grafos (INF 5037) Conectividade de vértices K´(G) = K(G) = 0, G desconexo K(G) n – 2, G K n

6 CC/EC/UFES 2010/2 Teoria dos Grafos (INF 5037) Grafo separável Um grafo G é dito separável quando K(G) = 1. Neste caso, G pode ser decomposto em subgrafos G1 e G2 tal que G1 e G2 tem apenas um vértice em comum.

7 CC/EC/UFES 2010/2 Teoria dos Grafos (INF 5037) Articulação Vértice cuja remoção desconecta o grafo.

8 CC/EC/UFES 2010/2 Teoria dos Grafos (INF 5037) Teorema Seja G (V,E) um grafo conexo, |V| > 2. Então: a)Um vértice v de V é articulação sss existem dois vértices x e y em G, x, y v, tais que todo caminho entre x e y passa por v; b)Uma aresta {p,q} de E é ponte sss {p, q} for o único caminho entre p e q em G.

9 CC/EC/UFES 2010/2 Teoria dos Grafos (INF 5037) Exemplo Suponha que são dadas n estações que devem ser conectadas por e linhas, e n-1. Qual é a melhor maneira de conectá-las, de maneira a evitar sua destruição devido à destruição de estações individuais e/ou linhas individuais? Maior conectividade de vértices e arestas

10 CC/EC/UFES 2010/2 Teoria dos Grafos (INF 5037) Teorema A conectividade de arestas de um grafo G não pode exceder o grau do vértice com o menor grau de G

11 CC/EC/UFES 2010/2 Teoria dos Grafos (INF 5037) Prova Seja w o vértice de grau mínimo de G ( ) É possível desconectar G, removendo-se as arestas incidentes a w. K´(G)

12 CC/EC/UFES 2010/2 Teoria dos Grafos (INF 5037) Teorema A conectividade de vértices de um grafo G não pode exceder a conectividade de arestas de G

13 CC/EC/UFES 2010/2 Teoria dos Grafos (INF 5037) Questão Sejam G = (V,E) um grafo e E´ um corte de arestas de G. É sempre possível encontrar um corte de vértices V´ tal que |V´| |E´|?

14 CC/EC/UFES 2010/2 Teoria dos Grafos (INF 5037) G, K(G) K´(G)

15 CC/EC/UFES 2010/2 Teoria dos Grafos (INF 5037) Corolário Todo corte de arestas em um grafo não separável com mais de dois vértices contém pelo menos duas arestas

16 CC/EC/UFES 2010/2 Teoria dos Grafos (INF 5037) Grafo k-conexo Seja k um inteiro positivo. Diz-se que um grafo G é k-conexo em vértices quando não existe corte de vértices de tamanho menor que k Analogamente, diz-se que G é k-conexo em arestas

17 CC/EC/UFES 2010/2 Teoria dos Grafos (INF 5037) Grafo biconexo Um grafo é biconexo ou 2-conexo em vértices (arestas) sss não possuir articulações (pontes). Componentes biconexos ou blocos: subgrafos maximais de G que sejam biconexos em vértices ou isomorfos a K2. G é biconexo em vértices: possui um único bloco que é o próprio G.

18 CC/EC/UFES 2010/2 Teoria dos Grafos (INF 5037) Teorema Seja G = (V, E) um grafo. Então: a)Cada aresta de E pertence exatamente a um bloco do grafo; b)Um vértice v de V é articulação sss v pertencer a mais de um bloco do grafo.

19 CC/EC/UFES 2010/2 Teoria dos Grafos (INF 5037) Teorema Um grafo G = (V,E), |V| > 2 é biconexo sss cada par de vértices de G está contido em algum ciclo

20 CC/EC/UFES 2010/2 Teoria dos Grafos (INF 5037) Teorema Seja G um grafo k-conexo. Então existe algum ciclo de G passando por cada subconjunto de k vértices

21 CC/EC/UFES 2010/2 Teoria dos Grafos (INF 5037) Teorema O valor máximo de K(G) de um grafo G = (V,E), com n vértices e m arestas (m n-1) é 2m/n


Carregar ppt "CC/EC/UFES 2010/2 Teoria dos Grafos (INF 5037) Conectividade e Separabilidade."

Apresentações semelhantes


Anúncios Google