TEORIA DE GRAFOS:

GRAFOS:
En matemticas y ciencias de la computacin, un grafo (del griego grafos: dibujo, imagen) 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).

Desde un punto de vista prctico, los grafos permiten estudiar las interrelaciones entre
unidades que interactan unas con otras. Por ejemplo, una computadoras puede
representarse y estudiarse mediante un grafo, en el cual los vrtices representan terminales y
las aristas representan conexiones (las cuales, a su vez, pueden ser cables o conexiones
inalmbricas).

MULTIGRAFOS:
Un multigrafo o pseudografo es un grafo que est facultado para tener aristas mltiples; es
decir, aristas que relacionan los mismos nodos. De esta forma, dos nodos pueden estar
conectados por ms de una arista. Formalmente, un multigrafo G es un par G:=(V, E) donde:

V es un conjunto de vrtices o nodos

E es un multiconjunto de pares no ordenados de nodos, llamados aristas o lneas.
Los multigrafos podran usirse, por ejemplo, para modelar las posibles conexiones de vuelo
ofrecidas por una aerolnea. Para este caso tendramos un grafo dirigido, donde cada nodo es
una localidad y donde pares de aristas paralelas conectan estas localidades, segn un vuelo
es hacia o desde una localidad a la otra.

Algunos autores permiten que los multigrafos tengan bucles, es decir, que una arista conecte a
un nodo consigo mismo.

Un multidigrafo es un grafo dirigido que est facultado para tener aristas mltiples, es decir,
aristas con los mismos nodos iniciales y finales. Formalmente, un multidigrafo G es un
par G:=(V,A) donde:

V es un conjunto de vrtices o nodos

A es un multiconjunto de pares ordenados de nodos, llamados aristas
dirigidas, arcos o flechas.
Un multidigrafo mixto G:=(V,E,A) puede definirse de la misma manera que un grafo mixto, es
decir, con la capacidad de poseer al mismo tiempo aristas dirigidas (A) y no dirigidas (E).

GRADO DE UN NODO:
En Teora de grafos, el grado o valencia de un vrtice es el nmero de aristas incidentes al
vrtice. El grado de un vrtice x es denotado por grado(x), g(x) o gr(x) (aunque tambin se
usa (x), y del ingls d(x) y deg(x)). El grado mximo de un grafo G es denotado por (G) y el
grado mnimo de un grafo G es denotado por (G).

SUBGRAFOS:
En teora de grafos, un subgrafo de un grafo G es un grafo cuyo conjunto de vrtices es un
subconjunto del conjunto de vrtices G y el conjunto de aristas es un subconjunto del conjunto
de aristas de G [1], es decir, cuya relacin de Adyacencia es un subconjunto de G restringido a
ese subconjunto. Decimos que un grafo G contiene otro grafo H si algn subgrafo de G es H o
es isomorfo a H.

Sea G = (V, A). G '= (V', A ') se dice que es subgrafo de G si:

1- V '{\ displaystyle \ subseteq} \ subseteq V

2- A '{\ displaystyle \ subseteq} \ subseteq A

3- (V ', A') es un grafo

Si G '= (V', A ') es subgrafo de G, para todo v {\ displaystyle \ in} \ in G se cumple gr (G', v) =
gr (G, v) G2 es un subgrafo de G

En la otra direccin, un supergrafo de un grafo G es un grafo del cual G es un subgrafo.

Un subgrafo G '(representado por H) es un subgrafo inducido de G si, para cualquier par de

vrtices xey de H, xy es un filo de H si y slo si xy es un filo de G. En otras palabras, H es un
Subgrafo inducido de G si tiene todas las aristas que aparecen en G sobre el mismo conjunto
de vrtices. Si el conjunto de vrtices de H es un subconjunto S de V (G), entonces H puede ser
escrito como G [S] y se dice que es inducido por S.
Un grafo que no contiene H como un subgrafo inducido se dice que es H-libre.

Un grafo universal en una clase de grafos K es un grafo simple en el que cada elemento de K
puede ser incorporado como un subgrafo.

Un subgrafo H es un subgrafo completo o factor de un grafo G si tiene el mismo conjunto de

