酱和策策的游戏again

酱和策策的游戏again(状态压缩DP)

这题是 蒙德里安的梦想
的进阶版
就是多加了一个指定位置不能放置方块

正片

借用蒙德里安的梦想那题的思路
我们用只考虑放横着的块，如果横着的块放好了，那么竖着的块也就确定了
因此，我们考虑每一列的状态，恰好这时候看到了矩阵的行列最多才11
必然是状态压缩的题
So我们用1代表这一列的某个行位置放置了方块
先不考虑不能防止方块的问题
这时候我们假定前一个状态，也就是前一列已经放好了，那么对于前一个列的一个状态K，对于现在这一列的状态J
①若K&J == 0那么说明前一列K状态放的方块和现在J状态放的方块没有冲突的
因为是1*2的方块，前一列的一行如果是1的话后一列的一行不就不能是1了
②如果K|J不存在奇数个先序的0，那么是可行的
为什么是奇数个呢，因为我们现在只考虑了放置横着的方块，那么后边填充的就是竖着的，竖着的每次占用两个格子，奇数个格子不符合条件~

---

前面是关于所有地方都可以放置格子的思路，现在有些地方不能放格子
因此每一列的状态合不合格都不一样，需要用一个二维数组vis[列][状态]来判断此时是否符合要求
我们还是只用考虑一列中的数据
如果当前位置无法放置放块，那么我们用一个变量Now来记录这个地方是1
①如果当前列状态J&Now != 0的，那么代表在不能放置的位置放了方块
vis[i][j] = false
②对于当前状态J，我们可以得到现在真实的状态X = J|Now，如果当前X不存在奇数个连续的0，那么状态J是可行的，否则不可行

#include <iostream>
#include <cstring>
using namespace std;
const int MAXN = 12;
typedef long long ll;
ll dp[MAXN][1<<MAXN];
bool vis[MAXN][1<<MAXN];
bool ok[MAXN][MAXN];
int main()
{
	int n,m,k;
	while(~scanf("%d %d %d",&n,&m,&k) && n + m != 0)
	{
        memset(ok,0,sizeof ok);
		while(k--)
		{
			int x,y;
			scanf("%d %d",&x,&y);
			ok[x][y] = 1;
		}
		for(int i=1;i <= m;i++)
		{
			ll now = 0;
			for(ll j=1;j <= n;j++)
			if(ok[j][i])
			now += (1<<(j-1));
			
			for(ll j=0;j < (1<<n);j++)
			{
				vis[i][j] = true;
				if(now&j)
                {
                    vis[i][j] = false;
                    continue;
                }
				ll x = (now|j);
				ll cnt = 0;
				for(int k=0;k < n;k++)
				{
					if((1<<k)&x)
					{
						if(cnt&1)
						{
							vis[i][j] = false;
							break;
						}
					}
					else
					cnt += 1;
				}
				
				if(cnt&1)	vis[i][j] = false;
			}
		}
		memset(dp,0,sizeof dp);
		dp[0][0] = 1;
		for(int i=1;i <= m;i++)
		{
			for(int j=0;j < (1<<n);j++)
			for(int k=0;k < (1<<n);k++)
			{
				if(vis[i][j|k] && (j&k) == 0)
				dp[i][j] += dp[i-1][k];
			}
		}
		cout<<dp[m][0]<<endl;
	}
}

欢迎小伙伴在评论区留言，若有错误，请大佬指正QAQ。
喜欢就点个赞吧~