状态压缩.pptVIP

状态压缩 状态压缩——预备知识 状态压缩——预备知识 位运算的特殊应用 and： 用以取出一个数的某些二进制位 取出一个数二进制中的最后一个1(lowbit)： x-x 或　x(~x+1) or ：将一个数的某些位设为1 not：间接构造一些数：~0u=4294967295=232-1 xor： 通常用于对二进制的特定一位进行取反操作，因为异或可以这样定义：0和1异或0都不变，异或1则取反。 状态压缩——引例 在n*n(n≤20)的方格棋盘上放置n个车(可以攻击所在行、列)，求使它们不能互相攻击的方案总数。 状态压缩——引例 这个题目之所以是作为引例而不是例题，是因为它实在是个非常简单的组合学问题 我们一行一行放置，则第一行有n种选择，第二行n-1，……，最后一行只有1种选择，根据乘法原理，答案就是n! 这里既然以它作为状态压缩的引例，当然不会是为了介绍组合数学。我们下面来看另外一种解法：状态压缩递推(States Compressing Recursion,SCR) 状态压缩——引例解法 我们仍然一行一行放置。 取棋子的放置情况作为状态，某一列如果已经放置棋子则为1，否则为0。这样，一个状态就可以用一个最多20位的二进制数表示。 例如n=5,第1、3、4列已经放置，则这个状态可以表示为01101(从右到左)。设fs为达到状态s的方案数，则可以尝试建立f的递推关系。 状态压缩——引例解法 考虑n=5,s=01101 因为我们是一行一行放置的，所以当达到s时已经放到了第三行。又因为一行能且仅能放置一个车，所以我们知道状态s一定来自： 状态压缩——引例解法 ①前两行在第3、4列放置了棋子(不考虑顺序，下同)，第三行在第1列放置； ②前两行在第1、4列放置了棋子，第三行在第3列放置； ③前两行在第1、3列放置了棋子，第三行在第4列放置。 状态压缩——引例解法 这三种情况互不相交，且只可能有这三种情况，根据加法原理，fs应该等于这三种情况的和。写成递推式就是： 状态压缩——引例解法 根据上面的讨论思路推广之，得到引例的解决办法： 状态压缩——引例的实现 状态压缩——对引例的思考 反思这个算法，其正确性毋庸置疑(可以和n!对比验证) 但是算法的时间复杂度为O(n2n)，空间复杂度O(2n)，是个指数级的算法，比循环计算n!差了好多，它有什么优势？ 状态压缩——例1 在n*n(n≤20)的方格棋盘上放置n个车，某些格子不能放，求使它们不能互相攻击的方案总数。 30s思考时间 状态压缩——例1分析 引例的算法是在枚举当前行(即s中1的个数，设为r)的放置位置(即枚举每个1) 而对于例1，第r行可能存在无法放置的格子，怎么解决？ 状态压缩——例1解法 事实上，我们并不需要对引例的算法进行太大的改变，只要在枚举s中的1的时候判断一下是否是不允许放置的格子即可 然而对于n=20，O(n2n)的复杂度已经不允许我们再进行多余的判断。所以实现这个算法时应该应用一些技巧。 我们用ar表示第r行不允许放置的情况，如果第r行某一位不允许放置则ar此位为0，否则为1，这可以在读入数据阶段完成 状态压缩——例1解法 然后对于需要处理的状态s，用ts=sar来代替s进行枚举，即不枚举s中的1转而枚举ts中的1。 因为ts保证了不允许放置的位为0，这样就可以不用其它的判断来实现算法 代码中只增加了计算a数组和r的部分，而时间复杂度没有变化。 状态压缩——对例1的思考 我们直接套用引例的算法就使得看上去更难的例1得到了解决。 如果再对例1进行推广，要在m*n的棋盘上放置k个车.SCR算法只要进行很少的改变就可以解决问题。这也体现出了引例中给出的算法的扩展潜力。 状态压缩——例2 有一个n*m的棋盘(n、m≤80,n*m≤80)要在棋盘上放p(p≤20)个棋子，使得任意两个棋子不相邻。求合法的方案总数 状态压缩——例2分析 观察题目给出的规模，n、m≤80，这个规模要想用SC是困难的，280无论在时间还是空间上都无法承受 然而我们还看到n*m≤80 稍微思考我们可以发现：9*9=8180，即如果n,m都大于等于9，将不再满足n*m≤80这一条件。所以，我们有n或m小于等于8，而28是可以承受的！ 状态压缩——例2分析 我们假设m≤n，n是行数m是列数，则每行的状态可以用m位的二进制数表示 但是本题和例1又有不同：例1每行每列都只能放置一个棋子，而本题却只限制每行每列的棋子不相邻 上例中枚举当前行的放置方案的做法依然可行。我们用数组s保存一行中所有的num个放置方案，则s数组可以在预处理过程中用DFS求出，同时用ci保存第i个状态中1的个数以避免重复计算 状态压缩——例2分析 开始设计状态。本题状态的维数需要增