1 - NOES BSICAS

ltima reviso: 21/3/2001

Contedo
Definies bsicas Exemplo de applicao (Pontes de Konigsberg) Grafo completo Incidncia e gra !peraes sobre grafos Isomorfismo "etor de gra # bgrafos $amin%o Grafo conexo Grafo bipartite Grafo direcionado Exerc&cios

Definies bsicas
'm grafo G ( (")E) * m con+ nto no,-a.io ") c +os elementos so c%amados vrtices) e m con+ nto E de arestas/ 'ma aresta * m par no,ordenado (-i)-+)) onde -i e -+ so elementos de "/ 0ormalmente) tili.a,se ma representao grfica de m grafo/ Eis m exemplo de grafo) com a s a representao grfica1 " ( 2-3) -4) -5) -6) -78 E ( 2a3) a4) a5) a6) a7) a9) a:) a;8 onde a3 ( (-3)-4)) a4 ( (-3)-5)) a5 ( (-3)-5)) a6 ( (-4)-5)) a7 ( (-4)-7)) a9 ( (-7)-7)) a: ( (-5)-7)) a; ( (-5)-6)/

<ig ra 3 0ote = e nessa definio so permitidos laos (-e+a a aresta a9) e arestas paralelas (as arestas a4 e a5) por exemplo)/ 'm grafo = e no cont*m nen% m lao e nen% mas arestas paralelas * c%amado grafo simples/ Essa definio no impede = e m grafo se+a infinito/ >as esse tipo de grafo no ser est dado a= i/ 'm grafo = e cont*m no m&nimo m lao * m pseudografo/ 'm grafo = e cont*m arestas paralelas * m multigrafo/

Exe !"o de a!"ica#o

As !ontes de $%ni&sbe'&(
! problema das pontes de K?nigsberg * m problema antigo = e foi resol-ido por E ler) com a criao da teoria dos grafos/ ! problema * o seg inte/ $onsiderando m rio com d as il%as e : pontes como il strado na fig ra 4) * poss&-el identificar m camin%o = e atra-esse todas as pontes ma -e. s@ e = e retorne ao ponto de partidaA

<ig ra 4

Para resol-er esse problema) E ler o represento com o grafo il strado na fig ra 5/ $om essa representao) e considerando as propriedades do grafos = e sero apresentadas mais tarde nesse c rso) * poss&-el resol-er facilmente esse problema/

<ig ra 5

)'afo co !"eto
'm grafo completo com v -*rtices) escrito K-) * m grafo simples onde todo par de -*rtices * ligado por ma aresta/ Em o tras pala-ras) m grafo completo * m grafo simples = e cont*m o nBmero mximo de arestas/ *eo'e a 1-1+ O nmero de arestas em um grafo completo n(n 1!/2" ,'o-a+ C pro-a * por ind o matemtica/ $%amaremos Gn m grafo = e cont*m n -*rtices/ $onsideramos primeiro o caso tri-ial) o grafo G3/ 0esse caso) como existe somente m -*rtice) * imposs&-el definir ma aresta = e no se+a m lao/ Ento no pode existir nen% ma aresta) e -erificamos = e n(n,3)D4 ( E/ # pon%amos = e a %ip@tese * -erdadeira para Gn) onde n 3/ #e+a agora o grafo GnF3/ Precisamos pro-ar = e o nBmero de -*rtices nesse grafo * n(nF3)D4/ #e+a -nF3 o -*rtice adicional = e se encontra em GnF3 e no em Gn/ ! nBmero mximo de arestas no grafo GnF3 * ig al ao nBmero mximo no grafo Gn mais todas as ligaes poss&-eis entre -nF3 e cada -*rtices de Gn/ $omo esse nBmero de ligaes * ig al ao nBmero de -*rtices em Gn) temos1 0Bmero mximo ( n(n,3) F n ( n(n,3) F 4n ( n4Fn ( n(nF3) 4 4 4 4 'ma o tra maneira de c%egar a esse res ltado e considerar o fato = e o nBmero de arestas em m grafo completo de n -*rtices corresponde a todos os pares poss&-eis uv) onde u e v so -*rtices/ Cssim) o nBmero de -*rtices *1

Eis alg ns exemplos de grafos completos1

<ig ra 6 ! grafo K3 * c%amado grafo trivial/

Incid.ncia e &'a/
#e+a dois -*rtices -i e -+) e ma aresta aG ( (-i)-+)/ C aresta aG * dita incidente a ambos -*rtices -i e -+/ D as arestas no paralelas = e so incidentes a m mesmo -*rtice so ditas ad#acentes/ Dois -*rtices = e so ligados por ma mesma arestas tamb*m so ditos ad+acentes/ ! nBmero de arestas incidentes a m -*rtice -i (contando d as -e.es os laos) * c%amado o grau do -*rtice -i1 d(-i)/ 0a fig ra 3) por exemplo) temos d(-3)(5) d(-7)(6 e d(-6)(3/ # pon%amos agora m grafo G com a arestas e v -*rtices -3) -4///) -n/ $omo cada aresta contrib i para dois gra s) a soma dos gra s de todas as arestas de G * d as -e.es o nBmero de arestas1 n d(- ) ( 4a i i(3 *eo'e a 1-0+ O nmero de vrtices de grau $mpar de um grafo sempre par" ,'o-a+ #eparando os -*rtices de gra par e os de gra &mpar) a soma pode ser separada em d as somas1 n d(- ) ( i i(3 par

d(-G) F &mpar

d(-l)

$omo a soma na es= erda * par ((4a) e a primeira soma do lado de direita tamb*m * par) por ser ma soma de nBmeros pares) a seg nda tamb*m tem = e ser par1

