1树遍历的递归契约
给出“树遍历的递归契约”的核心不变量或定理条件，并构造一个能击穿错误解法的最小反例。
第 1 页 · 正面（题目）
2二叉搜索树不变量
给出“二叉搜索树不变量”的核心不变量或定理条件，并构造一个能击穿错误解法的最小反例。
3最近公共祖先
给出“最近公共祖先”的核心不变量或定理条件，并构造一个能击穿错误解法的最小反例。
4树的直径与路径
给出“树的直径与路径”的核心不变量或定理条件，并构造一个能击穿错误解法的最小反例。
5堆与 Top K
给出“堆与 Top K”的核心不变量或定理条件，并构造一个能击穿错误解法的最小反例。
6优先队列调度
给出“优先队列调度”的核心不变量或定理条件，并构造一个能击穿错误解法的最小反例。
7Trie 前缀树
给出“Trie 前缀树”的核心不变量或定理条件，并构造一个能击穿错误解法的最小反例。
8线段树与区间维护
给出“线段树与区间维护”的核心不变量或定理条件，并构造一个能击穿错误解法的最小反例。
9树结构综合限时训练
给出“树结构综合限时训练”的核心不变量或定理条件，并构造一个能击穿错误解法的最小反例。
第 1 页 · 背面（答案）
答案必须包含明确前提、保持不变量的理由、终止时如何推出结论，以及至少一个边界或反例。
答案必须包含明确前提、保持不变量的理由、终止时如何推出结论，以及至少一个边界或反例。
答案必须包含明确前提、保持不变量的理由、终止时如何推出结论，以及至少一个边界或反例。
答案必须包含明确前提、保持不变量的理由、终止时如何推出结论，以及至少一个边界或反例。
答案必须包含明确前提、保持不变量的理由、终止时如何推出结论，以及至少一个边界或反例。
答案必须包含明确前提、保持不变量的理由、终止时如何推出结论，以及至少一个边界或反例。
答案必须包含明确前提、保持不变量的理由、终止时如何推出结论，以及至少一个边界或反例。
答案必须包含明确前提、保持不变量的理由、终止时如何推出结论，以及至少一个边界或反例。
答案必须包含明确前提、保持不变量的理由、终止时如何推出结论，以及至少一个边界或反例。