14/09/2013

Introduo
s vezes, um grafo tem a propriedade que seu conjunto de vrtices pode ser dividido em dois subconjuntos disjuntos, tal que cada aresta conecta um vrtice de um destes subconjuntos a um vrtice do outro subconjunto.
Por exemplo, considere o grafo que representa casamentos entre homens e mulheres em um vilarejo, em que cada pessoa representada por um vrtice e um casamento representado por uma aresta.

GRAFOS BIPARTIDOS E SUAS APLICAES

Prof. Ccero C. Quarto EngComp/UEMA cicero@engcomp.uema.br

Grafos bipartidos
G = {V, E} V1G = {h1, h2, h3, h4, h5, ... , hn} V2G = {m1, m2, m3, m4, m5, ... , mn} Onde h: homens m: mulheres V1G V2G = h1 h2 h3

m1

m2

m3

m4

Um grafo simples G dito bipartido se o seu conjunto V de vrtices pode ser dividido em dois conjuntos disjuntos V1 e V2 tal que cada aresta do grafo conecta um vrtice em V1 e um vrtice em V2 (de modo de modo que nenhuma aresta em G conecta dois vrtices, seja em V1, seja em V2). Quando essa condio vlida, chamamos o par (V1, V2) de bipartio do conjunto de vrtices V de G.

Atividade:
Demonstre que o Grafo C6 bipartido e o Grafo K3 no bipartido. Justifique suas respostas.

14/09/2013

Soluo:
Grafo C6
3 2 1 4 5

Grafo k3
2 1 3

Atividade:
Os grafos G e H mostrados abaixo so bipartidos? Justifique suas respostas.
a g c f c b a b

C6

6 1

VKC6 = {1, 2, 3} V1K3 = {1, 3} V2K3 = {2} V1K3 V2K3 = 3

VC6 = {1, 3, 5} V1C6 = {1, 3, 5} V2C6 = {2, 4, 6} V1C6 V2C6 = 1 3 5

2 Justificativas: (i) C6 bipartido, pois seu conjunto de vrtices pode ser dividido em dois conjuntos disjuntos v1 = {1, 3, 5} e v2 = {2, 4, 6}, e cada aresta de C6 conecta um vrtice em V1 e um vrtice em V2; (ii) K3 no bipartido, pois se assim o fosse, os vrtices 1 e 3 no poderiam estar conectados por uma aresta, mas em K3 cada vrtice est conectado a qualquer outro vrtice por uma aresta.

f e d e

Soluo:
a g c b a b d

Teorema 4
Um grafo simples bipartido se e somente se for possvel associar uma de duas cores diferentes a cada vrtice do grafo de modo que nenhum par de vrtices adjacentes tenha a mesma cor associada.

f e d

G
VG = {a, b, c, d, e, f, g} V1G = {a, b, d} V2G = {c, e, f, g} V1G V2G = Justificativas: (i) O grafo G bipartido porque seu conjunto de vrtices VG a unio de dois conjuntos disjuntos VIG e V2G e cada aresta conecta um vrtice em um desses subconjuntos a um vrtice no outro subconjunto. (Observe que, para G ser bipartido, no necessrio que todo vrtice em V1G seja adjacente a todo vrtice em V2G. Por exemplo, b e g no so adjacentes.)

14/09/2013

Atividade:
Use o Teorema 4 para determinar se os grafos G e H mostrados abaixo so bipartidos? Justifique suas respostas.
a g c f c b a b

Soluo:
Consideremos primeiro o grafo G. Tentaremos associar uma de duas cores, digamos, vermelho e azul, a cada vrtice G, de modo que toda aresta em G conecte um vrtice vermelho a um vrtice azul. Sem perda de generalidade, comeamos associando arbitrariamente vermelho a a. Ento, devemos associar azul a c, e, f e g, pois cada um desses vrtices adjacente a a. Para evitar ter uma aresta com duas extremidades azuis, devemos associar vermelho a todos os vrtices adjacentes a c, e, f e g. Isso significa que devemos associar vermelho tanto a b quanto a d (e significa que devemos associar vermelho a a, o que j foi feito). Agora j associamos cores a todos os vrtices, com a, b e d vermelhos e c, e, f e g azuis. Verificando todas as arestas, vemos que cada aresta conecta um vrtice vermelho a um vrtice azul. Portanto, pelo Teorema 4, o grafo G bipartido.Veja na Figura abaixo a demonstrao. a b b a g g c c f e d

f e

f e d

Consideraes:
O Teorema 4 um exemplo de um resultado na parte de teoria dos grafos conhecida como colorao de grafos, qual uma tcnica com grandes aplicaes computacionais importantes. Um outro critrio til para determinar se um grafo bipartido baseado na noo de caminho. Um grafo bipartido se e somente se no for possvel comear em um vrtice e retornar a este vrtice percorrendo um nmero mpar de arestas distintas.

