Modelo por capas
Los tres casos
Para borrar el nodo con clave k, primero se busca. Después, según cuántos hijos tenga:
- Sin hijos (hoja): el enlace del padre pasa a ser nada.
- Un hijo: el enlace del padre pasa a apuntar a ese hijo. Todo el subárbol del hijo estaba del mismo lado del padre que k, así que el invariante se mantiene.
- Dos hijos: se busca el sucesor de k (la clave siguiente en orden: la menor del subárbol derecho), se copia en el nodo de k, y se borra el sucesor de su sitio original.
El sucesor nunca tiene hijo izquierdo (si lo tuviera, ese hijo sería menor y sería el sucesor), así que borrarlo es el caso 1 o el 2.