1.

- 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 interseque (una definicin ms formal puede ser que este grafo pueda ser
"embebido" en un plano). Un grafo no es plano si no puede ser dibujado sobre un plano sin que sus aristas se
intersequen. Los grafos K5 y el K3,3 son los grafos no planos minimales, lo cual nos permitirn caracterizar el
resto de los grafos no planos.
TEOREMA DE KURATOWSKI
El matemtico polaco Kazimierz Kuratowski encontr una caracterizacin de los grafos planos,
conocida como el teorema de Kuratowski:
Un grafo es plano si y solo si no contiene un subgrafo que es una subdivisin elemental de K5 (el grafo
completo de 5 vrtices) o K3,3 (el grafo bipartito completo de 6 vrtices).
Una subdivisin elemental de un grafo resulta de insertar vrtices en las aristas (por ejemplo, cambiando
por ). Una formulacin equivalente a este teorema es: Un grafo es plano s y solo s no contiene
ningn subgrafo homeomorfo a K5 K3,3.
OTRO CRITERIO PARA DETERMINAR SI UN GRAFO ES PLANO
En la prctica, es difcil usar el teorema de Kuratowski para decidir rpidamente si un grafo es plano.
Sin embargo, existe un algoritmo rpido para este problema: dado un grafo de n vrtices y e el nmero de
aristas, es posible determinar en tiempo O(n) (lineal) si el grafo es plano o no, utilizando los dos teoremas
siguientes:
Teorema 1. Si n 3 entonces e 3n - 6
Teorema 2. Si n > 3 y no existen ciclos de longitud 3, entonces e 2n - 4
El grafo K3,3, por ejemplo, tiene 6 vrtices, 9 aristas y ningn ciclo de longitud 3. Por el teorema 2, no
puede ser plano. Ntese que estos teoremas estn construidos con una implicacin unidireccional (si), y no
bicondicional (si y solo si) y por tanto, solamente pueden ser usados para probar que el grafo no es plano,
pero no que sea plano. Si ambos teoremas fallan, deben usarse otros mtodos.
FRMULA 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, e el de aristas y f la cantidad de caras (regiones conectadas por
aristas, incluyendo la regin externa e infinita), entonces: v e + f = 2, Por ejemplo, la Caracterstica de Euler
es 2. De manera ms ilustrativa, en los ejemplos anteriores, en el primer grafo plano tenemos: v=6, e=7 y f=3.
Si el segundo grafo se redibuja sin las intersecciones de aristas, tenemos v=4, e=6 y f=4. La frmula de Euler se
puede probar de la siguiente manera: si el grafo no es un rbol, entonces se elimina una arista que completa
un ciclo. Esto disminuye el valor de e y f en uno, dejando v e + f constante. Reptase hasta llegar a un rbol.
Los rboles tienen v = e + 1 y f = 1, verificando la frmula v - e + f = 2.
En un grafo simple, conexo y plano, cualquier regin (posiblemente exceptuando la exterior) est
conectada por al menos tres aristas y cada arista toca como mucho dos regiones. Usando la frmula de Euler,
se puede demostrar que estos grafos son escasos en el sentido que e 3v - 6 si v 3.
Se le dice plano maximal al grafo que es plano pero al agregarle cualquier arista dejase de serlo. Todas las
regiones (incluso la externa) estn conectadas por tres aristas, explicando la definicin alternativa de
triangular para este tipo de grafos. Si un grafo triangular tiene v vrtices con v > 2, entonces tiene
exactamente 3v - 6 aristas y 2v - 4 regiones.

