La teora de los grafos se ha desarrollado rpidamente, debido al gran numero de aplicaciones y resultados sorprendentes que se han obtenido a la fecha.

Definicin: Sea un conjunto con un numero finito(*) de elementos, que designamos por las letras X1,X2,,Xn y a este conjunto por X(escribimos simblicamente). X={x1,x2,,xN} Si cada elemento xj x, hacemos corresponder cero o uno, o varios elementos de x, formamos un Grafo en el sentido de la teora de los conjuntos. Llamamos de T esta ley que representa la correspondencia considerada podemos representar el grafo por: G=(X,T)

Tomemos como ejemplo para aclarar la definicin; sea un conjunto de 6 elementos: X={A,B,C,D,E,F} (*) La teora de los grafos se aplica tambin para un numero infinito de elementos y si consideramos a ley de formacin definida por el smbolo: TA={B,C,D} ; TB={A,B,C} ; TC={B,D,E,F} TD={C,D,E} ; TE={C,E} ; TF={}

Donde el smbolo {} representa el conjunto vacio y posee el mismo valor cero en la numeracin. Podemos representar el grafo, como la figura no 1; o puede ser representada en la tabla de doble entrada o matriz:

Figura No 1:

B F C A E D

En la teora de los conjuntos, se llama Grafo, toda aplicacin de un conjunto en si mismo, el smbolo representa esta aplicacin.

A B C D E F

A 0 1 0 0 0 0

B C D E 1 1 1 0 1 1 0 0 1 0 1 1 0 1 1 1 0 1 0 1 0 0 0 0

F 0 0 1 0 0 0

Definamos ciertos elementos que entran en la teora de los grafos: a) Vrtice: Cualquier elemento de un conjunto que forma un grafo se llama vrtice. En la figura no 1, A,B,C,D,E,F son vrtices del grafo. b) Arco: Un par orientado (xi,xj),formado por los vrtices xi---xj se llama arco, as en la figura no 1, tenemos los arcos: (A,B),(B,A),(A,C). Podemos designar el grafo indistintamente por: G=(X,T) o G=(X,U)

c) Camino: Es una secuencia ordenada de arcos, tal que la extremidad de cada arco coincida con la extremidad siguiente. As en el ejemplo: (A,B,C,F); (A,C,D,E,C,F) son caminos. d) Circuito: Es un camino cuyo vrtice inicial coincide con el final. As son circuitos (ACBA); (ADECBA); (B,B). e) Longitud de Camino: Es la separacin entre dos puntos; es el numero de arcos del camino o del circuito. As la longitud de (A,B,C,F) es 3.

f) Arista: Cuando dos vrtices estn ligados por una lnea no orientada, se dice que entre ellas hay una arista, una arista puede ser desdoblada en dos arcos. g) Cadena: Es una sucesin de aristas adyacentes o una sucesin de arcos adyacentes en el cual se considera la orientacin de los arcos(B,C,A,D,E), no es un camino por causa del arco AC, si es una cadena.

h) Grafo Conexo: Un grafo es conexo si entre todo par de vrtices del mismo existe por lo menos una cadena. Un grafo es fuertemente conexo si entre todo par de vrtices existe por lo menos un camino. El grafo de la fig. No 1, no es fuertemente conexo pues no existe caminos de F a los dems vrtices.

i) Grafo anti - simtrico: Consideramos el conjunto U de los arcos del grafo, si para todo arco (Xi,Xj), pertenece a U, el arco (Xj,Xi), si en el sentido inverso no pertenece a U, se dice que el grafo es antisimtrico.

La teora de los grafos se preocupa en resolver problemas como: A) Grafos particulares(Arboles) B) Caminos sobre un grafo C) Flujos en un grafo Definicin: Se llama rbol a todo grafo con N vrtices, con N>1 que satisfaga a cualquiera de las propiedades abajo: a.1) G es sin ciclos y posee (N-1) aristas a.2) G es conexo y sin ciclos a.3) G posee(N-1) aristas y es conexo a.4) G Dos vrtices cualquiera de G, estn siempre ligados por una nica cadena.

