Unidad III.

Grafos
Teora de grafos 2-2010

Definiciones, representaciones, tipos de grafos y rboles

UNEFA-Ncleo Mrida

Grafo
UngrafoG esun par G=(V,E)donde Vesunconjunto finito de elementos
llamadosvrticesonodosyEunconjuntodeparesnoordenadosdevrtices
quesedenominanaristasoarcos.
Propiedades
ElnmerodevrticesdeungrafoG,eselordendelgrafo.
ElnmerodearistasdeungrafoG,essutamao.
Dosaristassonindependientessinotienenvrticesencomn.
Siunaaristarelacionadosvrtices(u,v)sedicenqueuyvsonvrtices
adyacentes.
Unlazoobucleesunaaristaquerelacionaalmismonodo;esdecir,una
aristadondeelnodoinicialyelnodofinalcoinciden.
Ejemplo:
Para el siguiente grafo, determine el nmero de vrtices y aristas; escriba
adems,dosvrticesadyacentesydosindependientes.

Figura1:Grafocon5vrticesy8aristas

Nmerodevrtices=5
Nmerodearistas=8
Losvrticesuyvsonvrticesadyacentes.
Losvrticesuywsonvrticesindependientes.

Gradodeunvrticeenungrafo
Sedenomina grado deunvrticevdeungrafonodirigidoGalnmerode
aristasqueincidenenv,ysedesignarg(v)(unlazoenvcontribuyedemanera
doblealgradodev).
Gradodeunvrticeenundigrafo
Enungrafodirigido,elgradodesalidaeselnmerodearistasquesalendel,y
elgradodeentradaeselnmerodearistasqueentranenl.Aunvrticede
grado0seledenominavrticeaislado.Aunvrticedegrado1seledenomina
vrticeterminaloextremo.
IncidenciadeunGrafo
Si(u,v)esunaaristadeungrafodirigido,decimosqueincidedesdeosalede
elvrticeu,quesersuvrticeinicial,yqueincidehaciaoentraenelvrtice
v,quesersuvrticefinal.Sisetratadeungrafonodirigido,decimosque(u,v)
simplementeincideenlosvrticesuyv,quesernsusvrticesextremos.

Unidad III. Grafos

Teora de grafos 2-2010

Definiciones, representaciones, tipos de grafos y rboles

UNEFA-Ncleo Mrida

RepresentacionesdelosGrafos
Existendiversasmanerasderepresentarungrafo.Lasmsdestacadasporsuuso
sonlassiguientes:
1.RepresentacinGrfica
Consisteenungrficoenquelosvrticesserepresentanmediantepuntos.En
funcindeltipodegrafoquesetenga,ocurre:
Losvrticesseunenmediantesegmentossielgrafoesnoorientado.
Losvrticesseunenmedianteflechasindicandoelvrticeorigenyfinalsiel
grafoesorientado.
Estetipoderepresentacinesadecuadaparalainterpretacinyresolucinde
problemasengrafospequeosomedianos.
Ejemplos:

Figura2:Grafonodirigido

Figura3:Grafodirigido

2.Representacinrelacional
Sebasaenlaaplicacinderepresentacinenparesordenadosdelarelacinque
componeelgrafo.

Figura4:Grafodirigidoparaelejemploderepresentacinenformaderelacin.

R={(v7,v6),(v7,v1),(v1,v2),(v6,v2),(v2,v5),(v2,v3),(v3,v4),(v5,v4)}
3.RepresentacinMatricial
3.1.MatrizdeAdyacencia:lamatrizdeadyacenciaasociadaalgrafoG=(V,E)
eslamatrizM=(mij)deordenpxpydefinidaenfuncindeltipodegrafoquese
tenga.
Sielgrafoesnodirigidosetiene:

Unidad III. Grafos

Teora de grafos 2-2010

Definiciones, representaciones, tipos de grafos y rboles

UNEFA-Ncleo Mrida

1siViVjE(SiViVjserelacionan)
mij=
0siViVjnoperteneceE(SiViVjnoserelacionan)
Sielgrafoesdirigidosetiene:

