ARBOLES ROJO NEGROS

INTEGRANTES

Bazan Gonzales Jose Antonio Garca Lpez Carlos Omar

DEFINICION Los rboles Rojo Negros es un tipo de rbol que estan balanceados de tal manera que el tiempo de realizar operaciones sea O(log n) en el peor de los casos.

CARACTERISTICAS
Fueron inventados por R. Bayer el cul los llamo rboles simetricos binarios. El Nodo contiene un campo extra el cul se llama color. El rbol puede recorrerse por cualquier color, ya sea rojo o negro. Los recorridos mas largos varian a lo mas el doble del mas corto, esto quiere decir que el rbol esta practicamente balanceado.

PROPIEDADES
Cada Nodo solo puede tener un solo color ya sea Rojo Negro.

Cada apuntador de Hoja es de color negro.

Si el Nodo es Rojo ambos Hijos son negros Cada camino desde cualquier Nodo hasta una Hoja contiene el mismo nmero de Nodos negros.

NODORB
enum BOOL{ FALSO, VERDADERO}; enum COLOR{ NEGRO, ROJO};
template<class T> class NODO_ARBOL{ public: NODO_ARBOL(T x){dato = x; izquierdo = derecho = NULL; Color = NEGRO}; NODO_ARBOL<T> *GetIzq(){return izquierdo;}; void SetIzq(NODO_ARBOL<T> *ptr){izquierdo = ptr;}; NODO_ARBOL<T> *GetDer(){return derecho;}; void SetDer(NODO_ARBOL<T> *ptr){derecho = ptr;}; T GetDato(){return dato;}; COLOR GetColor(){return Color;}; void SetColor(COLOR C){ Color = C;} void SetDato(T x){ dato = x;}; private: NODO_ARBOL<T> *izquierdo, *derecho; T dato; COLOR Color; }

ROTACION
Las operaciones INSERTA y ELIMINA de un arbol Rojo-Negro modifican la estructura de este y pueden violar las propiedades de los mismos antes mencionadas, por lo cual es necesario reestablecerlas lo que implicaria cambiar el color de algunos nodos.

TIPOS DE ROTACION
Rotacion Izquierda:
Cuando realizamos una Rotacion Izquierda a un nodo x, asumimos que su hijo derecho no es nulo.
y x

y
b

a
b

y y

TIPOS DE ROTACION
Rotacion Derecha:
Cuando realizamos una Rotacion Derecha a un nodo Y, asumimos que su hijo izquierdo no es nulo.
y x

y
b

a
b

y y

CODIGO PARA ROTAR A LA IZQUIERDA

void ARBOLRB<T>::RotarIzq(NodoRB <T> *x){
NodoRB<T> *y; y = x -> GetDer(); x = SetDer(Y -> GetIzq());

y -> setIzq(x);
if(Padre(x) == NULL) Raiz = y; else{

if (Padre(x) -> GetIzq() == x)

Padre(x) -> SetIzq(y); else Padre(x) -> SetDer(y);

}
}

SENTINELA
El sentinela es un modo auxiliar que nos ayudar para el proceso de eliminacin de un nodo, al insertar un nuevo ambos hijos debern apuntar al sentinela, el sentinela ser de color negro y no guardar ningn dato, ste se declarar dentro de la clase rbol

Declaracin de un sentinela
//parte privada de la clase ARBOLRB private: NODORB *RAIZ, SENTINELA(-26554); // se crea con // un dato arbitrario };

INSERCIN
Un arbol Rojo-Negro es un arbol binario, por lo tanto una insercin en este se hara de la misma forma que en un binario, pero el nodo a insertar sera siempre rojo. Posteriormente se reajustan las propiedades del mismo. Al momento dehacer la insercion, los apuntadores derecho e izquierdo del nuevo nodo son apuntados hacia el centinela. Existen tres casos para la insercin de un nuevo nodo.

CASOS DE INSERCIN
Caso 1: El tio de x es Rojo.
Como el abuelo de x es negro, se colorea al padre y al tio de x de Negro y de Rojo al abuelo.