Atividade:
Use a noo de caminho, descrito no slide anterior, para determinar se o grafo abaixo bipartido? Justifique sua resposta.
a g c f e d b

Justificativa: O grafo da Figura ao lado bipartido, pois pode-se partir de qualquer vrtice e retornar ao mesmo percorrendo um nmero mpar de arestas distintas.Veja a demonstrao usando os vrtices a (ilustrao em linhas azuis) e vrtice e (ilustrao em linhas vermelhas).

14/09/2013

Grafos bipartidos completos

O grafo bipartido completo Km,n um grafo que tem seu conjunto de vrtices dividido em dois subconjuntos de m e n vrtices, respectivamente. Existe uma aresta entre dois vrtices se e somente se um vrtice estiver no primeiro subconjunto e o outro vrtice no segundo subconjunto. Os grafos bipartidos completos K2,3, K3,3, K3,5 e K2,6 esto mostrados na Figura 9.
K2,3 K3,3

Algumas aplicaes de grafos bipartidos e de tipos especiais de grafos

Atribuio de tarefas
Suponha que existam m empregados em um grupo e j tarefas diferentes que precisam ser feitas, em que m j. Cada empregado treinado para fazer uma ou mais dessas j tarefas. Podemos usar um grafo para modelar as habilidades dos empregados. (i) Representamos cada empregado por um vrtice e cada tarefa por um vrtice; (ii) Para cada empregado, inclumos uma aresta do vrtice que representa aquele empregado aos vrtices que representam todas as tarefas que o empregado capaz de fazer; (iii) Observe que o conjunto de vrtices desse grafo pode ser dividido em dois conjuntos disjuntos, o conjunto dos vrtices que representam empregados e o conjunto de vrtices que representam tarefas, e cada aresta conecta um vrtice que representa um empregado a um vrtice que representa uma tarefa. Consequentemente, este grafo bipartido; (iv) Por exemplo, suponha que um grupo tenha quatro empregados: Alvarez, Berkowitz, Chen e Davis; e suponha que seja necessrio fazer quatro tarefas para completar um projeto: requisio, arquitetura, implementao e teste. Suponha que Alvarez seja capaz de fazer requisio; Berkowitz seja capaz de fazer arquitetura, implementao e teste; Chen seja capaz de fazer requisio, arquitetura e implementao; e Davis seja capaz de fazer apenas requisio. Podemos modelar essas habilidades dos empregados usando o grafo bipartido mostrado na Figura 10.

K3,5

K2,6 Figura 9: Alguns grafos bipartidos completos

Algumas aplicaes de grafos bipartidos e de tipos especiais de grafos

Atribuio de tarefas

Algumas aplicaes de grafos bipartidos e de tipos especiais de grafos

Redes de reas Locais
Os diversos computadores em um prdio, tais como minicomputadores e computadores pessoais, bem como acessrios como impressoras e plotters, podem ser conectados usando uma rede de rea local. Algumas destas redes so baseadas na topologia estrela, em que todos os aparelhos so ligados a um aparelho de controle central (Hub ou um Swith). Uma rede de rea local pode ser representada usando um grafo bipartido completo K1,n como mostra a Figura 11(a). As mensagens so enviadas de aparelho a aparelho atravs do aparelho de controle central. Outras redes de rea local so baseadas na topologia anel, na qual cada aparelho conectado exatamente a dois outros. Redes de rea local com uma topologia anel so mostradas usando n-ciclos, Cn, como mostrado na Figura 11(b). Finalmente, algumas redes de rea local usam um hbrido destas duas topologias. As mensagens podem ser enviadas em torno do anel ou atravs do aparelho central. Esta redundncia torna a rede mais confivel. Redes de rea local com esta redundncia podem ser modeladas usando rodas Wn, mostrado na Figura 11(c).

Alvarez

Berkowitz

Chen

Davis

requisio

arquitetura

implementao

teste

b Figura 10: Modelando as Tarefas que os Empregados So Capazes de Fazer (Rosen, 2009, p. 605). a c
Figura 11: Topologias de Redes de reas Locais.

14/09/2013

Algumas aplicaes de grafos bipartidos e de tipos especiais de grafos

Redes de Interconexo para Computao Paralela

Algumas aplicaes de grafos bipartidos e de tipos especiais de grafos

Matriz linear (ou Tabela linear)
Tcnica de computao paralela que objetiva interconectar n processadores, onde cada processador Pi diferente de P1 e Pn, est conectado a seus vizinhos Pi-1 e Pi+1 por um link de mo dupla. P1 est conectado apenas a P2 e Pn est conectado apenas a Pn-1. A matriz linear para seis processadores mostrada na Figura 12.
P1 P2 P3 P4 P5 P6
Vantagem da Matriz Linear - Cada processador tem, no mximo, duas conexes diretas a outros processadores. Desvantagem da Matriz Linear - s vezes necessrio usar um grande nmero de links intermedirios, chamados de hops, para os processadores compartilharem informaes.

