Aplicaciones de grafos y

arboles
Oscar Andres Quesedo Lopez
Universidad de Cartagena
Cartagena, Colombia



INTRODUCCION

Esta investigacin nos habla
sobre grafos y rboles la
cual nos explicara el
concepto de cada uno, como
estn conformadas, sus
propiedades y de cmo los
podemos aplicar en la
computacin.
Nos dar a conoce que los
grafos y los arboles tienen
muchas similitudes en cuanto
a su estructura por que
poseen, nodos, races, un
hijo izquierdo y un hijo
derecho, nos hablara de cmo
se originan estos hijos.
Sabremos que es un bosque
con el objetivo de poder
identificar qu diferencias
existen entre estos los
grafos, los arboles y el
bosque y que relaciones
tienen.
Los arboles y los grafos se
aplican en la computacin
porque gracias a ellos
podemos almacenar datos. El
trabajo hablara acerca de
las estructuras no lineales
en especfico de los rboles
y Grafos, que se diferencia
de las estructuras lineales
en la forma de manejo de los
datos, las estructuras
lineales como su nombre lo
indica se lo caracteriza por
la linealidad tal as como
los arrays que cada elemento
iba ordenado secuencialmente
uno tras otra en ndices
continuas en la cual a cada
elemento corresponda otro
siguiente.
Estaremos tambin
mencionando los tipos de
rboles empleados en la
informtica y las
operaciones que se pueden
realizar sobre las mismas y
los recorridos que pueden
llegar a tener tal as como
el recorrido en:

GRAFOS:
En matemticas y en ciencias
de la computacin, la teora
de grafos (tambin llamada
teora de las grficas)
estudia las propiedades de
los grafos (tambin llamadas
grficas). Un grafo es un
conjunto, no vaco, de
objetos llamados vrtices (o
nodos) y una seleccin de
pares de vrtices, llamados
aristas (edges en ingls)
que pueden ser orientados
(dirigidos) o no.
Tpicamente, un grafo se
representa mediante una
serie de puntos (los
vrtices) conectados por
lneas (las aristas).
Los grafos son artefactos
matemticos que permiten
expresar de una forma
visualmente muy sencilla y
efectiva las relaciones que
se dan entre elementos de
muy diversa ndole. Un grafo
simple est formado por dos
conjuntos:
Un conjunto V de puntos
llamados vrtices o nodos.
Un co
njunto de pares de vrtices
que se llaman aristas o
arcos y que indican qu
nodos estn relacionados. De
una manera ms informal
podemos decir que un grafo
es un conjunto de nodos con
enlaces entre ellos,
denominados aristas o
arcos.

PARTES DE UN GRAFO:

Un grafo (G) es un diagrama
que consta de un conjunto de
nodos (Vrtices) y un
conjunto de aristas (lados).

Nodos. Se indican por medio
de un pequeo crculo y se
le asigna un nmero o una
letra.

Aristas. Son las lneas que
unen un nodo con otro y se
les asigna una letra un
nmero o una combinacin de
ambos.

Aristas paralelas. Son las
aristas que tienen relacin
con un mismo par de nodos.

Lazo. Es aquella arista que
sale de un nodo y regresa al
mismo nodo.

Valencia de un nodo. Es el
nmero de aristas que salen
o entran a un nodo.

TIPOS DE GRAFOS:
Existen dos tipos de grafos
los no dirigidos y los
dirigidos.
No dirigidos: son aquellos
en los cuales los lados no
estn orientados (No son
flechas). Cada lado se
representa entre parntesis,
separando sus vrtices por
comas, y teniendo en cuenta
(Vi,Vj)=(Vj,Vi).

Dirigidos: son aquellos en
los cuales los lados estn
orientados (flechas). Cada
lado se representa entre
ngulos, separando sus
vrtices por comas y
teniendo en cuenta
<Vi ,Vj>!=<Vj ,Vi>. En
grafos dirigidos, para cada
lado <A,B>, A, e
l cual es el vrtice origen,
se conoce como la cola del
lado y B, el cual es el
vrtice destino, se conoce
como cabeza del lado.

