算法解答题：契约、不变量与复杂度

来源与归并方式

本课对应来源课程：26考研王道计算机【数据结构冲刺班】。manifest统计该课程共有 530 个JSON。本章只依据文件名中的考点、年份题号、选择/算法/套卷标签做主题归并，不是逐条复制，也未读取转写正文。

本课归并桶：综合、算法题文件名归并。

冲刺核心

解答题评分点通常分布在结构定义、关键步骤、正确性和复杂度。伪代码必须明确输入输出，避免使用未定义操作。

限时训练法

先写函数契约；用一条循环或递归不变量证明；最后分别给最好/最坏或时间/空间复杂度，并构造边界样例反查。

每题都记录开始时间、首次答案、置信状态和第一处错误。选择题要写排除依据；算法题要写契约、不变量与复杂度。

本课应用

算法题证明正确性时，至少应写出哪三个环节？

严格验收

• 必须做到：不变量证明包含初始化、保持和终止三段。
• 高频陷阱：只写“显然正确”和复杂度结论即可获得全部过程分。

完成后隔一天用同类不同题复测。只看解析、不遮答重做，不计入掌握。