La teora de grafos (tambin llamada teora de las grficas) es un campo de

estudio de las matemticas y las ciencias de la computacin, que estudia las

propiedades de los grafos (tambin llamadas grficas, que no se debe confundir
con las grficas que tienen una acepcin muy amplia) estructuras que constan de
dos partes, el conjunto de vrtices, nodos o puntos; y el conjunto de aristas, lneas
o lados (edges en ingls) que pueden ser orientados o no.
Actualmente ha tenido mayor preponderancia en el campo de la informtica, las
ciencias de la computacin y telecomunicaciones.
Para las matemticas y las ciencias de la computacin, un grafo es el principal
objeto de estudio de la teora de grafos. De esta forma, un grafo se representa
grficamente como un conjunto de puntos (llamados vrtices o nodos), unidos por
lneas (aristas). Los grafos permiten estudiar las interrelaciones entre unidades
que se encuentran en interaccin. Son diagramas que si se interpretan en forma
adecuada proporcionan informacin, como por ejemplo los mapas, diagramas de
circuitos o de flujos, entre otros
El origen de la palabra grafo es griego y su significado etimolgico es "trazar".
Aparece con gran frecuencia como respuesta a problemas de la vida cotidiana,

algunos ejemplos podran ser los siguientes: un grfico de una serie de tareas a
realizar indicando su secuenciacin (un organigrama),grafos matemticos que
representan las relaciones binarias, una red de carreteras, la red de enlaces
ferroviarios o areos o la red elctrica de una ciudad En cada caso, es
conveniente representar grficamente el problema dibujando un grafo como un
conjunto de puntos(vrtices)con lneas conectndolos (arcos).
Los grafos son estructuras de datos no lineales que tienen una naturaleza
generalmente dinmica. Su estudio podra dividirse en dos grandes bloques:
Grafos Dirigidos.
Un ejemplo de grafo dirigido lo constituye la red de aguas de una ciudad ya que
cada tubera slo admite que el agua la recorra en un nico sentido.
Grafos no Dirigidos (pueden ser considerados un caso particular de los
anteriores). Por el contrario, la red de carreteras de un pas representa en general
un grafo no dirigido, puesto que una misma carretera puede ser recorrida en
ambos sentidos.

Mapa conceptual
Circuito

organigrama

Representacin de grafos

Existen diferentes formas de representar un grafo (simple), adems de la

geomtrica y muchos mtodos para almacenarlos en una computadora.
La estructura de datos usada depende de las caractersticas del grafo y
el algoritmo usado para manipularlo. Entre las estructuras ms sencillas y usadas
se encuentran las listas y las matrices, aunque frecuentemente se usa una
combinacin de ambas. Las listas son preferidas en grafos dispersos porque
tienen un eficiente uso de la memoria. Por otro lado, las matrices proveen acceso
rpido, pero pueden consumir grandes cantidades de memoria.
Estructura de lista

lista de incidencia - Las aristas son representadas con un vector de pares

(ordenados, si el grafo es dirigido), donde cada par representa una de las
aristas.5

lista de adyacencia - Cada vrtice tiene una lista de vrtices los cuales son
adyacentes a l. Esto causa redundancia en un grafo no dirigido (ya que A

existe en la lista de adyacencia de B y viceversa), pero las bsquedas son ms

rpidas, al costo de almacenamiento extra.

lista de grados - Tambin llamada secuencia de grados o sucesin

grfica de un grafo no-dirigido es una secuencia de nmeros, que corresponde a
los grados de los vrtices del grafo.

Grafo G(V,A)

Conjuntos

Secuencia
grados

V = { 1, 2, 3, 4, 5, 6 }
A = { {1,1}, {1,2}, {1,5}, {2,3}, {2,5},
{3,4}, {4,5}, {4,6} }

(4,3,3,3,2,1)

de

Estructuras matriciales
Matriz de adyacencia - El grafo est representado por una matriz cuadrada M de
tamao , donde es el nmero de vrtices. Si hay una arista entre un vrtice x
y un vrtice y, entonces el elemento
es 1, de lo contrario, es 0.

Grafo no dirigido

Matriz de adyacencia

Grafo dirigido

Matriz de adyacencia


Matriz de incidencia - El grafo est representado por una matriz de A (aristas) por
V (vrtices), donde [vrtice, arista] contiene la informacin de la arista (1 conectado, 0 - no conectado)

ISOMORFISMO DE GRAFOS
Definicin:
Dos grafos son isomorfos cuando existe una correspondencia que asocia cada
uno de los elementos de un conjunto con uno, y solo uno, de los elementos de otro
conjunto, y cada elemento de este ltimo con uno, y solo uno, de los elementos de
aquel. Uno a uno entre sus vrtices de tal forma que dos de estos queden unidos
por una arista en comn. Es decir si dos grafos son isomorfos si tienen;

El mismo nmero de vrtices

El mismo nmero de aristas
El mismo nmero de vrtices de cualquier grado
El mismo nmero de ciclos o caminos de cualquier longitud
Si dos grafos difieren en algunas de estas cantidades ya no seran
isomorfos

Ejemplo:
Sean los siguientes grafos G1 y G2

Un isomorfismo para los grafos anteriores G1 y G2 est definido por:

f (a) = A
f (b) = B
f (c) = C
f (d) = D
f (e) = E
y g(Xi) = Yi, i = 1, ... , 5
Los grafos G1 y G2 son isomorfos si y solo si para alguna ordenacin de vrtices y
lados sus matrices de incidencia son iguales. Veamos las matrices de incidencia
de los grafos anteriores:

rboles
En teora de grafos, un rbol es un grafo en el que cualesquiera dos vrtices estn
conectados por exactamente un camino. Un bosque es una unin disjunta
(Separadas, desunidas.). De rboles. Un rbol a veces recibe el nombre de rbol
libre.
Definido de una manera ms prctica, es una estructura en la que los datos se
organizan de modo que los elementos de informacin estn relacionados entre s
a travs de las ramas.
Ejemplo
rbol genealgico

Para que sea un rbol un grafo debe adoptar las siguientes caractersticas:

No dirigido
Conexo(Enlazado y relacionado)
Sin ciclos

Mientras que en el bosque solo va a diferir en que no es conexo.

rbol

rbol etiquetado con 6 vrtices y 5 aristas. El nico camino

simple que conecta los vrtices 2 y 6 es 2-4-5-6.

Vrtices

Aristas

v-1

Nmero

2 si v > 1

cromtico

Propiedades

Bipartito, expandible y plano (si el conjunto

de vrtices es numerable)