Se dice que el grafo G = (V,
E) es
a) Un grafo regular de grado
n si todos sus vrtices
tienen grado n.
b) Un grafo completo si cada
par de vrtices est unido
por una arista. Se denota
por Kn al grafo completo de
n vrtices
c) Un ciclo si V = {v1,
v2, . . . vn}, n> 3, y E =
(v1, v2), (v2, v3), . . . ,
(vn, v1). Se denota por Cn
al ciclo de n vrtices
d)Una rueda si V = {v0, v1,
v2, . . . vn}, n n> 3, y E =
{(v1, v2), (v2, v3), . . . ,
(vn, v1), {(v1, v0), (v2,
v0), . . . , (vn, v0) }. Se
denota por Wn a la rueda de
n+1 vrtices
e)Un cubo si sus vrtices y
aristas estn relacionados
como los de un cubo n-
dimensional. Se denota por
Qn al cubo asociado al cubo
n-dimensional.
f)Un grafo bipartido si V=V
1 UV 2? y cada arista de E
une un vrtice de V1 y otro
de V2
g)Un grafo bipartido
completo si V=V 1 UV 2 y dos
vrtices de V estn unidos
por una arista de E si y
solo si un vrtice est en
V1 y el otro en V2. Se
denota por Kr,s al grafo
bipartido completo donde V1
tiene r vrtices y V2 tiene
s vrtices

TIPOS DE GRAFOS:
Grafos simples
Un grafo es simple si a lo
ms existe una arista
uniendo dos vrtices
cualesquiera. Esto es
equivalente a decir que una
arista cualquiera es la
nica que un
e dos vrtices especficos.
Un grafo que no es simple se
denomina multgrafo.
Grafos conexos
Un grafo es conexo si cada
par de vrtices est
conectado por un camino; es
decir, si para cualquier par
de vrtices (a, b), existe
al menos un camino posible
desde a hacia b.
Un grafo es doblemente
conexo si cada par de
vrtices est conectado por
al menos dos caminos
disjuntos; es decir, es
conexo y no existe un
vrtice tal que al sacarlo
el grafo resultante sea
disconexo.
Es posible determinar si un
grafo es conexo usando un
algoritmo Bsqueda en
anchura (BFS) o Bsqueda en
profundidad (DFS).
En trminos matemticos la
propiedad de un grafo de ser
(fuertemente) conexo permite
establecer con base en l
una relacin de equivalencia
para sus vrtices, la cual
lleva a una particin de
stos en "componentes
(fuertemente) conexas", es
decir, porciones del grafo,
que son (fuertemente)
conexas cuando se consideran
como grafos aislados. Esta
propiedad es importante para
muchas demostraciones en
teora de grafos.

Grafos completos
Un grafo es completo si
existen aristas uniendo
todos los pares posibles de
vrtices. Es decir, todo par
de vrtices (a, b) debe
tener una arista e que los
une.
El conjunto de los grafos
completos es denominado
usualmente, siendo el grafo
completo de n vrtices.
Un, es decir, grafo completo
de vrtices tiene exactament
e aristas.
La representacin grfica de
los como los vrtices de un
polgono regular da cuenta
de su peculiar estructura.
Grafos bipartitos
Un grafo G es bipartito si
puede expresarse como (es
decir, sus vrtices son la
unin de dos grupos de
vrtices), bajo las
siguientes condiciones:
* y son disjuntos y no
vacos.
* Cada arista de A une un
vrtice de V1 con uno de V2.
* No existen aristas uniendo
dos elementos de V1;
anlogamente para V2.
Bajo estas condiciones, el
grafo se considera bipartito,
y puede describirse
informalmente como el grafo
que une o relaciona dos
conjuntos de elementos
diferentes, como aquellos
resultantes de los
ejercicios y puzzles en los
que debe unirse un elemento
de la columna A con un
elemento de la columna B.

Aplicacin De Los Grafos En
La Informtica
Redes de Petri y Protocolos
de Comunicacin

Las redes de Petri tambien
son utilizadas en la
expresin de protocolos de
comunicacin, una muestra la
tenemos en el libro de
Andrew S. Tanenbaum:

Automatas y lenguajes

Los lenguajes formales
pueden ser expresados como
un diagrama de transicin de
estados en forma de grafo
dirigido. Los arcos de estos
diagramas representan el
smbolo leido -o producido-
y los nodos son simplemente
estados del autmata.

