提出一种新的删除红黑树的结点的算法,其主要思想是先自上而下处理某些子树再删除结点,不涉及自下而上的后退。证明新算法是正确的......

先证明高度是h的准红黑树至少有2┌h/2┐＋2└h/2┘-2个结点，再证明有n个结点的准红黑树的高度至多是2└log2（n＋2）┘＋└log2（n＋2）-└log2（n＋2）┘......

Andersson的删除AA-树结点的算法的主要思想是先删除结点再自下而上处理某些子树,涉及自下而上的后退。提出一种新的删除AA-树结点......