Obs: Muitos slides foram cedidos por Adolfo Almeida Duran (UFBA) 2005
Grafos / Matemtica Discreta/ Cin / UFPE 2 Porque estudar Grafos Importante ferramenta matemtica com aplicao em diversas reas do conhecimento Gentica, qumica, pesquisa operacional, telecomunicaes, engenharia eltrica, redes de computadores, conexo de vos areos, restries de precedncia, fluxo de programas, dentre outros Utilizados na definio e/ou resoluo de problemas Introduo Grafos / Matemtica Discreta/ Cin / UFPE 3 Porque estudar Grafos Em computao: estudar grafos mais uma forma de solucionar problemas computveis
Os estudos tericos em grafos buscam o desenvolvimento de algoritmos mais eficientes.
Grafos / Matemtica Discreta/ Cin / UFPE 4 O que so Grafos
Tipicamente um grafo representado como um conjunto no vazio de pontos ou vrtices ligados por retas, que so chamadas de arestas Ferramenta de modelagem Abstrao matemtica que representa situaes reais atravs de um diagrama. Grafos / Matemtica Discreta/ Cin / UFPE 5 As pontes de Knigsberg
O rio Pregel divide o centro da cidade de Knigsberg (Prssia no sculo XVII, atual Kaliningrado, Rssia) em quatro regies. Essas regies so ligadas por um complexo de sete (7) pontes, conforme mostra a figura. Discutia-se nas ruas da cidade a possibilidade de atravessar todas as pontes, voltando ao lugar de onde se saiu, sem repetir alguma. Havia-se tornado uma lenda popular a possibilidade da faanha quando Euler, em 1736, provou que no existia caminho que possibilitasse tais restries.
Grafos / Matemtica Discreta/ Cin / UFPE 6 As pontes de Knigsberg Resolvido em 1736 por Leonhard Euler Necessrio um modelo para representar o problema Abstrao de detalhes irrelevantes: rea de cada ilha Formato de cada ilha Tipo da ponte, etc. Grafos / Matemtica Discreta/ Cin / UFPE 7 As pontes de Knigsberg Euler generalizou o problema atravs de um modelo de grafos
Grafos / Matemtica Discreta/ Cin / UFPE 8 As pontes de Knigsberg Euler mostrou que no existe o trajeto proposto utilizando o modelo em grafos
Grafos / Matemtica Discreta/ Cin / UFPE 9 O problema das 3 casas possvel conectar os 3 servios s 3 casas sem haver cruzamento de tubulao?
gua luz telefone A teoria dos grafos mostra que no
possvel Grafos / Matemtica Discreta/ Cin / UFPE 10 Quantas cores so necessrias para colorir o mapa do Brasil, sendo que estados adjacentes no podem ter a mesma cor? Grafos / Matemtica Discreta/ Cin / UFPE 11 Questes sobre o caminho mnimo De forma a reduzir seus custos operacionais, uma empresa de transporte de cargas deseja oferecer aos motoristas de sua frota um mecanismo que os auxilie a selecionar o melhor caminho (o de menor distncia) entre quaisquer duas cidades por ela servidas, de forma a que sejam minimizados os custos de transporte.
Estamos interessados em objetos e nas relaes entre eles
Quem so eles nos problemas apresentados?
Como representar graficamente?
Grafos / Matemtica Discreta/ Cin / UFPE 14 Modelagem com grafos No problema das casas Vrtices so casas e servios Arestas so as tubulaes entre casas e servios No problema da colorao de mapas Vrtices so estados Arestas relacionam estados vizinhos No problema do caminho mais curto Vrtices so as cidades Arestas so as ligaes entre as cidades
Grafos / Matemtica Discreta/ Cin / UFPE 15 Trs desenvolvimentos isolados despertaram o interesse pela rea Formulao do problema das 4 cores (De Morgan 1852).
Qual a quantidade mnima de cores para colorir um mapa de tal forma que pases fronteirios possuam cores diferentes? Apresenta-se um exemplo em que 3 cores no so suficientes. Uma prova de que 5 cores suficiente foi formulada. Conjecturou-se ento que 4 cores seriam suficientes. Esta questo ficou em aberto at 1976 quando Appel e Haken provaram para 4 cores
Grafos / Matemtica Discreta/ Cin / UFPE 16 Trs desenvolvimentos isolados despertaram o interesse pela rea
Problema do ciclo Hamiltoniano (Hamilton 1859)
Existem n cidades. Cada par de cidades pode ser adjacente ou no arbitrariamente. Partindo de uma cidade qualquer, o problema consiste em determinar um trajeto que passe exatamente uma vez em cada cidade e retorne ao ponto de partida.
Grafos / Matemtica Discreta/ Cin / UFPE 17 Trs desenvolvimentos isolados despertaram o interesse pela rea
Teoria das rvores - Kirchoff (1847) - problemas de circuitos eltricos - Cayley (1857) - Qumica Orgnica
Grafos / Matemtica Discreta/ Cin / UFPE 18 Dois tipos de elementos Vrtices ou ns Arestas Definies v1 v2 v3 v4 v5 v6 Grafos / Matemtica Discreta/ Cin / UFPE 19 G = (V,E) V um conjunto finito no-vazio de vrtices (ou ns) E um conjunto de pares no ordenados de elementos distintos de V, chamados de arestas Cada aresta e pertencente ao conjunto E ser denotada pelo par de vrtices {x,y} que a forma Dizemos que os vrtices x e y so extremos (ou extremidades) da aresta e. Grafo Simples Grafos / Matemtica Discreta/ Cin / UFPE 20 G = (V,E) Grafos / Matemtica Discreta/ Cin / UFPE 21 Dois vrtices x e y so ditos adjacentes ou vizinhos se existe uma aresta e unindo-os.
Os vrtices u e v so ditos incidentes na aresta e, se eles so extremos de e.
Duas arestas so adjacentes se elas tm ao menos um vrtice em comum.
A aresta e={x,y} incidente a ambos os vrtices x e y. Grafos / Matemtica Discreta/ Cin / UFPE 22 v1 v2 v3 v4 v5 v6 e1 V = {v1, v2, v3, v4, v5, v6} E = {{v1,v2},{v1,v3},{v1,v4},{v2,v4},{v3,v4},{v4,v5}} Grafo simples e1 incidente a v4 e v5 Grafos / Matemtica Discreta/ Cin / UFPE 23 Exemplo Exerccio Desenhe a representao geomtrica do seguinte grafo simples: V = {1,2,3,4,5,6}; E ={(1,2),(1,3),(3,2),(3,6),(5,3),(5,1),(5,6),(4,6), (4,5),(6,1),(6,2),(3,4)} Grafos / Matemtica Discreta/ Cin / UFPE 24 Multigrafo G=(V,E) Funo f de E em {{u,v } | u,v V,u v } As arestas e1 e e2 so chamadas de arestas mltiplas ou paralelas se f(e1) = f(e2)
Lao uma aresta formada por um par de vrtices idnticos.
Mais definies Grafos / Matemtica Discreta/ Cin / UFPE 25 Grau de um vrtice Grau de um vrtice v (grau(v)) o nmero de arestas que incidem em v. O grau de um vrtice v tambm pode ser definido como o nmero de arestas adjacentes a v. Obs.: Um lao conta duas vezes para o grau de um vrtice Grau(b) = 3 Grau(d) = 2 Grau(a) = 2 Grafos / Matemtica Discreta/ Cin / UFPE 26 Qualquer vrtice de grau zero um vrtice isolado
Qualquer vrtice de grau 1 um vrtice pendente
Um vrtice mpar tem um nmero mpar de arestas
Um vrtice par, tem um nmero par de arestas
Grafos / Matemtica Discreta/ Cin / UFPE 27
Grafo Regular (k-regular) todos os vrtices tm o mesmo grau (k)
v1 v2 v4 v3 Grafos / Matemtica Discreta/ Cin / UFPE 28 v1 v2 v3 v4 v5 v6 e1 V6 um vrtice isolado, grau(v6)=0 V5 um vrtice pendente, grau(v5)=1 V2 um vrtice par, grau(v2)=2 V1 um vrtice mpar, grau(v1)=3 Grafos / Matemtica Discreta/ Cin / UFPE 29 Exerccio Identificar no grafo abaixo os vrtices isolados, pendentes, mpares e pares. Reflexo O que podemos concluir sobre a soma dos graus de um grafo?
Grafos / Matemtica Discreta/ Cin / UFPE 30 Soma dos graus de um grafo: O resultado sempre par, e corresponde formula abaixo:
Grafos / Matemtica Discreta/ Cin / UFPE 31 Soma dos graus de um grafo:
Em grafos, cada aresta contribui duas unidades para o cmputo geral do grau dos vrtices, pois cada aresta possui dois extremos. Portanto, a soma total par e duas vezes o nmero de arestas do grafo.
Se o grafo for regular de grau r, a soma dos graus dos vrtices tambm igual a r vezes o nmero de vrtices.
Grafos / Matemtica Discreta/ Cin / UFPE 32 A soma dos graus de um grafo sempre par:
Grafo simples em que existe exatamente uma aresta entre cada par de vrtices distintos. Ou, grafo regular de grau n-1, onde n=|V|.
K n um grafo completo com n vrtices.
Exemplo: K 4 Grafos / Matemtica Discreta/ Cin / UFPE 36 Complemento de um grafo
Seja G um grafo simples com um conjunto de vrtices V. G complemento de G se
V = V e dois vrtices so adjacentes em G, se e somente se, no o so em G
Grafos / Matemtica Discreta/ Cin / UFPE 37 Complemento de um grafo Grafos / Matemtica Discreta/ Cin / UFPE 38 Grafo Bipartido Um grafo dito ser bipartido quando seu conjunto de vrtices V puder ser particionado em dois subconjuntos V 1 e V 2 , tais que toda aresta de G une um vrtice de V 1 a outro de V 2 . 1 4 3 2 5 6 V 1 V 2 Grafos / Matemtica Discreta/ Cin / UFPE 39 Grafo Bipartido Sejam os conjuntos H={h | h um homem} e M={m | m um mulher} e o grafo G(V,E) onde:
V = H U M E = {{v,w} | (v H e w M) e <v foi namorado de w>} Grafos / Matemtica Discreta/ Cin / UFPE 40 Subgrafo Um grafo G s (V s , A s ) dito ser subgrafo de um grafo G(V,A) quando V s V e A s A. O grafo G 2 , por exemplo, subgrafo de G 1
G 1 G 2 Grafos / Matemtica Discreta/ Cin / UFPE 41 Subgrafo Prprio Um subgrafo G 2 dito prprio, quando G 2
subgrafo distinto de G 1
Subgrafos podem ser obtidos atravs da remoo de arestas e vrtices. Grafos / Matemtica Discreta/ Cin / UFPE 42 Subgrafo Induzido Se G 2 um subgrafo de G 1 e possui toda a aresta (v, w) de G 1 tal que ambos, v e w, estejam em V 2 , ento G 2 o subgrafo induzido pelo subconjunto de vrtices V 2 . 3 2 1 4 5 V1= {1,2,3,4,5} G1 3 2 1 4 V2= {1,2,3,4} G2 V2 induz G2 Grafos / Matemtica Discreta/ Cin / UFPE 43 Clique Denomina-se clique de um grafo G um subgrafo (induzido) de G que seja completo Grafos / Matemtica Discreta/ Cin / UFPE 44 Isomorfismo de Grafos Dois grafos simples G 1 e G 2 so isomorfos se existe uma correspondncia um a um entre os vrtices (funo f ) de G 1 e G 2 , com a propriedade de que a e b so adjacentes em G 1 se e somente se f(a) e f(b) so adjacentes em G 2 , para todo a,b V 1 .
A funo f chamada de isomorfismo.
Grafos / Matemtica Discreta/ Cin / UFPE 45 Isomorfismo de Grafos (em outras palavras) Sejam dois grafos G 1 (V 1 ,A 1 ) e G 2 (V 2 ,A 2 ). Um isomorfismo de G 1 sobre G 2 um mapeamento bijetivo f: V 1 V 2 tal que {x,y} A 1 se e somente se {f(x),f(y)} A 2 , para todo x,y V 1 . Funo: { (a2), (b 1), (c 3), (d 4), (e 6), (f 5) } Grafos / Matemtica Discreta/ Cin / UFPE 46 Isomorfismo de Grafos (exemplo) f(u) = azul, f(v) = lils, f(w) = vermelho, f(x) = verde, f(y) = amarelo, f(z) = rosa u v w x y z Grafos / Matemtica Discreta/ Cin / UFPE 47 Isomorfismo de Grafos Preserva: