GESP 七级 · GESP 202412 C++ 七级 第 7 题

下列关于二叉树的说法，错误的是（ ）。

比较不同排序算法的核心区别：冒泡（相邻交换）、选择（选最值）、插入（插入有序序列）、归并（分治合并）、快排（划分递归）。

排序稳定性指相等元素排序后相对顺序是否改变。稳定：冒泡、插入、归并。不稳定：选择、快排、堆排。

【考点】二叉树性质｜AVL 树｜森林与二叉树映射

GESP 七级核心考点是二叉树性质。命题人放这道题是想卡住那些只背结论、不理解“结构决定性质”的考生——二叉排序树的高度不是固定值，而是取决于插入顺序，这是区分“知道”和“理解”的分水岭。

解题时先扫一眼选项：A 说中序遍历有序，这是二叉排序树的基本定义，必对；C 说 AVL 是二叉排序树，AVL 本身就是在二叉排序树基础上加平衡约束，也对；D 说森林能映射为二叉树，这是教材标准结论（左子树=第一棵树，右子树=后续树），也无误。唯一可疑的是 B，它断言“一定为 $\lfloor \log_2 n \rfloor$"。

B 选项的陷阱在于偷换概念——它把“高度最小值”偷换成“高度固定值”。任何二叉排序树的高度范围是 $[\lfloor \log_2 n \rfloor,\; n-1]$：按随机顺序插入可能接近最小值，按有序序列插入则会退化成链表，高度直接飙到 $n-1$。如果你只背结论不琢磨本质，看到“二叉排序树”就默认“高度 $\log n$"，自然会被这个绝对化表述坑死。

反命题视角：如果把 B 改成“高度最小值至少为 $\lfloor \log_2 n \rfloor$"，那就变成正确陈述；如果把 D 改成“任意森林都能映射为有序二叉树”，则因为森林中树无顺序而变假。刷到这类题先问自己：命题人到底想考我“性质”还是“边界条件”？