【算法】状态压缩dp

温馨提示：学习状态压缩 $dp$ 需要有一定的位运算基础和简单的 $dp$ 基础，但是只要会用就行。

第一章节 基础的状态压缩dp

先从几道例题开始讲起

luogu P4329

题意简述：

给出一个 $n\times n$ 的数字网格，让你在这 $n\times n$ 个数中选出 $n$ 个，满足他们没有任意两个选出的位置在同一行或者同一列，问这些数的乘积最大是多少？

数据范围：
$1\le n\le 20,1\le a_{i,j}\le 100$

很显然我们可以把 满足他们没有任意两个选出的位置在同一行或者同一列 理解为每一行都分别选择一个数字，并且满足他们没有数字在同一列，求满足这个条件的最大乘积。于是此时我们可以来 $dp$，状态设计：
$dp[0/1][0/1][0/1].....[0/1][0/1]$
状态里的第 $i$ 维表示在我们已经选的那些行里，第 $i$ 列有没有被选过，$0$ 表示没有，$1$ 表示选了。那么此时我们考虑转移：
对于$dp[a_1][a_2][a_3].....[a_{m-1}][a_m]$，我们考虑在这个基础上我们又选择了哪一列，假设其是第 $j$ 列，首先需要判断 $a_j$ 是否为 $0$，如果为 $1$ 因为已经被选了，就不能再选了。如果可以，那么 $dp[a_1][a_2][a_3].....[a_{m-1}][a_m]$ 显然可以转移到：
$dp[a_1][a_2][a_3]..[a_j]..[a_{m-1}][a_m](a_j=1)$
即：
$dp[a_1][a_2][a_3]..[a_j]..[a_{m-1}][a_m](a_j=1)$ = m a x ( d p [ a 1 ] [ a 2 ] [ a 3 ] . . [ a j ] . . [ a m − 1 ] [ a m ] ( a j = 1 ) , d p [ a 1 ] [ a 2 ] [ a 3 ] . . [ a j ] . . [ a m − 1 ] [ a m ] ( a j = 1 ) × v a l u e ) max(dp[a_1][a_2][a_3]..[a_j]..[a_{m-1}][a_m] (a_j = 1), dp[a_1][a_2][a_3]..[a_j]..[a_{m-1}][a_m] (a_j = 1) \times value) max(dp[a1​][a2​][a3​]..[aj​]..[am−1​][am​](a