这个red-black树插入"fix-up"算法不完整吗?

Is this red-black tree insertion "fix-up" algorithm incomplete?

我正在阅读算法导论,第 3 版(ISBN-10:9780262033848),其中是插入红色节点后 "fix" 一棵 red-black 树的以下算法。

第 3 行说要将 y = 设置为 'z's parent's parent's right child'(z's right uncle)。我的问题是,如果 z 只是第三个插入并且它是左 child 的左 child 怎么办?难道不需要另一种情况来处理 z 没有右叔但它的 parent 是红色左 child 吗?

   gp (blck)
   /
  p (red)
 /
z (red)

第12-14行已经处理了第三种情况

请查看下图来解释您的情况:

有任何疑问欢迎提问