Teoria dos grafos Wikipdia, a enciclopdia livre

http://pt.wikipedia.org/wiki/Teoria_dos_grafos

Teoria dos grafos

Origem: Wikipdia, a enciclopdia livre.

A teoria dos grafos um ramo da matemtica que estuda as relaes entre os objetos de um determinado conjunto. Para tal so empregadas estruturas chamadas de grafos, G(V,A), onde V um conjunto no vazio de objetos denominados vrtices e A um conjunto de pares no ordenados de V, chamado arestas. Dependendo da aplicao, arestas podem ou no ter direo, pode ser permitido ou no arestas ligarem um vrtice a ele prprio e vrtices e/ou arestas podem ter um peso (numrico) associado. Se as arestas tm uma direo associada (indicada por uma seta na representao grfica) temos um grafo direcionado, grafo orientado ou digrafo. Um grafo com um nico vrtice e sem arestas conhecido como o grafo trivial ou "o ponto".

Estruturas que podem ser representadas por grafos esto em toda parte e muitos problemas de interesse prtico podem ser formulados como questes sobre certos grafos. Por exemplo, a estrutura de links da Wikipedia pode ser representada por um dgrafo: os vrtices so os artigos da Wikipedia e existe uma aresta do artigo A para o artigo B se e somente se A contm um link para B. Dgrafos so tambm usados para representar mquinas de estado finito. O desenvolvimento de algoritmos para manipular grafos um importante tema da cincia da computao.

Grafo com 4 vrtices e 6 arestas. um grafo completo, conexo e planar.

ndice
1 Histrico 1.1 Definies de grafos e digrafos 1.2 Representao grfica (layout do grafo) 1.3 Glossrio dos conceitos bsicos de teoria dos grafos 2 Problemas que envolvem grafos 3 Algoritmos importantes 4 Generalizaes 5 Referncias 6 Ligaes externas 6.1 Em ingls 6.2 Em portugus 6.3 Ferramentas de grafos populares 7 Ver tambm

Histrico
O artigo de Leonhard Euler, publicado em 1736, sobre o problema das sete pontes de Knigsberg, considerado o primeiro resultado da teoria dos grafos.[1] tambm considerado um dos primeiros resultados topolgicos na geometria; isto , no dependente de quaisquer medidas. Isso ilustra a profunda conexo entre a teoria dos grafos e topologia.

1 de 8

18/03/2012 10:28

Teoria dos grafos Wikipdia, a enciclopdia livre

http://pt.wikipedia.org/wiki/Teoria_dos_grafos

Definies de grafos e digrafos

Na literatura, as definies bsicas da teoria dos grafos variam bastante. Aqui esto as convenes usadas nesta enciclopdia. Um grafo direcionado (tambm chamado digrafo ou quiver) consiste de um conjunto V de vrtices, um conjunto E de arestas e mapas s, t : E V, onde s(e) a fonte e t(e) o alvo da aresta direcionada e. Um grafo no direcionado (ou simplesmente grafo) dado por um conjunto V de vrtices, um conjunto E de arestas e uma funo w : E P(V) que associa a cada aresta um subconjunto de dois ou de um elemento de V, interpretado como os pontos terminais da aresta. Em um grafo ou digrafo com pesos, uma funo adicional E R associa um valor a cada aresta, o que pode ser considerado seu "custo"; tais grafos surgem em problemas de rota tima tais como o problema do caixeiro viajante.

Representao grfica (layout do grafo)

Os grafos so geralmente representados graficamente da seguinte maneira: desenhado um crculo para cada vrtice, e para cada aresta desenhado um arco conectando suas extremidades. Se o grafo for direcionado, seu sentido indicado na aresta por uma seta. Note que essa representao grfica (o layout) no deve ser confundida com o grafo em si (a estrutura abstrata, no-grfica). Vrios diferentes layouts podem corresponder ao mesmo grafo.[2] O que importa quais vrtices esto conectados entre si por quantas arestas.

Glossrio dos conceitos bsicos de teoria dos grafos

