[ $\frak{Link}$]

題意： $\mathfrak{n}$

按照套路， $\mathfrak{F}($

上面的方法顯然產生了很多不必要的計算。
我們發現多個集合除了每個集合裡面螞蟻個數可能不同之外是一樣的。
能不能利用之前的結果來優化呀？
我們首先可以分成某個集合選/不選的情況再慢慢討論。
第二種遞推方法就是拆分為某一組至少選一個或者一個都不選。
一個都不選的很顯然啦， $\frak{f(i,j)=f(i-1,j)}$。
如果某一組至少選一個呢？
因為至少選一個，我們可以先從 $\frak{f(i,j-1)}$考慮轉移過來。後面應該還要加什麼。
考慮多/少了什麼。
$\frak{f(i,j-1)}$中也包含了之前計算的，第 $\frak{i}$種選了 $\frak{p}$個的情況、
至於更前面的就不必考慮到了，是合法的。只需要考慮第 $\frak{i}$種。

發現如果 $\frak{f(i,j-1)}$包含了第 $\frak{i}$種選了 $\frak{a_i}$個的情況，那麼轉移過來這個情況就不可行了。
這種情況顯然應該是 $\frak{f(i-1,j-a_i-1)}$。
（ $\frak{f(i,j-1)}$在第 $\frak{i}$種選了 $\frak{a_i}$個的情況下是由 $\frak{f(i-1,j-a_i-1)}$轉移過來的）

於是要減掉 $\frak{f(i-1,j-a_i-1)}$。
最後的式子再分類討論一下就出來了。

#include<cstdio>
#include<iostream>
#include<algorithm>
#include<cstdlib>
#include<cstring>
#include<cmath>
#include<cctype>
using namespace std;
const int mod = 1000000; //*
int T, A, S, B;
int F[1005][10005];
int N[1005];
bool cond;
int main() {
	scanf("%d%d%d%d", &T, &A, &S, &B);
	for (int t, i = 1; i <= A; ++i) {
		scanf("%d", &t);
		++N[t];
	}
	F[0][0] = F[1][0] = 1; //*
	for (int i = 1; i <= T; ++i) {
		cond = !cond;
		for (int j = 1; j <= B; ++j) {
			F[cond][j] = F[cond][j-1] + F[!cond][j];
			if (j>=N[i]+1) F[cond][j] += mod - F[!cond][j-N[i]-1];
			F[cond][j] %= mod;
		}
	}
	int ans = 0;
	for (int j = S; j <= B; ++j) ans += F[cond][j], ans %= mod;
	printf("%d", ans);
	return 0;
}

生成函式：我不會
（