状精典课件态压缩.pptVIP

状态压缩 状态压缩 信息学发展势头迅猛，信息学奥赛的题目来源遍及各行各业，经常有一些在实际应用中很有价值的问题被引入信息学并得到有效解决。 然而有一些问题却被认为很可能不存在有效的(多项式级的)算法，这里以对几个例题的剖析，简述状态压缩思想及其应用。 状态压缩——预备知识 状态压缩——预备知识 位运算的特殊应用 and： 用以取出一个数的某些二进制位 取出一个数二进制中的最后一个1(lowbit)：x-x or ：将一个数的某些位设为1 not：间接构造一些数：~0u=4294967295=232-1 xor： 不使用中间变量交换两个数： a=a^b; b=b^a; a=a^b; 将一个数的某些位取反 状态压缩——引例 在n*n(n≤20)的方格棋盘上放置n个车(可以攻击所在行、列)，求使它们不能互相攻击的方案总数。 10秒时间思考 状态压缩——引例 这个题目之所以是作为引例而不是例题，是因为它实在是个非常简单的组合学问题 我们一行一行放置，则第一行有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!差了好多，它有什么优势？ （还有一个很…的用处，即对新手说：“来看看我这个计算n!的程序，连这都看不懂就别OI了~”） 状态压缩——例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得到了解决。 虽然这题用容斥原理更快，但容斥原理在这题上只有当棋盘为正方形、放入的棋子个数为n、且棋盘上禁止放置的格子较少时才有较简单的形式和较快的速度。 如果再对例1进行推广，要在m*n的棋盘上放置k个车，那么容斥原理是无能为力的，而SCR算法只要进行很少的改变就可以解决问题。这也体现出了引例中给出的算法的扩展潜力。 状态压缩——例2 有一个n*m的棋盘(n、m≤80,n*m≤80)要在棋盘上放k(k≤20)个棋子，使得任意两个棋子不相邻。求合法的方案总数 5min思考、讨论、提问时间 状态压缩——例2分析 观察题目给出的规模，n、m≤80，这个规模要想