結果

問題 No.1474 かさまＪ
ユーザー kotatsugamekotatsugame
提出日時 2021-04-09 22:05:22
言語 C++14
(gcc 13.2.0 + boost 1.83.0)
結果
AC  
実行時間 95 ms / 2,500 ms
コード長 3,036 bytes
コンパイル時間 607 ms
コンパイル使用メモリ 68,608 KB
実行使用メモリ 10,012 KB
最終ジャッジ日時 2023-09-07 11:23:44
合計ジャッジ時間 2,216 ms
ジャッジサーバーID
（参考情報） 		judge12 / judge14
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
5,604 KB
testcase_01 AC 3 ms
5,540 KB
testcase_02 AC 2 ms
5,676 KB
testcase_03 AC 2 ms
5,596 KB
testcase_04 AC 3 ms
5,668 KB
testcase_05 AC 43 ms
8,792 KB
testcase_06 AC 10 ms
6,300 KB
testcase_07 AC 3 ms
5,748 KB
testcase_08 AC 3 ms
5,940 KB
testcase_09 AC 58 ms
8,744 KB
testcase_10 AC 5 ms
6,036 KB
testcase_11 AC 2 ms
5,668 KB
testcase_12 AC 3 ms
5,912 KB
testcase_13 AC 60 ms
9,320 KB
testcase_14 AC 20 ms
6,668 KB
testcase_15 AC 11 ms
6,276 KB
testcase_16 AC 5 ms
5,968 KB
testcase_17 AC 24 ms
7,792 KB
testcase_18 AC 79 ms
9,636 KB
testcase_19 AC 91 ms
9,892 KB
testcase_20 AC 95 ms
10,012 KB
権限があれば一括ダウンロードができます
コンパイルメッセージ
a.cpp:12:1: 警告: ISO C++ では型の無い ‘main’ の宣言を禁止しています [-Wreturn-type]

ソースコード

diff # 

#line 1 "a.cpp"
#include<iostream>
using namespace std;
#line 3 "/home/kotatsugame/library/math/modint.cpp"
#include<utility>
template<int m>
struct modint{
	unsigned int x;
	constexpr modint()noexcept:x(){}
	template<typename T>
	constexpr modint(T x_)noexcept:x((x_%=m)<0?x_+m:x_){}
	constexpr unsigned int val()const noexcept{return x;}
	constexpr modint&operator++()noexcept{if(++x==m)x=0;return*this;}
	constexpr modint&operator--()noexcept{if(x==0)x=m;--x;return*this;}
	constexpr modint operator++(int)noexcept{modint res=*this;++*this;return res;}
	constexpr modint operator--(int)noexcept{modint res=*this;--*this;return res;}
	constexpr modint&operator+=(const modint&a)noexcept{x+=a.x;if(x>=m)x-=m;return*this;}
	constexpr modint&operator-=(const modint&a)noexcept{if(x<a.x)x+=m;x-=a.x;return*this;}
	constexpr modint&operator*=(const modint&a)noexcept{x=(unsigned long long)x*a.x%m;return*this;}
	constexpr modint&operator/=(const modint&a)noexcept{return*this*=a.inv();}
	constexpr modint operator+()const noexcept{return*this;}
	constexpr modint operator-()const noexcept{return modint()-*this;}
	constexpr modint pow(long long n)const noexcept
	{
		if(n<0)return pow(-n).inv();
		modint x=*this,r=1;
		for(;n;x*=x,n>>=1)if(n&1)r*=x;
		return r;
	}
	constexpr modint inv()const noexcept
	{
		int s=x,t=m,x=1,u=0;
		while(t)
		{
			int k=s/t;
			s-=k*t;
			swap(s,t);
			x-=k*u;
			swap(x,u);
		}
		return modint(x);
	}
	friend constexpr modint operator+(const modint&a,const modint&b){return modint(a)+=b;}
	friend constexpr modint operator-(const modint&a,const modint&b){return modint(a)-=b;}
	friend constexpr modint operator*(const modint&a,const modint&b){return modint(a)*=b;}
	friend constexpr modint operator/(const modint&a,const modint&b){return modint(a)/=b;}
	friend constexpr bool operator==(const modint&a,const modint&b){return a.x==b.x;}
	friend constexpr bool operator!=(const modint&a,const modint&b){return a.x!=b.x;}
	friend ostream&operator<<(ostream&os,const modint&a){return os<<a.x;}
	friend istream&operator>>(istream&is,modint&a){long long v;is>>v;a=modint(v);return is;}
};
#line 4 "a.cpp"
using mint=modint<(int)1e9+7>;
int N,A,B,L;
int S[40];
mint dp[41][20202];
mint tmp[41][20202];
const int LIM=20202;
mint fac[LIM+1],inv[LIM+1];
mint C(int a,int b){return fac[a]*inv[b]*inv[a-b];}
main()
{
	fac[0]=1;
	for(int i=1;i<=LIM;i++)fac[i]=fac[i-1]*i;
	inv[LIM]=1/fac[LIM];
	for(int i=LIM;i--;)inv[i]=inv[i+1]*(i+1);
	cin>>N>>A>>B>>L;
	for(int i=0;i<N;i++)cin>>S[i];
	dp[0][0]=1;
	for(int i=0;i<N;i++)
	{
		for(int j=0;j<=i+1;j++)for(int k=0;k<=B;k++)tmp[j][k]=0;
		for(int j=0;j<=i;j++)for(int k=0;k<=B;k++)
		{
			tmp[j+1][k+1]+=dp[j][k];
			int R=k+S[i]+1;
			if(R>B)R=B+1;
			tmp[j+1][R]-=dp[j][k];
		}
		for(int j=0;j<=i+1;j++)
		{
			for(int k=0;k<=B;k++)
			{
				tmp[j][k+1]+=tmp[j][k];
				dp[j][k]+=tmp[j][k];
			}
		}
	}
	mint ans=0;
	for(int j=0;j<=N;j++)for(int k=0;k<=B;k++)
	{
		int uA=j*L-k;
		if(uA>A)continue;
		int rA=A-uA;
		ans+=dp[j][k]*C(rA+N-1,N-1);
	}
	cout<<ans<<endl;
}
0