d(-l) ( m nBmero par &mpar $omo todo -alor -l * &mpar) a = antidade de itens na soma tem = e ser par/ 'm -*rtice = e poss i gra .ero * m -*rtice isolado/ H poss&-el = e m grafo no conten%a nen% ma aresta/ 0esse caso todos os -*rtices so isolados e o grafo * c%amado grafo nulo/ 'm grafo no = al todos os -*rtices tm o mesmo gra r * c%amado grafo regular de grau r/ Por exemplo) o grafo K7 da fig ra 6 * m grafo reg lar de gra 6/

O!e'aes sob'e &'afos

Eis alg mas definio de operaes sobre grafos = e sero teis mais para frente1

C unio de dois grafos G3 ( ("3)E3) e G4( ("4)E4)) denotada G3 ' G4) * m grafo G5 ( ("5)E5)) onde "5 ( "3 ' "4 e E5 ( E3 ' E4/ 'm grafo * dito decomposto em dois grafos G3(("3)E3) e G4( ("4)E4) se G3 ' G4 ( G e se E3 E4 * -a.io/ %emoo: #e+a -i m -*rtice de G/ ! grafo G , -i * m s bgrafo de G onde -i * retirado) com todas as arestas incidentes a -i/

Iso o'fis o
Dois grafos G3("3)E3) e G4("4)E4) so ditos isomorfos entre si se existe ma correspondncia entre os se s -*rtices e arestas de tal maneira = e a relao de incidncia se+a preser-ada/ Em o tros termos) temos I"3I( I"4I e existe ma f no n&-oca f1 "3,,J"4) tal = e (i)+) * elemento de E3 se e somente se (K(i))f(+)) * elemento de E4/ Eis alg ns exemplos de grafos isomorfos1

<ig ra 7 Para -er o isomorfismo dos grafos da fig ra 7) podemos tili.ar a seg inte f no1 f(a) ( 3) f(b) ( 4) f(c) ( 5) f(d) ( ;) f(e) ( 7) f(f) ( 9) f(g) ( :) f(%) ( 6/

<ig ra 9 Para -er o isomorfismo dos grafos 9(a) e 9(b)) tili.e a seg inte f no1 f(a) ( s) f(b) ( t) f(c) ( ) f(d) ( -) f(e) ( r) f(f) ( m) f(g) ( n) f(%) ( o) f(i) ( p) f(+) ( = Para -er o isomorfismo dos grafos 9(a) e 9(c)) tili.e a seg inte f no1 f(a) ( 3) f(b) ( 3E) f(c) ( 6) f(d) ( 7) f(e) ( 9) f(f) ( 4) f(g) ( L) f(%) ( 5) f(i) ( ;) f(+) ( :/ Esses exemplos de-em ser s ficientes para mostrar = e no * sempre fcil determinar se dois grafos so isomorfos/ 0o existe at almente m algoritmo eficiente para resol-er esse problema/ Poderiamos tentar todas as perm taes poss&-el) mas isso daria m algoritmo de complexidade em !(nM)/ Para = e dois grafos se+am isomorfos) no m&nimo essas condies tem = e ser respeitadas1 3/ !s dois tm o mesmo nBmero de -*rtices/ 4/ !s dois tm o mesmo nBmero de arestas/ 5/ !s dois tm o mesmo nBmero de -*rtices de gra n) para = al= er -alor n entre E e o nBmero de -*rtices = e o grafo cont*m/ 0ote = e isso no * s ficiente par = e se+am isomorfos/ Por exemplo) os grafos da fig ra : respeitam essas condies e no so isomorfos/

