插板法
\(n\) 个无标号物品分成 \(m\) 个有标号组。
-
非空：
\[\dbinom{n-1}{m-1} \] -
空：
\[\dbinom{n+m-1}{m-1} \]构造 一一对应的转化：
现有两个集合 \(A,B\)。如果所有 \(A\) 中的元素都能够映射到 \(B\) 中，则 \(|A| \le |B|\)；反之，如果 \(B\) 能映射到 \(A\)，则 \(|B| \le |A|\)。二者同时成立，则 \(|A| = |B|\)。
-
组大小有上界：
考虑容斥。（二项式反演型容斥。）
容易将赢的场次转化为连续段内点。然后就容易通过上面的方法得到 \(\le K\) 的解法。最后用 \(\le K\) 减去 \(\le K-1\) 即可。