概念地图
两种数法
同一个集合用两种方式数，得到一个恒等式。
本章不引入新概念，图为全书脉络
陪练模式
不想只是读？让它带你走一遍。
导师把这一章拆成小步，每一步先问你，再讲；你用自己的话答，它先认下对的部分再纠偏。用你自己的 AI，对话只存在这台设备上。
定位01
延伸阅读
波利亚 · 二十世纪中叶 · 《怎样解题》与合情推理
把「先猜后证」的过程写成可教的步骤，并强调解完之后要回头问这个方法还能用在哪。他反对的是只呈现最终证明的教学方式；代价是「回头看」这一步在实践中最容易被省略，因为它不产生新答案。
奠基
怀特 · 2000 年 · 数据窥探与「现实检验」
指出在同一样本上反复筛选会系统性抬高样本内表现，且抬高幅度可估。它把「结论对但理由错」从一句劝诫变成可计算的量，本课的记账约定沿用它的思路。
转向
本课第 1–6 章
本章的审计对象。每一章的第 3 块（推导）与第 5 块（边界）是审计的主要入口，重点看每章那一条 [建模命题] 立不立得住。
审计对象
机制02
算得对不等于用得对
组合学的公式几乎不会算错——它们是定义展开与算术，任何时候都成立。真正出问题的永远是套用之前的那一步：等价关系没定、分类有重叠、分解不唯一、丢掉的信息其实要紧。本课把这一步单独记为建模承诺，正是为了不让公式的确定性顺带担保它。
机制确定无疑的公式通过让整个计算显得可靠使套用之前那一步免于检查。
可迁移性测试
换到度量单位：一串换算全部正确，而最初读表时读错了量程。检查算式一万遍也发现不了，因为算式本身没错。不同构的地方在于量程至少写在仪表上，而等价关系常常从头到尾没人写下来。
机制03
整数是唯一的免费检查
计数问题有一个别的领域没有的便利：答案必须是非负整数，而且往往可以在小规模上直接枚举。第 2 章的商不是整数、第 3 章的分类之和大于总数、第 5 章的递推结果大于枚举结果——这三处失效都会在这两项检查里立刻现形。本课把它记为廉价证伪：不用等到结论被应用出错，当场就能发现。
机制一个计数结果通过整数性与小规模枚举两项检查在应用之前暴露前提失效。
可迁移性测试
换到财务对账：借贷必须相等，是一项不花成本的检查，任何一处录错都会当场露出来。不同构的地方在于借贷相等只保证平衡不保证正确，而小规模枚举在小规模上是完全的验证。
推导04
前六章的类别清点
这一段把前六章每条推导的类别汇总，推出一个结论：这门课的观测风险集中在六条建模命题上，且其中五条有廉价检查可用。
第 1 至第 6 章各有 4 步推导，共 24 步
计数口径：只算各章第 3 块 steps 里的步骤，不算边界与争议段。
标为 [定义] 的有 12 步，标为 [假设] 的有 6 步
定义与算术不承担任何观测风险；假设是定理前提，去掉它命题变假。
标为 [建模命题] 的有 6 步，每章恰好一条
这是形式学科里唯一能被观测推翻的一类。
推导 · 0 / 4
裂缝05
本章命题的边界
争议地形06
本书主张
本课的立场：组合学里唯一值得反复检查的是套用公式之前的建模决定，公式本身的严密不构成对结论适用性的任何担保。
另一种看法
另一线主张：对大多数使用者而言，把公式用熟比追问建模决定更有回报——现实里的计数问题大多是标准形状，套错的概率远低于算错的概率。
分歧扎在
分歧扎在「错误的实际分布」这一条上。若多数错误确实来自算错，熟练主张成立；若多数来自口径与分类，本课的立场成立。两边对数学没有异议。
什么证据能裁决
能裁决它的是错误来源的统计：收集一批真实的计数错误案例，按「算错」与「建模决定错」分类，看哪一类占多数。分类规则须事前写死并交给不知道假说的人执行。
目前的证据把天平压向建模一侧，但证据很弱：现有案例多来自教学场景，与实际工作中的分布未必相同。还差的是一个覆盖真实工作产出的样本。
边界与反例07
把「廉价证伪」的建模承诺写成可检验的规格
要检验的建模承诺是：整数性与小规模枚举这两项检查，对本课列出的五类前提失效都敏感。
去掉哪条假设：每一类失效都会改变整数性或小规模计数
这是「廉价检查够用」的前提；某类失效若在小规模上不显现，检查就漏掉它。
该情形下的具体反例：第 6 章那类失效（丢掉的信息要紧）在小规模枚举上完全不显现
同构的图在任何规模上都给出相同的计数。
这条承诺对应的可观测量：人为注入每一类失效后，两项检查的报警率
失效必须按各章边界那一块的定义人为注入，不能等它自然发生。
什么观测算它不成立：某一类失效的报警率低于事前登记的阈值
阈值按「多低就不能称为敏感」事前定死。
事前登记的失败条件：任一类的报警率低于阈值，或两项检查在无失效时也频繁报警
第二种指向假阳性过高，同样使检查失去价值。
推导 · 0 / 3
接口08
挂在哪个槽位
挂在哪个槽位你已有的那条结论多半是「算得对就没问题」——一条关于计算可靠性的判断。本章要动的是它的适用层。
本章对你已有的结构做的是 (a) 替换「算得对就没问题」，还是 (b) 约束它：算对的是公式，风险全在套用之前那一步？
慢变量登记两个慢变量：你最近做的统计里有几次写下了等价关系，有几次做过小规模枚举核对。三天后先看第二个。
小结09
本章小结
01前六章 24 步推导里，12 步是定义，6 步是假设，只有 6 条建模命题承担观测风险。
02组合学的公式几乎不会算错，出错的永远是套用之前的建模决定。
03整数性与小规模枚举是两项不花成本的检查，对其中五类失效敏感。
04第 6 章那一类（丢掉的信息要紧）没有廉价检查，必须另行准备验证。
05「哪一步算建模命题」由分析者判定，因此这一章只作记账，不作评价。
提取练习 · 合上书，先自己答一遍。
?「风险步数等于总步数减定义减假设」是 (a) 分类的算术 还是 (b) 关于现实的建模承诺？
?商不是整数，暴露的是 (a) 算错了 还是 (b) 「重复次数处处相同」这条前提坏了？
受迫二选一10
A 机制辨识
下面哪一条是机制？
二选一
受迫二选一11
D 接口判断
哪一条能挂进你已有的结构？
二选一
读到这里，把它记为已读。