1siViVjEylaorientacindetalaristaesViVj
mij=
0siViVjnoperteneceoViVjEylaorientacinde
talaristaesVjVi
Ejemplo:
Unejemploderepresentacingrficadeungrafonodirigidoeselgrafoformado
por el conjunto de vrtices que representan las poblaciones anteriores: v1=
{Cerecinos de Campos}, v2 = {Villalpando}, v3 = {Valladolid}, v4 =
{Pozaldez},v5={MedinadelCampo},v6={Villaffila}yv7={Revellinos},y,
elconjuntodearistasquerepresentaladireccinenqueunapersonapuedeir
deunapoblacinaotraquedadescritoacontinuacin:
e1={CerecinosdeCampos,Villapando},e2={Villapando,Valladolid},
e3={Valladolid,Pozaldez},e4={MedinadelCampo,Pozaldez},
e5={Villalpando,MedinadelCampo},e6={Villaffila,Villapando},
e7={Revellinos,Villaffila}

Figura5:Grafodirigidoparaejemploderepresentacinrelacionalymatrizdeadyacencia.

UnapersonapuedeirdeRevellinosaCerecinosdeCamposoaVillaffila,pero
nopuedeirdeCerecinosdeCamposaRevellinos.
Lamatrizdeadyacenciaqueformaelgrafoanterioreselsiguiente:

Unidad III. Grafos

Teora de grafos 2-2010

Definiciones, representaciones, tipos de grafos y rboles

UNEFA-Ncleo Mrida

3.2. Matriz de Incidencia: sea G=(V,E)un grafo con vvertices y e aristas,

entonceslecorrespondeunamatrizvedenominadalamatrizdeincidencia
deG.SidenotamoslosverticesdeGporv1,v2,...,vv ylasaristaspore1,
e2,...,ee.EntonceslamatrizdeincidenciadeGeslamatrizM(G)=[mij]
dondemijeselnumerodevecesquelaaristaejincideenelverticevi;losvalores
son0,12(2enelcasoquelaaristaseaunlazo).
SiGesundigrafolamatrizdeincidenciasedefinecomosigue:
1,siviesincidentehaciaelarcoaj

Bij=1,siviesincidentedesdeelarcoaj

0,enotrocaso
4.ListadeAdyacencia
Consisteenunalistadelosvrticesdelgrafoyademsparacadavrticeuna
listadesusvrticesvecinos.
Ejemplo:

Figura6:Grafo.Matrizdeadyacencia.ListadeAdyacencia

Caminos,trayectorias,circuitosyciclos
Losgrafossonusadosdemanerahabitualpararepresentarredesdetransporte.
Para poder recorrer las redes de transporte es necesario conocer algunas
definicionesbsicas.
SeaungrafoG.SedenominauncaminoenGaunasucesindevrticesyde
aristasv0 ,e1,v1,e2,...,vn1,en,vn ,o,simplementev0,v1,...,vn1,vndondeei esel
arcodeextremos Vi1 y vi ,i=1,2,,n.Losvrtices v0 y v1 sedenominan
vrticeinicialyvrticefinal.Lalongituddelcaminoeselnmerodearistasn
quelocontiene.
Uncaminosedicequeescerradosiv0=vn.
Uncaminosedicequeessimplesinohayningunaaristarepetida.
Una trayectoria es un camino simple en el que no se repite ningn
vrtice.

Unidad III. Grafos

Teora de grafos 2-2010

Definiciones, representaciones, tipos de grafos y rboles

UNEFA-Ncleo Mrida

Un ciclo es un camino cerrado en el que no se repite ningn vrtice

exceptoelprimeroyelltimo.
Uncircuitoesuncaminocerradoenelquenoserepiteningunaarista.

Ejemplo:

Figura6: Camino.Ciclo.Circuito

Analticamente,uncaminoCpodraserC={v1,v2,v6,v7,v1,v6},uncaminocerrado
puede ser C1={v1,v2,v6,v7,v6,v1}, un camino simple es C2={v1,v2,v3,v4,v5,v3},
unatrayectoriaesC3={v1,v2,v3,v4,v5},uncicloserC4={v1,v2,v6,v1}yuncircuito
esC5={v1,v2,v3,v5,v2,v6,v1}.
TiposdeGrafos
1.GrafosPlanares: sedicequeungrafoGesplanarsisepuededibujarenel
planosinquelosladossecrucenfueradesusextremos.

