准备2027 AIME时,计数题容易出现一种危险的“经验”:答案看起来偏大,就试着除以2或除以某个阶乘。若这个操作不能说明每个目标对象被重复了多少次,得到整数也不代表正确。
今年考试形式的变化并未提供题型占比保证。这篇聚焦计数中的对象与重复次数,用自编例子说明怎样核对一个计数式,而不是猜测2027一定会考哪一种技巧。
一、先说清一个对象到底是什么
从5个人中选2人组成小组,与从5个人中选1名组长和1名副组长,是两个不同问题。前者不区分顺序,后者区分职务;同样是选两个人,交换之后是否产生新对象,决定了能否除以2。
不分职务时,先有序选择得到5×4=20种,每个二人组恰好被算两次,因此除以2得10。分职务时,甲任组长、乙任副组长与反过来的安排不同,不能除以2,答案仍为20。
| 问题 | 交换顺序后是否相同 | 计数结果 |
|---|---|---|
| 选2人组成小组 | 相同 | 5×4÷2=10 |
| 选组长和副组长 | 不同 | 5×4=20 |
| 选2人且其中一人为指定人 | 仍不分职务 | 直接选另一人,共4种 |
| 先分组再给组内角色 | 需重新界定对象 | 不能套用同一除法 |
二、除以阶乘的前提是重复次数一致
先排列再除去顺序,常用于每个目标对象都有相同数量表示的情况。但如果某些对象包含相同元素,另一些包含不同元素,它们被排列出来的次数可能不同,就不能统一除以一个数。
自编例子:长度为2、每位可取A或B的有序字符串为AA、AB、BA、BB,共4种。若改为不考虑顺序的二元素多重集合,只有AA、AB、BB三种。直接4÷2=2不对,因为AA和BB各只出现一次,而AB对应两种顺序。
三、分类要互不重叠,也要覆盖全部
若按“至少有一名指定人员”分别统计包含甲、包含乙,再相加,会把同时包含甲乙的情况重复计算。可以改成“含甲但不含乙、含乙但不含甲、甲乙都含”三个互斥类别,或者用容斥扣掉重复部分。
分类时最好在每一类旁写允许与禁止条件。只写“A类、B类”,考后很难判断遗漏从哪里发生。对于边界情况,要确认它归属于哪一类,不能两边都觉得“应该算在另一边”。
| 检查对象 | 要回答的问题 | 发现问题后怎样修正 |
|---|---|---|
| 计数单位 | 数的是排列、集合还是方案 | 先重写对象定义 |
| 重复次数 | 每个目标对象出现几次 | 不能统一时重新分类 |
| 分类交集 | 同一对象会不会进两类 | 改互斥分类或用容斥 |
| 边界覆盖 | 极端情形落在哪一类 | 补边界并核对重复 |
四、小规模枚举是检验,不是万能替代
可以把人数、长度等参数缩小,手工列出结果,再检查公式是否一致。若小规模已不成立,通常说明对象定义、分类或重复次数有问题;小规模成立,则还需要证明一般情况下为什么成立。
考试中看到一个漂亮的整数,不足以证明计数正确。更可靠的结论应能解释“每个合法对象都被算到,而且被算了确定次数”。这条标准既适用于2027备赛,也适用于任何年份的计数训练。
使用本站历年材料时,可以先遮住解析,只检查对象与计数式之间的对应关系。把“为什么能除”讲清楚,往往比多记几条组合公式更能减少重复失分。
改革背景可阅读2027 AIME新规与考区差异总览。
