Programacin no numrica: Grafos

Enviado por felcos

Definicin de grafo:
Desafortunadamente no existe una terminologa estandarizada en la teora de los grafos, por lo tanto es
oportuno aclarar que las presentes definiciones pueden variar ligeramente entre diferentes publicaciones
de estructura de datos y de teora de grafos, pero en general se puede decir que un grafo como indica su
nombre lo indica es la representacin (para nuestro caso) grfica de los datos de una situacin particular,
ejemplo:
Los datos contienen, en algunos casos, relaciones entre ellos que no es necesariamente jerrquica. Por ejemplo,
supongamos que unas lneas areas realizan vuelos entre las ciudades conectadas por lneas como se ve en la
figura anterior (ms adelante se presentaran grafos con estructuras de datos); la estructura de datos que refleja
esta relacin recibe el nombre de grafo.
Se suelen usar muchos nombres al referirnos a los elementos de una estructura de datos. Algunos de ellos son
"elemento", "tem", "asociacin de tems", "registro", "nodo" y "objeto". El nombre que se utiliza depende del
tipo de estructura, el contexto en que usamos esa estructura y quien la utiliza.
En la mayora de los textos de estructura de datos se utiliza el termino "registro" al hacer referencia a archivos y
"nodo" cuando se usan listas enlazadas,arboles y grafos.
Tambin un grafo es una terna G = (V,A,j ), en donde V y A son conjuntos finitos, y j es una aplicacin que
hace corresponder a cada elemento de Aun par de elementos de V. Los elementos de V y de A se llaman,
respectivamente, "vrtices" y "aristas" de G, y j asocia entonces a cada arista con sus dos vrtices.
Esta definicin da lugar a una representacin grfica, en donde cada vrtice es un punto del plano, y cada arista
es una lnea que une a sus dos vrtices.

Si el dibujo puede efectuarse sin que haya superposicin de lneas, se dice que G es un grafo
plano. Por ejemplo, el siguiente es un grafo plano:
puesto que es equivalente a este otro:

Representacin de un grafo:
Existen dos formas de mantener un grafo "G" en la memoria de una computadora, una se
llama Representacin secuencial de G, la cual se basa en la matriz de adyacencia A; la otra forma, es la
llamada Representacin enlazada de G y se basa en listas enlazadas de vecinos. Independientemente de la
forma en que se mantenga un grafo G en la memoria de una computadora, el grafo G normalmente se
introduce en la computadora por su definicin formal: Un conjunto de nodos y un conjunto de aristas

Representacin secuencial de un grafo:

Considere el grafo siguiente "G":

y suponga que los nodos se mantienen en memoria en un array DATOS tal como sigue:
DATOS: X, Y, Z, W
Para hallar la matriz de adyacencia A del grafo "G", tenemos que tomar en cuenta que los nodos estn
normalmente ordenados de acuerdo con la forma en que aparecen en memoria; o sea, asumimos que u 1 = X,
u 2 = Y, u 3 = Z, y u 4 = W, la matriz de adyacencia A de G seria la siguiente:

aqu a i j = 1 si hay una arista u i a u j ; si no a i j = 0.

As entonces para hallar la matriz de camino P de G mediante las potencias de la matriz de adyacencia A,
como G tiene cuatro nodos se calcula

por lo tanto la matriz de caminos P se obtiene ahora haciendo pi j = 1 siempre que haya una entrada positiva
en la matriz B4 . as

La matriz de caminos muestra que no hay camino de u 1 a u 2 de hecho, no hay camino de ningn nodo a
u 1 por tanto, G no es fuertemente conexo.

Representacin enlazada de un grafo:

Un grafo "G" se guarda en memoria como sigue:
NODO
SIG
ADY

PRINCIPIO = 1, NDISP = 5
DEST
ENL

ADISP = 8
Para dibujar el respectivo grafo "G", primero debemos buscar todos los vecinos de cada NODO[K] recorriendo
su lista de adyacencia que tiene el puntero de adyacencia ADY[J]. Esto da como resultado:
A: 2(B) y 6(D)
B: 6(D), 4(E) y 7(C)
C: 4(E)
D: 4(E)
E: 6(D)

Entonces procedemos a dibujar

el diagrama del grafo como sigue:
Sea G un grafo dirigido con m nodos. La representacin secuencial de G en la memoria, o sea, la
representacin de G por su matriz de adyacencia A, tiene unas cuantas desventajas importantes.

En primer lugar, puede ser difcil insertar y eliminar nodos de G, esto es por que el tamao de A debera ser
cambiado y los nodos deberan ser reordenados, as que habra muchos cambios en la matriz A; ms aun, si el
numero de aristas es O(m) o O(m log2 m), entonces la matriz A estar desperdiciada (contendr muchos
ceros); por tanto, se desperdiciar una gran cantidad de espacio; entonces G normalmente se representa en
memoria por una representacin enlazada, tambin llamada estructura de adyacencia.

Considere el
grafo G de la figura siguiente y su respectiva tabla de adyacencia, donde se muestra cada nodo de G seguido
por la lista de nodos adyacentes, tambin llamados sucesores o vecinos.

Para apreciar aun ms esta

situacin, podemos tambin usar un diagrama esquemtico de la representacin enlazada de G en la memoria,
especficamente, la representacin enlazada contendr dos listas (o archivos), una lista de nodos NODO y una
lista de aristas ARISTA, tal como sigue:
Cada elemento de la lista NODO corresponder a un nodo de G y ser un registro de la forma:
NODO

Aqu NODO ser el nombre o valor clave del nodo, SIG ser un puntero al siguiente nodo de la
lista NODO y ADY ser un puntero al primer elemento de la lista de adyacencia del nodo, que se mantiene en
la lista ARISTA; el rea restante indica que puede haber otra informacin en el registro, tal como el grado de
entrada GraEnt del nodo, el grado de salida GraSal del nodo, el ESTADO del nodo durante la ejecucin de
un algoritmo, etc.
Adicional a esto, cada elemento de la lista ARISTA corresponder a una arista de G y ser un registro de la
forma:

DEST

Donde el campo DEST apuntar a la posicin en la lista NODO del nodo destino o terminal de la arista, el
campo ENL enlazar juntas las aristas con el mismo nodo inicial, o sea, los nodos con la misma lista de
adyacencia, y el campo restante indica que puede existir otra informacin en el registro correspondiente a la
arista, tal como un campo ARIS conteniendo los datos etiquetados de la arista cuando G es un grafo con
etiquetas, un campoPESO conteniendo el peso de la arista cuando G es un grafo con peso, etc.
Tcnicas bsicas de bsqueda:
BSQUEDA EN GRAFOS
Para efectuar una bsqueda de los vrtices de un grafo, se pueden emplear dos estrategias diferentes:
Bsqueda en profundidad (BEP): Se comienza en cualquier vrtice y en cada paso se avanza a un nuevo
vrtice adyacente siempre que se pueda. Cuando todos los adyacentes a X hayan sido visitados, se retrocede al
vrtice desde el que se alcanz X y se prosigue. As se consigue etiquetar (visitar) todos los vrtices de la
componente conexa en que se encuentre el vrtice inicial.
Esta tcnica se utiliza cuando necesitamos encontrar respuesta a un problema sobre un grafo sin condiciones
de optimizacin.
La idea en general de la bsqueda en profundidad comenzando en un nodo A es la siguiente:
Primero examinamos el nodo inicial A. Luego examinamos cada nodo N de un camino P que comience en A; a
sea, procesamos un vecino de A, luego un vecino de un vecino de A y as sucesivamente, hasta llegar a un punto
muerto o final del camino P, y de aqu volvemos atrs por P hasta que podamos continuar por otro camino P
y as sucesivamente.
Este algoritmo es similar al del recorrido inorden de un rbol binario, y tambin a la forma en que se debe
pasar a travs de un laberinto. Observe que se hace uso una pila en lugar de una cola, y este es el detalle
fundamental que hace la diferencia para realizar la bsqueda en profundidad.
Algoritmo para la bsqueda en profundidad:
Este algoritmo realiza la bsqueda en profundidad el grafo G comenzando en un nodo A.
1.

Inicializar todos los nodos al estado de preparado (ESTADO=1)

2.

Meter el nodo inicial A en la pila y cambiar su estado a estado de espera (ESTADO=2).

3.

Repetir los pasos 4 y 5 hasta que la pila este vacia.

estado al de procesado (ESTADO=3).

4.

Sacar el nodo N en la cima de la pila. Procesar el nodo N y cambiar su

preparados (ESTADO=1) y cambiar su estado a estado de espera
(ESTADO=2).
[ fin de bucle del paso 3 ]

5.

Meter en la pila todos los vecinos de N que estn en estado de

6.

Salir.
nota: tomado del libro Estructura de datos, serie schaum Mcgraw-Hill,
pagina: 337, capitulo: 8 Grafos y sus aplicaciones, autor: Seymour Lipschutz

Bsqueda en anchura (BEA): A diferencia con la BEP ahora se visitan todos los vecinos de un vrtice antes
de pasar al siguiente. Por tanto no hay necesidad de retroceder. Una vez etiquetados todos los vecinos de un
vrtice X, se contina con el primer vrtice alcanzado despus de X en la bsqueda.

Esta tcnica se utiliza para resolver problemas en los que se pide hallar una solucin ptima entre varias.
En general la bsqueda en anchura comenzando de un nodo de partida A es la siguiente:
Primero examinamos el nodo de partida A.
Luego examinamos todos los vecinos de A. Luego examinamos todos los vecinos de los vecinos de A y as
sucesivamente. Con el uso de una cola, garantizamos que ningn nodo sea procesado ms de una vez y usando
un campo ESTADO que nos indica el estado actual de los nodos.
Algoritmo para la bsqueda en anchura:
Este algoritmo realiza la bsqueda en anchura en un grafo G comenzando en un nodo de partida A.
1.

Inicializar todos los nodos al estado de preparados (ESTADO=1).

2.

Poner el nodo de partida A en la COLA y cambiar su estado a espera (ESTADO=2).

3.

Repetir pasos 4 y 5 hasta que COLA est vaca.

estado a procesado (ESTADO=3).

4.

Quitar el nodo del principio de la cola, N. Procesar N y cambiar su

preparados (ESTADO=1) y cambiar su estado al de espera
(ESTADO=2).
[ fin del bucle del paso 3 ]

5.

Aadir a COLA todos los vecinos de N que estn en estado de

6.

Salir.
nota: tomado del libro Estructura de datos, serie schaum Mcgraw-Hill,
pagina: 334 - 335, capitulo: 8 Grafos y sus aplicaciones, autor: Seymour Lipschutz

Arboles de recubrimiento mnimo (bsqueda del camino ms corto):

CAMINOS MINIMOS EN GRAFOS
Para lograr el propsito del recorrido mnimo dentro de un grafo G, es necesario para nuestro caso en
particular (puesto que no es la nica tcnica existente) la utilizacin del algoritmo de WARSHALL para el
camino mnimo, el cual se expresa de la forma siguiente:
Sea G un grafo con m nodos, u 1 , u 2 , ..., u m suponga que queremos encontrar la matriz de caminos P para el
grafo G. WARSHALL dio un algoritmo para este propsito que es mucho ms eficiente que calcular las
potencias de la matriz de adyacencia A y aplicar la proposicin:

donde sea A la matriz de adyacencia y P = Pij la matriz de caminos de un grafo G entonces, Pij = 1 si y solo s
hay un numero positivo en la entrada ijde la matriz
Este algoritmo de WARSHALL se usa para calcular el camino mnimo y existe un algoritmo similar para
calcular el camino mnimo de G cuando G tiene peso.
Algoritmo de WARSHALL:
Un grafo dirigido G con M nodos est en memoria por su matriz adyacente A, este algoritmo encuentra la
matriz de caminos (Booleana) P del grafo G.
1.

si A[ I, J ]=0, entonces: hacer P[ I, J ]:=0;

si no: hacer P[ I, J ]:=1.

[ fin de bucle ]
2.

[ Inicializar P ] repetir para I, J =1, 2, ... M:

3.

[ Actualizar P ] repetir paso 3 y 4 para K=1, 2, ..., M:

4.

repetir paso 4 para I=1, 2, ..., M:

hacer P[ I, J ]:= P[ I, J ] V ( P[ I, J] ^ P[ K, J ]).
[ fin de bucle ]
[ fin de bucle paso 3 ]
[ fin de bucle paso 2 ]

5.

repetir para J=1, 2, ..., M:

6.

Salir.
nota: tomado del libro Estructura de datos, serie schaum Mcgraw-Hill,
pagina: 322, capitulo: 8 Grafos y sus aplicaciones, autor: Seymour Lipschutz

Algoritmo de matriz de camino mnimo:

Cuando se trata de un grafo con peso G de M nodos est memoria mediante su matriz de peso W; este
algoritmo encuentra la matriz Q tal que [ I, J ] es la longitud del camino mnimo del nodo VI al nodo VJ .
INFINITO es un nmero muy grande y MIN es la funcin del valor mnimo.
1.

si W [ I, J ] = 0, entonces: hacer Q [ I, J ]:= INFINITO;

si no: hacer Q [ I, J ] := W [ I, J ].
[ fin de bucle ]

2.

[ Inicializar Q ] repetir para I, J=1, 2, . . ., M:

3.

[ Actualizar Q ] repetir pasos 3 y 4 para K=1, 2, . . ., M:

4.

repetir paso 4 para I = 1, 2, . . ., M:

hacer Q [ i, J ] := MIN(Q [ i, J ]+ Q [ i, K ]+ Q [ K, J ]).
[ fin de bucle ]
[ fin de bucle del paso 3 ]
[ fin de bucle del paso 2 ]

5.

repetir para J = 1, 2, . . ., M:

6.

Salir.
nota: tomado del libro Estructura de datos, serie schaum Mcgraw-Hill,
pagina: 324, capitulo: 8 Grafos y sus aplicaciones, autor: Seymour Lipschutz

Enunciado para ejemplo:

Dado un grafo simple no dirigido, conexo y ponderado de n nodos etiquetados con los nmeros naturales
desde el 1 hasta el n, se numeran los ejes desde 1 hasta m de acuerdo con el orden. Dados a continuacin dos
nodos cualesquiera, se trata de encontrar el camino ms corto entre ambos nodos, utilizando el algoritmo de
Dijkstra.

Entrada: En la primera lnea, un nmero natural que indica el nmero de casos que se van a plantear. Para
cada caso, una lnea con el nmero de nodos n del grafo, y la representacin decimal del mismo (entero menor

que
) separados por un blanco. En la siguiente lnea, separados por blancos, m nmeros naturales que
representan los pesos de los ejes del grafo. En la siguiente lnea, otro nmero natural p nos dice cuantos pares
de nodos se van a proponer, y a continuacin aparecen en lneas diferentes y separados por blancos todas estas
parejas.
Salida: Para cada uno de los casos propuestos, el fichero de salida contendr una lnea indicando el caso de
que se trata en la forma Grafo # con el smbolo # sustituido por el nmero del caso. Las siguientes m lneas
contendrn la lista de adyacencias del grafo en la forma:
No.delnodo

siempre separando con blancos y con los nodos adyacentes en orden creciente de nmero. A
continuacin, p lneas que resuelven las p parejas de nodos planteadas, componiendo cada lnea en la forma:
Pesodelcamino...

Ejemplo de Entrada:
2
4 49
53 82 53
2
12
13
8 14728196
81 48 30 64 71 13 91 10 65
3
21
41
81
Ejemplo de Salida:
Grafo 1
1 2 53
2 1 53 4 82
3 4 53
4 2 82 3 53
53 1 2
188 1 2 4 3
Grafo 2
1 4 81
2 6 48 7 30 8 64
3 4 71 6 13

4 1 81 3 71 8 91
5 6 10 7 65
6 2 48 3 13 5 10
7 2 30 5 65
8 2 64 4 91
213 2 6 3 4 1
81 4 1
172 8 4 1
Algoritmo de Dijkstra: Este algoritmo construye el rbol de caminos de longitud mnima entre un vrtice
fijado V y los restantes vrtices en un grafo ponderado.
Observaciones:
1.
2.

Los pesos de las aristas deben ser no negativos.

3.

El algoritmo de Dijkstra NO proporciona un rbol generador mnimo.