vrtices que G. Decimos que H abarca G.

Un subgrafo H de un grafo G que contenga todos los vrtices de G y sea un rbol se denomina
rbol de extensin de G [2

COMPONENTES CONEXOS:
En la Teora de grafos, un grafo dirigido es llamado fuertemente conexo si para cada par
de vrtices u y v existe un camino de u hacia v y un camino de v hacia u. Los componentes
fuertemente conexos (CFC) de un grafo dirigido son sus subgrafos mximos fuertemente
conexos. Estos subgrafos forman una particin del grafo.

Un subgrafo fuertemente conexo es mximo si contiene todos los vrtices del grafo o si al
agregarle un vrtice cualquiera deja de ser fuertemente conexo.

El clculo de los componentes fuertemente conexos de un grafo es uno de los problemas

fundamentales de la Teora de los grafos. El primer algoritmo que trabaja en tiempo lineal para
resolver este problema fue propuesto por Robert Tarjan en 1970 a base de una bsqueda en
profundidad (depth-first search). Otros algoritmos aparecen en los principales textos
sobre algortmica.

La complejidad de este algoritmo es O(V+E).

PUNTO DE CORTE:
En teora de grafos, un vrtice de corte o punto de articulacin es un vrtice de un grafo tal
que al eliminarlo de ste se produce un incremento en el nmero de componentes conexos. Si
el grafo estaba conectado antes de retirar el vrtice, entonces pasar a desconectarse.
Cualquier grafo conexo con un vrtice de corte tiene una conectividad de:

1. A pesar de que estn bien definidos para grafos dirigidos, los vrtices de corte se usan
principalmente en los grafos no dirigidos. En general, un grafo conexo, no dirigido y
con n vrtices, puede tener no ms que n-2 vrtices de corte. Naturalmente, un grafo puede
no tener ningn vrtice de corte.

Una arista de corte o puente, es una arista anloga a un vrtice de corte; es decir, una que al
eliminarla incrementa el nmero de componentes conexos del grafo.
En un rbol, cada vrtice con grado mayor que 1 es un vrtice de corte.

PUENTES:
En teora de grafos, un puente, arista de corte o istmo es una arista que al ser eliminada en
un grafo incrementa el nmero de componentes conexas de ste. Equivalentemente, una
arista es un puente si y slo si no est contenida en ningn ciclo.

Un grafo sin puentes es equivalente a un grafo conexo con conectividad

2. Un importante problema abierto que involucra puentes es el llamado Cycle Double Cover
Conjecture ("Conjetura del Ciclo de Doble Cobertura"), propuesto por Seymour y Szekeres
(1978 y 1979, independientemente), que establece que todo grafo sin puentes admite un
conjunto de ciclos que contiene cada arista exactamente dos veces.

MULTIGRAFO RECORRIBLE:
Un multigrafo o pseudografo es un grafo que est facultado para tener aristas mltiples; es
decir, aristas que relacionan los mismos nodos. De esta forma, dos nodos pueden estar
conectados por ms de una arista. Formalmente, un multigrafo G es un par G:=(V, E) donde:

V es un conjunto de vrtices o nodos

E es un multiconjunto de pares no ordenados de nodos, llamados aristas o lneas.
Los multigrafos podran usarse, por ejemplo, para modelar las posibles conexiones de vuelo
ofrecidas por una aerolnea. Para este caso tendramos un grafo dirigido, donde cada nodo es
una localidad y donde pares de aristas paralelas conectan estas localidades, segn un vuelo
es hacia o desde una localidad a la otra.

Algunos autores permiten que los multigrafos tengan bucles, es decir, que una arista conecte a
un nodo consigo mismo.

Un multidigrafo es un grafo dirigido que est facultado para tener aristas mltiples, es decir,
aristas con los mismos nodos iniciales y finales. Formalmente, un multidigrafo G es un
par G:=(V,A) donde:

V es un conjunto de vrtices o nodos

A es un multiconjunto de pares ordenados de nodos, llamados aristas
dirigidas, arcos o flechas.
Un multidigrafo mixto G:=(V,E,A) puede definirse de la misma manera que un grafo mixto, es
decir, con la capacidad de poseer al mismo tiempo aristas dirigidas (A) y no dirigidas (E).
 GRAFOS Y MULTIGRAFOS:
GRAFOS Y MULTGRAFOS:
Se dice que el grafo G = (V, E) es
a) Un grafo regular de grado n si todos sus vrtices tienen grado n.

