1贪心选择性质
闭卷重建贪心选择性质的对象、状态、事件、不变量与一个失败反例。
算法设计与分析 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2区间调度
闭卷重建区间调度的对象、状态、事件、不变量与一个失败反例。
3分数背包与反例
闭卷重建分数背包与反例的对象、状态、事件、不变量与一个失败反例。
4哈夫曼编码
闭卷重建哈夫曼编码的对象、状态、事件、不变量与一个失败反例。
5最小生成树切分性质
闭卷重建最小生成树切分性质的对象、状态、事件、不变量与一个失败反例。
6交换论证写法
闭卷重建交换论证写法的对象、状态、事件、不变量与一个失败反例。
7贪心策略反查实验
闭卷重建贪心策略反查实验的对象、状态、事件、不变量与一个失败反例。
第 1 页 · 背面（答案）
核心机制：对区间调度先写输入规格、输出规格和不变量，再给出算法、正确性论证、时空复杂度与边界反例；实验入口：为区间调度实现可运行参考程序，用手算小例、最小边界、反例和规模输入检查结果与增长率；边界：分析区间调度时不能只举成功例，必须声明前提、保存不变量，并区分正确、高效与对所有输入高效。
核心机制：对贪心选择性质先写输入规格、输出规格和不变量，再给出算法、正确性论证、时空复杂度与边界反例；实验入口：为贪心选择性质实现可运行参考程序，用手算小例、最小边界、反例和规模输入检查结果与增长率；边界：分析贪心选择性质时不能只举成功例，必须声明前提、保存不变量，并区分正确、高效与对所有输入高效。
核心机制：对哈夫曼编码先写输入规格、输出规格和不变量，再给出算法、正确性论证、时空复杂度与边界反例；实验入口：为哈夫曼编码实现可运行参考程序，用手算小例、最小边界、反例和规模输入检查结果与增长率；边界：分析哈夫曼编码时不能只举成功例，必须声明前提、保存不变量，并区分正确、高效与对所有输入高效。
核心机制：对分数背包与反例先写输入规格、输出规格和不变量，再给出算法、正确性论证、时空复杂度与边界反例；实验入口：为分数背包与反例实现可运行参考程序，用手算小例、最小边界、反例和规模输入检查结果与增长率；边界：分析分数背包与反例时不能只举成功例，必须声明前提、保存不变量，并区分正确、高效与对所有输入高效。
核心机制：对交换论证写法先写输入规格、输出规格和不变量，再给出算法、正确性论证、时空复杂度与边界反例；实验入口：为交换论证写法实现可运行参考程序，用手算小例、最小边界、反例和规模输入检查结果与增长率；边界：分析交换论证写法时不能只举成功例，必须声明前提、保存不变量，并区分正确、高效与对所有输入高效。
核心机制：对最小生成树切分性质先写输入规格、输出规格和不变量，再给出算法、正确性论证、时空复杂度与边界反例；实验入口：为最小生成树切分性质实现可运行参考程序，用手算小例、最小边界、反例和规模输入检查结果与增长率；边界：分析最小生成树切分性质时不能只举成功例，必须声明前提、保存不变量，并区分正确、高效与对所有输入高效。
核心机制：对贪心策略反查实验先写输入规格、输出规格和不变量，再给出算法、正确性论证、时空复杂度与边界反例；实验入口：为贪心策略反查实验实现可运行参考程序，用手算小例、最小边界、反例和规模输入检查结果与增长率；边界：分析贪心策略反查实验时不能只举成功例，必须声明前提、保存不变量，并区分正确、高效与对所有输入高效。