Ordenacin Topolgica:
Hasta recientemente todos los trabajos sobre Topologa (Digital principalmente) se basaban en un enfoque de
Teora de Grafos. Este enfoque presenta, sin embargo, el problema de determinar la relacin de adyacencia
ms razonable en Zn. Actualmente existen enfoques alternativos basados en nociones de Topologa General.
En este caso haremos una introduccin a algunos de estos enfoques.
Topologa definicin:
1) Rama de la matemtica que estudia las propiedades del espacio que son invariantes por homeomorfismos.
Se trata de propiedades no mtricas, es decir, de propiedades cualitativas, y no cuantitativas, lo que la distingue
de la geometra comn. Se la suele denominar "geometra dbil" o "geometra del caucho". Por ejemplo, una
circunferencia es topolgicamente equivalente a un cuadrado, por ms que sus propiedades mtricas sean
diferentes
2) Una topologa en un conjunto X es una familia de subconjuntos de X que satisface ciertos axiomas (ver
espacio topolgico).
En esta seccin estudiaremos las diferentes estrategias que se han planteado principalmente motivadas por
problemas en el rea del reconocimiento de formas para dotar a la digitalizacin D de un conjunto, de una
estructura, no necesariamente explcitamente topolgica, en trminos de la cual formular propiedades
de D relacionadas con las propiedades de la imagen original.
Las imgenes 2-dimensionales son las mas ampliamente estudiadas, aunque ltimamente las 3-dimensionales
estn siendo muy utilizadas. Tambin se utilizan imgenes 4-dimensionales para representar imgenes 3dimensionales en movimiento.
De las estrategias planteadas, la primera y las ms utilizada es la introducida por Azriel Rosenfeld en 1970. Se
basa en la nocin de adyacencia entre puntos de Zn (adems de Zn tambin considera en ocasiones los centros
de una teselacin del plano por hexgonos). Su enfoque descansa principalmente en nociones de Teora de
Grafos.
Desde entonces la Topologa Digital ha proporcionado los fundamentos tericos para
importantes operaciones de procesamiento de imagen, como recuento de objetos, adelgazamiento de imgenes,
deteccin de bordes y relleno de contornos. El adelgazamiento de imgenes es una operacin de
preprocesamiento en reconocimiento de formas. Su objetivo es reducir el conjunto de puntos de la imagen sin
alterar la topologa de la misma.
Ordenacin topolgica:

Suponga que S es un grafo tal que cada nodo vi de S representa una tarea y cada arista ( u, v ) significa que la
finalizacin de la tarea u es un pre-requisito para que comience la tarea v. Suponga que tal grafo S contiene un
ciclo tal que:
P=( u, v, w, u )
Esto significa que no podemos empezar v hasta completar u, no podemos empezar w hasta terminar v y no
podemos empezar u hasta completar w. As no podemos completar ninguna tarea del ciclo. Por tanto, un
grafo S as, que representa tareas y relaciones de precedencia, no puede tener ciclos.
Ahora suponga que S es un grafo sin ciclos, considere la relacin < sobre S definida como sigue:
u < v si existe un camino de u a v
Esta relacin tiene las siguientes tres propiedades:
1.

Para cada elemento u de S, tenemos que u < u. ( Irreflexivilidad )

2.

Si u < v, entonces v < u. ( Asimetra )

3.

Si u < v y v < w, entonces u < w. ( Transitividad )

Tal relacin < sobre S se llama ordenacin parcial de S, y S con tal ordenacin se llama conjunto parcialmente
ordenado o conjunto po. As, un grafo Ssin ciclos se puede considerar un conjunto parcialmente ordenado.
Por lo tanto, puede tambin suponer que si S es un conjunto parcialmente ordenado con la ordenacin parcial
denotada por <, entonces S se puede considerar un grafo cuyos nodos son los elementos de S y cuyas aristas
estn definidas como sigue:
( u, v ) es una arista en S si u < v
ms aun, se puede demostrar que un conjunto S parcialmente ordenado, considerado como un grafo, no tiene
ciclos.

Como ejemplo
podemos plantear que: sea S el grafo de la figura, observe que S no tiene ciclos. As S se puede considerar un
conjunto parcialmente ordenado. Note que G < C, ya que existe un camino desde G hasta C. Similarmente, B
< F y B < C. Por otro lado B no es menor que A, ya que no existe camino de B a A, al igual que A no es menor
que B.
Por lo tanto; sea S un grafo dirigido sin ciclos (o conjunto parcialmente ordenado). Una ordenacin
topolgica T de S es una ordenacin lineal de los nodos de S que preserva la ordenacin parcial de S original, o
sea, que si u < v en S (si hay un camino de u a v en S), entonces u va delante de la v el la ordenacin lineal T,
este se muestra en la siguiente figura, donde se incluyen las aristas para indicar que concuerdan con
la direccin de la ordenacin lineal.

Informacin adicional sobre Topologa:

Topologa combinatoria:
Rama de la topologa que reduce el estudio de curvas y superficies a ciertos esquemas determinados
por polgonos curvilneos, evitando de esta forma pensarlas como conjuntos de puntos, como lo hace la
topologa conjuntista. El tratamiento combinatorio es ms cercano al lgebra, y reduce elconcepto de
homeomorfismo a unas pocas reglas que permiten decidir cundo dos esquemas combinatorios son
equivalentes.
Topologa inducida:
Dado un subconjunto A de un espacio topolgico X, se llama topologa inducida a la topologa definida en A
que toma como abiertos a todos los conjuntos de la forma U A, en donde U es un abierto de X. En estas
condiciones, se dice que A es un subespacio de X.
Topologa usual:
La topologa usual del espacio ndimensional (Rn) tiene como abiertos bsicos a las bolas ndimensionales
(abiertas). Es decir, un conjunto de Rn es abierto si y slo si es unin de cierto nmero de bolas abiertas.
Equivalentemente, diremos que A es abierto si y slo si para todo punto x A existe una bola B contenida en A
tal que x B (A es entorno de x).
Toro:
Se llama as a la superficie de revolucin engendrada por la rotacin de una circunferencia en torno a un eje
que no la toque en ninguno de sus puntos. Si bien esta definicin es geomtrica, las propiedades topolgicas del
toro son de gran importancia. En especial, la propiedad de tener un asa, o agujero, que determina que existan
en el toro lazos no reducibles. Un importante teorema de la topologa combinatoria asegura que toda superficie
cerrada y orientable es un toro con n agujeros. El caso n = 0 corresponde obviamente a la esfera, si se la piensa
como un "toro sin agujeros", y el caso n = 1 es el toro usual. Si bien la definicin habitual del toro lo presenta
como una superficie sumergida en el espacio tridimensional, es fcil ver que es homeomorfo
al producto cartesiano de dos circunferencias, sumergido en R4 (espacio cuatridimensional). Es decir, la
definicin topolgica del toro es:T2 = S1 S1. Esto permite generalizar, y definir al toro ndimensional como
el producto cartesiano de n circunferencias, es decir: Tn = S1 ... S1.

