luogu6078 [CEOI2004] caramelo

Tema: enlaces luogu6078

En primer lugar, el sujeto puede ser convertido a comer hasta \ (A \) dulces esquema numérico.

Considerado para escribir cada confitería función generadora método tarro tomar es \ (1 + x + x ^ 2 + \ cdots + x ^ m = \ frac {1-x ^ {m + 1}} {1-x} \) .

Así que la respuesta a la función última generación es:

\ [\ Prod_ {i = 1} ^ n \ frac {1-x ^ {m_i + 1}} {1-x} = \ prod_ {i = 1} ^ n (1-x ^ {m_i + 1}) \ frac {1} {(1-x) ^ n} = \ prod_ {i = 1} ^ n (1-x ^ {m_i + 1}) \ sum_ {i \ geq 0} \ dbinom {i + n- 1} {i} x ^ i \]

La función de generación de la primera mitad a lo sumo \ (2 ^ n \) posición tiene un valor, en vista de la \ (n- \) es pequeño podemos ráfaga apoderado, supuesto que el encontrado actual \ (x ^ y \) de coeficientes no cero, a continuación, que de nuevo elemento a su contribución es \ (\ sum_ {i = 0 } ^ {ay} \ dbinom {i + n-1} {i} = \ dbinom {ay + n} {ay} = \ dbinom + n-Y-a {} {} n- \) (como prueba de identidad de esta combinación, el número de combinaciones puede ser considerado combinaciones / detección recursivos)

Por lo tanto \ (x ^ y \) contribución puede ser (O (n) \) \ resuelto en el tiempo. Por último, prestar atención al problema módulo el número de combinaciones puede ser.

#include<iostream>
#include<string.h>
#include<string>
#include<stdio.h>
#include<algorithm>
#include<vector>
#include<bitset>
#include<math.h>
#include<stack>
#include<queue>
#include<set>
#include<map>
using namespace std;
typedef long long ll;
typedef long double db;
typedef vector<int> vi;
typedef pair<int,int> pii;
const int N=100000;
const db pi=acos(-1.0);
#define lowbit(x) (x)&(-x)
#define sqr(x) (x)*(x)
#define rep(i,a,b) for (register int i=a;i<=b;i++)
#define per(i,a,b) for (register int i=a;i>=b;i--)
#define go(u,i) for (register int i=head[u];i;i=sq[i].nxt)
#define fir first
#define sec second
#define mp make_pair
#define pb push_back
#define maxd 2004
#define eps 1e-8
inline int read()
{
    int x=0,f=1;char ch=getchar();
    while ((ch<'0') || (ch>'9')) {if (ch=='-') f=-1;ch=getchar();}
    while ((ch>='0') && (ch<='9')) {x=x*10+(ch-'0');ch=getchar();}
    return x*f;
}

namespace My_Math{
	#define N 100000

	int fac[N+100],invfac[N+100];

	int add(int x,int y) {return x+y>=maxd?x+y-maxd:x+y;}
	int dec(int x,int y) {return x<y?x-y+maxd:x-y;}
	int mul(int x,int y) {return 1ll*x*y%maxd;}
	ll qpow(ll x,int y)
	{
		ll ans=1;
		while (y)
		{
			if (y&1) ans=mul(ans,x);
			x=mul(x,x);y>>=1;
		}
		return ans;
	}
	int getinv(int x) {return qpow(x,maxd-2);}

	void math_init()
	{
		fac[0]=invfac[0]=1;
		rep(i,1,N) fac[i]=mul(fac[i-1],i);
		invfac[N]=getinv(fac[N]);
		per(i,N-1,1) invfac[i]=mul(invfac[i+1],i+1);
	}
	#undef N
}
using namespace My_Math;

int n,m,ans,v[12],a,b;

int C(int n,int m)
{
	if ((n<m) || (n<0) || (m<0)) return 0;
	ll ans=1,pro=1;
	rep(i,1,m) pro=pro*i;
	ll mod=pro*maxd;
	rep(i,n-m+1,n)
		ans=ans*(i%mod)%mod;
	ans=(ans/pro)%mod;
	return ans;
}

void dfs(int dep,int op,int now)
{
	if (dep==n+1)
	{
		if (op&1) ans=dec(ans,C(n+m-now,n));
		else ans=add(ans,C(n+m-now,n));
		return;
	}
	dfs(dep+1,op,now);
	dfs(dep+1,op+1,now+v[dep]);
}

int solve(int lim)
{
	m=lim;ans=0;
	dfs(1,0,0);
	return ans;
}

int main()
{
	n=read();a=read();b=read();
	rep(i,1,n) v[i]=read()+1;
	int ans=dec(solve(b),solve(a-1));
	printf("%d\n",ans);
	return 0;
}