star0906:
case1处理以后，根本没有解决子树上黑结点少一个的情况，只是改变了它的父结点和兄弟结点。所以，处理以后，新的要处理的结点还是A，要进行第二次处理以后才改变要处理的结点。RB-DELETE-FIXUP(T, x)第8行是给w赋值，不是x。下一轮循环，x的值是不变的。你解释里说新的结点为处理它的兄弟结点，以至于我一直以为是算法写错了。还有你case1的图画的也很误导。图上没有体现出B的左子树比右子树黑结点少1，所以，第一次左旋后看不出来，B的左右子树黑结点还是不一样的。应该把C和E再画一层黑子树，这样比较清晰。