En la topologa combinatoria, el toro bidimensional se define identificando dos a dos los lados opuestos de un
rectngulo, como muestra la figura:
Algoritmo de ordenacin topolgica:
El siguiente algoritmo encuentra una ordenacin topolgica T de un grafo S sin ciclos.
1.

Encontrar el grado de entrada GraEnt(N) de cada nodo N de S (se puede hacer

recorriendo cada lista de adyacencia)

2.

Poner en una cola todos los nodos con grado de entrada nulo.

3.

Repetir los pasos 4 y 5 hasta que la cola est vaca.

4.

Quitar el nodo N al frente de la cola (haciendo Frente:=Frente + 1)

Hacer GraRnt(M):= GraEnt(M) 1 (esto elimina la arista de N a M)
si GraEnt(M)=0, entonces: Aadir M al final de la cola.
[ fin de bucle paso 5 ]
[ fin de bucle paso 3 ]

5.

Repetir lo siguiente para cada vecino M de N:

6.

Salir.
nota: tomado del libro Estructura de datos, serie schaum Mcgraw-Hill,
pagina: 340, capitulo: 8 Grafos y sus aplicaciones, autor: Seymour Lipschutz
ANEXO
TEMAS AFINES Y
COMPLEMENTARIOS

Caminos y Conexin: Un camino en un grafo es una sucesin de vrtices y aristas de la forma v0 a1 v1

a2...vk-1 ak vk donde la arista ai une los vrtices vi-1 y vi. ste es un camino de v0 a vk, de longitud k, siendo
v1,...,vk-1 los vrtices interiores del camino. Si v0=vk decimos que el camino es cerrado. Un ciclo es un camino
cerrado con todas sus aristas distintas y con todos sus vrtices distintos (salvo, claro es, los extremos v0=vk).
Propiedades:
1.
2.

El n de caminos de longitud k de vi a vj es el elemento ij de la matriz M(G)k.

3.

Un grafo G es bipartido G no tiene ciclos de longitud impar.

4.

5.

Se llama distancia entre dos vrtices u y v, a la longitud mnima de un camino que conecta dichos
vrtices y se designa por d(u,v).
Se llama dimetro de G a la mxima distancia entre dos vrtices de G, diam(G).

Un grafo es conexo si para cada par de vrtices u y v existe un camino de u a v. Si G es un grafo no conexo (o
disconexo), cada uno de sus subgrafos conexos maximales se llama componente conexa de G.
Un vrtice v se llama vrtice-corte (o punto de articulacin) de G si el grafo G-{v} tiene ms componentes
conexas que G.
Una arista a de un grafo G se llama puente si G-{a} tiene ms componentes conexas que G.

Conexo: un espacio topolgico X se dice conexo si no contiene ningn subconjunto abierto y cerrado,
excepto y X. Intuitivamente, un conjunto es conexo cuando no est compuesto por dos o ms partes
separadas. Una definicin mucho ms fcil de entender es la de conjunto arcoconexo. Sin embargo, se puede
probar que ambas nociones no coinciden: todo conjunto arcoconexo es conexo, pero la recproca es falsa. En la
topologa usual, todo abierto conexo es tambin arcoconexo.
Espacio ndimensional: se llama espacio ndimensional usual al conjunto Rn, construido como el
producto cartesiano R ... R (n veces), en donde R es el conjunto de los nmeros reales. Los elementos
de Rn se piensan como vectores de n coordenadas. El vector nulo es aquel cuyas coordenadas son todas 0, y se
lo llama "origen" o "centro de coordenadas". Por ejemplo, el plano R2 es el conjunto de todos los pares
ordenados (x,y)en donde sus dos coordenadas x, y son nmeros reales cualesquiera, y su origen es el
vector (0,0). A este espacio se le suele asignar una topologa, conocida como topologa usual de Rn.
Espacio topolgico: se llama espacio topolgico a un conjunto X provisto de una topologa, es decir, una
familia de subconjuntos de X, llamados abiertos, que satisfacen los siguientes axiomas:
1. y X son conjuntos abiertos 2.La interseccin de un nmero finito de conjuntos abiertos es un conjunto
abierto 3.La unin de cualquier nmero de conjuntos abiertos es un conjunto abierto
Se desprende de la definicin que en cualquier espacio topolgico X los conjuntos y X son a la vez abiertos y
cerrados (ver tambin: topologa usual)
Funcin continua: dados dos espacios topolgicos X e Y, la funcin f:X Y se dice continua en un punto a
X si dado un entorno V del punto f(a) Y, existe un entorno U de a tal que f(U) V, es decir, f(x) V para todo x
U. Esto puede expresarse mediante la nocin de lmite: f es continua en a si

En la topologa usual, la nocin de continuidad en a equivale a la propiedad de que si {xn} es cualquier