Figura7:GrafoPlanar

2. Grafos Conexos: decimos que un vrtice u de un grafo es accesible (o

alcanzable)desdeotrovrticevsiexisteuncaminodeuav.
Ungrafonodirigidoes conexo sicadapardevrticesestconectadoporun
camino (es decir, todos los vrtices son mutuamente accesibles). Las
componentesconexasdeungrafosonlasclasesdeequivalenciadelosvrtices
bajolarelacindeaccesibilidad.Elgrafodelafiguraanterioresconexoyaque
cadapardevrticesestnconectadosporuncamino.Sinembargo,elsiguiente
grafonoesconexoytienedoscomponentesconexas.Estosedebeaque,por
ejemplo,alvrtice3nosepuedeaccederdesdeelvrtice1.

Figura8:Grafonoconexo

Unidad III. Grafos

Teora de grafos 2-2010

Definiciones, representaciones, tipos de grafos y rboles

UNEFA-Ncleo Mrida

Enunacomponenteconexa,todoslosvrticessonmutuamenteaccesibles;es
evidente,portanto,queungrafoesconexosiysolamentesitieneunanica
componenteconexa.Intuitivamente,lascomponentessonlosdiferentestrozos
conexosenqueelgrafosedescompone.
Enconclusin,Ungrafosepuede definir como conexosicualquiervrtice V
pertenecealconjuntodevrticesyesalcanzableporalgnotro.Otradefinicin
quedejaraestomsclarosera:ungrafoconexoesungrafonodirigidode
modoqueparacualquierpardenodosexistealmenosuncaminoquelosune.
Ungrafodirigidoesfuertementeconexosicualquiervrticeesaccesibledesde
cualquierotro.
3.GrafoCompleto: deordenn,quesedenotaporKn,eselgrafoquetienen
vrticesycadavrticeestunidoalosdemsporexactamenteunaarista.Un
grafocompletodenvrticestieneexactamente(n(n1))/2aristas.

Figura9:GrafosCompletos

4.GrafoBipartito:seaungrafoGyseasuconjuntodevrticesquepuedeser
expresadocomolaunindisjuntadedossubconjuntosdevrtices V1 y V2 de
formaquecadaaristadeGuneunvrticedeV1conotrodeV2,entoncessedice
que G es un grafo bipartito. Se cumple que V1V2=0, V1UV2=V. Un grafo
bipartito en el cual todos los elementos de V1 estn unidos con todos los
elementosdeV2sedenominagrafobipartitocompleto.

Figura10:GrafoBipartito

Unidad III. Grafos

Teora de grafos 2-2010

Definiciones, representaciones, tipos de grafos y rboles

UNEFA-Ncleo Mrida

5.GrafoSimple:sedenominagrafosimplealgrafoG={V,E}queverificaque
paratodou,vqueperteneceaV,existealosumounanicaarista{u,v}deEque
losune.Encasocontrariosellama multgrafo. Elgrafodeladerechaesun
grafosimpleyelgrafodelaizquierdaesunmultgrafo.

Figura11:GrafoSimple

6.GrafoNulo:sedenominagrafonuloaungrafodondeEesvaco,esdecir;el
conjuntodearistaseselconjuntovaco.Obviamenteenestetipodegrafotodo
vrticeesaislado.
Figura12:GrafoNulo

7.Subgrafo:unsubgrafodeungrafoGesungrafoformadoporunsubconjunto
devrticesdeGytodaslasaristasdeGquelosunen.

Figura13:Subgrafo

8.GrafoRegular:sellamagraforegularaungrafocuyosvrticestienentodos
elmismogrado.Sielgradodecadavrticeesr,setieneungraforegularde
grador.Todografonuloesungraforegulardegrado0.Todografocompleto
connvrticesesungraforegulardegradon1.

Figura3.13:GrafoRegular
Figura14:Graforegular

9.Pseudografo(dirigido):unpseudografoesungrafonodirigido(dirigido)que
aceptabuclesenG.

Figura15:Pseudografo

Unidad III. Grafos

Teora de grafos 2-2010

Definiciones, representaciones, tipos de grafos y rboles

UNEFA-Ncleo Mrida

