卢卡斯定理&扩展卢卡斯定理

#卢卡斯定理 　　求$C_m^n~mod~p$

　　设$m={a_0}^{p_0}+{a_1}^{p_1}+\cdots+{a_k}^{p_k},n={b_0}^{p_0}+{b_1}^{p_1}+\cdots+{b_k}^{p_k}$

　　则$C_m^n\equiv\prod{C_{a_i}^{b_i}}(mod~p)$

#扩展卢卡斯定理

　　好像这也不是什么定理，只是一个计算方法

　　计算$C_m^n~mod~p$，其中$p={p_1}^{q_1}\times{p_2}^{q_2}\times\cdots{p_k}^{q_k}$时，咱们能够先求出$C_m^n~mod~{p_i}^{q_i}$，而后用CRT合并。

　　那么怎么计算$C_m^n~mod~{p_i}^{q_i}$呢？

　　$C_m^n=\frac{m!}{n!(m-n)!}$，咱们只须要算出$m!,{n!}^{-1},{(m-n)!}^{-1}$，而后乘在一块儿。

　　z<font color=red>jt</font>大爷：$n!$可能在模${p_i}^{q_i}$的意义下没有逆元啊，那这就是错的了啊

　　其实这里求得不是逆元（可能没有逆元），求出来的是$a\times {p_i}^b(gcd(a,p)=1)$，前面的$a$用逆元，后面的次数加加减减一下就行了

　　问题转换成求$n!~mod~p^q$

　　例如$n=19,p=3,q=2$：

$$ \begin{align} &19!\ =&1\times2\times3\times\cdots\times19\ =&(1\times2\times4\times5\times7\times8\cdots\times16\times17\times19)\times(3\times6\times9\times12\times15\times18)\ =&(1\times2\times4\times5\times7\times8\cdots\times16\times17)\times19\times3^6\times(1\times2\times3\times4\times5\times6)\ =&{(1\times2\times4\times5\times7\times8)}^2\times19\times3^6\times(1\times2\times3\times4\times5\times6) \end{align} $$

　　上面这个式子分为四部分：

　　第一部分：${(1\times2\times4\times5\times7\times8)}^2$。这部分的数不超过$p^q$个，能够暴力算

　　第二部分：$19$。这部分的数不超过$p^q$个，能够暴力算

　　第三部分：$3^6$。这个在最后处理时求出$m!,n!,(m-n)!$分别有多少个$p$（设为$x,y,z$），则答案要乘上$p^{x-y-z}$

　　第四部分：$1\times2\times3\times4\times5\times6$。这个是$\lfloor\frac{n}{p}\rfloor!$，能够递归处理