sucesin en X que converge a a, entonces la sucesin {f(xn)} converge a f(a). Intuitivamente, podemos decir:
"cuanto ms se acerca xn a a, ms se acerca f(xn) a f(a) ". f se dice continua cuando es continua en todos sus
puntos. Equivalentemente, f es continua si y slo si la imagen inversa de un abierto cualquiera es un conjunto
abierto.
Grupo fundamental: dado un espacio topolgico X, se puede formar el conjunto de todos los lazos en X que
salen de un cierto punto, considerando como equivalentes a dos lazos que se puedan superponer mediante una
homotopa (es decir, tales que se pueda deformar a uno de ellos en forma continua hasta obtener el otro). A
dicho conjunto se le asigna una estructura (algebraica) de grupo, lo que determina el llamado grupo
fundamental deX. Se trata de un invariante topolgico muy til. Por ejemplo, el grupo fundamental de una
circunferencia es Z, el conjunto de los nmeros enteros (Z = {..., - 3, - 2, - 1, 0, 1, 2, 3, ...}), hecho que resulta
claro pues todo lazo cerrado sobre la circunferencia est determinado unvocamente por la cantidad de vueltas,
y el sentido en que se las recorre. El grupo fundamental de un toro es Z Z, pues en este caso deben tenerse en
cuenta las vueltas dadas "alrededor" del agujero, y tambin "a travs" del mismo. Este resultado es, claro est,
coherente con el hecho de que el toro puede pensarse como el producto cartesiano de dos circunferencias (ver:
toro).
Homeomorfismo: se llama homeomorfismo entre dos espacios topolgicos X e Y a una funcin f: X
Y que resulte biunvoca y bicontinua, es decir:
f es "uno a uno" (biunvoca), lo que significa que para cada elemento x X existe un nico y Y tal que f(x) =
y y viceversa. Esto permite definir la funcin inversa, f-1:Y X
f y f-1 son continuas (f es bicontinua)
La nocin de homeomorfismo responde a la idea intuitiva de "deformacin", y determina cierta clase de
equivalencia: dos espacios homeomorfos tienen las mismas propiedades topolgicas.
Homologa: invariante topolgico que asocia a cada espacio topolgico una estructura algebraica llamada
"complejo". Como invariante, tiene mayor precisin que el grupo fundamental, aunque su definicin
y clculo resultan ms complicados.
Homotopa: dados dos espacios topolgicos X e Y, una homotopa es una funcin continua h:X [ a,b]
Y, en donde [ a,b] es un intervalo cerrado. Por comodidad, siempre supondremos que [ a,b] es el

intervalo [ 0,1] . Se puede interpretar intuitivamente la nocin de homotopa pensando al [ 0,1] como un
intervalo de tiempo, y en consecuencia h representa una cierta deformacin a partir del instante inicial t = 0,
hasta llegar a t = 1pasando por cada instante t fijo.
Identificar: operacin topolgica que responde a la nocin intuitiva de "pegar". Consiste en definir alguna
relacin de equivalencia entre puntos de un espacio topolgico X, lo que permite definir el espacio cociente.
Por ejemplo, si se identifican uno a uno los puntos de dos lados opuestos de un rectngulo, se obtiene una
superficie tubular similar a un "cinturn", o una porcin de cilindro. En cambio, si esta identificacin se efecta
orientando a los dos lados en sentidos opuestos, se obtiene una Banda de Mbius.
Interior: dado un conjunto A, si llama interior de A al mayor abierto contenido en A. Notacin: A =
interior de A . Por definicin, es claro que un conjunto es abierto si y slo si coincide con su interior. El
interior de A se puede pensar como el conjunto de puntos de A que no pertenecen a sufrontera, es decir: A =
A - Fr(A).
Intervalo: dados dos nmeros reales a < b, se llama intervalo entre a y b al conjunto de puntos de la recta
contenidos entre a y b. Caben cuatro posibilidades, segn se incluya o no a cada uno de los extremos:
1.
2.

(a,b) = { x R / a < x < b } (intervalo abierto)

3.

[a,b) = { x R / a x < b } (intervalo semiabierto)

4.

(a,b] = { x R / a < x b } (intervalo semiabierto)

5.

[a,b] = { x R / a x b } (intervalo cerrado)

Tambin se definen los siguientes intervalos no acotados: ( a,+ ), [ a,+ ),

( , b ), ( , b ] . Por ejemplo, ( a, + ) = { x R / x > a }. Los smbolos + y
responden nicamente a una mayor simplicidad en la escritura, ya que no se trata de nmeros reales. Por
esa razn, todo intervalo no acotado es abierto en su "extremo infinito". Obviamente, el intervalo ( ,+ )
equivale a toda la recta R. Es fcil ver que cualquier intervalo abierto es homeomorfo a R.
Invariante: se llama invariante topolgico a aquellas propiedades de un espacio topolgico que permanecen
cuando se le aplica un homeomorfismo. Algunos invariantes muy conocidos son la compacidad, la conexin, el
grupo fundamental, la homologa, etc. En general, cada teora matemtica tiene sus propios invariantes: as, los
invariantes geomtricos son las propiedades que conserva una figura cuando se le aplica una rotacin o una
traslacin (movimientos rgidos).
Matrices: la matriz de adyacencia de un grafo G con n vrtices {v1,...,vn} es la
matriz nxn , M(G)=(aij), donde aij es el n de aristas que unen vicon vj. La matriz de incidencia de un grafo
simple G con n vrtices {v1,...,vn} y k aristas {e1,...,ek} es la matriz nxk, I(G)=(bij), donde bij=1 si vi es
incidente con ej y bij=0 en caso contrario.
Plano proyectivo: espacio definido en geometra proyectiva, de acuerdo con la idea intuitiva de agregar al
plano euclidiano un "horizonte", de modo tal que dos rectas paralelas determinen un (nico) punto. Las rectas
resultan entonces cerradas, es decir, homeomorfas a una circunferencia, hecho relacionado adems con la
propiedad que tiene el plano proyectivo de ser compacto. Al horizonte, que tambin es una recta, se lo suele
llamar "recta impropia", pues est compuesta de puntos impropios, tambin llamados puntos "del infinito".
En la geometra proyectiva los conceptos de "punto" y "recta" son duales, puesto que pueden intercambiarse.
Por ejemplo, el enunciado: "Dos puntos determinan una nica recta" se transforma en su dual "Dos rectas
determinan un nico punto", que tambin es vlido, aunque no lo es en la geometra euclidiana.
Poliedro topolgico: generalizacin de la nocin geomtrica de poliedro. Consiste en un sistema formado
por un nmero finito de polgonos topolgicos sujetos a ciertas condiciones, entre las cuales se tiene, por
ejemplo, que dos polgonos distintos no tienen puntos interiores comunes, que los lados de los polgonos del
sistema coinciden dos a dos, etc.

