用于教授红黑树双黑节点删除的符号算术方法
数据结构与算法
2023-12-14 v1
摘要
红黑（RB）树是一种具有红、黑节点着色的数据结构。节点的红、黑颜色构成了平衡 RB 树的主要成分。一棵平衡树在任意简单路径上具有相等数量的黑节点。但当删除一个黑色叶节点时，会形成一个双黑（DB）节点，从而导致黑高减少，使树失去平衡。对带有 DB 节点的 RB 树进行再平衡是一个相当复杂的过程。DB 节点删除的教学与学习也具有挑战性。本文引入了一种简化的新颖方法，这是一种用于删除 DB 节点并对 RB 树黑高进行再平衡的符号代数算术过程。这种简化的方法提升了学生对 RB 树中 DB 节点删除的学习效果。学生的反馈表明了该符号代数方法在删除操作后平衡 RB 树时的可学性、可行性与接受度。
引用
@article{arxiv.2312.07566,
title = {A symbolic-arithmetic for teaching double-black node removal in red-black trees},
author = {Kennedy E. Ehimwenma and Junfeng Wang and Ze Zheng and Hongyu Zhou},
journal= {arXiv preprint arXiv:2312.07566},
year = {2023}
}
备注
18 pages