Grafos regulares de grado 2.

Grafos regulares de grado 3.

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 grafo bipartido si V=V1UV2 y cada arista de E une un vrtice de V1 y otro

de V2
 d) Un grafo G es plano si admite una representacin en el plano de tal forma que
las aristas no se cortan, salvo en sus extremos. A dicha representacin se le
denomina grafo plano. En teora de grafos, un grafo plano (o planar segn
referencias) es un grafo que puede ser dibujado en el plano sin que ninguna
arista se cruce (una definicin ms formal puede ser que este grafo pueda ser
"incrustado" en un plano).

MATRICES Y GRAFOS
ADYACENCIA
El vrtice n es adyacente al m, si existe un arco o arista de m a n.
Adyacencia:

B es adyacente a A
D es adyacente a A
C es adyacente a A
A es adyacente a A
C es adyacente a D
E es adyacente a C
MATRIZ DE ADYACENCIA:
Dado un grafo G = (V, E) con n vrtices {v1, ..., vn} su matriz de adyacencia es la
matriz de orden nn, A(G)=(aij) donde aij es el nmero de aristas que unen los vrtices
vi y vj.
Ejemplo:

La matriz de adyacencia de un grafo es simtrica. Si un vrtice es aislado entonces la

correspondiente fila (columna) est compuesta slo por ceros. Si el grafo es simple
entonces la matriz de adyacencia contiene solo ceros y unos (matriz binaria) y la
diagonal est compuesta slo por ceros.

INCIDENCIA
El vrtice n es incidente al arco o arista x, si n es uno de los vrtices relacionados con el
arco o arista x. Del mismo modo, se dice que el arco o arista x es incidente al vrtice n.
As, todos los arcos que llegan o salen de un nodo son incidentes a l
Incidencia:

B es incidente al arco (A,B)

(A,B) es incidente a B

MATRIZ DE INCIDENCIA
Dado un grafo simple G = (V, E) con n=|V| vrtices {v1, ..., vn} y m=|E| aristas {e1, ...,
em}, su matriz de incidencia es la matriz de orden nxm, B(G)=(bij), donde bij=1 si vi es
incidente con ej y bij=0 en caso contrario.
Ejemplo:

La matriz de incidencia slo contiene ceros y unos (matriz binaria). Como cada arista
incide exactamente en dos vrtices, cada columna tiene exactamente dos unos. El
nmero de unos que aparece en cada fila es igual al grado del vrtice correspondiente.
Una fila compuesta slo por ceros corresponde a un vrtice aislado.

REPRESENTACIN ENLAZADA DE UN GRAFO

Problemas:
Es difcil saber cuntos arcos llegan a un vrtice
Se repite los vrtices adyacentes a l una lista de la informacin del vrtice.
Las listas pueden ser indistintamente secuenciales o enlazadas o una
combinacin.
El grafo est vaco si no existen vrtices.
REPRESENTACIN MULTIENLAZADA
Representacin multienlazada
- Cada vrtice se representa a travs de un nodo que contiene:
Apuntador a su informacin,
Apuntador a una lista de arcos
Apuntador al siguiente vrtice en la lista
- Cada arco se representa por un nodo que contiene:
Apuntador al prximo arco de su vrtice origen
Apuntador al nodo de su vrtice destino.
El grafo est vaco si no hay vrtices.

Contador de referencia formar parte de la informacin de los vrtices y mantiene

