Definiciones Bsicas

Grafo: Un grafo G es una dupla G = (X, U), donde X es un conjunto finito y no vaco
de elementos llamados vrtices y U es el conjunto cuyos elementos se componen de
subconjuntos de X de cardinalidad dos (2), llamados aristas.

Los vrtices de X se llaman usualmente x1, x2, x3,..., xn y se representan como puntos,
las aristas u1, u2, u3,..., um se dibujan como lneas.

Grafo orientado: Un grafo G* es orientado, cuando sus aristas tienen asignadas

direcciones, o sea cuando existe una relacin de precedencia entre los elementos. Sus
puntos se llaman nodos, y sus lneas arcos. En estos casos U es una familia de pares
ordenados resultantes del producto cartesiano de X.
U XxX = {ui = (xk, xj): 1 i |U|, 1 j, k |X|, xk, xj X}

Ejemplo:
G* = ({x1,x2,x3}, {(x1,x2), (x3,x1), (x3,x2)}) .
x2

x1

x3
En realidad, no existen dos especies de grafos, orientados y no orientados, sino que
todos los grafos son orientados, pero por razones conceptuales, es poco cmodo
considerar las lneas x3 orientadas para los problemas de naturaleza no orientada.
Cada vez que apliquemos un concepto orientado en un grafo G = (X, U) ese concepto
deber ser considerado como aplicable de hecho, en un grafo orientado G* al que le
corresponde la orientacin en los dos sentidos de cada arista.

Orden es el nmero de vrtices del grafo, el cardinal del conjunto X de vrtices: |X|

Arcos incidentes a un nodo

Si un vrtice x es extremidad inicial de un arco u = (x,y) y x y, diremos que el
arco es incidente a x hacia el exterior. I+(x)={y / (x,y) U}. I-(x)={y / (y,x)
U}

El nmero de los arcos incidentes hacia el exterior se llama semigrado exterior

de x y se nota d+(x) = |I+( x)|
 De igual forma se define arco incidente a x hacia el interior y semigrado
interior de x. Este ltimo se nota como d-(x) = |I-(x)|.

Grado de x, es la suma del semigrado exterior e interior de x. O sea, es el nmero de

arcos con una extremidad en x.

d(x) = d+(x) + d-(x)

Si todos los vrtices tienen el mismo grado, el grafo al que pertenecen se llama grafo
regular.
Recorrido de grafos
Cadena (concepto no orientado):
Es una secuencia de aristas de G, tal que cada arista de la secuencia tiene un
extremo comn con el arco precedente y otra con el siguiente.

Largo de una cadena, es el nmero de aristas de la secuencia.

Cadena elemental, es aquella que no repite vrtices.

Cadena simple, es aquella que no repite aristas.

Camino (concepto orientado)

Es una cadena = {u1, u2,..., uq} en la que para todo ui (con i < q) el extremo
terminal de ui coincide con el extremo inicial de ui+1.

Las definiciones de largo de un camino, camino elemental y camino simple son

anlogas a las de cadenas, con la salvedad de la orientacin.

Sendero, es un camino elemental (que no repite nodos).

Va, es un camino cuyos arcos se pueden recorrer en su sentido directo o contrario.

Ejemplo: Problema del camino entre dos puntos. El siguiente es un ejemplo de cmo
modelar una porcin del universo, su problemtica y como resolverla.

Supongamos que un hombre debe pasar a la otra orilla de un ro llevando consigo una
oveja, un repollo y un lobo. El inconveniente que se le plantea es que slo puede cruzar
con uno de ellos a la vez y sospecha que si deja solos a la oveja con la repollo con el
lobo, la oveja se comer al repollo el lobo se comer a la oveja. Teniendo en cuenta
estas restricciones, el sujeto dibuja sobre la arena de la orilla un grafo y aplicando alguna
heurstica o algn algoritmo conocido, encuentra el camino que debe seguir para llegar
a la otra orilla con su carga intacta.
Utilice el siguiente procedimiento:

0) Dibuja el grafo: Existen 4 elementos que determinan las situaciones en cada orilla,
ellos son:
H Hombre C Repollo L Lobo O Oveja

1) Enumera las situaciones en una de las orillas comenzando por H, C, L, O.

2) Luego las ordena considerando:

a) se encuentra el hombre en esa orilla o no: H vs noH.
b) pasaje o secuencia de una situacin a otra. (obs. que no se puede pasar de una
situacin en la que est el hombre a otra en la que tambin est)

3) Por ltimo busca en el grafo un camino del estado inicial al estado final.