Grafo:

5 6 1 2

7
4 9

12

8
11

10

13

rbol: Sumatoria l(u)=44

6 1 4 8 13 12

Siempre a cada arista y/o arco existe un parmetro a el asociado, dado que: G=(X,U), un numero l(u)>=0 asociado a cada arco ser llamado Longitud de Arco. Luego podemos definir:

Sera aquella cuya suma de los valores asociados a la arista sea mnima. Ej.: Fig. N 2-1. rbol Mnimo: Sumatoria l(u)=30

5
2

1
1

2 3
3

9 10
6

Sera aquella cuya suma de los valores asociados a la arista sea mxima. Ej.: Fig. N 2-2. rbol Mximo: Sumatoria l(u)=58

12

10 13 11

Toda vez que se tuviera problemas de estructura de redes de comunicacin, este podr ser transformado en un problema de rbol(Mxima o Mnima). As dado un conjunto de puntos entre los cuales se tenga algunos pares que puedan admitir una ligacin cualquiera, como: Ferrocarriles Carreteras Redes elctricas Redes hidrulicas (Esgoto) Podemos definir un grafo G(X,U) en que:

X=Conjunto de puntos G(X,U) en que: U= Conjunto de aristas que representan las posibles ligaciones. El problema consiste en construir un sub-grafo o rbol que satisfaga la condicin de mnimo costo de inversin. Otro problema es determinar el recorrido mas corto o mas barato o mas rpido, que pase por todos los vrtices del grafo.

A) Solucin sobre el grafo - figura no 2-1 Sea el grafo G=(X,U) de N puntos de y l(u), los parmetros asociados a cada arista y/o arco, que ligan los puntos. Sea el conjunto U=(U1,.Un) de aristas que forman el rbol, G=(X,U). Esta es obtenida de la siguiente forma: A.1) Se adopta U1, como la arista de menor valor asociado l(u1). A.2) Se adopta U2, esto es, U2 U1, talque U2 y U1 no formen ciclos. El parmetro l(U2)>=l(U1). A.3) En seguida se adopta U3, como arista de menor valor asociado exceptuando U1 y U2, esto es U3 U1 y U3 U2, talque U3, U2, U1 no formen ciclos(Circuitos). El parmetro l(U3)>=l(U2)>=l(U1) A.4) y as sucesivamente hasta Un-1. En esta altura el rbol mnimo ya habr llegado a su puno final.

B) Solucin de la matriz Representamos en forma matricial el grafo de la figura N 2:

1 2 3 4 5 6 7

1 0 1 3 2 5 0 0

2 1 0 4 7 6 0 0

3 4 3 2 4 7 0 8 8 0 0 0 11 10 0 9

5 5 6 0 0 0 0 12

6 0 0 11 10 0 0 13

7 0 0 0 9 12 13 0

La matriz es simtrica, ya que cuando tenemos aristas se puede ir de Xi..Xj, cuando XjXi, con el mismo valor asociado. El procedimiento para la determinacin del rbol mnimo es la siguiente: B.1) Se toma Aij mnimo sealndose su correspondiente simtrico Aji. B.2) Enseguida se toma el mnimo Aij y Aji que no es sealado, de tal modo que, considerndose el movimiento de una torre en un tablero y partindose de ese nuevo valor, no se consiga en forma ciclos. Si no forma el ciclo, sealar ese valor. B.3) Repetir la operacin para Aij. Si se forma ciclos, este ultimo valor escogido deber ser excluido de la matriz.

1 2 3 4 5 6 7

1 0 1 3 2 5 0 0

2 1 0 4 7 6 0 0

3 4 3 2 4 7 0 8 8 0 0 0 11 10 0 9

5 5 6 0 0 0 0 12

6 0 0 11 10 0 0 13

7 0 0 0 9 12 13 0

El rbol es construida por: 1-2 ; 1-3 ; 1-4 ; 1-5 ; 4-6 ; 4-7

Son validas todas las exposiciones del items anterior. Solamente que en vez de considerar valores mnimos, se considera los valores mximos. Un ejemplo del rbol mxima esta en la figura 22.