O grafo de exemplo exibido direita um grafo simples com o conjunto de vrtices V = {1, 2, 3, 4, 5, 6} e um conjunto de arestas E = { {1,2}, {1,5}, {2,3}, {2,5}, {3,4}, {4,5}, {4,6} } (com o mapeamento w sendo a identidade). Uma aresta conecta dois vrtices; esses dois vrtices so ditos como incidentes aresta. A valncia (ou grau) de um vrtice o nmero de arestas incidentes a ele, com loops contados duas vezes. No grafo de exemplo os vrtices 1 e 3 possuem uma valncia de 2, os vrtices Um grafo com 6 vrtices e 7 arestas 2, 4 e 5 tm a valncia de 3 e o vrtice 6 tem a valncia de 1. Se E finito, ento a valncia total dos vrtices o dobro do nmero de arestas. Em um dgrafo, distingue-se o grau de sada (o nmero de arestas saindo de um vrtice) e o grau de entrada (o nmero de arestas entrando em um vrtice). O grau de um vrtice igual soma dos graus de sada e de entrada. Dois vrtices so considerados adjacentes se uma aresta existe entre eles. No grafo acima, os vrtices 1 e 2 so adjacentes, mas os vrtices 2 e 4 no so. O conjunto de vizinhos de um vrtice consiste de todos os vrtices adjacentes a ele. No grafo-exemplo, o vrtice 1 possui 2 vizinhos: vrtice 2 e vrtice 5. Para um grafo simples, o nmero de vizinhos de um vrtice igual sua valncia.

2 de 8

18/03/2012 10:28

Teoria dos grafos Wikipdia, a enciclopdia livre

http://pt.wikipedia.org/wiki/Teoria_dos_grafos

Na computao, um grafo finito direcionado ou no-direcionado (com, digamos, n vrtices) geralmente representado por sua matriz de adjacncia: uma matriz n-por-n cujo valor na linha i e coluna j fornece o nmero de arestas do i-simo ao j-simo vrtices. Se for possvel estabelecer um caminho de qualquer vrtice para qualquer outro vrtice de um grafo, diz-se que o grafo conexo. Se for sempre possvel estabelecer um caminho de qualquer vrtice para qualquer outro vrtice mesmo depois de remover k-1 vrtices, ento diz-se que o grafo est k-conexo. Note que um grafo est k-conexo se, e somente se, contm k caminhos independentes entre qualquer par de vrtices. O grafo de exemplo acima conexo (e portanto 1-conexo), mas no 2-conexo. Em um grafo genrico G, o corte associado a um conjunto X de vrtices o conjunto de todas as arestas que tm uma ponta em X e outra em V(G) - X, onde V(G) o conjunto de todos os vrtices pertencentes ao grafo G. Grafo simples um grafo no direcionado, sem laos e que existe no mximo uma aresta entre quaisquer dois vrtices (sem arestas paralelas). No grafo de exemplo, (1, 2, 5, 1, 2, 3) um caminho com comprimento 5, e (5, 2, 1) um caminho simples de comprimento 2. Grafo completo o grafo simples em que, para cada vrtice do grafo, existe uma aresta conectando este vrtice a cada um dos demais. Ou seja, todos os vrtices do grafo possuem mesmo grau. O grafo completo de n vrtices frequentemente denotado por Kn. Ele tem n(n-1)/2 arestas (correspondendo a todas as possveis escolhas de pares de vrtices). Grafo nulo o grafo cujo conjunto de vrtices vazio. Grafo vazio o grafo cujo conjunto de arestas vazio. Grafo trivial o grafo que possui apenas um vertice e nenhuma aresta. Grafo regular um grafo em que todos os vrtices tem o mesmo grau. Multigrafo um grafo que permite mltiplas arestas ligando os mesmos vrtices (arestas paralelas). Lao (loop) num grafo ou num digrafo uma aresta e em E cujas terminaes esto no mesmo vrtice. Pseudografo um grafo que contm arestas paralelas e laos. Ciclo (ou circuito) um caminho que comea e acaba com o mesmo vrtice. Ciclos de comprimento 1 so laos. No grafo de exemplo, (1, 2, 3, 4, 5, 2, 1) um ciclo de comprimento 6. Um ciclo simples um ciclo que tem um comprimento pelo menos de 3 e no qual o vrtice inicial s aparece mais uma vez, como vrtice final, e os outros vrtices aparecem s uma vez. No grafo acima, (1, 5, 2, 1) um ciclo simples. Um grafo chama-se acclico se no contm ciclos simples. Ponto de articulao ou Vrtice de corte um vrtice cuja remoo desliga um grafo. Uma ponte uma aresta cuja remoo desliga um grafo. Um componente biconectado um conjunto mximo de arestas tal que qualquer par de arestas do conjunto fazem parte de um ciclo simples comum. O contorno de um grafo o comprimento do ciclo simples mais curto no grafo. O contorno de um grafo acclico , por definio, infinito. rvore um grafo simples acclico e conexo. s vezes, um vrtice da rvore distinto e chamado de raiz. rvores so comumente usadas como estruturas de dados em informtica (veja estrutura de dados em rvore). Floresta um conjunto de rvores; equivalentemente a uma floresta, em algum grafo acclico.

