GRAFOS

DIEGO PINTO PREZ

BC2AE

1. CONCEPTOS BSICOS SOBRE GRAFOS

En matemticas y ciencias de la computacin, un grafo es un conjunto de objetos llamados
vrtices o nodos unidos por enlaces llamados aristas o arcos, que permiten representar relaciones
binarias entre elementos de un conjunto. Son objeto de estudio de la teora de grafos.
Tpicamente, un grafo se representa grficamente como un conjunto de puntos (vrtices o nodos)
unidos por lneas (aristas).

Ejemplo de grafo etiquetado con seis vrtices y siete aristas.

Por definicin: un grafo G es un conjunto no vaco V (de vrtices) y un conjunto A (de aristas)
extrado de la coleccin de subconjuntos de dos elementos de V. Una arista de G es, pues, un
subconjunto {a,b}, con a,b a b.
En concreto esta definicin hace referencia a lo que se conoce como un grafo simple y sin lazos.
Siempre que no se diga lo contrario, cuando se hable de un grafo se referir a este tipo.
Diremos que dos grafos son iguales si tienen el mismo conjunto de vrtices y la misma coleccin
de aristas. El grafo se denota por = (, ). En caso de manejar varios grafos a la vez,
utilizaremos smbolos () y () para recordar a qu grafo nos referimos.
DEFINICIONES
-Como hemos visto anteriormente V denota el conjunto de vrtices (o nodos) y este suele ser
finito. A denota al conjunto de (aristas o arcos) que relacionan estos nodos.
-Se llama orden del grafo G a su nmero de vrtices V.
-El grado de un vrtice o nodo

es igual al nmero de arcos que lo tienen como extremo.

-Un bucle es una arista que relaciona al mismo nodo; es decir, una arista donde el nodo inicial y
el nodo final coinciden.
-Dos o ms aristas son paralelas si relacionan el mismo par de vrtices.
TIPOS DE GRAFOS
1) Grafo no dirigido o grafo propiamente dicho es un grafo = (, ) donde:
-

{ () || = 2} es un conjunto de pares no ordenados de elementos de V.

Un par no ordenado es un conjunto de la forma {a,b} de manera que {a,b} = {b,a}. Para los
grafos, estos conjuntos pertenecen al conjunto potencia de V, denotado P (V), y son de
cardinalidad 2.

Ejemplo de grafo no dirigido

2) Grafo dirigido o dgrafo es un grafo = (, ) donde:

-

{(, ) } es un conjunto de pares ordenados de elementos de V.

Dada una arista (a,b), a es su nodo inicial y b su nodo final.

Por definicin, los grafos dirigidos no contienen bucles.

Ejemplo de grafo dirigido

3) Grafo mixto es aquel que se define con la capacidad de poder contener aristas dirigidas
y no dirigidas. Tanto los grafos dirigidos como los no dirigidos son casos particulares de
este.

PROPIEDADES

Adyacencia: dos aristas son adyacentes si tienen un vrtice en comn, y dos vrtices son
adyacentes si una arista los une.

Incidencia: una arista es incidente a un vrtice si sta lo une a otro.

Ponderacin: corresponde a una funcin que a cada arista le asocia un valor (costo, peso,
longitud, etc.), para aumentar la expresividad del modelo. Esto se usa mucho para problemas de
optimizacin, como el del vendedor viajero o del camino ms corto.

Etiquetado: distincin que se hace a los vrtices y/o aristas mediante una marca que los hace
unvocamente distinguibles del resto.

2. ORGENES DE LA TEORA DE GRAFOS

El origen de la teora de grafos se remonta al siglo XVIII con el problema de los puentes de
Knigsberg, el cual consista en encontrar un camino que recorriera los siete puentes del ro
Pregel en la ciudad de Knigsberg, de modo que se recorrieran pasando una sola vez por cada
uno de ellos. El trabajo de Leonhard Euler sobre el problema titulado La solucin de un
problema relativo a la geometra de la posicin en 1736, es considerado el primer resultado de
la teora de grafos.
Luego, en 1847, Gustav Kirchhoff utiliz la teora de grafos para el anlisis de redes elctricas
Fue considerada la primera aplicacin de la teora de grafos a un problema de ingeniera.
En 1852 Francis Guthrie plante el problema de los cuatro colores el cual afirma que es
posible, utilizando solamente cuatro colores, colorear cualquier mapa de pases de tal forma
que dos pases vecinos nunca tengan el mismo color.
En 1857, Arthur Cayley estudi y resolvi el problema de enumeracin de los ismeros,
compuestos qumicos con idntica composicin (frmula) pero diferente estructura molecular.
Para ello represent cada compuesto mediante un grafo rbol donde los vrtices representan
tomos y las aristas la existencia de enlaces qumicos.
El trmino grafo, proviene de la expresin graphic notation usada por primera vez por
Edward Frankland y posteriormente fue adoptada por Alexander Crum Brown en 1884, y haca
referencia a la representacin grfica de los enlaces entre los tomos de una molcula.
El primer libro sobre teora de grafos fue escrito por Dnes Knig y publicado en 1936.