Polgono topolgico: generalizacin de la nocin geomtrica de polgono. Consiste en tomar cierto nmero
finito n > 1 de puntos en una circunferencia. Los arcos as determinados sern los lados, y los puntos se
llamarn vrtices del polgono. El polgono estar formado entonces, por el conjunto de lados y la regin
interior a la circunferencia.
Recorridos en un Grafo: Un camino euleriano en un grafo es un camino que contiene a todas las aristas del
grafo exactamente una vez. Un grafo es euleriano si contiene un camino euleriano cerrado.
Teorema: Un grafo conexo G es euleriano Todos los vrtices de G tienen grado par.
Consecuencia: Un grafo conexo G tiene un camino euleriano no cerrado G tiene, exactamente, dos vrtices de
grado impar.
Algoritmo de Fleury (para construir un camino euleriano cerrado en un grafo euleriano).
Paso 1.- Se comienza en un vrtice cualquiera v0 .
Paso 2.- Si se ha construido el camino v0 a1 v1 a2...vk-1 ak vk con aristas distintas, se elige la arista siguiente
ak+1 con las condiciones: (1) ak+1 incidente con vk y (2) no ser puente en el grafo G- {a1,a2,...,ak} (salvo que no
haya alternativa).
Paso 3.- Se sigue hasta que el camino contenga todas las aristas.
Un camino hamiltoniano en un grafo es un camino que contiene a todos los vrtices del grafo exactamente una
vez (salvo v0=vn, si el camino es cerrado). Un grafo hamiltoniano es aquel que contiene un ciclo hamiltoniano.
Propiedad: Un grafo bipartido G=(V1 V2 , A) con V1 V2 no es hamiltoniano.
Teorema: Sea G un grafo simple de n vrtices. Si para todo par de vrtices x e y no adyacentes se cumple que
d(x)+d(y) n , entonces G es hamiltoniano.
Teorema: Si G es un grafo hamiltoniano entonces, para todo S V se cumple que el nmero de componentes
conexas de G - S, es menor o igual que S .
Observacin: NO hay caracterizacin para los grafos hamiltonianos.

Introduccin a la teora de grafos

Tema 1 : GRAFOS

Un grafo es un conjunto de puntos (vrtices) en el espacio, que estn

conectados por un conjunto de lneas (aristas). Otros conceptos bsicos
son:

Dos vrtices son adyacentes si comparten la misma arista.

Los extremos de una arista son los vrtices que comparte dicha arista.
Un grafo se dice que es finito si su numero de vrtices es finito.

Clases de grafos

Un multigrafo es un grafo con varias aristas entre dos vrtices.

Un pseudografo es un grafo en el que hay aristas (lazos) que tienen el
mismo extremo.
Un digrafo es un grafo donde a cada arista se le indica un sentido
mediante una flecha.
Los multidigrafos o pseudomultidigrafos son combinaciones de los
anteriores.

Teoremas

Dos grafos son isomorfos si tienen el mismo numero de vrtices y aristas

y, estas se corresponden con los mismos extremos.
El grado del vrtice de un grafo (gr) es el numero de aristas que tienen
por extremo dicho vrtice.
Si dos grafos son isomorfos, los vrtices que se corresponden tienen el
mismo grado.

Primer Teorema de la Teora de Grafos: todo grafo contiene un numero

par o cero de vrtices de grado impar.

Un subgrafo es un grafo que esta contenido dentro de otro grafo y que se

obtiene eliminando algunas aristas y vrtices del grafo principal.
Un grafo es regular si todos sus vrtices tienen el mismo grado k (kregular).
Un grafo es completo si cada par de vrtices son los extremos de una
arista.
Dos grafos completos con el mismo numero de vrtices son isomorfos.

Tema 2 : CAMINOS

Un camino en un grafo es una sucesin finita en la que aparecen

alternadamente vrtices y aristas de dicho grafo. Otras definiciones
bsicas son:

Los extremos son los vrtices inicial y final del camino.

La longitud de un camino es el numero de aristas que contiene.
Un camino es cerrado si sus extremos coinciden.
Un camino es simple si en la sucesin de vrtices no hay ninguno
repetido.
Un ciclo es un camino cerrado donde los nicos vrtices repetidos son el
primero y el ultimo.
Un circuito es un camino cerrado que no repite aristas.
Si en un grafo existe un camino que conecta dos vrtices distintos,
entonces existe un camino simple con extremos en dichos vrtices.
Un grafo es conexo si para cada par de vrtices, existe un camino con
extremos en dichos vrtices.

Tipos de caminos

Camino euleriano: es un camino o circuito que contiene todas las

aristas apareciendo cada una de ellas exactamente una vez. Un grafo
que admite dicho circuito se denomina grafo euleriano, y sus vrtices o
tienen grado par o dos de los vrtices tienen grado impar.
Camino hamiltoniano: es un camino simple que contiene todos los
vrtices apareciendo cada uno de ellos exactamente una vez. Un ciclo
que a su vez es un camino hamiltoniano se denomina ciclo hamiltoniano,
y un grafo que contiene un ciclo hamiltoniano se denomina grafo
hamiltoniano.

Tema 3 : EXPLORACION

Los grafos son utilizados con frecuencia para representar vas y redes de
comunicacin. Aqu se ofrece una forma matricial de representar un
grafo. Se denomina matriz de adyacencia a una matriz cuyas entradas
son unos y ceros siguiendo una ley: a cada entrada mij le corresponde la arista dada
por vivj. Segn sea grafo o digrafo ser:

