9.3 判断题·综合题讲评

回指原理与建模

判断题采用“量词审查+反例优先”。含总是、任意、唯一的命题，只需一个合法反例即可否定；成立命题则要给不变量或定理条件。

手工推演与代码证据

“先序和后序可唯一确定二叉树”错误：单链形二叉树左右方向不同，却可有相同先后序。

代码题必须运行空输入、单元素、一般输入和失败边界；讲评要指出状态为何保持。

错因与迁移

错因是把常见情形当必然。迁移：判断“MST必唯一”。答案否，等权边可产生多棵同权生成树。