actualizado la cantidad de arcos llegan a l.
Los contadores de referencia facilitan algunas operaciones del grafo:
Al eliminar un vrtice se deben decrementar los contadores de referencia de los
vrtices adyacentes. Si el contador del vrtice adyacente se hace cero, se puede
eliminar ese vrtice si la lista de arcos est vaca.
GRAFOS ISOMORFOS
- Teorema 1
Dos graficas son isomorficas si y solo si sus vrtices pueden marcarse de manera tal que
las matrices de adyacencia correspondientes sean iguales.
- Teorema 2
Los grafos simples G1 = (V1,E1) y G2 = (V2,E2) son isomorfos si hay una funcin
biyectiva f desde V1 a V2 con la propiedad que a y b son adyacentes en G1 si y solo si f
(a) y f (b) son adyacentes en G2, para todo a y b en V1. Tal funcin f es llamada un
isomorfismo (igual forma).
- Dos grafos son isomorfos si uno puede obtenerse a partir del otro reetiquetandosus
vrtices.
- G = (V , E ) y G ' = (V ', E '), G y G '

- El nmero de vrtices, el nmero de aristas y los grados de las aristas son invariantes
bajo isomorfismo. Si cualquiera de estas cantidades toma valores distintos en dos grafos
simples, dichos grafos no pueden ser isomorfos.

- Sin embargo, el que esos invariantes coincidan no quiere decir que esos dos grafos
sean necesariamente isomorfos.

GRAFOS PLANARES Y ARBOLES:

GRAFOS PLANARES, MAPAS Y REGIONES.

MAPAS Y REGIONES
Un grafo o multi grafo es plano si se puede representar en el plano de modo que cada
arista corta nicamente a otra arista en un vrtice de ambas.
Una representacin de un grafo o multi grafo plano es un mapa.
El mapa es conexo si el grafo es conexo. El mapa divide al plano en regiones, y su nmero
es #R. El grado de una regin es la longitud del camino que la bordea.
Propiedad:
 La suma de los grados de las regiones de un mapa es igual al doble del nmero de
aristas del grafo.
Dado un mapa conexo con #R regiones, se cumple qu #V-#E+#R=2
Sea G un grafo, y u, v dos de sus vrtices que forman arista. Entonces, una subdivisin
elemental del grafo G es el grafo G' que es el grafo G al que se le aade un vrtice w, se
le quita la arista uv, y se le aaden dos aristas, una la uw, y otra la wv. Es como sustituir
una de sus aristas por un vrtice unido a los vrtices que antes eran extremos de esa arista.
Una subdivisin de G es el grafo despus de hacer un nmero finito (incluso 0) de
subdivisiones elementales sucesivas.
GRAFOS PLANARES

Una representacin planar de un grafo G es un conjunto de puntos en el plano que

se corresponden con los vrtices de G unidos por curvas que se corresponden con
las aristas de G, sin que estas se crucen entre si.
Un grafo es planar si admite una representacin planar.
Dada una representacin planar de un grafo G, una regin es el conjunto de todos
los puntos alcanzables desde un punto (que no sea un vrtice ni parte de una
arista) sin atravesar vrtices ni aristas.
Toda representacin planar de un grafo tiene exactamente una regin de rea
infinita, la regin exterior.
La frontera de una regin es el circuito que rodea a la regin (puede tener vrtices
y aristas repetidos).
El grado o tamao de la regin es el nmero de aristas que tiene su frontera.

FORMULA DE EULER
La frmula de Euler enuncia que si un grafo conexo, plano es dibujado sobre un plano
sin interseccin de aristas, y siendo v el nmero de vrtices, a el de aristas y c la
cantidad de caras (regiones conectadas por aristas, incluyendo la regin externa e
infinita), entonces:

Ejemplo: Euler dio una frmula que relacionaba el nmero de V de vrtices, el

nmero E de arcos y el numero R de regiones de un mapa conexo. V- E+R=2. Es muy
importante que el grafo correspondiente al mapa sea conexo, pues en caso contrario la
formula no es cierta. En la siguiente figura tenemos V=6, E=9 y R=5 y como afirma la
frmula de Euler: V-E+R=6-9+5=2.

GRAFICO NO PLANARES.

Se le consideran grafos no planares, a aquellos donde las aristas si se cruzan, muy

por lo contrario de los planares.
K5 y K33 son grafos no planares. K5 es el grafo no planar con el menor nmero
de vrtices y K33 es el que tiene el menor nmero de aristas.
 Si un grafo contiene un sub grafo no-planar es no-planar.

