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.

ADJAC !C"A (V"#"!$A!%A)

Duas arestas so consideradas adjacentes, ou vizinhas, se possu&rem um vrtice em comum. Da mesma 'orma, dois vrtices so adjacentes se possu&rem uma aresta em comum.

"()*)+,"(*)
Dois -ra'os so isomor'os entre si, se e somente se 'or poss&ve. a.terar os nomes dos vrtices de um de.es de ta. modo /ue os dois -ra'os 'i/uem e0atamente i-uais, mantendo1se as mesmas .i-a23es. 4ara /ue dois -ra'os sejam isomor'os, no m&nimo, as se-uintes condi23es t5m /ue ser respeitadas6 7. )s dois t5m o mesmo n8mero de vrtices e arestas. 9. )s dois t5m o mesmo n8mero de vrtices de -rau n, para /ua./uer va.or n entre : e o n8mero de vrtices /ue o -ra'o contm.

;+"V"A<
=m -ra'o chamado de ;rivia. se tiver apenas um vrtice e nenhuma aresta.

G+A,) D> A+>(;A(

) -ra'o de arestas de um -ra'o G, o -ra'o 'ormado por vrtices -erados a partir das arestas de G e com arestas se 'ormam a partir das adjac5ncias das arestas de G.

<A%)
=m .a2o uma aresta /ue possui as duas e0tremidades em um mesmo vrtice de G.

*=<;"G+A,)
=m mu.ti-ra'o um -ra'o /ue possui, pe.o menos, um par de arestas com vrtices i-uais.

G+A=
) -rau de um vrtice a /uantidade de vrtices adjacentes a e.e. Dizemos /ue um -ra'o re-u.ar de -rau /uando todos os vrtices possuem o mesmo -rau. =m -ra'o re-u.ar de -rau ! possui (V ? !)@9 arestas, onde V a /uantidade de vrtices. !a 'i-ura 7:, temos um -ra'o re-u.ar de -rau com 79 arestas, ou seja, (A?B)@9. =m vrtice de -rau zero chamado de iso.ado. ) -rau mC0imo de um -ra'o, denominado de de.ta, o -rau do maior vrtice do -ra'o. =m -ra'o re-u.ar de -rau B chamado de -ra'o c8bico.

CA*"!$)
) caminho uma se/D5ncia de vrtices, onde um vrtice e seu sucessor na se/D5ncia possuem uma aresta .i-ando1os. ) anC.o-o de sucessor o antecessor. A /uantidade de arestas chamada de comprimento do caminho. !o e0emp.o dado, o caminho tem comprimento i-ua. a E (cinco). (e todos os vrtices do caminho 'orem distintos, esse caminho recebe o nome de caminho simp.es ou e.ementar. (e todas as arestas 'orem distintas, esse caminho chamado de trajeto ou tri.ha. ) caminho dito &mpar se tiver comprimento &mpar e par e se tiver comprimento par. F chamado de caminho hami.toniano, o caminho simp.es entre todos os vrtices de um -ra'o. F chamado de caminho eu.eriano, o trajeto /ue contm todas as arestas de um -ra'o.

D"(;G!C"A

A distHncia entre dois vrtices de um -ra'o o menor comprimento dos caminhos entre esses dois vrtices.

C"C<)
=m cic.o um caminho /ue inicia e termina em um mesmo vrtice. !a 'i-ura 7:, podemos e0emp.i'icar um cic.o, com o caminho6 v7 I vE I vB I vJ I v9 I v7. (e todos os vrtices do cic.o 'orem distintos, dizemos /ue o cic.o simp.es ou e.ementar. =m -ra'o /ue no possui cic.o chamado de ac&c.ico. ) menor cic.o do -ra'o chamado de cintura e o maior cic.o chamado de circun'er5ncia. =m -ra'o uma -aio.a se 'or re-u.ar em -rau e possuir uma cintura. =ma aresta /ue une dois vrtices no consecutivos de um cic.o chamada de corda. F chamado de cic.o hami.toniano, o cic.o simp.es entre todos os vrtices de um -ra'o. F chamado de cic.o eu.eriano, o cic.o do trajeto /ue contm todas as arestas de um -ra'o. =m -ra'o, /ue contm um caminho eu.eriano e no possui um cic.o eu.eriano, chamado de unicursa..

