题308.状压dp-acwing-Q327--玉米田

---

题308.状压dp-acwing-Q327–玉米田

---

一、题目

二、题解

本题类似小国王这题，但是它没有限制玉米摆放的个数，因此dp数组可以少开一个表示摆放个数的维度，以及只限制了种下的玉米的地上下左右四个方向不能种玉米，所以只需特判a&b是否为0以及状态是否满足相邻位不能同时为1。但是由于预先说明了某些地没法种植，所以要想办法在后期判掉那个种在了不育地的状态，处理方式就是输入的时候求个2的幂次方和，这样那个结果就可以表示哪些地是不育，哪些地是可育了，只需要用状态与上那个结果看是否为1即可。代码如下：

#include <bits/stdc++.h>

using namespace std;

const int mod=1e8;
const int maxn=14,maxm=1<<12;

int M,N;
int G[maxn];
vector<int> state;
vector<int> head[maxm];
int dp[maxn][maxm];//dp[i][a]表示种到了第i行，且第i行状态为a下标对应的合法状态的方案总数

int check(int state)
{
    for(int i=0;i<N-1;i++)//最多移动N-1位
    {
        if((state>>i&1)&&(state>>i+1&1))//相邻位不能同时为1
        {
            return 0;
        }
    }
    return 1;
}

int main()
{
    cin>>M>>N;
    for(int i=1;i<=M;i++)
    {
        for(int j=0;j<N;j++)
        {
            int t;
            cin>>t;
            G[i]+=!t<<j;//直接2^j求和（t得等于0），最后G[i]结果化为二进制后第j位一定是1
        }
    }
    //1.预处理
    //存入合法状态
    for(int i=0;i<1<<N;i++)
    {
        if(check(i))//如果状态合法
        {
            state.push_back(i);
        }
    }
    //存入可达状态
    for(int i=0;i<state.size();i++)
    {
        for(int j=0;j<state.size();j++)
        {
            int a=state[i],b=state[j];
            if((a&b)==0)//判断b是否能到a，a，b同一位数不能同时为1
            {
                head[i].push_back(j);
            }
        }
    }
    //2.dp
    dp[0][0]=1;
    for(int i=1;i<=M+1;i++)//i遍历行数
    {
        for(int a=0;a<state.size();a++)//a遍历第i行状态
        {
            if(G[i]&state[a]) continue;//如果G[i]二进制数有一位是1（不育），且state[a]那一位也是1，则该状态有玉米种到了不育的地上，则continue掉
            for(int b:head[a])//b遍历第i-1行状态
            {
                dp[i][a]=(dp[i][a]+dp[i-1][b])%mod;
            }
        }
    }
    cout<<dp[M+1][0];
}

---