Está en la página 1de 5

Facultad Politcnica UNA Departamento de Ciencias Bsicas Lic. en Ciencias Informticas - Investi aci!

n "perativa II

Teora de Grafos
Definicin: Un grafo es un con#unto formado por unos elementos $ el con#unto de las relaciones entre estos elementos %#emplo& '( {.*-*,*+*)} * {{.*,}* {.*+}* etc} %l grafo es un par ordenado /( 0'* 12 donde& ' ( 0'.* '-*3.* 'n2* es el con#unto de elementos en el 4ue 'i corresponde al 5nodo o nudos i6. 1 ( 01.* 1-*3.* 1m2* es el con#unto de elementos en el 4ue 17(1i# en el arco 7 correspondiente entre los nodos 5i6 $ 5#6. arco 17(1i# i* nodo inicial #* nodo
final

Los elementos de que se compone un grafo son nodos o nudos y arcos. 8epresentemos a los elementos de X (los nodos) mediante puntos $ a los elementos de Y (los arcos) mediante flechas. Ejemplo: 1. . + 1. s 1) s 1, s 19 1+ 1: , ) Bucle o la;o Dado un arco 17 ( 0'i* '#2 diremos 4ue& 'i es el e<tremo inicial del arco 17. '# es el e<tremo final del arco 17. =i el e tremo inicial de un arco coincide con su e tremo final 17 ( 0'i* 'i2* diremos 4ue se trata de un !ucle o la"o. #n arco incide en un nodo cuando uno de los e<tremos 0final o inicial2 es el nodo. %#emplo& %l arco $ + incide en los nodos < , $ < $+ -

, Dos arcos son adyacentes si tienen al menos un nodo en com>n. %#emplo& $ 9 * $ :

Prof. ?s. A@el Bernal

-.-

Prof. Lic. Li; /on;le;

Facultad Politcnica UNA Departamento de Ciencias Bsicas Lic. en Ciencias Informticas - Investi aci!n "perativa II
Dos nodos son adyacentes si estn unidos por un arco. %#emplo& < . $ < ) $rado de un nodo: es el n%mero de arcos que inciden en &l %#emplo& < ) ( - 0arcos $ 9 * $ : 2 .

$9 )

$:

#n grafo es sim&trico cuando* e<istiendo el arco 0<i* <#2* tam@in e<iste el arco 0<#* <i2. %#emplo& . +

#n grafo es no sim&trico cuando* e<istiendo al >n arco 0<i* <#2* no e<iste el arco 0<#* <i2. %#emplo& . +

#n grafo es refle i'o si para <i 4ue pertenece a <* e<iste el arco 0<i* <i2 .

Prof. ?s. A@el Bernal

---

Prof. Lic. Li; /on;le;

Facultad Politcnica UNA Departamento de Ciencias Bsicas Lic. en Ciencias Informticas - Investi aci!n "perativa II
#n grafo es transiti'o si: %<isten 0<i* <#2* 0<#* <72 Ae<iste 0<i* <72 %#emplo& 0.*-2* 0-*,2 A e<iste 0.*,2 -

. #n grafo es completo si para cada par de nodos <i* <# e<iste al menos un arco 4ue relacione a <i $ a <#. . #n grafo es lleno cuando para cada par de nodos <i* <# e<isten los arcos& 0<i* <#2 0<#* <i2 0<i* <i2

, .

"@s& un rafo es lleno* si es refle<ivo $ simtrico. #n grafo es simple cuando es simtrico $ antirrefle<ivo 0sin @ucles2. %#emplo&

Prof. ?s. A@el Bernal

-,-

Prof. Lic. Li; /on;le;

Facultad Politcnica UNA Departamento de Ciencias Bsicas Lic. en Ciencias Informticas - Investi aci!n "perativa II
#n grafo es cliqu& cuando es simple $ es completo %#emplo& en este caso* es un cli4u de orden ,. -

Nota& %ntonces un rafo es cli4u cuando es& (imple: (im&trico e<istiendo el arco 0<i* <#2* tam@in e<iste el arco 0<#* <i2. )ntirrefle i'a no e<iste 0<i* <i2 sin @ucles. *ompleto: (i para cada par de nodos i+ j e<iste al menos un arco 4ue relacione a <i $ a <#. ,rden de un grafo es el n>mero de elementos del con#unto ' 0n>mero de nodos2. #n grafo es !ipartito cuando resulta posi@le esta@lecer dos su@con#untos <.*<- de <* tales 4ue cada arco perteneciente a 1 ten a un e<tremo en un su@con#unto $ otro e<tremo en el otro su@con#unto. %#emplo& . ) 9

Prof. ?s. A@el Bernal

-+-

Prof. Lic. Li; /on;le;

Facultad Politcnica UNA Departamento de Ciencias Bsicas Lic. en Ciencias Informticas - Investi aci!n "perativa II
"@s& <. $ <-* son dos su@ con#untos distintos #n camino es una secuencia de nodos $ arcos de tal manera 4ue cada arco del camino sale de un nodo $ lle a a otro nodo del camino. %#emplo& en el rafo de la fi ura un camino serCa& .* -* ,* )* B "tro& :* 9* .* -* ,* +* B. . ,

) + 9

Nota& un camino puede pasar por un nodo ms de una ve;. #n circuito es un camino cerradoD es decir* el nodo inicial coincide con el nodo final. %#emplo& en la fi ura anterior serCa* .* -* ,* )* :* 9* ..

Prof. ?s. A@el Bernal

-)-

Prof. Lic. Li; /on;le;