<ig ra : >esmo se ambos grafos so reg lares de gra &) as condies acima no so s ficientes para concl ir = e eles so isomorfos/ "e+a o exemplo da fig ra :N/ H m ito fcil -er = e eles no so isomorfos apesar de = e os dois so reg lares de gra 5/

<ig ra :N Para determinar se m grafo * isomorfo) existe ma t*cnica (no fcil de implementarM) = e consiste em modificar a maneira de desen%ar m grafo para torn,lo ig al ao o tro) com a exceo dos r@t los dos -*rtices/ Para explicar mel%or isso) -amos -er como o grafo da fig ra 9a pode ser tranformado em m grafo e= i-alente ao grafo da fig ra 9b/ $omo il strado na fig ra ;) comeamos colocando fora os -*rtices f' g' (' i e # para obter o grafo ;b/ Depois) colocamos os -*rtices a' )' c' d e + no meio) para obter o grafo isomorfo/

<ig ra ;

1eto' de &'a/
! -etor de gra d(*! de m grafo G * a se= ncia dos gra s dos -*rtices de G em ordem no crescente/ 0ote = e dois grafos no isomorfos podem ter o mesmo -etor de gra / Por exemplo) o -etor de gra do grafos dos fig ra : * o seg inte1 +3'3'3'3'2'2'2'2,/ 'ma = esto interessante * saber se m dado -etor * m vetor gr-fico) isto *) m -ector tal = e * poss&-el desen%ar m grafo sando os -alores = e ele cont*m/ Isso poderia ser Btil) por exemplo) para testar se no %o -e erro na prod o de ma representao interna de ma grafo no comp tador/ O podemos identificar alg mas propriedades essenciais para = e m -etor de gra represente m grafo/ C somat@ria dos -alores de-er ser par e o nBmero de -alores &mpares de-e ser par/ #e o grafo representado de-e ser simples) cada -alor no pode ltrapassar n 1) onde n * o nBmero de -alores contidos na se= ncia/ >as isso no * s ficiente/ $onsidere por exemplo a se= ncia +3'3'1'1,/ H fcil conferir = e ela respeita todas as condies e entretanto no * m -etor grfico/ ! Peorema 3,5 indi= e como determinar se m -etor de gra * grfico1 *eo'e a 1-2+ .m vetor de grau / 0 +d1' d2' """' dn, gr-fico se e somente se a se1u2ncia / 1 0 +d2 1' d3 1' """' dd 131 1' dd 132' """' dn,' ap4s ordenao em ordem no crescente' gr-fica/ ,'o-a+ 5da: Primeiro) de-emos entender a id*ia atrs desse teorema/ Qetirando o primeiro -alor do -etor) o = e de fato * e= i-alente a retirar o -*rtice do grafo = e tem o maior gra ) de-emos s btrair 3 a d1 -*rtices do grafo res ltante/ ! Peorema di. = e se fi.ermos isso para os d1 -*rtices de maior gra (representados pelos d1 pr@ximos -alores da se= ncia)) o res ltado * m -etor grfico/ #e+a m grafo G = e corresponde ao -etor #/ Pem dois casos a considerar/ #e o -*rtice v = e corresponde a d1 * efeti-amente ligado aos -*rtices = e correspondem aos d1 pr@ximos -alores da se= ncia) no tem nada a pro-ar) pois * e-idente = e nesse caso o grafo res ltante depois de remoo de v corresponde ao -etor #3/ # pon%amos agora = e v * ligado a m -ertice u = e no corresponde a m dos -alores modificados da se= ncia/ Isso significa = e existe m -*rtice 6 no ligado a v = e corresponde a m dos -alores de maior gra / "amos mostrar = e * poss&-el modificar G de tal maneira = e 6 se+a ligado com v e u no ligado com v) conser-ando o mesmo -etor de gra / <a.endo assim com todos os -*rtices ligados a v = e no so na lista dos -*rtices de maior gra ) -oltaremos ao o tro caso = e + foi considerado/ $onsidere a fig ra ;Na) onde a * a aresta = e liga v e u e ) * a aresta = e liga 6 com m de se s -*rtices ad+acentes/ Para transformar o grafo) * s@ sar a o tra extremidade de ) para ligar 6 com v/ Co mesmo tempo) deslocamos a extremidade da aresta a de v para o -*rtice = e foi desligado de 6/ Podemos conferir facilmente = e nada m do na