Circuitos hamiltonianos en
fuentes de Markov

Una fuente de markov es
ergdica si el
grafo que la representa
contiene al menos un
circuito hamiltoniano.

Arboles y S.O.

La estructura de datos
dominante en el diseo del
almacen de los datos de los
Sistemas Operativos es la
"jerrquica" o de "rbol".
Es importante destacar sin
embargo ciertas
insuficiencias
navegacionales por lo cual
se aade a sus
funcionalidades
arborescentes otras
funcionalidades de
navegacin como ser los
"enlaces directos" y
similares que permiten
realizar saltos en la
navegacin de la estructura,
por medio de caminos
absolutos que tienen como
inicio la raiz del sistema
de archivos.

Que es un rbol?
Un rbol es una estructura
de datos ampliamente usada
que imita la forma de un
rbol (un conjunto de nodos
conectados). Un nodo es la
unidad sobre la que se
construye el rbol y puede
tener cero o ms nodos hijos
conectados a l. Se dice que
un nodo es padre de un nodo
si existe un enlace desde
hasta (en ese caso, tambin
decimos que es hijo de).
Slo puede haber un nico
nodo sin padres, que
llamaremos raz. Un nodo que
no tiene hijos se conoce
como hoja. Los dems nodos
(tienen padre y uno o varios
hijos) se les conoce como
rama.
El rbol es una estructura
de datos fundamental en la
informtica, muy utilizada
en todos sus campos, por que
se adapta a la
representacin natural de
informaciones homogneas
organizadas y de una gran
comodidad y ra
pidez de manipulacin.
Otra definicin de rbol es
como tipo de grafo cclico,
conexo y no dirigido.
Las estructuras tipo rbol
se usan principalmente para
representar datos con una
relacin jerrquica entre
sus elementos, como son
rboles genealgicos, tablas,
etc.
La definicin de un rbol
implica una estructura
recursiva. Esto es, la
definicin del rbol se
refiere a otros rboles. Un
rbol con ningn nodo es un
rbol nulo; no tiene raz.
Una estructura vaca o un
elemento o clave de
informacin (nodo) mas un
numero finito de estructuras
tipo rbol, disjuntos,
llamados subrboles. Si
dicho numero de estructuras
es inferior o igual a dos,
se tiene un rbol binario.
es por tanto, una estructura
no secuencial.

La representacin y
terminologa de los arboles
se realiza con las tpicas
notaciones de las relaciones
familiares en los rboles
genealgicos: padre, hijo,
hermano, ascendente,
descendiente, etc.

RAIZ: Todos loa rboles que
no esta vacos tienen un
nico nodo raz. Todos los
dems elementos o nodos
derivan o descienden de l.
El nodo Raz no tiene Padre
es decir no es hijo de
ningn elemento
PADRE: X es padre de Y s y
solo s el nodo X apunta a Y.
Tambin se dice que X es
antecesor de Y.
HIJO: X es hijo de Y, s y
solo s el nodo X es
apuntado por Y. Tambin se
dice que X es descendiente
directo de Y.
HERMANO: Dos nodos
sern hermanos si son
descendientes directos de un
mismo nodo.
HOJA. Se le llama hoja o
Terminal a aquellos nodos
que no tienen ramificaciones
(hijos).
NODO. Son los Vrtices o
elementos del rbol.
NODO INTERIOR. Es un nodo
que no es raz ni Terminal.
GRADO. Es el nmero de
descendientes directos de un
determinado nodo.
GRADO DEL ARBOL Es el mximo
grado de todos los nodos del
rbol.
NIVEL. Es el nmero de arcos
que deben ser recorridos
para llegar a un determinado
nodo. Por definicin la raz
tiene nivel 1.
ALTURA. Es el mximo nmero
de niveles de todos los
nodos del rbol. Equivale al
nivel ms alto de los nodos
ms 1.
PESO. Es el nmero de nodos
terminales del rbol
LONGITUD DE CAMINO. Es el
nmero de arcos que deben
ser recorridos para llegar
desde la raz al nodo X. Por
definicin la raz tiene
longitud de camino 1, y sus
descendientes directos
longitud de camino 2 y as
sucesivamente.

