套路

正难则反用补集

「至少 / 不全 / 不都」这类条件正面数要分好几类,反面往往只有一类;先数无限制的总数,再减去不合条件的那一小块,一步到位。

触发词

题面出现下面这些词,先想反面:

  • 至少一个、至少一名 —— 反面是「一个也没有」,只有一类。
  • 不全是、不都是 —— 反面是「全是」。
  • 至少一次、并非都 —— 同理。

正面「至少 11 个」要按「恰好 11 个、恰好 22 个、……」分好几类;反面「一个也没有」只有一类。 类数从几类降到一类,出错的机会也跟着降。

三步

  1. 松掉那条限制,数出无限制的总数 NN。
  2. 数反面:不满足条件的有 N反N_{\text{反}} 个。要点是反面必须是限制的严格否定,不能多也不能少。
  3. 相减:所求 =N−N反=N-N_{\text{反}}。
∣ 满足条件 ∣=∣ 全集 ∣−∣ 不满足条件 ∣\left|\,\text{满足条件}\,\right|=\left|\,\text{全集}\,\right|-\left|\,\text{不满足条件}\,\right|

什么时候不划算

反面自己也要分好几类的时候。「至少两名女生」的反面是「恰好一名 + 一名也没有」——两类, 与正面持平,那就没必要绕。判据是数一数两边各有几类,挑少的那边。

常见陷阱

  • 反面取错:「至少 22 个」的反面是「00 个或 11 个」,不是「11 个」。
  • 全集取错:总数必须是同一个计数口径下的总数。选人时若职务也已排定, 减的那一块也要连职务一起算,两边的口径必须一致。
  • 减完忘了乘回去:若把某个公因子提到了最后(先在「集合」这一层做加减), 相减之后还要把那个因子乘回来。

学它之前先会

共 3 条前置、最深 3 层。

共 11 道题考到本条。