3. RELACIN ENTRE GRAFOS Y MATRICES

Una forma muy til de representar un grafo G = (V,A) es mediante su matriz de vecindades (o
matriz de adyacencia).
Una matriz de adyacencia es una matriz cuadrada que se utiliza como forma de representacin
de relaciones binarias.
Construccin de la matriz adyacente a partir de un grafo
Se crea una matriz cero, cuyas columnas y filas representan los nodos del grafo.
1. Por cada arista que une a dos nodos, se suma 1 al valor que hay actualmente en la
ubicacin correspondiente de la matriz.
2. Si tal arista es un bucle y el grafo es no dirigido, entonces se suma 2 en vez de 1.
Finalmente, se obtiene una matriz que representa el nmero de aristas (relaciones) entre cada
par de nodos (elementos).

Ejemplos de representacin de grafos mediante matrices adyacentes:

Grafo no dirigido y su respectiva matriz adyacente

Grafo dirigido y su respectiva matriz adyacente

Tambin tenemos la matriz de incidencia, la cual es una matriz binaria (sus elementos slo
pueden ser unos o ceros), que se utiliza como una forma de representar relaciones binarias.
Construccin de la matriz de incidencia a partir de un grafo
1. Las columnas de la matriz representan las aristas del grafo.
2. Las filas representan a los distintos nodos.
3. Por cada nodo unido por una arista, ponemos un uno (1) en el lugar correspondiente, y
llenamos el resto de las ubicaciones con ceros (0).

Relacin binaria descrita mediante una matriz de incidencia y mediante un grafo

4. RESOLUCIN DE PROBLEMAS DEL MUNDO CIENTFICO Y

TECNOLGICO ACTUAL
Gracias a la teora de grafos se pueden resolver diversos problemas como por ejemplo la
sntesis de circuitos secuenciales, contadores o sistemas de apertura. Se utiliza para diferentes
reas por ejemplo, dibujo computacional y cualquiera de las reas de ingeniera.

Los grafos se utilizan tambin para modelar trayectos como el de una lnea de autobs a travs
de las calles de una ciudad, en el que podemos obtener caminos ptimos para el trayecto
aplicando diversos algoritmos como puede ser el algoritmo de Floyd.
Para la administracin de proyectos, utilizamos tcnicas como tcnica de revisin y evaluacin
de programas (PERT) en las que se modelan los mismos utilizando grafos y optimizando los
tiempos para concretar los mismos.
Se emplea en problemas de control de produccin, para proyectar redes de ordenadores, para
disear mdulos electrnicos modernos y proyectar sistemas fsicos con parmetros localizados
(mecnicos, acsticos y elctricos).
Se usa para la solucin de problemas de gentica y problemas de automatizacin de la
proyeccin (SAPR). Apoyo matemtico de los sistemas modernos para el procesamiento de la
informacin. Acude en las investigaciones nucleares (tcnica de diagramas de Feynman).
Los grafos son importantes en el estudio de la biologa y hbitat. El vrtice representa un
hbitat y las aristas representan los senderos de los animales o las migraciones. Con esta
informacin, los cientficos pueden entender cmo esto puede cambiar o afectar a las especies
en su hbitat. A continuacin diversos ejemplos grficos:

Ismeros

Plano de autopistas

5. BIBLIOGRAFA (ENLACES WEB)

https://es.wikipedia.org/wiki/Grafo
https://www.uam.es/personal_pdi/ciencias/gallardo/capitulo8a.pdf
https://es.wikipedia.org/wiki/Teor%C3%ADa_de_grafos
https://es.wikipedia.org/wiki/Matriz_de_adyacencia
https://es.wikipedia.org/wiki/Matriz_de_incidencia