uva 11806 容斥原理+dfs

时间:2024-01-05 14:53:38

In most professional sporting events, cheerleaders play a major role in entertaining the spectators. Their roles are substantial during breaks and prior to start of play. The world cup soccer is no exception. Usually the cheerleaders form a group and perform at the centre of the field. In addition to this group, some of them are placed outside the side line so they are closer to the spectators. The organizers would like to ensure that at least one cheerleader is located on each of the four sides. For this problem, we will model the playing ground as an M*N rectangular grid. The constraints for placing cheerleaders are described below:

  • There should be at least one cheerleader on each of the four sides. Note that, placing a cheerleader on a corner cell would cover two sides simultaneously.
  • There can be at most one cheerleader in a cell.
  • All the cheerleaders available must be assigned to a cell. That is, none of them can be left out.

The organizers would like to know, how many ways they can place the cheerleaders while maintaining the above constraints. Two placements are different, if there is at least one cell which contains a cheerleader in one of the placement but not in the other.

 

Input

 

The first line of input contains a positive integer T<=50, which denotes the number of test cases. T lines then follow each describing one test case. Each case consists of three nonnegative integers, 2<=M, N<=20 and K<=500. Here M is the number of rows and N is the number of columns in the grid. K denotes the number of cheerleaders that must be assigned to the cells in the grid.

 

 

Output

For each case of input, there will be one line of output. It will first contain the case number followed by the number of ways to place the cheerleaders as described earlier. Look at the sample output for exact formatting. Note that, the numbers can be arbitrarily large. Therefore you must output the answers modulo 1000007.

Sample Input

2

2 3 1

2 3 2

Sample Output

Case 1: 0

Case 2: 2

题目大意:在一个n*m的网格放k个想同的石子,每个格子最多放一块,都要放玩,求第一行、最后一行、第一列、最后一列、都得有石子的种数

直接求太麻烦了,运用容斥原理设集合S、A(第一行没有石子)、B(第一列没有石子)、C(最后一行没有石子)、D(最后一列没有石子)

设题目要求的结合为E(第一行、最后一行、第一列、最后一列、都得有石子)

设A'为A的补集,设A&B为A跟B的交集(数学符号懒得找,就用这种表示了)

那么根据容斥原理

E=A'&B'&C'&D'=S-(A+B+C+D)+(A&B+A&C+A&D+B&C+B&D+C&D)-(A&B&C+A&B&D+A&C&D+B&C&D)+A&B&C&D

用dfs做容斥原理

AC代码:

#include<iostream>
#include<cstring>
#include<cstdio>
using namespace std;
#define Max 550
#define MOD 1000007
int c[Max][Max];
int map[]={,,,,};
int vis[];
int n,m,k,num,temp; void Init()
{
memset(c,,sizeof(c));
int i,j;
for(i=;i<Max;i++)
{
for(j=;j<=i;j++)
{
if(j==)
c[i][j]=;
else
c[i][j]=(c[i-][j]+c[i-][j-])%MOD;
}
}
} void dfs(int now,int top,int start,int s)
{
int a,b;
a=n;
b=m;
if(now==top)
{
while(s%)
{
if((s%)%)
a--;
else
b--;
s/=;
}
num=(num+MOD+temp*c[a*b][k])%MOD;
return ;
}
for(int j=start;j<=;j++)
{
if(!vis[j])
{
vis[j]=true;
int s1=s*+j;
dfs(now+,top,j+,s1);
vis[j]=false;
}
}
return ;
}
int main()
{
Init();
int t,sum,i,Case;
cin>>t;
Case=;
while(t--)
{
Case++;
cin>>n>>m>>k;
sum=c[n*m][k];
memset(vis,false,sizeof(vis));
for(i=;i<=;i++)
{
num=;
temp=(i%?-:);
dfs(,i,,);
sum=(sum+MOD+num)%MOD;
}
printf("Case %d: %d\n",Case,sum);
}
return ;
}