arXiv:2504.03259v1 Announce Type: 交叉 摘要：双黑（DB）节点不应当存在于红黑（RB）树中。因此，当形成DB节点时，会立即删除它们。删除DB节点会导致其他连接节点旋转和重新染色，这对RB树的教学和学习提出了更大的挑战。为缓解这一困难，本文在此前关于符号算术代数（SA）方法删除DB节点的工作基础上进行了扩展。给出的SA运算如下：红色 + 黑色 = 黑色；黑色 - 黑色 = 红色；黑色 + 黑色 = 双黑；双黑 - 黑色 = 黑色。这些运算删除了DB节点并重新平衡了RB树中的黑色高度。进一步地，本文提出了三种SA数学方程式，即一般符号算术规则；部分符号算术规则1；和部分符号算术规则2。一个DB节点的删除最终会影响RB树中的黑色高度。为了使用SA方程式平衡黑色高度，本文考虑了所有RB树情况，即LR、RL、LL和RR，并测试了直接或间接连接到DB节点的节点的位置。在本研究中，为平衡RB树，考虑的问题包括：i) DB节点是否有内侄、外侄或两者兼有；或ii) DB节点是否有内侄、外侄或两者兼有。本文中的侄子 r 和 x 是DB节点的兄弟节点 s 的子节点，进一步向上，DB节点的双亲 p 是它们的曾祖 p。因此，r 和 x 与DB节点在DB节点形成时存在间接关系。SA方程的创新之处在于其在涉及节点旋转和沿任意简单路径节点重新染色以平衡树中黑色高度方面的有效性。