結果
問題 | No.1474 かさまJ |
ユーザー | 👑 PCTprobability |
提出日時 | 2021-04-09 22:23:25 |
言語 | C++17 (gcc 13.2.0 + boost 1.83.0) |
結果 |
AC
|
実行時間 | 1,769 ms / 2,500 ms |
コード長 | 3,013 bytes |
コンパイル時間 | 6,127 ms |
コンパイル使用メモリ | 263,784 KB |
実行使用メモリ | 14,152 KB |
最終ジャッジ日時 | 2023-09-07 11:50:59 |
合計ジャッジ時間 | 13,931 ms |
ジャッジサーバーID (参考情報) |
judge11 / judge13 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 15 ms
14,040 KB |
testcase_01 | AC | 14 ms
13,928 KB |
testcase_02 | AC | 19 ms
13,988 KB |
testcase_03 | AC | 14 ms
14,152 KB |
testcase_04 | AC | 15 ms
14,144 KB |
testcase_05 | AC | 42 ms
13,976 KB |
testcase_06 | AC | 42 ms
13,924 KB |
testcase_07 | AC | 36 ms
13,992 KB |
testcase_08 | AC | 58 ms
14,052 KB |
testcase_09 | AC | 1,769 ms
13,972 KB |
testcase_10 | AC | 117 ms
14,092 KB |
testcase_11 | AC | 1,734 ms
14,068 KB |
testcase_12 | AC | 31 ms
13,924 KB |
testcase_13 | AC | 389 ms
14,068 KB |
testcase_14 | AC | 255 ms
13,932 KB |
testcase_15 | AC | 68 ms
14,044 KB |
testcase_16 | AC | 368 ms
13,920 KB |
testcase_17 | AC | 204 ms
14,064 KB |
testcase_18 | AC | 1,104 ms
14,076 KB |
testcase_19 | AC | 1,109 ms
14,096 KB |
testcase_20 | AC | 1,116 ms
13,984 KB |
ソースコード
#include <bits/stdc++.h> using namespace std; #if __has_include(<atcoder/all>) #include <atcoder/all> using namespace atcoder; #endif using ll = long long; using ld = long double; using ull = long long; #define all(s) (s).begin(),(s).end() #define rep2(i, m, n) for (int i = (m); i < (n); ++i) #define rep(i, n) rep2(i, 0, n) #define drep2(i, m, n) for (int i = (m)-1; i >= (n); --i) #define drep(i, n) drep2(i, n, 0) #define rever(vec) reverse(vec.begin(), vec.end()) #define sor(vec) sort(vec.begin(), vec.end()) #define fi first #define se second #define P pair<ll,ll> //const ll mod = 998244353; const ll mod = 1000000007; const ll inf = 2000000000000000000ll; static const long double pi = 3.141592653589793; template<class T>void vcin(vector<T> &n){for(int i=0;i<int(n.size());i++) cin>>n[i];} template<class T>void vcout(vector<T> &n){for(int i=0;i<int(n.size());i++){cout<<n[i]<<" ";}cout<<endl;} void YesNo(bool a){if(a){cout<<"Yes"<<endl;}else{cout<<"No"<<endl;}} void YESNO(bool a){if(a){cout<<"YES"<<endl;}else{cout<<"NO"<<endl;}} template<class T,class U> void chmax(T& t,const U& u){if(t<u) t=u;} template<class T,class U> void chmin(T& t,const U& u){if(t>u) t=u;} template<class T> void ifmin(T t,T u){if(t>u){cout<<-1<<endl;}else{cout<<t<<endl;}} template<class T> void ifmax(T t,T u){if(t>u){cout<<-1<<endl;}else{cout<<t<<endl;}} template<typename T,typename ...Args>auto make_vector(T x,int arg,Args ...args){if constexpr(sizeof...(args)==0)return vector<T>(arg,x);else return vector(arg,make_vector<T>(x,args...));} ll modPow(ll a, ll n, ll mod) { ll ret = 1; ll p = a % mod; while (n) { if (n & 1) ret = ret * p % mod; p = p * p % mod; n >>= 1; } return ret; } void gbjsmzmfuuvdf(){ ios::sync_with_stdio(false); std::cin.tie(nullptr); cout<< fixed << setprecision(20); } constexpr ll MAX = 300000; ll fac[MAX],finv[MAX],inv[MAX]; void COMinit(){ fac[0]=fac[1]=1; finv[0]=finv[1]=1; inv[1]=1; for(int i=2;i<MAX;i++){ fac[i]=fac[i-1]*i%mod; inv[i]=mod-inv[mod%i]*(mod/i)%mod; finv[i]=finv[i-1]*inv[i]%mod; } } ll COM(ll n,ll k){ if(n<k) return 0; if(n<0||k<0) return 0; return fac[n]*(finv[k]*finv[n-k]%mod)%mod; } ll HOM(ll n,ll k){ if(n+k-1>=n-1&&n-1>=0){ return COM(n+k-1,n-1); } else{ return 0; } } using mint = modint1000000007; int main() { gbjsmzmfuuvdf(); COMinit(); ll n,a,b,l; cin>>n>>a>>b>>l; vector<vector<mint>> dp(50,vector<mint>(20010)); dp[0][0]=1; for(int i=0;i<n;i++){ ll s; cin>>s; for(int j=i;j>=0;j--){ mint tmp=0; for(int k=0;k<20005;k++){ tmp+=dp[j][k]; if(k>=s) tmp-=dp[j][k-s]; dp[j+1][k+1]+=tmp; } } } mint ans=0; for(int i=0;i<=b;i++){ for(int j=0;j<=a;j++){ ll x=a-j,y=i; if(x<0) continue; if((x+y)%l!=0) continue; if((x+y)/l>45) continue; ans+=dp[(x+y)/l][y]*COM(n+j-1,j); j+=l-1; // cout<<x<<" "<<y<<" "<<dp[(x+y)/l][y].val()<<" "<<COM(n+j-1,j)<<endl; } } cout<<ans.val()<<endl; }