容斥原理。A表示不放第一行B表示不放最后一行C不放第一列D表示不放最后一列。
那么我们要得到的结果就是在全集S中但不在ABCD任意一个集合中。
即 S - ( A + B + C + D) +(A∩B + A∩C + A∩D + B∩C +B∩D +C∩D) - (A∩B∩C + A∩C∩D + B∩C∩D) + A∩B∩C∩D
S可视为包含0个ABCD。
#include <iostream>
#define maxn 500
#define mod 1000007
#include<stdio.h>
#include<cstring>
using namespace std;
long long C[maxn][maxn];
void table()
{
memset(C,0,sizeof C);
C[0][0] = 1;
for(int i = 0 ; i < maxn;i++)
{
C[i][0] = C[i][i] = 1;
for(int j = 1;j < i;j++)
C[i][j] = (C[i - 1][j - 1]+C[i - 1][j])%mod;
}
}
int main()
{
table();
int t,n,m,k;
scanf("%d",&t);
for(int i = 1;i <= t;i++)
{
int ans = 0;
scanf("%d %d %d",&n,&m,&k);
for(int j = 0;j < 16;j++) //枚举ABCD组合的16种方式
{
int cnt = 0; //当前这种方式包含的ABCD的个数
int r = n,c = m;
if(j&1) {cnt++;r--;} //包含A, 行-1
if(j&2) {cnt++;r--;} //包含B,行-1
if(j&4) {cnt++;c--;} //包含C,列-1
if(j&8) {cnt++;c--;} //包含D,列-1
if(cnt%2) ans=(ans + mod -C[r*c][k])%mod;
else ans = (ans + C[r*c][k])%mod;
}
printf("Case %d: %d\n",i,ans);
}
return 0;
}