在论文Purely Functional Data Structures的第 6.3.1 章中,说:
然后,每当我们从一个新元素和一个秩为 0...r-1 的树段创建新树时,我们只需将新元素与段中的第一个根(即秩 0 树的根)进行比较)。较小的元素成为新的根,较大的元素成为根的 0 级子元素。
- T0' 是新树的等级为 0
- T0..T(r-1) 是 0 到 r-1 级的原始树
- 较小的元素成为新的根,较大的元素成为根的 0 级子元素
问题是第 3 步导致两棵 1 级树,这与二项式堆冲突。
我是不是误会了?