Description
有一个n行m列的整数矩阵,其中1到nm之间的每个整数恰好出现一次。如果一个格子比所有相邻格子(相邻是指有公共边或公共顶点)都小,我们说这个格子是局部极小值。
给出所有局部极小值的位置,你的任务是判断有多少个可能的矩阵。
Input
输入第一行包含两个整数n和m(1<=n<=4, 1<=m<=7),即行数和列数。以下n行每行m个字符,其中“X”表示局部极小值,“.”表示非局部极小值。
Output
输出仅一行,为可能的矩阵总数除以12345678的余数。
Sample Input
3 2
X.
..
.X
X.
..
.X
Sample Output
60
题解:
考虑将1-n*m依次往矩阵里填。
因为局部极小值的数量不会超过8,所以我们可以将每个局部极小值是否填写压成一维状态。
设f[i][j]表示填到第i个数,局部极小值的填写状态为j的方案数。
转移时预处理数组p[j]表示当局部极小值的填写状态为j时有哪些位置可以填数。
枚举当前数是否填在局部极小值的位置上。
f[i][j]=f[i-1][j]*(p[j]-i+1)+f[i-1][k]
但是这样会把一些不是局部极小值的位置当成局部极小值。
所以我们容斥一下即可。
代码:
#include<iostream>
#include<cstdio>
#include<cstring>
#define P 12345678
using namespace std;
int dx[9]={1,0,-1,0,1,-1,1,-1,0},dy[9]={0,1,0,-1,1,-1,-1,1,0};
int n,m,ans,i,l,f[30][1<<8],p[1<<8],vis[8][8],a[10][2];
char ch[8][8];
int dp(){
memset(f,0,sizeof(f));
memset(p,0,sizeof(p));
int top(0);
for(int i=1;i<=n;i++)
for (int j=1;j<=m;j++)
if (ch[i][j]=='X')
a[++top][0]=i,a[top][1]=j;
for (int k=0;k<(1<<top);k++){
memset(vis,0,sizeof(vis));
for (int i=1;i<=top;i++)
if (~k&(1<<i-1)) vis[a[i][0]][a[i][1]]=1;
for(int i=1;i<=n;i++)
for(int j=1;j<=m;j++){
for (l=0;l<9;l++)
if (vis[i+dx[l]][j+dy[l]]) break;
if (l==9) p[k]++;
}
}
f[0][0]=1;
for (int i=1;i<=n*m;i++)
for (int j=0;j<(1<<top);j++){
(f[i][j]+=(long long)f[i-1][j]*max(p[j]-i+1,0))%=P;
for (int k=1;k<=top;k++)
if(j&(1<<k-1)) (f[i][j]+=f[i-1][j^(1<<k-1)])%=P;
}
return f[n*m][(1<<top)-1];
}
void dfs(int x,int y,int t){
if(y==m+1){dfs(x+1,1,t);return;}
if(x==n+1){(ans+=dp()*(t&1?-1:1))%=P;return;}
dfs(x,y+1,t);
for (i=0;i<9;i++)
if (ch[x+dx[i]][y+dy[i]]=='X') break;
if (i==9){ch[x][y]='X';dfs(x,y+1,t+1);ch[x][y]='.';}
}
int main(){
scanf("%d%d",&n,&m);
for (int i=1;i<=n;i++) scanf("%s",ch[i]+1);
for (int i=1;i<=n;i++)
for (int j=1;j<=m;j++)
if (ch[i][j]=='X')
for (int k=0;k<8;k++)
if (ch[i+dx[k]][j+dy[k]]=='X')
return printf("0"),0;
dfs(1,1,0);
cout<<(ans+P)%P<<endl;
}