10.GrafosIsomorfos(Isomorfismodegrafos):dosgrafossonisomorfoscuando
existe una correspondencia biunvoca (uno a uno), entre sus vrtices de tal
formaquedosdeestosquedanunidosporunaaristaencomn.
Si dos grafos G1 yG2 son isomorfos,tienen el mismo nmero de vrtices,el
mismonmerodearistas,elmismonmerodevrticesdecualquiergrado,el
mismonmerodeciclosdecualquierlongitud,etc.
Propiedad:
Dosgrafossimples G1y G2sonisomorfossiyslosiparaciertoordendesus
vrticeslasmatricesdeadyacenciasoniguales.
Ejemplos:
1.Grafosisomorfosatravsdedefinicindefuncionesqueloshacenisomorfos

Figura16:GrafosIsomorfos

UnposibleIsomorfismo:f(u1)=v1;f(u2)=v4;f(u3)=v3;f(u4)=v2
2.Variosgrafosisomorfossindefinicindefuncinalguna

Figura17:GrafosIsomorfos

11.GrafosOrientadosodgrafos:sedenominagrafodirigidoodgrafocuando
cada arista tiene unordenen susextremos. El orden se indica enla grfica
mediante una flecha. Se llama origen al primer vrtice de la arista y fin al
segundo.

Unidad III. Grafos

Teora de grafos 2-2010

Definiciones, representaciones, tipos de grafos y rboles

UNEFA-Ncleo Mrida

Figura18:Dgrafo

12.GrafodeEuler:En1736,Eulerresolvielproblemaconocidocomo
problemadelospuentesdeKnigsberg,queconsisteenlosiguiente:
DosislasenelroPregelquecruzaKnigsbergseunenentreellasyconlatierra
firme mediante siete puentes. Se plante la posibilidad de dar un paseo
empezandoporunacualquieradelascuatropartesdetierrafirme,cruzando
cadapuenteunasolavezyvolviendoalpuntodepartida.Fueresueltoporel
matemticoLeonhardEuleren1736.Adems,diunacaracterizacingeneral.

Figura19:PuentesdeKnigsberg

Los puentes de Knigsberg de manera grfica y mediante un grafo es la

siguiente:

Figura20:GrafoPuentesdeKnigsberg

SeaGungrafonodirigido.DenominamosrecorridoeulerianodeGauncamino
quepasaportodaslasaristasdeGapareciendocadaunadeellasexactamente
unavez.Si,adems,elrecorridoescerrado,sedenominaquehayuncircuito
euleriano y el grafo es euleriano. El grafo correspondiente a los puentes de
Knigsbergnoesungrafoeuleriano(notodoslosvrticestienengradopar).
Ungrafoeulerianoestcaracterizadoporlaparidaddelosgradosdelosvrtices
delasiguientemanera:
Ungrafoconexoeseulerianosiysolosicadavrticetienegradopar.
Todografoconexocuyosvrticessondegradoparesungrafoeuleriano.
Ungrafo(digrafo)eulerianoesaquelenquepuedenrecorrersetodassusaristas
(arcos)demaneraconsecutivaysinrepetirlas.

Unidad III. Grafos

Teora de grafos 2-2010

Definiciones, representaciones, tipos de grafos y rboles

UNEFA-Ncleo Mrida

