1状态定义与无后效性
给出“状态定义与无后效性”的核心不变量或定理条件，并构造一个能击穿错误解法的最小反例。
第 1 页 · 正面（题目）
2一维动态规划
给出“一维动态规划”的核心不变量或定理条件，并构造一个能击穿错误解法的最小反例。
3背包模型
给出“背包模型”的核心不变量或定理条件，并构造一个能击穿错误解法的最小反例。
4区间动态规划
给出“区间动态规划”的核心不变量或定理条件，并构造一个能击穿错误解法的最小反例。
5序列动态规划
给出“序列动态规划”的核心不变量或定理条件，并构造一个能击穿错误解法的最小反例。
6贪心的交换论证
给出“贪心的交换论证”的核心不变量或定理条件，并构造一个能击穿错误解法的最小反例。
7回溯与剪枝
给出“回溯与剪枝”的核心不变量或定理条件，并构造一个能击穿错误解法的最小反例。
8状态压缩
给出“状态压缩”的核心不变量或定理条件，并构造一个能击穿错误解法的最小反例。
9综合模拟面试
给出“综合模拟面试”的核心不变量或定理条件，并构造一个能击穿错误解法的最小反例。
第 1 页 · 背面（答案）
答案必须包含明确前提、保持不变量的理由、终止时如何推出结论，以及至少一个边界或反例。
答案必须包含明确前提、保持不变量的理由、终止时如何推出结论，以及至少一个边界或反例。
答案必须包含明确前提、保持不变量的理由、终止时如何推出结论，以及至少一个边界或反例。
答案必须包含明确前提、保持不变量的理由、终止时如何推出结论，以及至少一个边界或反例。
答案必须包含明确前提、保持不变量的理由、终止时如何推出结论，以及至少一个边界或反例。
答案必须包含明确前提、保持不变量的理由、终止时如何推出结论，以及至少一个边界或反例。
答案必须包含明确前提、保持不变量的理由、终止时如何推出结论，以及至少一个边界或反例。
答案必须包含明确前提、保持不变量的理由、终止时如何推出结论，以及至少一个边界或反例。
答案必须包含明确前提、保持不变量的理由、终止时如何推出结论，以及至少一个边界或反例。