Propiedades de los arboles
Teorema 1: Si a y b son dos
vrtices distintos de un
rbol, entonces existe un
nico camino elemental que
conecta dichos vrtices.
Teorema 2: T es un rbol
cualquiera, entonces
|v|=|E|+1.
Teorema 3: T es un rbol con
|v|2, se verifica que tiene
al menos dos vrtices
terminales.
Teorema 4: Sea G un grafo
simple con v vrtices,
entonces se puede decir:
G es un rbol.
G es conexo y no contiene
circuitos.
G es conexo y tiene (n-1)
lados.
G no contiene circuitos y
tiene (n-1) lados.
* Todo rbol es a su vez un
grafo bipartito. Todo rbol
con slo un conjunto
numerable de vrtices es
adems un grafo plano.
* Todo grafo conexo G admite
un rbol de expansin, que
es un rbol que contiene
cada vrtice de G y cuyas
aristas son aristas de G.
* Dado n vrtices
etiquetados, hay n n2
maneras diferentes de
conectarlos para construir
un grafo. El resultado se
llama frmula de Cayley. El
nmero de rboles con n
vrtices de grado
d1,d2,...,dn es:

Que es un coeficiente
multinomial.
Contar el nmero de rboles
no etiquetados es un
problema complicado. De
hecho, no se conoce ninguna
frmula para el nmero de
rboles t(n) con n vrtices
(debe entenderse aqu el
nmero de rboles diferentes
salvo isomorfismo de grafos).
Los primeros valores de t(n)
son 1, 1, 1, 1, 2, 3, 6, 11,
23, 47, 106, 235, 551, 1301,
3159, ... (sucesin A000055
en OEIS). Otter (1948) prob
que

Una frmula ms exacta para
el comportamiento asinttico
de t(n) implica que hay dos
nmeros y ( 3 y
0.5) tales que:

TIPOS DE ARBOLES

* ARBOLES BINARIOS
Un rbol binario es un rbol
en el que ningn nodo puede
tener ms de dos subrboles.
En un rbol binario cada
nodo puede tener cero, uno o
dos hijos (subrboles).

* ARBOLES BINARIO DE
BUSQUEDA :son
arboles binarios ordenados.
desde cada nodo todos los
nodos de una rama seran
mayores, segn la norma que
se haya seguido para ordenar
el arbol , y los de la otra
rama seran menores. es un
arbol binario de de busqueda
que intenta mantener su
altura, o el numero de
niveles de nodos bajo la
raz, tan pequeos como sea
posible en todo momento,
automticamente

* ARBOLES AVL: los arboles
avl estn siempre
equlibrados de tal modo que
para todos los nodos, la
altura de la rama izquierda
no difiere en mas de una
unidad de la altura de la
rama derecha o viceversa .el
factor de equilibrio puede
ser almacenado directamente
en cada nodo o ser computado
apartir de las alturas de
los subrboles.
* Arboles rojos-negros:est
rbol es un tipo de rbol
binario usado en informtica
para organizar informacin
compuesta por datos
comparables (como por
ejemplo nmeros).
* cada nodo tiene un
atributo de cuyo valos es o
bien rojo o bien negro .
* la raz es negra.
* Todas las hojas son negras
(las hojas son los hijos
nulos)
* Los hijos de todo nodo
rojo son negros

* Arbol AA:se utiliza para
almacenar y recuperar
informacin ordenada de
manera eficiente.a
diferencia del rbol rojo-
negro, los nodos rojos solo
pueden ser un hijo izquierdo.

* Arboles
multiplicativos :este tipo
de arboles consiste en que
existen mas nodos en
un mismo nivel que en los
arboles binarios con lo que
se consigue que, si el rbol
es de bsqueda,los accesos a
los nodos sean mas rapidos.

* ARBOLES B
son arboles cuyos nodos
pueden tener un numero
multiple de hijos esto
significa que cada nodo
puede poseer mas de dos
hijos.se encuentran
comnmente en las
implementaciones de bases de
datos y sistemas de archivos.

* APLICACIN DE LOS ARBOLES
EN COMPUTACION
Se usa para representar
datos jerrquicos y ayuda a
realizar bsquedas en
conjuntos de datos.