13.Multgrafo:unmultgrafo(nodirigido)GesunparG=(V;A)dondeVes
unconjuntonovacodevrticesyAesunconjuntodearistasqueseidentifican
conconjuntosdeunoodosvrtices.Esdecir,paracadaaristaa Aexisten
vrticesx;yV(nonecesariamentedistintos)talesquea={x,y}.
Cola Euleriana: llamaremos cola euleriana en un multgrafo a una cola
(trayectoriasinaristasrepetidas)querecorratodaslasaristasdelmultgrafo.Si
lacolaeulerianaescerradalallamaremoscircuitoeuleriano.
AlgoritmodeFleury
Siunmultgrafo(V,A)tieneunacolaeulerianaC,puedeconstruirsemedianteel
siguientealgoritmo:
1.Empezarenunvrticexdegradoimpar.Sinolohay,empezarencualquier
vrticex.HacerC=x.
2.Sigr(x)=0parar,dondegreselgradodelvrtice.
3. Si gr(x)=1 con a={x,y}, tomar (V,A)=(V{x},A{a}), hacer C=Cay y
continuaren5.
4. Si gr(x)>1 elegir una arista a={x,y}, cuya eliminacin no desconecte el
multgrafo.Tomar(V,A)=(V,A{a})yhacerC=Cay.
5.Reemplazarxporyyvolvera2.
14.GrafosdeHamilton:SeaGungrafo(dirigidoono).UncaminosimpleenG
se dice que es hamiltoniano si el camino pasa por cada vrtices del grafo
exactamenteunavez.Uncicloquepasaexactamenteunavezporcadavrtice
(exceptoelvrticeinicial,queaparecetambincomofinal),sedenominaciclo
hamiltoniano. Ungrafoquecontieneunciclohamiltonianosedicequeesun
grafohamiltoniano.
Ejemplo:
W.R.Hamilton(18051865)invent(ypatent)unjuegoenelquesetratabade
hacerunrecorridopor20ciudadesdelmundosinpasarporningunamsdeuna
vez. Las ciudades estaban unidas por 30 aristas, formando el grafo de un
icosaedro.Esdecir,setratabadeconstruiruncaminoHamiltonianoenelgrafo
deldodecaedro.

Unidad III. Grafos

Teora de grafos 2-2010

Definiciones, representaciones, tipos de grafos y rboles

UNEFA-Ncleo Mrida

Figura21:JuegoHamilton

Eldodecaedroeshamiltoniano;elgrafodeHerschelnoeshamiltonianoporque
esbipartitoytienenunnmeroimpardevertices.

Figura22:a)dodecaedro.b)grafodeHerschel

rboles
El concepto general de rbol implica una estructura en la que los datos se
organizandemodoqueloselementosdeinformacinestnrelacionadosentres
atravsderamas.Elrbolgenealgicoeselejemplotpicomsrepresentativo
delconceptoderbolgeneral.
Definicin1:unrbolesungrafonodirigidoconexosinciclos.Unbosqueesun
grafonodirigidosinciclosperonoconexo.Unadefinicinequivalenteesqueun
bosqueesunaunindisjuntaderboles(deaquelnombre).Unrbolaveces
recibeelnombrederbollibre.

Unidad III. Grafos

Teora de grafos 2-2010

Definiciones, representaciones, tipos de grafos y rboles

UNEFA-Ncleo Mrida

Figura23:Grafo.Bosque.rbol

Definicin 2: un rbol consta de un conjunto finito de elementos, llamados

nodosyunconjuntofinitodelneasdirigidasllamadasramasqueconectanlos
nodos.
Definicin3: nrbolesunaestructuranolinealenlaquecadanodopuede
apuntaraunoovariosnodos.
Ejemplo:

Figura24:rbolconnodosyramas

Algunasdefinicionesdentrodelosrboles:

Figura25:rbolconnodosyramas

Encuantoalosnodos:
Nodohijo:cualquieradelosnodosapuntadosporunodelosnodos
delrbol.Enelejemplo,'L'y'M'sonhijosde'G'.

Unidad III. Grafos

Teora de grafos 2-2010

Definiciones, representaciones, tipos de grafos y rboles

UNEFA-Ncleo Mrida

Nodopadre:nodoquecontieneunpunteroalnodoactual.Enel
ejemplo,elnodo'A'espadrede'B','C'y'D'.
Los rboles con los que trabajaremos tienen otra caracterstica
importante:cadanodoslopuedeserapuntadoporotronodo,es
decir,cadanodoslotendrunpadre.Estohacequeestosrboles
estnfuertementejerarquizados,yesloqueenrealidadlesdala
aparienciaderboles.

