Submission #852593

#TimeUsernameProblemLanguageResultExecution timeMemory
852593noyancanturkMagneti (COCI21_magneti)C++17
110 / 110
219 ms200452 KiB
#ifndef Local #pragma GCC optimize("O3,unroll-loops") #pragma GCC target("avx2,bmi,bmi2,lzcnt,popcnt") #endif #include <bits/stdc++.h> #define int long long #define pb push_back #define lim 10000 using namespace std; const int mod=1000000007ll; int dist[10055][55]; int sum(int a,int b){ return ((a%mod)+(b%mod))%mod; } int mul(int a,int b){ return ((a%mod)*(b%mod))%mod; } void solve(){ dist[0][0]=1; for(int i=1;i<10055;i++){ dist[i][0]=1; for(int j=1;j<55;j++){ dist[i][j]=sum(dist[i-1][j-1],dist[i-1][j]); } } int n,l; cin>>n>>l; int a[n]; for(int i=0;i<n;i++){ cin>>a[i]; } sort(a,a+n); int dp[n][n][l]; dp[0][0][0]=1; for(int i=0;i<n;i++){ for(int j=0;j<n;j++){ for(int k=0;k<l;k++){ dp[i][j][k]=0; } } } dp[0][0][0]=1; for(int i=1;i<n;i++){ dp[i][0][0]=0; for(int g=0;g<=i;g++){ for(int s=1;s<l;s++){ //cerr<<"0 on "<<i<<" "<<g<<" "<<s<<"\n"; if(g)dp[i][g][s]=dp[i-1][g-1][s-1]; else dp[i][g][s]=0; //cerr<<dp[i][g][s]<<"\n"; if(a[i]<=s){ //cerr<<"1 on "<<i<<" "<<g<<" "<<s<<"\n"; //cerr<<dp[i][g][s]<<" "; dp[i][g][s]=sum(dp[i][g][s],mul(2*(g+1),dp[i-1][g][s-a[i]])); //cerr<<dp[i][g][s]<<"\n"; } if(2*a[i]-1<=s){ //cerr<<"2 on "<<i<<" "<<g<<" "<<s<<"\n"; //cerr<<dp[i][g][s]<<" "; dp[i][g][s]=sum(dp[i][g][s],mul((g+2)*(g+1),dp[i-1][g+1][s-2*a[i]+1])); //cerr<<dp[i][g][s]<<"\n"; } } } } /* cerr<<"\n"; for(int i=0;i<n;i++){ for(int j=0;j<n;j++){ for(int k=0;k<l;k++){ cerr<<dp[i][j][k]<<" "; }cerr<<"\n"; }cerr<<"\n"; }cerr<<"\n"; */ int ans=0; for(int i=0;i<l;i++){ ans=sum(ans,mul(dp[n-1][0][i],dist[l-i+n-1][n])); //cerr<<dp[n-1][0][i]<<" "<<dist[l-i+n-1][n]<<"\n"; } cout<<ans<<"\n"; } signed main(){ ios_base::sync_with_stdio(false); cin.tie(NULL);cout.tie(NULL); #ifdef Local freopen("in","r",stdin); freopen("out","w",stdout); #endif int t=1; //cin>>t; while (t--) { solve(); } }
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...