Ntese que la frmula de Euler tambin es vlida para poliedros simples. No es una casualidad: cada poliedro
simple se puede ver como un grafo plano y conexo usando los vrtices del poliedro como vrtices del grafo, y
las aristas del poliedro como aristas del grafo. Las caras o regiones del grafo plano resultante corresponden a
las caras del poliedro. Por ejemplo, el segundo grafo plano del ejemplo corresponde a un tetraedro.
Alternativamente, no todos los grafos planos y simples corresponden a un poliedro (los rboles, por ejemplo).
Un teorema de Ernst Steinitz dice que los grafos planos formados a partir de poliedros convexos son
precisamente los grafos planos simples y triangulares.
2.- QUE ES UN RBOL
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 de rboles. Un rbol a veces recibe el nombre de
rbol libre.
Un rbol es un grafo simple unidireccional G que satisface alguna de las siguientes condiciones equivalentes:
G es conexo y no tiene ciclos simples.
G no tiene ciclos simples y, si se aade alguna arista se forma un ciclo simple.
G es conexo y si se le quita alguna arista deja de ser conexo.
G es conexo y el grafo completo de 3 vrtices K3 no es un menor de G.
Dos vrtices cualesquiera de G estn conectados por un nico camino simple.
Si G tiene muchos vrtices, n, entonces las definiciones anteriores son tambin equivalentes a cualquiera de
las siguientes condiciones:
G es conexo y tiene n 1 aristas.
G no tiene aristas simples y tiene n 1 aristas.
La cantidad de hojas de un rbol siempre es mayor o igual a la mitad de la totalidad de los nodos.
En grafo unidireccional simple G recibe el nombre de bosque si no tiene ciclos simples.
Un rbol dirigido es un grafo dirigido que sera un rbol si no se consideraran las direcciones de las aristas.
Algunos autores restringen la frase al caso en el que todas las aristas se dirigen a un vrtice particular, o todas
sus direcciones parten de un vrtice particular.
Un rbol recibe el nombre de rbol con raz si cada vrtice ha sido designado raz, en cuyo caso las
aristas tienen una orientacin natural hacia o desde la raz. Los rboles con raz, a menudo con estructuras
adicionales como orden de los vecinos de cada vrtice, son una estructura clave en informtica; vase rbol
(programacin).
Un rbol etiquetado es un rbol en el que cada vrtice tiene una nica etiqueta. Los vrtices de un rbol
etiquetado de n vrtices reciben normalmente las etiquetas {1,2,..., n}.
Un rbol regular (homogneo) es un rbol en el que cada vrtice tiene el mismo grado. Vase grafo regular.
EJEMPLO
En rbol de ejemplo mostrado a la derecha tiene 6 vrtices y 6 1 = 5 aristas. El nico camino simple
que conecta los vrtices 2 y 6 es 2-4-5-6.

Un rbol etiquetado con 6 vrtices y 5 aristas

PROPIEDADES
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.

No se conoce frmula para el nmero t(n) de rboles con n vrtices de un isomorfismo de grafos. Sin embargo,
el comportamiento asinttico de t(n) se conoce; hay nmeros 3 y 0.5 tales que:

ARBOL BINARIO O ENRAIZADO

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.
DEFINICIN DE TEORA DE GRAFOS

Un rbol binario sencillo de tamao 9, 4 niveles y altura 3 (altura = mximo nivel - 1), con un nodo raz cuyo
valor es 2.
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 slo 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.
TIPOS DE RBOLES BINARIOS
Un rbol binario es un rbol con raz en el que cada nodo tiene como mximo dos hijos.
Un rbol binario lleno es un rbol en el que cada nodo tiene cero o dos hijos.
Un rbol binario perfecto es un rbol binario lleno en el que todas las hojas (vrtices con cero hijos)
estn a la misma profundidad (distancia desde la raz, tambin llamada altura).
A veces un rbol binario perfecto es denominado rbol binario completo. Otros definen un rbol
binario completo como un rbol binario lleno en el que todas las hojas estn a profundidad n o n-1,
para alguna n.
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). Se conoce el nodo de la izquierda como hijo
izquierdo y el nodo de la derecha como hijo derecho.
COLORACIN DE GRAFOS

Un vrtice coloracin propia del grafo de Petersen con 3 colores, el nmero mnimo posible.
En Teora de grafos, la coloracin de grafos es un caso especial de etiquetado de grafos; es una asignacin de
etiquetas llamadas colores a elementos del grafo. De manera simple, una coloracin de los vrtices de un
grafo tal que ningn vrtice adyacente comparta el mismo color es llamado vrtice coloracin. Similarmente,
una arista coloracin asigna colores a cada arista talque aristas adyacentes no compartan el mismo color, y
una coloracin de caras de un grafo plano a la asignacin de un color a cada cara o regin tal que caras que
compartan una frontera comn tengan colores diferentes.
El vrtice coloracin es el punto de inicio de la coloracin, y los otros problemas de coloreo pueden ser
transformados a una versin con vrtices. Por ejemplo, una arista coloracin de un grafo es justamente una
vrtice coloracin del grafo lnea respectivo, y una coloracin de caras de un grafo plano es una vrtice
coloracin del grafo dual.

La convencin de usar colores se origina de la coloracin de pases de un mapa, donde cada cara es
literalmente coloreada. Esto fue generalizado a la coloracin de caras de grafos inmersos en el plano. En
representaciones matemticas y computacionales es tpicamente usado enteros no-negativos como colores.
En general se puede usar un conjunto finito como conjunto de colores. La naturaleza del problema de
coloracin depende del nmero de colores pero no sobre cules son.
ARISTA COLORACIN
Una arista coloracin de un grafo, es una coloracin de las aristas, denotada como la asignacin de colores a
aristas tal que aristas incidentes tengan un color distinto. Una arista coloracin con k colores es llamada karista-coloracin y es equivalente al problema de particionar el conjunto de aristas en k emparejamientos. El
menor nmero de colores necesarios para un arista coloracin de un grafo G es el ndice cromtico o nmero
cromtico de aristas. Una coloracin Tait es una 3-arista-coloracin de un grafo cbico. El teorema de los
cuatro colores es equivalente a que cada grafo cbico sin puentes admite una coloracin Tait.