#include<bits/stdc++.h>
using namespace std;
const int maxn=100+10,maxl=1000+10,mod=1e9+7;
int dp[maxn][maxn][maxl][4],l,n;
vector<int>all;
void vorod(){
cin>>n>>l;
all.resize(n);
for(int i=0;i<n;i++){
cin>>all[i];
}
sort(all.begin(),all.end());
int z=all.back();
all.push_back(z);
}
inline add(int a,int b,int c,int d,int aa,int bb,int cc,int dd,int w){
// if(aa==0&&dd==3&&dp[aa][bb][cc][dd]!=0){
// cout<<"wtf"<<endl;
// }
long long e=1ll*dp[aa][bb][cc][dd]*w%mod;
dp[a][b][c][d]+=e;
dp[a][b][c][d]%=mod;
}
void upd(int ind,int ted,int dis,int tar){
// cout<<ind<<" "<<ted<<" "<<dis<<" "<<tar<<" "<<dp[ind][ted][dis][tar]<<" "<<all[ind+2]-all[ind+1]<<endl;
long long val=dp[ind][ted][dis][tar];
long long ezaf=all[ind+2]-all[ind+1],te=ted*2+__builtin_popcount(tar);
if(ted>0){
//vas00;
if(dis+ezaf*(te+2)<=l){
add(ind+1,ted+1,dis+ezaf*(te+2),tar,ind,ted,dis,tar,ted);
}
//vas10;
if(dis+ezaf*(te)<=l){
add(ind+1,ted,dis+ezaf*(te),tar,ind,ted,dis,tar,ted);
}
//vas01;
if(dis+ezaf*(te)<=l){
add(ind+1,ted,dis+ezaf*(te),tar,ind,ted,dis,tar,ted);
}
//vas11;
if(dis+ezaf*(te-2)<=l){
add(ind+1,ted-1,dis+ezaf*(te-2),tar,ind,ted,dis,tar,ted);
}
}
if(tar&1){
//vas00;
if(dis+ezaf*(te+2)<=l){
add(ind+1,ted+1,dis+ezaf*(te+2),tar,ind,ted,dis,tar,1);
}
//vas10;
if(dis+ezaf*(te)<=l){
add(ind+1,ted,dis+ezaf*(te),tar,ind,ted,dis,tar,1);
}
//vas01;
if(dis+ezaf*(te+1)<=l){
add(ind+1,ted+1,dis+ezaf*(te+1),tar^1,ind,ted,dis,tar,1);
}
//vas11;
if(dis+ezaf*(te-1)<=l){
add(ind+1,ted,dis+ezaf*(te-1),tar^1,ind,ted,dis,tar,1);
}
}
if(tar&2){
//vas00;
if(dis+ezaf*(te+2)<=l){
add(ind+1,ted+1,dis+ezaf*(te+2),tar,ind,ted,dis,tar,1);
}
//vas10;
if(dis+ezaf*(te+1)<=l){
add(ind+1,ted+1,dis+ezaf*(te+1),tar^2,ind,ted,dis,tar,1);
}
//vas01;
if(dis+ezaf*(te)<=l){
add(ind+1,ted,dis+ezaf*(te),tar,ind,ted,dis,tar,1);
}
//vas11;
if(dis+ezaf*(te-1)<=l){
add(ind+1,ted,dis+ezaf*(te-1),tar^2,ind,ted,dis,tar,1);
}
}
}
void pre(){
dp[0][0][0][0]=1;
dp[0][0][all[1]-all[0]][1]=1;
dp[0][0][all[1]-all[0]][2]=1;
dp[0][0][2*(all[1]-all[0])][3]=1;
for(int i=1;i<n;i++){
for(int j=0;j<n;j++){
for(int h=0;h<=l;h++){
for(int z=0;z<4;z++){
upd(i-1,j,h,z);
}
}
}
}
}
void khor(){#include<bits/stdc++.h>
using namespace std;
const int maxn=100+10,maxl=1000+10,mod=1e9+7;
int dp[maxn][maxn][maxl][4],l,n;
vector<int>all;
void vorod(){
cin>>n>>l;
all.resize(n);
for(int i=0;i<n;i++){
cin>>all[i];
}
sort(all.begin(),all.end());
int z=all.back();
all.push_back(z);
}
void add(int a,int b,int c,int d,int aa,int bb,int cc,int dd,int w){
// if(aa==0&&dd==3&&dp[aa][bb][cc][dd]!=0){
// cout<<"wtf"<<endl;
// }
long long e=1ll*dp[aa][bb][cc][dd]*w%mod;
dp[a][b][c][d]+=e;
dp[a][b][c][d]%=mod;
}
void upd(int ind,int ted,int dis,int tar){
// cout<<ind<<" "<<ted<<" "<<dis<<" "<<tar<<" "<<dp[ind][ted][dis][tar]<<" "<<all[ind+2]-all[ind+1]<<endl;
long long val=dp[ind][ted][dis][tar];
long long ezaf=all[ind+2]-all[ind+1],te=ted*2+__builtin_popcount(tar);
if(ted>0){
//vas00;
if(dis+ezaf*(te+2)<=l){
add(ind+1,ted+1,dis+ezaf*(te+2),tar,ind,ted,dis,tar,ted);
}
//vas10;
if(dis+ezaf*(te)<=l){
add(ind+1,ted,dis+ezaf*(te),tar,ind,ted,dis,tar,ted);
}
//vas01;
if(dis+ezaf*(te)<=l){
add(ind+1,ted,dis+ezaf*(te),tar,ind,ted,dis,tar,ted);
}
//vas11;
if(dis+ezaf*(te-2)<=l){
add(ind+1,ted-1,dis+ezaf*(te-2),tar,ind,ted,dis,tar,ted);
}
}
if(tar&1){
//vas00;
if(dis+ezaf*(te+2)<=l){
add(ind+1,ted+1,dis+ezaf*(te+2),tar,ind,ted,dis,tar,1);
}
//vas10;
if(dis+ezaf*(te)<=l){
add(ind+1,ted,dis+ezaf*(te),tar,ind,ted,dis,tar,1);
}
//vas01;
if(dis+ezaf*(te+1)<=l){
add(ind+1,ted+1,dis+ezaf*(te+1),tar^1,ind,ted,dis,tar,1);
}
//vas11;
if(dis+ezaf*(te-1)<=l){
add(ind+1,ted,dis+ezaf*(te-1),tar^1,ind,ted,dis,tar,1);
}
}
if(tar&2){
//vas00;
if(dis+ezaf*(te+2)<=l){
add(ind+1,ted+1,dis+ezaf*(te+2),tar,ind,ted,dis,tar,1);
}
//vas10;
if(dis+ezaf*(te+1)<=l){
add(ind+1,ted+1,dis+ezaf*(te+1),tar^2,ind,ted,dis,tar,1);
}
//vas01;
if(dis+ezaf*(te)<=l){
add(ind+1,ted,dis+ezaf*(te),tar,ind,ted,dis,tar,1);
}
//vas11;
if(dis+ezaf*(te-1)<=l){
add(ind+1,ted,dis+ezaf*(te-1),tar^2,ind,ted,dis,tar,1);
}
}
}
void pre(){
dp[0][0][0][0]=1;
dp[0][0][all[1]-all[0]][1]=1;
dp[0][0][all[1]-all[0]][2]=1;
dp[0][0][2*(all[1]-all[0])][3]=1;
for(int i=1;i<n;i++){
for(int j=0;j<n;j++){
for(int h=0;h<=l;h++){
for(int z=0;z<4;z++){
upd(i-1,j,h,z);
}
}
}
}
}
void khor(){
long long mainres=0;
for(int i=0;i<=l;i++){
mainres+=dp[n-1][0][i][0];
}
mainres%=mod;
cout<<mainres<<"\n";
}
int main(){
ios::sync_with_stdio(0);
cin.tie(0);
cout.tie(0);
// freopen("inp.txt","r",stdin);
vorod();
//cout<<"salam"<<endl;
pre();
khor();
long long mainres=0;
for(int i=0;i<=l;i++){
mainres+=dp[n-1][0][i][0];
}
mainres%=mod;
cout<<mainres<<"\n";
}
int main(){
ios::sync_with_stdio(0);
cin.tie(0);
cout.tie(0);
// freopen("inp.txt","r",stdin);
vorod();
//cout<<"salam"<<endl;
pre();
khor();
}
Compilation message
skyscraper.cpp:112:13: error: stray '#' in program
112 | void khor(){#include<bits/stdc++.h>
| ^
skyscraper.cpp:17:8: error: ISO C++ forbids declaration of 'add' with no type [-fpermissive]
17 | inline add(int a,int b,int c,int d,int aa,int bb,int cc,int dd,int w){
| ^~~
skyscraper.cpp: In function 'int add(int, int, int, int, int, int, int, int, int)':
skyscraper.cpp:24:1: warning: no return statement in function returning non-void [-Wreturn-type]
24 | }
| ^
skyscraper.cpp: In function 'void upd(int, int, int, int)':
skyscraper.cpp:28:12: warning: unused variable 'val' [-Wunused-variable]
28 | long long val=dp[ind][ted][dis][tar];
| ^~~
skyscraper.cpp: In function 'void khor()':
skyscraper.cpp:112:14: error: 'include' was not declared in this scope
112 | void khor(){#include<bits/stdc++.h>
| ^~~~~~~
skyscraper.cpp:112:22: error: 'bits' was not declared in this scope
112 | void khor(){#include<bits/stdc++.h>
| ^~~~
skyscraper.cpp:112:27: error: 'stdc' was not declared in this scope; did you mean 'std'?
112 | void khor(){#include<bits/stdc++.h>
| ^~~~
| std
skyscraper.cpp:113:1: error: expected primary-expression before 'using'
113 | using namespace std;
| ^~~~~
skyscraper.cpp:117:13: error: a function-definition is not allowed here before '{' token
117 | void vorod(){
| ^
skyscraper.cpp:128:68: error: a function-definition is not allowed here before '{' token
128 | void add(int a,int b,int c,int d,int aa,int bb,int cc,int dd,int w){
| ^
skyscraper.cpp:137:42: error: a function-definition is not allowed here before '{' token
137 | void upd(int ind,int ted,int dis,int tar){
| ^
skyscraper.cpp:207:11: error: a function-definition is not allowed here before '{' token
207 | void pre(){
| ^
skyscraper.cpp:223:12: error: a function-definition is not allowed here before '{' token
223 | void khor(){
| ^
skyscraper.cpp:232:11: error: a function-definition is not allowed here before '{' token
232 | int main(){
| ^
skyscraper.cpp:250:11: error: a function-definition is not allowed here before '{' token
250 | int main(){
| ^
skyscraper.cpp:114:36: warning: unused variable 'mod' [-Wunused-variable]
114 | const int maxn=100+10,maxl=1000+10,mod=1e9+7;
| ^~~
skyscraper.cpp:115:5: warning: unused variable 'dp' [-Wunused-variable]
115 | int dp[maxn][maxn][maxl][4],l,n;
| ^~
skyscraper.cpp:115:29: warning: unused variable 'l' [-Wunused-variable]
115 | int dp[maxn][maxn][maxl][4],l,n;
| ^
skyscraper.cpp:115:31: warning: unused variable 'n' [-Wunused-variable]
115 | int dp[maxn][maxn][maxl][4],l,n;
| ^
skyscraper.cpp:259:1: error: expected '}' at end of input
259 | }
| ^
skyscraper.cpp:112:12: note: to match this '{'
112 | void khor(){#include<bits/stdc++.h>
| ^