Encuantoalaposicindentrodelrbol:
Nodoraz:nodoquenotienepadre.Esteeselnodoqueusaremos
parareferirnosalrbol.Enelejemplo,esenodoesel'A'.
Nodohoja:nodoquenotienehijos.Enelejemplohayvarios:'F',
'H','I','K','L','M','N'y'O'.
Nodorama:sonlosnodosquenopertenecenaningunadelasdos
categorasanteriores.Enelejemplo:'B','C','D','E','G'y'J'.
Caractersticasdelrbol,enrelacinasutamao:
Orden:eselnmeropotencialdehijosquepuedetenercadaelementode
rbol.Deestemodo,diremosqueunrbolenelquecadanodopuede
apuntaraotrosdosesdeordendos,sipuedeapuntaratresserdeorden
tres,etc.
Grado:elnmerodehijosquetieneelelementoconmshijosdentrodel
rbol.EnelrboldelaFigura25,elgradoestres,yaquetanto'A'como
'D'tienentreshijos,ynoexistenelementosconmsdetreshijos.
Nivel:sedefineparacadaelementodelrbolcomoladistanciaalaraz,
medidaennodos.Elniveldelarazesceroyeldesushijosuno.As
sucesivamente.EnelrboldelaFigura25,elnodo'D'tienenivel1,el
nodo'G'tienenivel2,yelnodo'N',nivel3.
Altura:laalturadeunrbolsedefinecomoelniveldelnododemayor
nivel.Comocadanododeunrbolpuedeconsiderarseasuvezcomola
razdeunrbol,tambinpodemoshablardealturaderamas.Elrboldel
ejemplotienealtura3,larama'B'tienealtura2,larama'G'tienealtura1,
la'H'cero,etc.
Propiedadesdelosrboles
Algunasdelaspropiedadescaractersticasdelosrbolessonlassiguientes:
Teorema: seaG=(V,E)ungrafoconnvrtices.Lossiguientesenunciadosson
equivalentes:
1.Gesunrbol.
2.DosvrticescualesquieradeGestnconectadosporunnicocaminosimple
(Dadosdosnodoscualesquieradeunrbol,existeexactamenteuncaminoque
losconecta.)
3.Gesconexoysisesuprimeunaaristadejadeserlo.
4.GesconexoyE=V1(unrbolconNnodostieneN1aristas)

Unidad III. Grafos

Teora de grafos 2-2010

Definiciones, representaciones, tipos de grafos y rboles

UNEFA-Ncleo Mrida

rbolesGeneradores
UnrbolTesunrbolgeneradordeungrafoGsiTesunsubgrafodeGque
contiene todos los vrtices de G. Un grafo puede tener varios rboles
generadores.

Figura26:Grafo

Problema:sedeseadeterminarquerutaspuedensercerradasdetalmaneraque
sepuedaseguirviajandoentrecualquierpardeciudades.
Unrbolgeneradorparaelproblemaoriginaleselsiguiente:

Figura27:rbolgenerador

Losalgoritmosmsusadosparaconstruirarbolesgeneradoresson:bsquedaen
profundidadybsquedaenamplitud,loscualesseenuncianacontinuacin:
1.Algoritmobsquedaenprofundidad
Enlabsquedaenprofundidadseavanzadevrticeenvrtice,marcandocada
vrtice visitado. La bsqueda siempre avanza hacia un vrtice no marcado,
internndoseprofundamenteenelgrafosinrepetirningnvrtice.Cuandose
alcanza un vrtice cuyos vecinoshansido marcados, se retrocede al anterior
vrticevisitadoyseavanzadesdeste.
Sea G(V,E) ungrafoconexoy v unvrticede V.Elalgoritmodebsquedaen
profundidadpuededetallarsedelasiguientemanera:
1.Secomienzaenunvrticev(vrticeactivo)ysetomacomolarazdelrbol
generadorTqueseconstruir.Semarcaelvrticev.
2.Seeligeunvrticeu,nomarcado,entrelosvecinosdelvrticeactivo.Sino
existetalvrtice,ira4.

Unidad III. Grafos

Teora de grafos 2-2010

Definiciones, representaciones, tipos de grafos y rboles

UNEFA-Ncleo Mrida

3.Seaadelaarista (v,u) alrbol T. Semarcaelvrtice u ysetomacomo