se= ncia de -alores) todos os -*rtices en-ol-idos nessa m dana conser-am o mesmo gra /

<ig ra ;N 7olta: Deixamos essa pro-a como exerc&cio/

S/b&'afos
'm grafo G4("4)E4) * m s bgrafo de m grafo G3("3)E3) se "4 "3 e E4 E3/ Podemos -erificar facilemente os seg intes en nciados1 3/ 4/ 5/ 6/ Podo grafo * s bgrafo dele mesmo/ ! s bgrafo de m s bgrafo de G * m s bgrafo de G/ 'm -*rtice de G * m s bgrafo de G/ 'm aresta de G com os dois -*rtices = e ele liga * m s bgrafos de G/

Eis alg ns s bgrafos interessantes1 C"i3/e1 'ma cli= e * m s bgrafo = e * completo/ S/b&'afo ind/4ido1 #e+a R(S)<) m s bgrafo de G ( (")E)/ #e ma aresta entre dois -*rtices de S existe se e somente se essa aresta existe em ") digamos = e R * m s bgrafo ind .ido por S/ Con5/nto inde!endente de -6'tices+ 'm s bgrafo ind .ido de G = e no cont*m nen% ma aresta/ $onsidere agora o grafo il strado na fig ra L/ 0a fig ra 3E so il strados = atro s bgrafos desse grafo/ Em 33a temos m s bgrafo = e no tem nada de especial/ ! grafo il strado em 33b * ma cli= e) o s bgrafo 3Ec e m grafo ind .ido pelos -*rtices c'd'e e f) e o Bltimo * m con+ nto independentes de -*rtices/

<ig ra L

<ig ra 3E

Ca in7o
'm camin%o em m grafo G ( (")E) * ma se=Tncia de -*rtices -3)///-n) tal = e (-i)-iF3) * m elemento de E) para 3 i U n,3/ Essa se=Tncia * dita m camin(o de v1 a vn/ 'm camin%o = e no passa d as -e.es pelo mesmo -*rtice * m camin(o simples (ou elementar!/ 'm camin%o = e no cont*m d as -e.es a mesma aresta * m tra#eto/ 0ote = e essa definio de camin%o f nciona realmente somente com grafo simples/ 0o grafo il strado na fig ra L) a se=Tncia Va)e)f)cW * m camin%o simples e tamb*m m tra+eto/ C se=Tncia Va)e)b)a)dW * m tra+eto mas no m camin%o simples/ 'm camin%o onde o primeiro -*rtice da se=Tncia * ig al ao Bltimo * m circuito) se todas as arestas so distintas/ #e al*m disso) no % -*rtice repetido no circ ito) digamos = e ele * m ciclo/ 0a fig ra L) a se=Tncia Va)b)c)f)e)aW * m ciclo1 nen% m -*rtice se repete) com a exceo dos primeiro e Bltimo/ 'm exemplo de circ ito = e no * m ciclo * a se=Tncia Va)b)d)a)c)e)aW do grafo completo da fig ra 33/

<ig ra 33

)'afo conexo
'm grafo G ( (")E) * conexo = ando existe m camin%o entre cada par de "/ $aso contrrio o grafo * descone8o/ 'm grafo * totalmente descone8o = ando no existe nen% ma aresta/ C representao grfica d m grafo desconexa cont*m no m&nimo dois XpedaosX/ C fig ra 34 il stra m grafo desconexo/ $ada XpedaoX de m grafo * c%amado componente cone8o/ ! grafo da fig ra 34 tem 4 componentes conexos/