GRAFOS COLOREADOS

Hay muchos problemas, como la asignacin de tareas y los problemas de

almacenamiento, donde es necesario partir el conjunto de vrtices (resp. aristas) de un
grafo asociado de tal forma que vrtices (resp. aristas) adyacentes pertenezcan a
diferentes conjuntos de la particin. Tales particiones se interpretan habitualmente en
trminos de colores, asignando a los elementos de cada parte un mismo color. Por esto
se llaman coloraciones (resp. coloraciones de aristas).

Los problemas sobre coloracin de grafos fueron, en la segunda mitad del siglo XIX,
uno de los hitos iniciales de la Teora de Grafos. En aquel tiempo se plante uno de los
problemas clsicos, "El Problema de los cuatro colores", que no se resolvi hasta 1976
con la ayuda del ordenador.

Una coloracin de un grafo G=(V,A) es una asignacin de colores a los vrtices de G, a

cada vrtice un color, de forma que vrtices adyacentes reciban colores distintos. Si en
la coloracin se usan k colores diremos que es una coloracin.

Si existe una coloracin de G se dice que el grafo G es coloreable.

Las coloraciones siempre existen, pues podemos asignar a cada vrtice del grafo un
color diferente si fuera necesario. Cada coloracin de G produce en el conjunto de
vrtices, V(G), una particin en conjuntos independientes denominados clases de color.
Un conjunto de vrtices I se llama independiente si dos vrtices cualesquiera de I no son
adyacentes.
COLORES Y MAPAS

Conjetura de los cuatro colores.

Qu dice esta conjetura?: Afirma que bastan cuatro colores para colorear un mapa
geogrfico plano sin que dos pases colindantes tengan el mismo color. Los mapas a los
que aludimos son siempre conexos (en caso contrario podra estudiarse el problema por
separado) y cada una de sus regiones es tambin de una nica pieza, es decir no se
admite una figura como la adjunta, donde el pas E se divide en dos trozos disjuntos.
Adems, dos territorios distintos no pueden tocarse slo en un punto, y as se pueden
ignorar regiones con una nica lnea frontera.

Se podra pensar que cuanto ms complicado (en cantidad de regiones, formas y

maneras de colindar) es el mapa, mayor nmero de colores ser preciso; pero la prueba
sorprendente, es que no es as

La conjetura de los cuatro colores es un problema topolgico, ya que lo importante no

es la forma de las regiones, sino como estn colocadas las unas respecto a las otras.
Aunque parece un juego de nios (se entiende perfectamente lo que dice la conjetura y
parece que basta con tener un poco de habilidad para conseguir un 4-coloreado), vamos
a ver a lo largo de estas lneas que esta afirmacin no es cierta: su demostracin
involucra tcnicas matemticas complejas.

RBOLES

En ciencias de la informtica, 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 a es padre de un nodo b si existe un enlace desde a hasta b (en ese
caso, tambin decimos que b es hijo de a). 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.

Un rbol se define como un tipo de grafo que no contiene ciclos, es decir es un grafo
tambin acclico, pero a su vez es conexo. Tal es el caso de los siguientes dos grafos en
donde se puede notar que ninguno de los dos contiene repeticiones (ciclos).

Bosques de rboles.
Los bosques de rboles son un caso similar a los rboles, son acclicos, pero no son
conexos. Como ejemplo tenemos la siguiente figura.

Tipos de rboles

rbol binario: En ciencias de la computacin, un rbol binario es una

estructura de datos en la cual cada nodo siempre tiene un hijo izquierdo y un hijo
derecho. No pueden tener ms de dos hijos (de ah el nombre "binario"). Si
algn hijo tiene como referencia a null, es decir que no almacena ningn dato,
entonces este es llamado un nodo externo.
En el caso contrario el hijo es llamado un nodo interno. Usos comunes de los
rboles binarios son los rboles binarios de bsqueda, los montculos binarios y
Codificacin de Huffman.
rbol binario de bsqueda auto-balanceable: En ciencias de la computacin,
un rbol binario de bsqueda auto-balanceable o equilibrado es un rbol binario
de bsqueda que intenta mantener su altura, o el nmero de niveles de nodos
bajo la raz, tan pequeos como sea posible en todo momento, automticamente.
 Esto es importante, ya que muchas operaciones en un rbol de bsqueda binaria