C)!>K)
=m -ra'o G cone0o se e somente se, e0istir um caminho entre todos os pares de vrtices do -ra'o G. Caso a.-um vrtice de G no tenha caminho com a.-um outro vrtice de G, chamamos esse -ra'o de descone0o.

>KC<=(L) > "!C<=(L) D> ><>*>!;)(

A opera2o de e0c.uso de um vrtice, automaticamente e0c.ui todas as arestas a e.e associadas, visto /ue uma aresta sM e0iste se seus vrtices e0tremos e0istirem. A inc.uso de um vrtice, no necessariamente, obri-a a inc.uso de uma nova aresta, pois podem e0istir e.ementos descone0os.

(=NG+A,), G+A,) 4A+C"A< e (=4>+G+A,)

=m sub-ra'o de um -ra'o G o -ra'o 'ormado pe.a subtra2o de um ou mais vrtices de G, sendo /ue o sub-ra'o deve ter, no m&nimo, um vrtice. Chamamos de -ra'o parcia. (ou sub-ra'o -erador) de G, um -ra'o 'ormado pe.a subtra2o de arestas do -ra'o G. ) -ra'o /ue deu ori-em a um sub-ra'o ( ou a um -ra'o parcia. 4 chamado de super-ra'o de ( ou de 4 respectivamente. Dizemos /ue um sub-ra'o prMprio /uando e.e possui, pe.o menos um vrtice ou aresta a menos /ue seu super-ra'o, ou seja, um sub-ra'o no prMprio /uando e0atamente i-ua. a seu super-ra'o.

;A*A!$)
) tamanho de um -ra'o dado pe.a /uantidade de vrtices e arestas do mesmo. 4or e0emp.o, o -ra'o da 'i-ura 79.a tem tamanho i-ua. a J,A, ou seja, possui seis vrtices e oito arestas. A /uantidade de vrtices de um -ra'o chamada de cardina.idade do -ra'o.

*AK"*A< > *"!"*A<

>m re.a2o a ser cone0o, apenas o -ra'o trivia. minima. de um -ra'o /ua./uer.

C)*4)!>!;>( C)!>K)(
Chamamos de componentes cone0os de G a /uantidade de sub-ra'os ma0imais de G, /ue sejam cone0os.

C)*4<>;)
=m -ra'o G comp.eto, se e somente se, para /ua./uer par de vrtices distintos de G, e0iste

uma aresta .i-ando1os.

C)*4<>*>!;)
) comp.emento de um -ra'o G um -ra'o GO, onde GO possui e0atamente os mesmos vrtices de G, porm, possui todas as arestas /ue no esto presentes em G, sendo /ue nenhuma aresta de GO i-ua. a uma aresta de G.

N"4A+;"D)
=m -ra'o chamado de bipartido /uando seu conjunto de vrtices V pode ser dividido em dois subconjuntos distintos V7 e V9, tais /ue todas as arestas do -ra'o, possuam, em suas e0tremidades, um vrtice de cada subconjunto. "sto si-ni'ica /ue o -ra'o bipartido no pode conter uma aresta /ue .i-ue dois vrtices de um mesmo subconjunto. Chamamos de -ra'o bipartido comp.eto, o -ra'o bipartido /ue possua uma aresta entre cada par /ua./uer de vrtices de V7 e V9. ) -ra'o bipartido comp.eto denotado por P!7,!9, onde !7 a /uantidade de vrtices do subconjunto V7 e !9 a /uantidade de vrtices do subconjunto V9. ) -ra'o P7,B conhecido como Garra. =m conjunto de vrtices /ua./uer de um -ra'o G, /ue no possua arestas .i-ando os membros deste conjunto, chamado de conjunto estCve. de vrtices de G. =m -ra'o bipartido dito ba.anceado se a /uantidade vrtices de seus conjuntos 'orem i-uais.

C<"Q=>
) c.i/ue, de um -ra'o G, um sub-ra'o de G /ue seja comp.eto. >m contra partida, temos o conjunto independente de vrtices, /ue um sub-ra'o de G tota.mente descone0o, ou seja, um sub-ra'o 'ormado apenas de -ra'os triviais, sem nenhuma aresta. ;>)+>*A( ;eorema :76 =m -ra'o G cone0o possui cic.o eu.eriano se e somente se todos os vrtices de G possu&rem -rau par. ;eorema :96 =m -ra'o bipartido se e somente se todo cic.o de G possuir comprimento par.