<ig ra 34 *eo'e a 1-8+ /e um grafo (cone8o ou descone8o! contm e8atamente dois vrtices de grau $mpar' e8iste um camin(o ligando esses dois vrtices" ,'o-a+ #e+a G m grafo onde todos os -*rtices so de gra par) exceto os -*rtices -3 e -4/ #eg ndo o teorema 3,4) no existe m grafo (o m componente) = e tem m nBmero &mpar de -*rtices = e poss em gra &mpar/ Ento -3 e -4 de-em pertencer ao mesmo componente) e de-e existir m camin%o entre eles/

)'afo bi!a'tite
'm grafo bipartite * m grafo G ( (")E) c +o con+ nto de -*rtices " pode ser separado em dois con+ ntos Y e Z) tal = e toda aresta de E liga somente -*rtices de Y com -*rtices de Z/ C fig ra 35a il stra m grafo bipartite/ Isso fica e-idente se consideramos o grafo 35b = e * isomorfo/

<ig ra 35 Existe m teorema interessante em relao ao grafo bipartite1 *eo'e a 1-9+ .m grafo * )ipartite se e somente se todo ciclo de * possuir comprimento par" ,'o-a+ 5da: #e+a Y e Z as d as parties de G/ Podo camin%o em G alterna m -*rtice de Y com m -ertice de Z/ Isso * a conse=Tncia da definio de grafo bipartite/ # pondo = e m ciclo cont*m m -*rtice -i em ma das d as parties/ Para -oltar a esse -*rtice) * preciso ir na o tra partio e -oltar m nBmero par de -e.es/ 7olta1 #e+a G m grafo onde todo ciclo * de comprimento par/ #e+a m -*rtice -i de G/ $olocamos n m con+ nto Y o -*rtice -i e todos os o tros = e so a ma dist[ncia par de -i/ !s o tros -*rtices formam o con+ nto Z/ #e no ti-esse nen% ma aresta ligando dois -*rtices de Y o dois -*rtices de Z) respeitariamos as condies para = e o grafo se+a bipartite/ # pon%amos agora = e existe ma o tra aresta entre dois -*rtices a e ) de Y (o Z)/ O temos m camin%o par entre a e )/ Ccrescentando a no-a aresta) obteriamos m ciclo de comprimento &mpar) o = e contradi. a %ip@tese/ Portanto) na pode existir o tra aresta entre = al= er par de -*rtice = e + est em Y (ig almente par Z) e o grafo * bipartite/ 0ote = e essa pro-a indica de maneira direta = al seria o algoritmo par determinar se m grafo * bipartite o no/ C noo de grafo completo pode ser extendido aos grafos bipartites/ 'm &'afo bi!a'tite co !"eto * m grafo onde todos os -*rtices da partio Y * ligado por ma aresta a todos os -*rtices da partio Z/ #e+a m e n o nBmero de -*rtices em Y e Z) respecti-amente) o grafo completo bipartite sera denotado Km)n/ Por exemplo) o grafo da fig ra 35b * K5)5/

)'afo di'ecionado
'm grafo G ( (")E) * m con+ nto no,-a.io ") c +os elementos so c%amados vrtices) e m con+ nto E de arestas/ 'ma aresta * m par ordenado (-+)-G)/ Di.,e = e cada aresta (-+)-G) poss i ma Bnica direo de -+ para -G/ Pamb*m a aresta (-+)-G) e dita divergente de -+ e convergente a -G/ ! nBmero de arestas di-ergentes e con-ergentes de m -*rtice so c%amados grau de sa$da e grau de entrada) respecti-amente/ C fig ra 36 il stra m exemplo de grafo direcionado/

<ig ra 36 " ( 2a)b)c)d)e)f)g8 E ( 2(a)c))(c)b))(b)a))(c)e))(e)c))(d)e))(e)g))(f)g))(f)e)8

*eo'e a 1-:+ 9 soma dos graus de sa$da (de entrada! de um grafo direcionado igual ao nmero de arestas no grafo" H m ito fcil se con-encer do teorema 3,9) considerando = e cada aresta contrib i exatamente para m gra de entrada e m gra de sa&da/ ! grafo obtido s bstit indo cada aresta de m grafo direcionado G por ma aresta no direcionada * c%amado &'afo s/b5acente de G/ a fig ra 36N il stra o grafo s b+acente do grafo da fig ra 36/