3 de 8

18/03/2012 10:28

Teoria dos grafos Wikipdia, a enciclopdia livre

http://pt.wikipedia.org/wiki/Teoria_dos_grafos

Subgrafo de um grafo G um grafo cujo conjunto dos vrtices um subconjunto do conjunto de vrtices G, cujo conjunto de arestas um subconjunto do conjunto de arestas de G, e cuja funo w uma restrio da funo de G Subgrafo gerador aquele obtido pela remoo de uma ou mais arestas de um outro grafo, dizemos ento que este novo grafo obtido gerador do primeiro, Subgrafo induzido obtido pela remoo de vrtices e consequente das arestas relacionadas com ele de um outro grafo, dizemos que este novo grafo um grafo induzido do original. Grafo parcial de um grafo G um subgrafo com o mesmo conjunto de vrtices que G. Uma rvore parcial um grafo parcial que rvore. Todo grafo tem pelo menos uma rvore parcial. Clique em um grafo um subgrafo que tambm um grafo completo. No grafo do exemplo acima, os vrtices 1, 2 e 5 formam um clique. Conjunto independente em um grafo um conjunto de vrtices no adjacentes entre si. No exemplo acima, os vrtices 1, 3 e 6 formam um conjunto independente e 3, 5 e 6 so outro conjunto independente. Grafo planar aquele que pode ser representado em um plano sem qualquer interseco entre arestas. O grafo do exemplo planar; o grafo completo de n vertices, para n> 4, no planar. Caminho uma sequncia de vrtices tal que de cada um dos vrtices existe uma aresta para o vrtice seguinte. Um caminho chamado simples se nenhum dos vrtices no caminho se repete. O comprimento do caminho o nmero de arestas que o caminho usa, contando-se arestas mltiplas mltiplas vezes. O custo de um caminho num grafo balanceado a soma dos custos das arestas atravessadas. Dois caminhos so independentes se no tiverem nenhum vrtice em comum, excepto o primeiro e o ltimo. Caminho euleriano em um grafo o caminho que usa cada aresta exatamente uma vez. Se tal caminho existir, o grafo chamado traversvel. Um ciclo euleriano um ciclo que usa cada aresta exatamente uma vez. Caminho hamiltoniano em um grafo o caminho que visita cada vertice exatamente uma vez. Um ciclo hamiltoniano um ciclo que visita cada vrtice uma s vez. O grafo do exemplo contm um caminho hamiltoniano. Enquanto determinar se um dado grafo contm um caminho ou ciclo euleriano trivial, o mesmo problema para caminhos e ciclos hamiltonianos extremamente rduo. Lema do aperto de mos diz que se os convidados de uma festa apertarem as mos quando se encontrarem pela primeira vez, o nmero de convidados que apertam a mo um nmero mpar de vezes par. Tambm em grafos no direcionados a soma dos graus de todos os vrtices igual ao dobro do nmero de arestas. Grafo bipartido o grafo cujos vrtices podem ser divididos em dois conjuntos, nos quais no h arestas entre vrtices de um mesmo conjunto. Para um grafo ser bipartido ele no pode conter circuitos de comprimento mpar. 1. Se um grafo G bipartido, todo o circuito de G possui comprimento par. Sejam V1 e V2 os dois conjuntos em que, de acordo com a definio de grafo bipartido, se particiona V(G). Toda a aresta de G conecta um vrtice em V1 com outro em V2. Assim sendo, se X for um vrtice de V1, para voltar a esse vrtice ter de se ir a V2 e voltar a V1 um nmero indeterminado de vezes, e de cada vez sero percorridas duas arestas, uma de um vrtice em V1 para um vrtice em V2 e outra de um vrtice em V2 para um vrtice em V1. Logo, o nmero de arestas a percorrer ser par, ou seja, o comprimento do circuito par.

4 de 8

18/03/2012 10:28

