1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94
   | #include<iostream> #include<cstdio> #define ll long long using namespace std; const int N=5e2+10,M=1e7+10,mod=1e9+7; template<class T> inline void read(T &x) {     x=0;bool f=0;     char ch=getchar();     while(ch<'0'||ch>'9'){if(ch=='-')f=1;ch=getchar();}     while(ch>='0'&&ch<='9')x=(x<<1)+(x<<3)+(ch^48),ch=getchar();     if(f)x=-x; } template<class T,class ...T1> inline void read(T &x,T1 &...x1) {     read(x),read(x1...); } struct Node {     int l,r;     int val; }tr[N]; int n,k; int top,sta[N]; ll fac[M]; int si[N]; ll f[N][N]; void init() {     fac[1]=1;     for(int i=2;i<M;i++)         fac[i]=fac[i-1]*i%mod; } ll inv(ll x) {     if(x<=1)return 1;     return (mod-mod/x)*inv(mod%x)%mod; } ll C(int n,int m) {     if(m>n)return 0;     return fac[n]*inv(fac[m])%mod*inv(fac[n-m])%mod; } void dfs(int x,int res) {     f[x][0]=si[x]=1;     if(tr[x].l)     {         int y=tr[x].l;         dfs(y,tr[x].val);         si[x]+=si[y];         for(int i=min(si[x],k);~i;i--)         {             for(int j=1;j<=min(i,si[y]);j++)                 f[x][i]=(f[x][i]+f[x][i-j]*f[y][j])%mod;         }     }     if(tr[x].r)     {         int y=tr[x].r;         dfs(y,tr[x].val);         si[x]+=si[y];         for(int i=min(si[x],k);~i;i--)         {             for(int j=1;j<=min(i,si[y]);j++)                 f[x][i]=(f[x][i]+f[x][i-j]*f[y][j]%mod)%mod;         }     }     for(int i=min(si[x],k);~i;i--)         for(int j=1;j<=min(i,tr[x].val-res);j++)             f[x][i]=(f[x][i]+f[x][i-j]*fac[j]%mod*C(tr[x].val-res,j)%mod*C(si[x]-(i-j),j)%mod)%mod; } int main() {     init();     read(n,k);     for(int i=1;i<=n;i++)         read(tr[i].val);     for(int i=1;i<=n;i++)     {         int p=top;         while(p&&tr[sta[p]].val>tr[i].val)             p--;         if(p)tr[sta[p]].r=i;         if(p<top)tr[i].l=sta[p+1];         sta[++p]=i;         top=p;     }     dfs(sta[1],0);     printf("%lld\n",f[sta[1]][k]);     return 0; }
   |