引言
状态压缩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] = True