291. 蒙德里安的梦想

#include

using namespace std;

typedef long long LL;

const int N=12,M=1<<N;

LL f[N][M];
int n,m;
vector<int> state[M];
bool st[M];

int main()
{
    while(cin>>n>>m,n||m)
    {
        for(int i=0;i<1<<n;i++)
        {
            int cnt=0;
            bool is_valid=true;
            for(int j=0;j<n;j++)
            {
                if(i>>j&1)
                {
                    if(cnt&1)
                    {
                        is_valid=false;
                        break;
                    }
                    cnt=0;
                }
                else
                {
                    cnt++;
                }
            }
            
            if(cnt&1)
            {
                is_valid=false;
            }
            st[i]=is_valid;
        }
        
        for(int i=0;i<1<<n;i++)
        {
            state[i].clear();
            for(int j=0;j<1<<n;j++)
            {
                if((i&j)==0&&st[i|j])
                {
                    state[i].push_back(j);
                }
            }
        }
        
        memset(f,0,sizeof f);
        f[0][0]=1;
        for(int i=1;i<=m;i++)
        {
            for(int j=0;j<1<<n;j++)
            {
                for(auto k:state[j])
                {
                    f[i][j]+=f[i-1][k];
                }
            }
        }
        
        cout<<f[m][0]<<endl;
    }
    
    return 0;
}

这题确实悟不透

1<

初始化f[0][0]=1，表示的是有一种情况

n行m列，f[m][0]表示的是前面m列已经摆好，从m列伸到m+1列的状态是0的所有方案，因为数组是从0开始计数，所以该元素表示的就是答案