【noip模拟】局部最小值

TimeLimit: 1000ms               MemoryLimit: 256MB

Description

有一个n行m列的整数矩阵，其中1到n×m之间的每个整数恰好出现一次。如果一个格子比所有相邻格子（相邻是指有公共边或公共顶点）都小，我们说这个格子是局部极小值。

给出所有局部极小值的位置，你的任务是判断有多少个可能的矩阵。

Input

输入第一行包含两个整数n和m（1<=n<=4, 1<=m<=7），即行数和列数。以下n行每行m个字符，其中“X”表示局部极小值，“.”表示非局部极小值。

Output

输出仅一行，为可能的矩阵总数除以998244353的余数。

Sample Input

【样例输入1】
2 4
.X..
...X
【样例输入2】
4 2
X.
..
..
X.
【样例输入3】
1 2
XX

Sample Output

【样例输出1】
2100
【样例输出2】
2520
【样例输出3】
0

HINT

对于10%的数据，$n≤3,m≤3$

对于20%的数据，$n≤3,m≤4$

对于45%的数据，$n≤4,m≤4$

对于60%的数据，$n≤4,m≤5$

对于80%的数据，$n≤4,m≤6$

对于100%的数据，$n≤4,m≤7$

[吐槽]

　　这题的话。。在模拟题里面出现了。。两遍啊哈哈。。

　　第一次做的时候啃得挺。。辛苦。。不过不得不说这个状压还是很好玩的

[题解]

　　首先看看这个局部最小值有什么可以利用的地方。。

　　画一下图就会发现好像最多只有8个

　　这个数字很小所以就可以。。。

　　考虑状压

　　考虑用$f_{i,j}$表示填完了$1$到$i$这$i$个数，局部最小值的填充情况为$j$的方案数

　　用$cnt_i$表示局部最小值的填充情况为$i$时，还有多少个位置是可以填数的

　　那么就可以得到：

　　$f_{i,j} = f_{i-1,j}*(cnt_j - (i -1)) + \sum\limits_{k\in j} f_{i-j,k}$

　　为啥是$cnt_j - (i - 1) $呢

　　因为本来有$cnt_j$个位置可以填，但是现在已经有$i - 1$个位置已经确定下来了，并不能填所以要减掉

　　考虑cnt怎么算

　　首先我们枚举一下状态$ i (0 <= i <= (1<<tot) -1 )$ （tot为X的个数）

　　因为现在已经填充的局部最小值有哪些是确定了的，那就意味着状态中非填充的局部最小值是不能填的

　　然后因为我们接下来填的数是剩下的数中最小的，所以这个数肯定不能填在局部最小值的相邻位置

　　那么就很显然是枚举一下$i$中没有填充的局部最小值，然后把这些地方减掉就好啦

　　然后就是$k$怎么枚举

　　我们可以每次取lowbit，统计完之后就把最后一位去掉（实现起来就是$k$ & $(k - 1) $）就ok了

　　最后还有一个小小的问题

　　题目要求只能有这些标为X的地方是局部最小值，其他的地方不能是

　　而我们的这种奇妙填数方法可能会导致有别的格子不小心变成了局部最小值了，这是不合法的

　　所以就应该要把这些方案减掉

　　具体实现其实很简单粗暴，直接枚举有哪些位置可能变成局部最小值

　　用同样的方法求出方案数，然后减掉就好（其实就是一个dfs巨无敌粗暴）

　　

　　然后就很愉快滴搞完啦ovo

 #include<iostream>
 #include<cstdio>
 #include<cstring>
 #define MOD 998244353
 #define ll long long
 using namespace std;
 const int dx[]={,-,,,,-,-,,};
 const int dy[]={,,,,-,-,,-,};
 struct xxx
 {
     int x,y;
 }X[];
 char a[][];
 ll b[][],cnt[<<],f[][<<];
 int n,m,tot;
 ll ans;
 int dfs(int x,int y,int op);
 ll calc();
 bool ok(int x,int y);
 bool check();

 int main()
 {
     scanf("%d%d\n",&n,&m);
     for (int i=;i<=n;++i)
     {
         for (int j=;j<=m;++j)
             scanf("%c",&a[i][j]);
         scanf("\n");
     }
     if (!check()) {printf("0\n");return ;}
     ans=;
     dfs(,,);
     printf("%lld\n",ans);
 }

 int dfs(int x,int y,int op)
 {
     int mark=op?-:;
     if (x==n+)
     {ans=(ans+MOD+mark*calc())%MOD;return ;}
     if (a[x][y]=='.')
     {
         a[x][y]='X';
         if (check())
         {
             if (y==m) dfs(x+,,op^);
             else dfs(x,y+,op^);
         }
         a[x][y]='.';
     }
     if (y==m) dfs(x+,,op);
     else dfs(x,y+,op);
 }

 ll calc()
 {
     tot=;
     for (int i=;i<=n;++i)
         for (int j=;j<=m;++j)
             if (a[i][j]=='X')
                 X[++tot].x=i,X[tot].y=j;
     int x,y;
     memset(cnt,,sizeof(cnt));
     for (int i=;i<<<tot;++i)
     {
         for (int j=;j<=n;++j)
             for (int k=;k<=m;++k)
                 b[j][k]=;
         for (int j=;j<tot;++j)
         {
             if (<<j&i) continue;
             x=X[j+].x,y=X[j+].y;
             b[x][y]=;
             for (int k=;k<=;++k)
                 if (ok(x+dx[k],y+dy[k]))
                     b[x+dx[k]][y+dy[k]]=;
         }
         for (int j=;j<=n;++j)
             for (int k=;k<=m;++k)
                 cnt[i]=(cnt[i]+b[j][k])%MOD;
     }
     //for (int i=0;i<1<<tot;++i) printf("%d ",cnt[i]);
     //printf("\n");
     for (int i=;i<=n*m;++i)
         for (int j=;j<<<tot;++j)
             f[i][j]=;
     f[][]=;
     for (int i=;i<=n*m;++i)
     {
         for (int j=;j<<<tot;++j)
         {
             f[i][j]=((ll)f[i-][j]*((cnt[j]-(i-))%MOD))%MOD;
             for (int k=j;k;k&=(k-))
             {
                 x=k&(-k);
                 f[i][j]=((ll)f[i][j]+f[i-][j-x])%MOD;
             }
         }
     }
     return f[n*m][(<<tot)-];
 }

 bool ok(int x,int y)
 {
     if (x<||y<||x>n||y>m) return false;
     return true;
 }

 bool check()
 {
     int x,y;
     for (int i=;i<=n;++i)
         for (int j=;j<=m;++j)
         {
             if (a[i][j]!='X') continue;
             for (int k=;k<=;++k)
             {
                 x=i+dx[k];
                 y=j+dy[k];
                 if (ok(x,y)&&a[x][y]=='X') return false;
             }
         }
     return true;
 }

挫挫滴代码