GRAFO

DIGRAFO

mij = 1 si vivj forma arista

mij = 1 si vivj forma arista orientacin = vi vj

mij = 0 si vivj no forma arista

mij = 0 si vivj no forma arista orientacin = vj vi

Teoremas

* Dos grafos con la misma matriz de adyacencia son isomorfos.

* Un rbol es un grafo conexo sin ciclos.

Un grafo es un rbol si y solo si cada dos vrtices distintos se conectan por un nico camino simple.

Un grafo es etiquetado si sus aristas tienen asignado un numero.

Se llama distancia de un grafo etiquetado a la longitud mnima del camino entre dos vrtices dados.

Algoritmo de Dijkstra

Es un algoritmo que sirve para hallar la distancia mas corta entre dos vrtices de un digrafo. Sus reglas bsicas son:

Se toma el vrtice inicial y se comprueba todas las direcciones posibles de salida.

Se elige entre todos los vrtices el de la distancia mnima y se accede a el.

Desde el siguiente vrtice se efecta el mismo paso hasta llegar al vrtice final.

El algoritmo recorre todos los caminos posibles hasta tener la distancia mnima entre ambos vrtices.

Tema 4 : MAPAS

Definiciones

Un grafo se dice que es plano si admite una representacin grfica en el plano de modo que cada arista corta nicamente a otra arista en un
vrtice que sea extremo de ambas.

Una representacin de un grafo con estas condiciones se dice que es un mapa.

Un mapa es conexo si el grafo que representa es conexo.

Las regiones son las divisiones en varias partes de un plano.

El grado de una regin es la longitud del camino que la bordea.

La suma de los grados de las regiones de un mapa es igual al doble del numero de aristas del grafo que representa.

Formula de Euler

Sea M un mapa conexo con #R (numero de regiones) que representa al grafo G con #V (numero de vrtices) y con #E (numero de aristas),
entonces:

#V - #E + #R = 2

Teoremas

Si un grafo es plano conexo con #V > 2, entonces #E <= 3#V - 6.

Si en un grafo plano conexo con #V > 2, no existe ningn subgrafo isomorfo k3-regular, entonces #E <= 2#V - 4.

Dos regiones son adyacentes si los caminos que las bordean tienen alguna arista en comn.

Una coloracin es una aplicacin de tal manera que dos vrtices contiguos no puedan tener el mismo color.

Todo grafo plano admite una coloracin con cuatro colores.

Un grafo es bipartito si existe una coloracin con solo dos colores, o si y solo si no tiene ciclos con longitud impar.

Muy importante es determinar, antes del anlisis del trmino grafos, el origen etimolgico del mismo pues nos
permitir conocer de primera mano el porqu de su significado actual. De esta manera podemos dejar patente
que aquel emana de la palabra griega grafo, graphein, que puede traducirse como grabar o escribir.
Este hecho es el que determina, por ejemplo, que hoy da utilicemos dicho concepto como parte indisoluble de
otros trminos a los que les da ese citado significado que est relacionado con la escritura. Este sera el ejemplo
de bolgrafo que es un instrumento que utilizamos para escribir, graflogo que es aquella persona que se dedica
a determinar las cualidades psicolgicas de alguien a travs de la escritura que realiza, o el polgrafo que es
quien se encarga de estudiar diversas formas de escribir que se llevan a cabo de forma secreta.
En la lingstica, un grafo es un objeto unitario de naturaleza abstracta que abarca a las grafias que
componen una letra. La palabra tiene origen griego y significa imagen o dibujo.

Para las ciencias de la computacin y la matemtica, un grafo es

una representacin grfica de diversos puntos que se conocen como nodos o vrtices, los cuales se
encuentran unidos a travs de lneas que reciben el nombre de aristas. Al analizar los grafos, los expertos
logran conocer cmo se desarrollan las relaciones recprocas entre aquellas unidades que mantienen algn tipo
de interaccin.
En este sentido no podemos pasar por alto el hecho de que el primer documento escrito que tenemos acerca de
lo que son los grafos fue realizado en el siglo XVIII, y ms concretamente en el ao 1736, por Leonhard Euler.
Este fue un matemtico y fsico, de origen suizo, que destac por ser una de las figuras ms importantes de su
tiempo en la citada materia.
En concreto dicho autor realiz un artculo basndose en los puentes que existen en la ciudad de Kaliningrado.
A partir de ellos, y mediante lo que es la teora de los grafos, desarroll una exposicin acerca de los grafos y los
vrtices que se sustenta en el hecho de que es imposible regresar al vrtice que ejerce como punto de partida
sin antes no pasar por alguna de las aristas en dos ocasiones.
Los grafos pueden ser clasificarse de diversas maneras segn sus caractersticas. Los grafos simples, en este
sentido, son aquellos que surgen cuando una nica arista logra unir dos vrtices. Los grafos complejos, en
cambio, presentan ms de una arista en unin con los vrtices.
Por otra parte, un grafo es conexo si dispone de dos vrtices conectados a travs de un camino. Qu quiere
decir esto? Que, para el par de vrtices (p, r), tiene que existir algn camino que permita llegar desde p hasta r.
En cambio, un grafo es fuertemente conexo si el par de vrtices tiene conexin a travs de, como mnimo,
dos caminos diferentes.
Un grafo simple, adems, puede ser completo si las aristas estn en condiciones de unir todos los pares de
vrtices, mientras que un grafo es bipartito si sus vrtices surgen por la unin de un par de conjuntos de
vrtices y si se cumple una serie de condiciones.

Lee todo en: Definicin de grafos - Qu es, Significado y Concepto http://definicion.de/grafos/#ixzz2AiiQ3bS0