<ig ra 36N C noo de isomorfismo pode ser extendida aos grafos direcionados/ 0esse caso) de-emos tomar c idado para considerar tamb*m a orientao das arestas/ Por exemplo) o grafo (a) da fig ra 36NN * isomorfo ao grafo (b) mas no ao grafo (c)/

<ig ra 36NN 'm grafo * conexo se o se grafo s b+acente * conexo/ Int iti-amente isso corresponde \ caracter&stica do grafo constit ir m pedao s@/ 'm grafo direcionado onde existe m camin%o entre = al= er par de -*rtices * dito fo'te ente conexo/ 'm problema interessante * saber se m grafo no direcionado pode ser transformado em grafo fortemente conexo) trocando cada aresta por ma aresta orientada/ #abendo = e ma ponte * ma aresta = e torna m grafo desconexo se ela for retirada) temos m teorema interessante nesse respeito1 *eo'e a 1-;+ : poss$vel orientar as arestas de um grafo cone8o no direcionado de tal maneira a o)ter um grafo direcionado fortemente cone8o se e somente se o seu grafo su)#acente no contm nen(uma ponte" ,'o-a+ 5da: # pon%amos m grafo fortemente conexo = e cont*m no m&nimo ma ponte/ De-e existir no grafo no m&nimo dois -*rtices c +a ligao exige passar por essa ponte/ 0ecessariamente essa ponte permite camin%ar em ma direo) por exemplo de m -*rtice -i para o tro -*rtice -G) mas no permite o retorno de -G para -i/ 7olta1 $omo o grafo no cont*m nen% ma ponte) toda aresta fa. parte de m ciclo/ # pon%amos tal ciclo) = e c%amaremos $3) e orientemos as arestas de tal maneira = e se+a poss&-el percorrer o ciclo e -oltar \ origem/ H claro = e em $3 todo -*rtice * acess&-el a partir de = al= er o tro/ $onsideremos agora m o tro ciclo $4 do grafo = e tem no m&nimo m -*rtice em com m com $3/ !rientamos as arestas da mesma maneira) mas sem m dar a orientao das arestas de $4 = e + existem em $3/ H e-idente = e = al= er -*rtice do grafo obtido combinando $3 e $4 * alcan-el a partir de = al= er o tro) pois existe m camin%o fec%ado = e passa por todos os -*rtices/ Por exemplo) na fig ra 37) temos o camin%o fec%ado a) b) c) d) e) G) +) i) %) g) c) d) e) f) a/ $ontin ando assim at* = e todos os -*rtices do grafo se+am considerados) obteremos m grafo = e cont*m m camin%o fec%ado passando por todos os -*rties) pois ele * conexo/ Cs arestas = e sobram) depois desse processo) podem ter = al= er orientao/

<ig ra 37 C pro-a do teorema 3,: pode ser apro-eitada para identificar o algoritmo = e transmorma m grafo no direcionado em m grafo direcionado fortemente conexe/ $onsidere por exemplo o grafo da fig ra 7/ $omo ele no cont*m nen% ma ponte) ele pode ser transformado em grafo direcionado fortemente conexo/ Primeiro podemos orientar o ciclo a,b,c,d,a) como il strado na fig ra 39a/ Depois podemos acrescentar o ciclo c,%,g,b,c (-e+a o res ltado na fig ra 39b)/ Depois dessa etapa sobram os dois -*rtices e e f/ 0a fig ra 39c) podemos -er = e o acr*scimo do ciclo g,f,e,%,g termina o processo/ Cgora todos os -*rtices fa.em parte de m camin%o fec%ado1 a,b,c,%,g,f,e,%, g,b,c,d,a/ Cs arestas = e sobram podem ter = al= er orientao/ Cs fig ra 3: il stra m res ltado final poss&-el/

<ig ra 39

<ig ra 3: 'ma conse= ncia importante do teorema 3,: * o seg inte teorema1 *eo'e a 1-<+ O grafo su)#acente de um grafo fortemente cone8o no pode conter uma ponte" C demonstrao do teorema 3,: s gere tamb*m m o tro teorema1 *eo'e a 1-=+ .m grafo fortemente cone8o se e somente se e8iste um camin(o fec(ado 1ue passa por todos os vrtices do grafo" 5da: # pon%amos G m grafo fortemente conexo) e u'v dois -*rtices desse grafo/ Existe m camin%o de u para v e de v para u/ Ento) existe m camin%o fec%ado = e cont*m u e v/ # pon%amos agora m o tro -*rtice 6/ Existe m camin%o de u para 6 e de 6 para u/ Isso implica = e existe tamb*m m camin%o fec%ado = e cont*m os trs -*rtices u v e 6 (-e+a fig ra 3;)/ $ontin ando assim com os o tros -*rtices do grafos) obteremos m camin%o fec%ado = e passa por todos os -*rtices do grafo/ 7olta: Pri-ial/ E deixo como exerc&cio/

