WC模拟：Every one will meet some difficult（第一，第二类斯特林数+n阶差分）

题意：
给定$n,m,s,t$求出满足：

$$\sum_{i=1}^m x_i \le s$$
$$\forall i \le m,x_i \gt 0$$
$$\forall i \le n,x_i \le t$$
的解的个数。
$(m-n\le 1000,m\le 1e9,t\le 1e5,nt \le s\le 1e18)$

---

题解：

这好像是国家集训队的作业，反正我不会做。。。

有几个知识点怕忘记写一篇博客来记一下。

首先比较显然的是可以枚举前$n$个中的非法个数然后容斥，得到：

$$ans=\sum_{i=0}^n (-1)^i \binom{n}{i}\binom{s-ti}{m}$$

设$f_i=\binom{s-ti}{m}$，则

$$ans=\sum_{i=0}^n (-1)^i \binom{n}{i}f_i$$

这个式子其实是$n$阶前项差分公式稍微变一下形，那么考虑前向差分这个$f$。
利用$n$阶差分公式：

$$\Delta^n[f](x) = \sum_{i=0}^n (-1)^{n-i}\binom{n}{i} f(x+i)$$
这个式子可以通过归纳法证明，这里略过。
得到：

(−1)nans=∑i=0n(−1)n−i