在这张图里面，因为 $a,b$ 都已经被分解，$b_i \ x^{p^i}$ 的项只会在 $(1+x^{p^i})^{a_i}$ 中出现，所以 $C_{a}^{b}\equiv \sum_{i=1}^k C_{a_i}^{b_i} \ (mod \ p)$ 即 $C_{a}^{b}\equiv C_{a/p}^{b/p}\ \cdot C_{a\%p}^{b\%p} \ (mod \ p)$

那么求助，若$b\%p > a\%p$ 时如何计算组合数？

或者说，在 P4543 中如何预处理组合数？

图片来源