Fueron inventados por Rudolf Bayer en 1972 el cul los llamo rboles simtricos binarios.

Un rbol rojo negro es un rbol binario de bsqueda en el que cada nodo almacena un bit adicional de informacin llamado color, el cual puede ser rojo o negro. Adems, es un tipo de rbol que est balanceado de tal manera que el tiempo de realizar operaciones sea O(log n) en el peor de los casos.

Todo rbol rojo negro satisface las siguientes propiedades: 1. Todo nodo es rojo o negro. 2. La raz es negra. 3. Toda hoja (NULO) es negra. 4. Si un nodo es rojo, entonces sus dos hijos son negros. 5. Para cada nodo, todas las rutas de un nodo a las hojas (NULOs) contienen el mismo nmero de nodos negros. El nmero de nodos negros en esta ruta se conoce como ALTURA-NEGRA del nodo.

El resultado inmediato de una insercin o la eliminacin de un nodo utilizando los algoritmos de un rbol binario de bsqueda normal, podra violar las propiedades de un rbol rojo-negro. Luego, para restaurarlas, recurro a las operaciones de rotacin, insercin y borrado. De esta manera las propiedades se vuelven a cumplir.