tardan un tiempo proporcional a la altura del rbol, y los rboles binarios de
bsqueda ordinarios pueden tomar alturas muy grandes en situaciones normales,
como cuando las claves son insertadas en orden.
Mantener baja la altura se consigue habitualmente realizando transformaciones
en el rbol, como la rotacin de rboles, en momentos clave.
rbol multicamino: Los rboles multicamino o rboles multirrama son
estructuras de datos de tipo rbol usadas en computacin.
Un rbol multicamino posee un grado g mayor a dos, donde cada nodo de
informacin del rbol tiene un mximo de g hijos.

GRAFOS DIRIGIDOS:
GRAFOS DIRIGIDOS:
Un grafo G consiste en dos cosas:
1. Un conjunto V de elementos llamados nodos (o puntos o vrtices)
2. Un conjunto E de aristas tales que cada arista e de E est identificada por un nico
(desordenado) par de [u, v] de nodos de V, denotado por e = [u, v].
Un grafo dirigido G, tambin llamado dgrafo, cada arista e de G tiene una direccin asignada o,
en otras palabras, cada arista e est identificada por un par ordenado (u, v) de nodos G en vez
del par desordenado [u. v]. Un grafo dirigido (V, A) consta de un conjunto V de vrtices y de un
conjunto A de aristas, que son pares ordenados de elementos de V. Utilizamos el par ordenado
u,v para indicar que es una arista dirigida del vrtice u al vrtice v.
GRAFOS DIRIGIDOS (DIGRAFOS)
Un grafo dirigido (gd) es un par G = (V, A)
V es un conjunto finito de vrtices (o nodos o puntos)
A es un conjunto de aristas (o arcos) dirigidas
Arista: par ordenado de vrtices (u, v): u v
Ejemplo: V = {Ciud1, Ciud2, Ciud3, Ciud4, Ciud5} |V| = 5
A ={(Ciud2, Ciud2), (Ciud2, Ciud3), (Ciud3, Ciud1), (Ciud3, Ciud4), (Ciud3, Ciud5), (Ciud1,
Ciud3), (Ciud1, Ciud5) } |A| = 7
GRAFOS DIRIGIDOS (DIGRAFOS)
Cada arista del grafo dirigido incluye una flecha para indicar la direccin. La punta de cada
flecha representa el segundo nodo del par ordenado de nodos que constituye un arco y la cola de
la flecha representa el primer nodo del par.
El grado interno de un nodo en un grafo, es el nmero de aristas que terminan en ese nodo; el
grado externo de un nodo, es el nmero de aristas que salen de ese nodo. El grado de un nodo,
es la suma de sus grados internos y externos.
GRADO DE GRAFOS DIRIGIDOS:
En el caso de los grafos dirigidos, se suele distinguir entre grado de entrada g(x), como el
nmero de aristas que tiene al vrtice x como vrtice final y grado de salida g+(x), como el
nmero de aristas que tiene el vrtice x como vrtice inicial, de forma que
g(x)= g(x)+g+(x)
el lema del apretn de manos tambin es cirto en los grafos dirigidos. Para ello hay que
distinguir para cada nodo de entrada y de salida. Por lo tanto, el lema se expresa del siguiente
modo:

() = + (v) = |E|

CAMINOS DE GRAFOS DIRIGIDOS:

Un camino P de longitud n desde un nodo u se define como la secuencia de n+1 nodos.
P = (Voi, Vi, V2, , Vm)
Tal que u= Voi, Vi, es adyacente a Vi-1 para i=1,2,, n; y Vn=V. El camino P se dice que es
cerrado si V0=Vn. El camino P se dice que es simple se todos los nodos son distintos a
excepcin V0 de que puede ser igual a Vn; es decir, P es simple si los nodos Voi, Vi, V2, , Vm
, son distintos y los nodos V1, V2, V3, , Vm son tambin distintos. De acuerdo a lo anterior,
definimos un ciclo como un camino simple cerrado de longitud 3 o ms. Un ciclo de longitud k
se llama k-ciclo.
CONECTIVIDAD Y ARISTA CONECTIVIDAD:
Sea G un grafo conexo. Un conjunto U de aristas de G es un conjunto de aristas de corte del
grafo si G-U no es conexo.
Sea G un grafo conexo. Un conjunto S de vrtices de G es un conjunto de vrtices de corte del
grafo si G-S no es conexo.
Arista conectividad: I(G), es el mnimo cardinal de un conjunto E de arista de G tal que G-E es
un grafo no conexo o trivial. Si un grafo G es no trivial, entonces I(G) es el menor cardinal de
un conjunto de corte de aristas de G.
I(G)=0 si y solo si G es no conexo o trivial
Vrtice conectividad: K(G), es el mnimo nmero de vrtices tales que si se eliminan de G
producen un grafo no conexo o trivial. Si G no es completo K(G) es el mnimo cardinal de un
conjunto de corte de vrtices de G.
DIAGRAFOS Y RELACIONES:
Considere un digrafo D que no tiene arcos paralelos; sea N el conjunto de nodos y A el
conjunto de sus arcos. Como los arcos representan parejas ordenadas de nodos, A es
simplemente un subconjunto de NxN y, por tanto, A es una relacin en N. Recprocamente, si R
es una relacin en un conjunto N, entonces N se puede tomar como el conjunto de nodos y R
como conjunto de arcos de un dgrafo, D(N,R), que no tiene arcos paralelos. As, los conceptos
de relaciones en un conjunto y dgrafos sin arcos paralelos son una y la misma cosa.
MATRIZ DE ADYACENCIA DE UN DIGRAFO
Sea D un dgrafo de orden p. La matriz de adyacencia de D es una matriz cuadrada pxp que
denotaremos por A.
Sea (aij) el elemento de la fila i columna j de A, donde
aij = 1 si hay arco desde el vrtices i al j
aij = 0 en otro caso.
En dgrafos la matriz de adyacencia es en general no simtrica.
MATRIZ DE ADYACENCIA:
Existen dos formas estndar de mantener un grafo G en la memoria de una computadora. Una
forma llamada presentacin secuencial de G, se basa en la matriz de adyacencia de A. La otra
forma, llamada representacin enlazada de G, se basa en las listas enlazadas de vecinos.
Suponga que G es un grafo dirigido simple de m nodos y suponga que los nodos de G han sido
ordenados y llamados V1, V2,, VM .As la matriz de adyacencia A = (a i, j) del grafo G es la
matriz de m x m elementos definida como sigue:
1 , , (, )
, {
0
Una matriz A as, que contiene entradas de 0 y 1, se llama matriz de bits o matriz booleana.
La matriz de adyacente de A del grafo G depende de la ordenacin de los nodos de G, esto es,
diferentes ordenaciones de los nodos pueden resultar en diferentes matrices de adyacencia. Sin
embargo, las matrices obtenidas por dos ordenaciones diferentes estn fuertemente relacionadas
en cuanto que a una puede ser obtenida de la otra simplemente cambiando filas y columnas.
Con base en lo anterior podemos dar las siguientes aseveraciones:
o Al nmero de nodos del grafo se le llama orden del grafo.
o Un grafo nulo es un grafo de orden 0 (cero).
o Dos nodos son adyacentes si hay un arco que los une.
o En un grafo dirigido, si A es adyacente de B, no necesariamente B es adyacente de A
o Camino es una secuencia de uno o ms arcos que conectan dos nodos.
o Un grafo se denomina conectado cuando existe siempre un camino que une dos nodos
cualesquiera y desconectado en caso contrario.
o Un grafo es completo cuando cada nodo est conectado con todos y cada uno de los nodos
restantes.
o El camino de un nodo as mismo se llama ciclo.
o Un grafo sin ciclos es un rbol.
o El entregado de un nodo indica el nmero de arcos que llegan a ese nodo.
o El fuera de grado de un nodo indica el nmero de arcos que salen de l.
o Un grafo de N vrtices o nodos es un rbol si cumple las siguientes condiciones:
o Tiene N-1 arcos o Existe una trayectoria entre cada par de nodos.
o Esta mnimamente conectado.
ARBOLES CON RAIZ:
Un rbol con raz R consta de un grafo rbol junto con un nodo designado r llamado la raz del
rbol. Se llama nivel, o profundidad o generacin de v a la longitud de la nica trayectoria de la
raz r a v. Los puntos colgantes de R (excepto r, si es que r es un punto colgante) se llaman
hojas del rbol con raz. En la figura se muestra un rbol con raz en donde se dibuja la raz r
arriba en el rbol. El rbol tiene hojas d, f, h, i y j. el nivel de a es 1, el de f es 2, y el de j es 3.
Hacemos hincapi en que todo rbol se puede constituir en rbol con raz simplemente
escogiendo uno de sus nodos como la raz.
El hecho de que haya una nica trayectoria de la raz a todo nodo de R introduce una orientacin
para los segmentos de R. se llama rama una trayectoria dirigida continua de un nodo a una hoja
de R. diremos que un nodo u precede a otro v o que v sigue a u, si la trayectoria de la raz r a v
incluye u. En la siguiente figura el nodo j sigue a c, pero sigue inmediatamente a g. Observe que
todo nodo excepto la raz sigue inmediatamente despus de alguno nodo nico, pero puede ser
seguido inmediatamente por ms de un nodo, por ejemplo, los vrtices i y j ambos siguen
inmediatamente despus de g.

ARBOLES BINARIOS:
En teora de grafos, se usa la siguiente definicin: Un rbol binario es un grafo conexo, acclico
y no dirigido tal que el grado de cada vrtice no es mayor a 3. De esta forma solo existe un
camino entre un par de nodos.
Un rbol binario con enraizado es como un grafo que tiene uno de sus vrtices, llamado raz, de
grado no mayor a 2. Con la raz escogida, cada vrtice tendr un nico padre, y nunca ms de
dos hijos. Si rehusamos el requerimiento de la conectividad, permitiendo mltiples componentes
conectados en el grafo, llamaremos a esta ltima estructura un bosque'.

Un rbol binario es un conjunto finito de elementos, el cual est vaco o dividido en tres
subconjuntos separados:
El primer subconjunto contiene un elemento nico llamado raz del rbol.
 El segundo subconjunto es en s mismo un rbol binario y se le conoce como subrbol
izquierdo del rbol original.
El tercer subconjunto es tambin un rbol binario y se le conoce como subrbol derecho del
rbol original. El subrbol izquierdo o derecho puede o no estar vaco. Cada elemento de un
rbol binario se conoce como nodo del rbol.
Ejercicio: Una lista podra ser un rbol binario? Una lista doblemente enlazada? Por qu?
Qu otros ejemplos podran o no considerarse como rboles binarios?

Si B es la raz de un rbol binario y D es la raz del subrbol izquierdo/derecho, se dice que B es

el padre de D y que D es el hijo izquierdo/derecho de B.
A un nodo que no tiene hijos, tal como A o C de la Ilustracin 2, se le conoce como hoja.
Un nodo n1 es un ancestro de un nodo n2 (y n2 es un descendiente de n1) si n1 es el padre de n2
o el padre de algn ancestro de n2.
Recorrer un rbol de la raz hacia las hojas se denomina descender el rbol y al sentido opuesto
ascender el rbol.
Un rbol estrictamente binario es aquel en el que cada nodo que no es hoja, tiene subrboles
izquierdo y derecho que no estn vacos.
Un rbol estrictamente binario con n hojas siempre contiene 2n-1 nodos.
El nivel de un nodo en un rbol binario se define del modo siguiente:
1.La raz del rbol tiene el nivel 0.
2.El nivel de cualquier otro nodo en el rbol es uno ms que el nivel de su padre.
La profundidad o altura de un rbol binario es el mximo nivel de cualquier hoja en el rbol.
Un rbol binario completo de profundidad p, es un rbol estrictamente binario que tiene todas
sus hojas en el nivel p.