Caso 2: El tio de x es Negro y x es hijo derecho.

Se usa una rotacin a la izquierda para llevarlo al caso tres, en el que x es hijo izquierdo

 Caso 3: El tio de x es Negro y x es hijo izquierdo.

Como x y su padreson rojos, se hace una rotacion derecha, para colorear al padrede x de negro y al abuelo de x de rojo, de modo que la nueva raiz del subarbol es el padre de x, cuyo hijo izquierdo es x e hijo derecho el abuelo de x.

INSERTA

BOOL ARBOLRB<T>::Inserta(T x){ NodoRB<T> *aux, *y; if(inserta2(x,Raiz)){ // dentro de este inserta se modifican los aux = Localiza(x); //apuntadores al centinela aux -> SetColor(ROJO); while(aux != Raiz && Padre(aux) -> GetColor = ROJO){ if(Padre(aux) = Padre(Padre(aux)) -> GetIzq()){ y = Padre(Padre(aux)) -> GetDer(); if(y -> GetColor() = ROJO){ Padre(aux) -> SetColor(Negro); y -> SetColor(NEGRO); Padre(Padre(aux)) -> SetColor(ROJO); aux = Padre(Padre(aux)); } else{ if(aux = Padre(aux) -> GetDer()){ aux = Padre(aux); RotarIzq(aux);

CONTINUACIN

Padre(aux) -> SetColor(NEGRO); Padre(Padre(aux)) -> SetColor(ROJO); RotarDer(Padre(Padre(aux))); } } } else //lo mismo que el if pero con GetIzq y GetDer intercambiados } Raiz -> SetColor(NEGRO); return VERDADERO; } return FALSO; }

ELIMINA
void NODORB<T> ARBOLRB<T>::Elimina(T dato){ NODORB<T> *z, *y, * x; z = Localiza(dato); if(z -> GetIzq() = &SENTINELA || z -> GetDer() = &SENTINELA) y =z; else y = Sucesor(z); if(y -> GetIzq() != SENTINELA) x = y -> GetIzq(); else x = y -> Getder();
if(Padre(y) = SENTINELA) RAIZ = x;

CONTINUA
else{ if(EsIzq(y)) Padre(y) -> SetIzq(x); else Padre(y) -> Setder(x); } if(y != z){ // copiar los campos de y a z } if( y -> GetColor() == NEGRO) Reordena(x); }

REORDENA
void ARBOLRB<T>::Reordena(NodoRB <T> *ptr){ NodoRB<T> *aux; while(ptr != Raiz && ptr -> GetColor = NEGRO){ if(ptr = Padre(ptr) -> GetIzq()){ aux = Padre(ptr) -> GetDer(); if(aux -> GetColor() = ROJO){ aux -> SetColor(NEGRO); Padre(ptr) -> SetColor(ROJO); RotarIzq(Padre(ptr)); aux = Padre(ptr) -> GetDer(); } if(aux -> GetIzq() -> GetColor() == NEGRO && aux -> GetDer() -> GetColor == NEGRO){ aux -> SetColor(ROJO); ptr = padre(ptr); }

CONTINUACION
else{ if(aux -> GetDer() -> GetColor() == NEGRO){ aux -> GetIzq() -> SetColor(NEGRO); aux -> SetColor(ROJO); RotarDer(aux); aux = Padre(ptr) -> GetDer(); } aux -> SetColor(Padre(ptr) -> GetColor); Padre(ptr) -> SetColor(NEGRO); aux -> GetDer -> SetColor(NEGRO); RotarIzq(Padre(ptr)); ptr = Raiz; } } else //lo mismo que el if pero con GetIzq y GetDer intercambiados } ptr -> setColor(NEGRO); }

SUCESOR
El sucesor es una funcion que nos regresa el valor del dato siguiente al dato actual, pero siguiendo las reglas del recorrido en orden , es decir si existen los numeros 5, 8 , 9 en el arbol, la funcion Sucesor del 5 me debera retornar un apuntador al dato siguiente en el recorrido el cual es 8.