考虑建一棵小根堆笛卡尔树，即每次在当前区间中找到最小值，以最小值为界分割区间，由当前最小值所在位置向两边区间最小值所在位置连边，递归建树。那么该笛卡尔树中的一棵子树对应序列的一个连续区间，且根的权值是这段区间的最小值。

　　在笛卡尔树上跑树形dp。设f[i][j]为在i子树对应棋盘中放j个车的方案数，且棋盘中只考虑这段区间在根的父亲高度上方的部分。转移考虑合并两棵子树再在新增加的矩形部分放车即可，捣鼓一下组合数。

#include<iostream> 
#include<cstdio>
#include<cmath>
#include<cstdlib>
#include<cstring>
#include<algorithm>
using namespace std;
#define ll long long
#define N 510
#define P 1000000007
char getc(){char c=getchar();while ((c<'A'||c>'Z')&&(c<'a'||c>'z')&&(c<'0'||c>'9')) c=getchar();return c;}
int gcd(int n,int m){return m==0?n:gcd(m,n%m);}
int read()
{
	int x=0,f=1;char c=getchar();
	while (c<'0'||c>'9') {if (c=='-') f=-1;c=getchar();}
	while (c>='0'&&c<='9') x=(x<<1)+(x<<3)+(c^48),c=getchar();
	return x*f;
}
int n,m,a[N],son[N][2],size[N],fa[N],f[N][N],root;
int fac[1000010],inv[1000010];
int build(int l,int r)
{
	if (l==r) {size[l]=1;return l;}
	int mx=l;
	for (int i=l+1;i<=r;i++) if (a[i]<a[mx]) mx=i;
	if (l<mx) son[mx][0]=build(l,mx-1);
	if (mx<r) son[mx][1]=build(mx+1,r);
	fa[son[mx][0]]=fa[son[mx][1]]=mx;
	size[mx]=size[son[mx][0]]+size[son[mx][1]]+1;
	return mx;
}
void inc(int &x,int y){x+=y;if (x>=P) x-=P;}
int C(int n,int m){if (m>n) return 0;return 1ll*fac[n]*inv[m]%P*inv[n-m]%P;}
void dfs(int k)
{
	if (son[k][0]) dfs(son[k][0]);
	if (son[k][1]) dfs(son[k][1]);
	for (int i=0;i<=m;i++)
		for (int j=0;j<=i;j++)
		inc(f[k][i],1ll*f[son[k][0]][j]*f[son[k][1]][i-j]%P);
	int h=a[k]-a[fa[k]];
	for (int i=m;i>=0;i--)
		for (int j=min(size[k],i-1);j>=0;j--)
		inc(f[k][i],1ll*f[k][j]*C(size[k]-j,i-j)%P*C(h,i-j)%P*fac[i-j]%P);
}
int main()
{
#ifndef ONLINE_JUDGE
	freopen("bzoj2616.in","r",stdin);
	freopen("bzoj2616.out","w",stdout);
	const char LL[]="%I64d\n";
#else
	const char LL[]="%lld\n";
#endif
	n=read(),m=read();
	for (int i=1;i<=n;i++) a[i]=read();
	root=build(1,n);f[0][0]=1;
	fac[0]=1;for (int i=1;i<=1000000;i++) fac[i]=1ll*fac[i-1]*i%P;
	inv[0]=inv[1]=1;for (int i=2;i<=1000000;i++) inv[i]=P-1ll*(P/i)*inv[P%i]%P;
	for (int i=2;i<=1000000;i++) inv[i]=1ll*inv[i-1]*inv[i]%P;
	dfs(root);
	cout<<f[root][m];
	return 0;
}