<ig ra 3;

Exe'c>cios
Exe'c>cio 1-1+ Desen%e todos of grafos simples = e * poss&-el constr ir com 3) 4) 5) e 6 -*rtices/

Exe'c>cio 1-0+ ! complemento de m grafo simples G ( (")E) * o grafo simples G, ( (")<)) no = al existe ma aresta entre dois -*rtices se e somente se no existe ma aresta entre os mesmos -ertices em G/ Desen%e o complemento dos seg intes grafos1

<ig ra 3L Exe'c>cio 1-2+ >ostre = e o complemento de m grafo bipartite no * necessariamente m grafo bipartite/ Exe'c>cio 1-8+ >ostre = e G ' G, * m grafo completo/ Exe'c>cio 1-9+ 'tili.e o teorema 3,3 para pro-ar = e 3 F 4 F /// F (n,3) ( n(n,3)D4/ Exe'c>cio 1-:+ #e+a G m grafo com v -*rtices e a arestas/ ] antas arestas cont*m o grafo G,A ?Exe'c>cio 1-;+ Pro-ar1 se G * m grafo = e cont*m 9 -*rtices) G o G, (possi-elmente ambos) de-e conter m grafo isomorfo a K5/ Exe'c>cio 1-<+ Pro-ar = e se G * m grafo c&clico de 7 -*rtices (-er fig ra 4E)) ele * isomorfo a G,/

<ig ra 4E Exe'c>cio 1-=+ #e+a v o nBmero de -*rtices em m grafo G/ Pro-ar = e se G * isomorfo a G,) m dos dois -alores v e v,3 * mBltiplo de 6/ Exe'c>cio 1-1@+ >ostre = e no existe m grafo simples = e cont*m 34 -*rtices e 4; arestas e no = al1 a) ! gra de cada -*rtice * 5 o 6/ b) ! gra de cada -*rtice * 5 o 9/ Exe'c>cio 1-11+ >ostre = e o nBmero de -*rtices em m grafo reg lar de gra & * par se & * &mpar/

Exe'c>cio 1-10+ >ostre = e no * poss&-el ter m gr po de : pessoas) no = al cada m con%ece exatamente 5 o tras pessoas/ Exe'c>cio 1-12+ >ostre = e se m grafo bipartite * reg lar) os dois s bgrafos Y e Z = e o compem tm o mesmo nBmero de arestas e o mesmo nBmero de -*rtices/ Exe'c>cio 1-18+ 'm grafo cBbico * m grafo simples reg lar de gra 5/ $onstr a 4 grafos cBbicos no,isomorfos/ Exe'c>cio 1-19+ ] al * o nBmero mximo de arestas em m grafo bipartiteA Exe'c>cio 1-1:+ >ostre = e o grafo da fig ra :a * isomorfo ao grafo da fig ra :c) redesen%ando,o passo a passo/ Exe'c>cio 1-1;+ >ostre = e os grafos da fig ra 43 so isomorfos/

<ig ra 43 Exe'c>cio 1-1<+ Pro-e = e = ais= er dois grafos conexos com n -*rtices) todos de gra 4) so isomorfos/ ?Exe'c>cio 1-1=+ Pro-e = e m grafo simples = e cont*m n -*rtices * necessariamente conexo se ele tem mais de (n,3)(n,4)D4 arestas/ Exe'c>cio 1-0@+ Desen%e m grafo conexo = e fica desconexo = ando = al= er ma das s a arestas * retirada/ Exe'c>cio 1-01+ Pro-e = e m grafo de n -*rtices satisfa.endo a condio do exerc&cio 3,4E a) * simples^ b) cont*m exatamente n 1 arestas/ Exe'c>cio 1-00+ >ostre = e dois grafos simples so isomorfos se e somente se o se s complementos so isomorfos/ Exe'c>cio 1-02+ ] ais dos grafos da fig ra 44 so isomorfosA (Pente com cada ma das t*cnicas explicada nessa apostila)