Teoria dos grafos Wikipdia, a enciclopdia livre

http://pt.wikipedia.org/wiki/Teoria_dos_grafos

2. Se todo o circuito de um grafo G possui comprimento par, ento o grafo bipartido. Seja G um grafo em que todo o circuito tem comprimento par, e seja X um vrtice de G. Denotemos por V1 o conjunto formado por X e por todos os vrtices cuja distncia a X par. Seja V2 = V(G)\V1 (isto , o conjunto formado pelos vrtices de G que no pertencem a V1). Pretende mostrar-se que no existe qualquer aresta que conecte vrtices de V1 ou vrtices de V2. Suponhamos a existncia de tal aresta, isto , suponhamos a existncia de dois vrtices em V1 (ou V2), digamos Xi e Xj, conectados por uma aresta. Ora existe j um caminho de comprimento par entre Xi e Xj, j que existem caminhos, ambos de comprimento par (ou mpar, no caso de Xi e Xj pertencerem a V2), entre Xi e X e entre X e Xj. Se a esse caminho juntarmos a aresta {Xi;Xj} obtemos um circuito de comprimento mpar o que contraria a hiptese de apenas existirem circuitos de comprimento par. Grafo bipartido completo o grafo bipartido, cujo qualquer vrtice do primeiro conjunto adjacente a todos vrtices do segundo conjunto Grafo k-partido ou grafo de k-colorao um grafo cujos vrtices podem ser particionados em k conjuntos disjuntos, nos quais no h arestas entre vrtices de um mesmo conjunto. Um grafo 2-partido o mesmo que grafo bipartido. Emparelhamento de grafos consiste em partir o grafo em conjuntos de vrtices a qual no compartilham nenhuma aresta entre eles. Teorema das quatro cores baseado no problema das cores necessrias para se colorir um mapa sem que os pases vizinhos compartilhem da mesma cor. Transformando o mapa em um grafo pode-se provar que pode-se representar qualquer mapa (um grafo planar) com apenas 4 cores (4 parties). Percurso rvores: Percorrimento sistemtico em todos os vrtices e arestas do grafo. Grafo pode ser dirigido ou no. O percurso em rvores o processo de visitar cada n da rvore exatamente uma vez. O percurso pode ser interpretado como colocar todos os ns em uma linha, no existe uma ordem para ser seguida. Existem n percursos diferentes, quase todos caticos. Os bsicos so percurso em profundidade e percurso em largura Fila: busca em largura Pilha: busca em profundidade Busca em extenso ou largura: (Breadth-First Search ou BFS). A propriedade especial est no fato de a rvore no possuir ciclos: dados dois vrtices quaisquer, existe exatamente 1 caminho entre eles. Um percurso em extenso visitar cada n comeando do menor nvel e move-se para os nveis mais altos nvel aps nvel, visitando cada n da esquerda para a direita. Sua implementao direta quando uma fila utilizada. Depois que um n visitado, seus filhos, se houver algum, so colocados no final da fila e o n no incio da fila visitado. Assim, os ns do nvel n+1 sero visitados somente depois de ter visitados todos os ns do nvel n. Computa a menor distncia para todos os vrtices alcanaveis. O sub-grafo contendo os caminhos percorridos chamado de breadth-first tree. Busca em profundidade (Depth-first search ou DFS). Um algoritmo de busca em profundidade realiza uma busca no-informada que progride atravs da expanso do primeiro n filho da rvore de busca, e se aprofunda cada vez mais, at que o alvo da busca seja encontrado ou at que ele se depare com um n que no possui filhos (n folha). Ento a busca retrocede (backtrack) e comea no prximo n. Numa implementao no-recursiva, todos os ns expandidos

5 de 8

18/03/2012 10:28

Teoria dos grafos Wikipdia, a enciclopdia livre

http://pt.wikipedia.org/wiki/Teoria_dos_grafos

recentemente so adicionados a uma pilha, para realizar a explorao. A complexidade espacial de um algoritmo de busca em profundidade muito menor que a de um algoritmo de busca em largura. A complexidade temporal de ambos algoritmos so proporcionais ao nmero de vrtices somados ao nmero de arestas dos grafos aos quais eles atravessam. Quando ocorrem buscas em grafos muito grandes, que no podem ser armazenadas completamente na memria, a busca em profundidade no termina, em casos onde o comprimento de um caminho numa rvore de busca infinito. O simples artifcio de lembrar quais ns j foram visitados no funciona, porque pode no haver memria suficiente. Isso pode ser resolvido estabelecendo-se um limite de aumento na profundidade da rvore.

