1树术语与递归分解
闭卷重建树术语与递归分解的ADT、表示不变量、操作与复杂度。
数据结构与抽象数据类型 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2前中后序与迭代遍历
闭卷重建前中后序与迭代遍历的ADT、表示不变量、操作与复杂度。
3BST查找与有序不变量
闭卷重建BST查找与有序不变量的ADT、表示不变量、操作与复杂度。
4BST插入、删除与后继
闭卷重建BST插入、删除与后继的ADT、表示不变量、操作与复杂度。
5高度退化与平衡目标
闭卷重建高度退化与平衡目标的ADT、表示不变量、操作与复杂度。
6AVL旋转与高度维护
闭卷重建AVL旋转与高度维护的ADT、表示不变量、操作与复杂度。
7实验：BST/AVL不变量检查器
闭卷重建实验：BST/AVL不变量检查器的ADT、表示不变量、操作与复杂度。