题意:矩阵由0、1、2组成,并且满足、,给定矩阵的大小n、m,问能有多少种这样的矩阵
思路:整个矩阵可以看成由三部分组成,可以看成在0、1和1、2之间各有一条轮廓线,如果我们把左下角的点设为(n,0)把右上角的点设为(0,m,那么从左下到右上的所有的路径数为 ,就相当于在这些路径中取出两条路径来,并且这两条路径不能有穿过,穿过是指可以有的边重合,但不能有相交,所以问题就变得复杂了一些,所以把其中的一条路径向左上平移,这样只要减去相交的就可以了
那么平移后的那条路径的左下的点为p1(n-1,-1) 右上的点为q1(0,m-1),另一条路径的左下的点还是p2(n,0) 右上的点还是q2(0,m),那么两条路径相交的方案数为交换起点终点(p1->q2、p2->q1)方案数为:
所以最后的结果为
也可以直接用Lindström–Gessel–Viennot lemma定理套用这个行列式:给定n个起点和对应的n个终点,这n条不相交路径的方案数为其中e(a,b)是对应的a点到b点的路径数,本题就是两个点的情况
#include<algorithm>
#include<iostream>
#include<cstring>
#include<cstdio>
#include<cmath>
using namespace std;
typedef long long LL;
int mod=1e9+7;
LL c[2005][2005];
void fun()
{
c[0][0]=1;
for(int j=0;j<2005;j++)
c[j][0]=1;
for(int i=1;i<2005;i++)
{
for(int j=1;j<2005;j++)
{
c[i][j]=(c[i-1][j-1]+c[i-1][j])%mod;
}
}
}
int main()
{
fun();
int n,m;
while(scanf("%d%d",&n,&m)!=-1)
{
LL ans=(c[n+m][n]*c[n+m][n]%mod-c[n+m][m-1]*c[n+m][n-1]%mod+mod)%mod;
printf("%lld\n",ans);
}
return 0;
}