Problemas que envolvem grafos

Colorao de grafos: o Teorema das quatro cores Conjuntos de Grafos Conjunto independente Clique Problemas de roteamento: Sete pontes de Knigsberg rvore de extenso mnima Problema do caminho mnimo Problema da inspeo de rotas (tambm conhecido como o "Problema do carteiro chins") Problema do caixeiro viajante Fluxos de rede: Teorema do mnimo corte-mximo fluxo conjectura da reconstruo Problemas de Isomorfismo (casamento de grafos) Rotulao cannica? Isomorfismo de subgrafos e monomorfismos. Mximo subgrafo comum

Algoritmos importantes
algoritmo de Dijkstra algoritmo de Kruskal algoritmo do vizinho mais prximo algoritmo de Prim.

Generalizaes
Num hipergrafo uma aresta pode conectar mais que dois vrtices. Um grafo no-direcionado pode ser visto como um complexo simplicial consistindo de smplices de uma dimenso (as arestas) e smplices de dimenso zero (os vrtices). Ou seja, complexos so generalizaes de grafos que permitem smplices de maiores dimenses.

Referncias
1. Biggs, N.; Lloyd, E. and Wilson, R. (1986), Graph Theory, 1736-1936, Oxford University Press

6 de 8

18/03/2012 10:28

Teoria dos grafos Wikipdia, a enciclopdia livre

http://pt.wikipedia.org/wiki/Teoria_dos_grafos

2. Ver por exemplo, [1] (http://www.aisee.com/gallery/graph23.htm)

Ligaes externas
Em ingls
Graph theory tutorial (http://www.utm.edu/departments/math/graph/) Graph theory algorithm presentation (http://www.cs.wpi.edu/~dobrush/cs507/presentation /2001/Project10/ppframe.htm) Some graph theory algorithm animations (http://students.ceid.upatras.gr/~papagel/project /contents.htm) Step through the algorithm to understand it. The compendium of algorithm visualisation sites (http://www2.hig.no/~algmet/animate.html) A search site for finding algorithm implementations, explanations and animations (http://www.spectster.com/)

Em portugus
Material sobre grafos da USP So Carlos (http://www.icmc.sc.usp.br/manuals/sce183/grafos.html) Uma Introduo Sucinta Teoria dos Grafos (http://www.ime.usp.br/~pf/teoriadosgrafos/texto /TeoriaDosGrafos.pdf) Material com "Atlas de Grafos" da FINTEC (http://www.fintec.edu.br/peter/relat04/atlas1 /atlas_index.htm) Enumerao de caminhos - Algoritmo Grafos (http://thiagoprocaci.blogspot.com/2009/10 /enumeracao-de-caminhos-algoritmo-grafos.html)

Ferramentas de grafos populares

http://www.graphviz.org/ (em Ingls) http://www.absint.com/aisee/index_pt.htm (em Portugus) http://www.aisee.com (em Ingls) http://www.research.att.com/sw/tools/graphviz/ (em Ingls) http://www.cs.uni-sb.de/RW/users/sander/html/gsvcg1.html (em Ingls) http://www.tulip-software.org (em Ingls) http://www.roxgt.org http://planarity.net

Ver tambm
Estrutura de dados rvore ordenada - DAGs, rvores binrias e outras formas especiais de grafos. Grafo Lista de tpicos da teoria dos grafos Construo de grafos Rede complexa Quiver Lista de adjacncia Matriz de adjacncia Matriz de incidncia Obtida de "http://pt.wikipedia.org/w/index.php?title=Teoria_dos_grafos&oldid=29245313" Categoria: Teoria dos grafos

7 de 8

18/03/2012 10:28

Teoria dos grafos Wikipdia, a enciclopdia livre

http://pt.wikipedia.org/wiki/Teoria_dos_grafos

Esta pgina foi modificada pela ltima vez (s) 21h27min de 9 de maro de 2012. Este texto disponibilizado nos termos da licena Atribuio-Partilha nos Mesmos Termos 3.0 no Adaptada (CC BY-SA 3.0); pode estar sujeito a condies adicionais. Consulte as condies de uso para mais detalhes.

8 de 8

18/03/2012 10:28