<ig ra 44 Exe'c>cio 1-08+ >ostre = e se n m gr po de pessoas) existem no m&nimo d as pessoas = e no se con%ecem) * poss&-el formar m s bgr po desse gr po tal = e nele no existem d as pessoas = e se con%ecem e = e toda pessoa no incl ida nesse s bgr po con%ece no m&nimo ma pessoa do s bgr po/ Exe'c>cio 1-09+ Pro-e = e m grafo conexo contin a conexo depois da remoo de ma aresta ai se e somente se ai fa. parte de m ciclo/ Exe'c>cio 1-0:+ Para cada grafo da fig ra 45) indi= e se ele * bipartite/ $aso ele *) redesen%e o grafo de maneira a disting ir os dois s bcon+ ntos de -*rtices/

<ig ra 45 Exe'c>cio 1-0;+ >ostre = e no existe m con+ nto independente de 5 -*rtices no grafo il strado na fig ra L/

Exe'c>cio 1-0<+ $onsidere o grafo da fig ra 9a/ H poss&-el transform,lo em grafo fortemente conexoA #e for) inspire,se da pro-a do teorema 3,: para transform,lo em grafo fortemente conexo/ Exe'c>cio 1-0=+ 'm to'neio * m grafo direcionado c +o grafo s b+acente * m grafo completo/ Pro-e = e nesse tipo de grafo no pode existir mais de m -*rtice de gra de entrada n lo e mais de m -*rtice de gra de sa&da n lo/ Exe'c>cio 1-2@+ $onsidere a fig ra 46/ ] ais desses grafos so isomorfos/

<ig ra 46 Exe'c>cio 1-21+ #e+a G m grafo direcionado simples de n -*rtices e a arestas/ a) Pro-e = e) se G * conexo) n 1 a n(n 1!/ b) ] ais so os limites inferior e s perior para a se G * fortemente conexoA Exe'c>cio 1-21+ Pro-e a -olta do Peorema 3,5/ Exe'c>cio 1-20+ #e+am G3 e G4 dois grafos simples de n -*rtices/ # pon%a tamb*m = e nesses grafos nen% m -*rtice poss i gra s perior a 4/ Propon%a m algoritmo em O(n! para determinar se esses grafos so isomorfos/ Exe'c>cio 1-22+ Pro-e = e se m grafo conexo G * decomposto em dois s bgrafos g3 e g4) existe necessariamente m -*rtice com m entre g3 e g4/ Exe'c>cio 1-28+ >ostre = e a nio de dois camin%os dis+ ntos (= e no tem aresta em com m) entre dois -*rtices res lta em m circ ito/ Exe'c>cio 1-29+ #e+a m grafo simples de n -*rtices tal = e por = al= er par de -ertices distintos -+ e -G) temos1 d(-+) F d(-G) n,3/ Pro-e = e esse grafo * necessariamente conexo/ Exe'c>cio 1-2:+ Desen%e G3 ' G4 nos trs casos il strados na fig ra 47/

<ig ra 47 Exe'c>cio 1-2;+ Determine = ais desses -etores de gra so grficos1 3/ V7) 7) 7) 5) 5) 4) 4) 4) 4) 4W 4/ V:) 9) 7) 7) 6) 5) 4) 4) 4W 5/ V6) 6) 5) 4) 3) EW Exe'c>cio 1-2<+ !riente as arestas dos grafos das fig ras 9a) :) 35) 45d e 45g para obter m grafmo fortemento conexo/ Exe'c>cio 1-2=+ >ostre = e = al= er -etor de gra de-e conter no m&nimo dois -alores ig ais/ Exe'c>cio 1-8@+ >ostre = e m -etor de gra corresponde a m m ltigrafo se e somente se a soma dos -alores desse -etor * par/ Exe'c>cio 1-81+ # pon%amos = e ning em tem mais de 4/EEE/EEE de cabelos/ 'tili.e a teoria dos grafos para mostrar = e de-e existir na cidade de #o Pa lo no m&nimo d as pessos = e tem exatamente o mesmo nBmero de cabelos/ Exe'c>cio 1-80+ >oste = e = al= er s bgrafo de m grafo bipartite * m grafo bipartite/