Eliminam algoritmos So capazes de resolver problemas de Simulaes climticas; Processamento de imagens mdicas; Anlise de criptografia de dados; Processamento mltiplo; Algoritmos paralelos

Figura 12: Uma Matriz Linear de Seis Processadores

Algumas aplicaes de grafos bipartidos e de tipos especiais de grafos

Rede de malha (ou matriz bidimensional)

Algumas aplicaes de grafos bipartidos e de tipos especiais de grafos

Rede de malha (ou matriz bidimensional) cont... Um tipo importante de rede de

uma rede de interconexo comumente usada. Em tal rede, o

nmero de processadores um quadrado perfeito, digamos n = m2. Os n processadores so designados por P(i, j), 0 i m -1, 0 j m 1. Links de mo dupla conectam o processador P(i, j) com os seus quatro vizinhos, os processadores P(i 1, j) e P(i, j 1), contanto que estes sejam processadores em uma malha. Observe que quatro processadores, nos cantos de uma malha, tm apenas dois processadores adjacentes, e outros processadores na fronteira tm apenas trs vizinhos. O grafo que representa uma rede de malha de 16 processadores mostrado na Figura 13. P(0, 0) P(0, 1) P(0, 2)
P(0, 3) P(1, 0) P(1, 1) P(2, 1) P(3, 1) P(1, 2) P(2, 2) P(3, 2) P(1, 3) P(2, 3) P(3, 3)

Figura 13: Uma Rede de Malha de 16 Processadores.

P(2, 0) P(3, 0)

o hipercubo. Para tal rede, o nmero de processadores uma potncia de 2, n = 2m. Os n processadores so designados por P0, P1, ... , Pn 1. Cada processador tem conexes de mo dupla com m outros processadores. O processador Pi est ligado aos processadores com ndices cujas representaes binrias diferem da representao binria de i em exatamente um bit. A rede hipercubo balanceia o nmero de conexes diretas para cada processador e o nmero de conexes intermedirias necessrias para que os processadores possam se comunicar. Muitos computadores foram construdos usando uma rede hipercubo, e muitos algoritmos paralelos foram projetados para serem usados em uma rede hipercubo com n = 2m processadores. A Figura 14 mostra a rede hipercubo de oito processadores, bem como mostra uma maneira diferente de desenhar Q3 como mostrado na Figura 15.

14/09/2013

Uma rede hipercubo de oito processadores

P0 P1 P2 P3 P4 P5 P6 P7

Novos Grafos a Partir de Outros

Algumas vezes precisamos apenas de parte de um grafo para resolver um problema. Por exemplo, podemos nos importar apenas com uma parte de uma grande rede de computadores que envolva os centros de computadores em Nova York, Denver, Detroit e Atlanta. Ento, podemos ignorar os outros centros de computadores e todas as linhas telefnicas que no liguem dois destes quatro centros de computadores especificados; No modelo de grafo para a grande rede, podemos remover os vrtices correspondentes aos outros centros de computadores, alm dos quatro de interesse, e podemos remover todas as arestas incidentes com um vrtice que tenha sido removido; Quando arestas e vrtices so removidos de um grafo, sem remover extremidades de quaisquer arestas remanescentes, obtido um grafo menor. Tal grafo chamado de subgrafo do grafo original.

Figura 14: Uma Rede Hipercubo de Oito Processadores.

Q2 110 11 100 Q1 0 1 00 01 000 010 001
Figura 15: O n-Cubo Qn para n = 1, 2 e 3.

111

10

101 011

Q3

O hipercubo de dimenso n ou n cubo, indicado por Qn, o grafo que tem vrtices que representam as 2n sequncias de bit de comprimento n; Dois vrtices so adjacentes se e somente se as sequncias de bit que eles representam diferem em exatamente uma posio de bit; Os grafos Q1, Q2 e Q3 esto mostrados na Figura 15.

n Cubos

Novos Grafos a Partir de Outros

Definio 6: Um subgrafo de um grafo G = (V, E) um grafo H = (W, F), em que W V e F E. Um subgrafo H de G um subgrafo prprio de G se H G.Veja o exemplo abaixo:
a a

Novos Grafos a Partir de Outros

Definio 7: A unio de dois grafos simples G1 = (V1, E1) e G2 = (V2, E2) o grafo simples com conjunto de vrtices V1 V2 e conjunto de arestas E1 E2. A unio de G1 e G2 indicada por G1 G2.Veja o exemplo abaixo:
a b c a b c

e d c

G1

e a b

d c

Um Subgrafo de K5
G1 G2 =
d

G2

14/09/2013

Atividade de aprendizagem
Resolver os exerccios propostos 20 a 67, pgs. 609 a 611, do livro Matemtica Discreta e suas Aplicaes, 6a ed. do Kenneth H. Rosen, 2009.

FIM DA AULA!!! Obrigado pela ateno de todos!!! Prof. Ccero C. Quarto cicero@engcomp.uema.br