套路

定住最小值再从更大的里挑

数「最小值恰为 kk」的取法:先保证至少取到一个 kk,其余一律从严格大于 kk 的里面挑。

解题套路

要数出「所取号码的最小值恰好是 kk」的取法数,把条件拆成两句话:

  1. 至少取到一个号码 kk——不然最小值到不了 kk;
  2. 其余的一律来自「严格大于 kk」的那一堆——只要混进一个小于 kk 的,最小值就被它抢走了。

设号码为 kk 的对象有 tt 个、号码大于 kk 的有 BB 个,取 mm 个,则

N(ξ=k)=Ct+Bm−CBm⏟至少一个 k或按取到几个 k 分类∑j≥1Ct j CB m−j.N(\xi=k)=\underbrace{\mathrm{C}_{t+B}^{m}-\mathrm{C}_{B}^{m}}_{\text{至少一个 }k} \quad\text{或按取到几个 }k\text{ 分类}\quad \sum_{j\ge1}\mathrm{C}_t^{\,j}\,\mathrm{C}_B^{\,m-j} .

t=1t=1 时它就退化成一句话:CB m−1\mathrm{C}_B^{\,m-1}——那一个 kk 必取,剩下 m−1m-1 个从更大的里挑。

两种数法二选一

  • 补集法(左式):在「不小于 kk」的池子里随便取,减掉「一个 kk 都没取到」的。tt 大时更省。
  • 分类法(右式):按取到 jj 个 kk 分类相加。tt 小(11 或 22)时更直观,也是课本答案常用的写法。

两者必然相等,算完对一下是免费的自查。

关键是那句「严格大于」

「其余从更大的里挑」里的更大是严格的:号码等于 kk 的可以再取(它不改变最小值),号码小于 kk 的一个都不能有。把池子划错,是这一步唯一的失手处。

最大值型对称照搬:定住最大值,其余从严格小于它的里面挑。

学它之前先会

共 1 条前置、最深 1 层。

共 1 道题考到本条。