activo.Iralpaso2.
4.Sisehanalcanzadotodoslosvrticesde G elalgoritmotermina.Encaso
contrario, se toma el vrtice padre del vrtice activo como nuevo vrtice
activoysevuelvealpaso2.
2.Algoritmobsquedaenanchura(amplitud)
La bsqueda en anchura es otro procedimiento para visitar sistemticamente
todos los vrtices de un grafo. Es adecuado especialmente para resolver
problemasdeoptimizacin,enlosquesedebaelegirlamejorsolucinentre
variasposibles.Aligualqueenlabsquedaenprofundidadsecomienzaenun
vrtice v (la raz) que es el primer vrtice activo. En el siguiente paso se
etiquetancomovisitadostodoslosvecinosdelvrticeactivoquenohansido
etiquetados.Secontinaetiquetandotodoslosvecinosdeloshijosdev(queno
hayansidovisitadosan).Enesteprocesonuncasevisitaunvrticedosveces
porloqueseconstruyeungrafosinciclos,queserunrbolgeneradordela
componenteconexaquecontieneav.
Sea G(V,E) ungrafoconexoy v unvrticede V.Elalgoritmodebsquedaen
anchurapuededetallarsedelasiguientemanera:
1.DesignamosavcomovrticeactivoycomorazdelrbolgeneradorTquese
construir.Seleasignaavlaetiqueta0.
2.Seai=0yS={v}.
3.HallarelconjuntoMdetodoslosvrticesnoetiquetadosquesonadyacentes
aalgnvrticedeS.
4.SiMesvacoelalgoritmotermina.Encasocontrario,seetiquetantodoslos
vrticesdeMconi+1,seaadenaTlasaristasentrecadavrticedeSysu
vecinoenMysehaceS=M.
5.i=i+1yvolveralpaso3.
rbolesGeneradoresMinimales
Un rbolgeneradormnimo deungrafoponderadoesunrbolgeneradortal
quelasumadelospesosdesusaristaseslamnimaposibledeentretodoslos
rbolesgeneradores.
Separtedeungrafoponderado(conpeso)connvrtices.Laideaesconstruir
unsubgrafoqueunaatodoslospuntosperoconelmnimodepeso(elpesose
refierealvalorqueseledaacadaunodelosladosdeungrafo).Estesubgrafo
debeserunrbolgenerador,yaquedebeunirtodoslosvrtices,debeserconexo
ydebehaberunnicocaminoentrecadapardevrtices,porlotanto,loquese
necesitaesunrbolgeneradorconelmnimodepeso,esaestoloquesellama
rbolgeneradorminimal.
Ejemplo:
SeaelgrafoGquesemuestraacontinuacin,sedeseaencontrardosrboles
generadoresdeGyentreellosescogerelrbolgeneradorminimal.

Unidad III. Grafos

Teora de grafos 2-2010

Definiciones, representaciones, tipos de grafos y rboles

UNEFA-Ncleo Mrida

Figura28:GrafoG

DosrbolesgeneradoresdelgrafoGsonlossiguientes:

Figura29:rbolT1

Figura30:rbolT2

ComosedijopreviamentelosrbolesT1yT2sonrbolesgeneradoresdeG,sin
embargoelpesodeambosesdistinto(T1=32yT2=41).Porlotantoelrbol
GeneradorMinimaldeGesT1.

Unidad III. Grafos

Teora de grafos 2-2010

Definiciones, representaciones, tipos de grafos y rboles

UNEFA-Ncleo Mrida

Ejercicio:

Figura30:GrafoPonderado

Qu aristas deberan mantenerse, para asegurar que hay un camino entre

cualquierpardeciudadesyelcostototalseaelmenorposible?
Existendosalgoritmosvoracesparaencontrarrbolesgeneradoresmnimos:
AlgoritmodePrim
AlgoritmodeKruskal
1.AlgoritmodePrim
EstealgoritmofupropuestoporRobertPrimen1957.Laideadelalgoritmoes
lasiguiente:
Ordenararcosdemenoramayor.
Insertarlamenoraristaapartirdelnododado.
Recorrerlalistademenoramayoreirinsertandoaquellasaristasque
sean incidentes con un vrtice que ya est en el rbol y se evala la
condicin de que no se formen ciclos con las que ya han sido
incorporadas.
Elalgoritmosedetienecuandosehanaadidon1aristas.
2.AlgoritmodeKruskal
Estealgoritmofuedescubiertopor JosephKruskalen1956.Lospasosquese
debenseguirparaconstruirunrbolgeneradorminimalapartirdelalgoritmo
deKruskalsonlossiguientes:
Ordenararcosdemenoramayor.
Aadirsucesivamentearistasdepesomnimoquenoformeciclosconlas
queyahansidoincorporadas.
Elalgoritmosedetienecuandosehanaadidon1aristas.