【专题讲解】状态压缩DP（二进制）

引言

状态压缩DP的特点一般就是考虑成，do or not do的问题。也就是二进制的问题。

状态压缩DP

例题1，蒙德里安的梦想

这个题目，我们只需要分析出，满足条件的1*2的长方形的摆放即可。特别注意！每次生成新的数组是很慢的，不如直接循环清零。

# 状态压缩DP
# dp[i][j] 表示在第i列，出现第j个状态。 1表示出现，0表示为出现。
# 状态j的定义是，（10010）这种二进制对应的十进制
# 由于每个的长度是1*2，因此只与前一个有关，当前列的最终状态是，前一列新添的并上这一列新添加的
# 注意两个不可能的最终状态，1.矛盾 2. 连续的0的个数为奇数
N = 12
M = 1<<N
dp = [[0]*M for _ in range(N)]
f = [True]*M
while 1:
    a, b = map(int, input().split())
    if a | b == 0:
        break
    n = 1<<a
    
    #f = [True]*(n) # 这种清空方法会超时
    for i in range(M):
    	f[i] =