程序的设计实习(II)：算法的设计 14_枚举.pptxVIP

程序设计实习(II)：算法设计第二讲 枚举内容提要枚举的基本思想熄灯问题讨厌青蛙问题枚举一种解决问题的方法。例如：求小于N的最大素数找不到一个数学公式，使得我们根据N就可以计算出这个素数N-1是素数吗？N-2是素数吗？……N-K是素数的充分必要条件是：N-K不能被任何一个大于1、小于N-K的素数整除。判断N-K是否是素数的问题又成了求小于N-K的全部素数解决方法：2是素数，记为PRIM0根据PRIM0、PRIM1、… 、PRIMk ，寻找比PRIMk大的最小素数PRIMk+1。如果PRIMk+1大于N，则PRIMk是我们需要找的素数，否则继续寻找枚举的思想：猜测所谓枚举就是从可能的集合中一一列举各元素。根据所知道的知识，给一个猜测的答案。2是素数枚举算法就是对问题可能解集合的每一个，根据问题给定的检验条件判定哪些是成立的，使条件成立的即是问题的解。判断猜测的答案是否正确。2是小于N的最大素数吗？进行新的猜测：有两个关键因素要注意猜测的结果必须是前面的猜测中没有出现过的。每次猜测是素数一定比已经找到的素数大猜测的过程中要及早排除错误的答案。除2之外，只有奇数才可能是素数枚举过程的三个关键问题给出解空间，建立简洁的数学模型：可能的情况是什么?模型中变量数尽可能少，它们之间相互独立例：“求小于N的最大素数”中的条件是“n不能被[2,n)中任意一个素数整除”，而不是“n不能被[2,n)中任意一个整数整除”减少搜索的空间：利用知识缩小模型中各变量的取值范围，避免不必要的计算?减少代码中循环体执行次数！除2之外，只有奇数才可能是素数，{2,2*i+1|1=i, 2*i+1n}采用合适的搜索顺序：搜索空间的遍历顺序要与模型中条件表达式一致对{2,2*i+1|1=i, 2*i+1n}按照从小到大的顺序在下图中，左边矩阵中用X标记的按钮表示被按下，右边的矩阵表示灯状态的改变。与一盏灯毗邻的多个按钮被按下时，一个操作会抵消另一次操作的结果。在下图中，第2行第3、5列的按钮都被按下，因此第2行、第4列的灯的状态就不改变。对矩阵中的每盏灯设置一个初始状态。请你写一个程序，确定需要按下哪些按钮，恰好使得所有的灯都熄灭。输入： 第一行是一个正整数N，表示需要解决的案例数。每个案例由5行组成，每一行包括6个数字。这些数字以空格隔开，可以是0或1。0表示灯的初始状态是熄灭的，1表示灯的初始状态是点亮的。输出： 对每个案例，首先输出一行，输出字符串“PUZZLE #m”，其中m是该案例的序号。 接着按照该案例的输入格式输出5行，其中的1表示需要把对应的按钮按下，0则表示不需要按对应的按钮。每个数字以一个空格隔开。样例输入2 0 1 1 0 1 01 0 0 1 1 1 0 0 1 0 0 1 1 0 0 1 0 1 0 1 1 1 0 0 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 1 0 1 1 0 0 0 1 0 1 0 0 样例输出PUZZLE #1 1 0 1 0 0 1 1 1 0 1 0 1 0 0 1 0 1 1 1 0 0 1 0 0 0 1 0 0 0 0PUZZLE #2 1 0 0 1 1 1 1 1 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 1 1 0 1 1 0 1 解题思路（1）第2次按下同一个按钮时，将抵消第1次按下时所产生的结果。因此，每个按钮最多只需要按下一次。各个按钮被按下的顺序对最终的结果没有影响。对第1行中每盏点亮的灯，按下第2行对应的按钮，就可以熄灭第1行的全部灯。如此重复下去，可以熄灭第1、2、3、4行的全部灯。解题思路（2）第一想法：枚举所有可能的按钮（开关）状态，对每个状态计算一下最后灯的情况，看是否都熄灭。每个按钮有两种状态(按下或不按下），一共有30个开关，那么状态数是230，太多，会超时。如何减少枚举的状态数目呢？一个基本思路是，如果存在某个局部，一旦这个局部的状态被确定，那么剩余其他部分的状态只能是确定的一种，或者不多的n种，那么就只需枚举这个局部的状态就行了。解题思路（3）本题是否存在这样的“局部”呢？经过观察，发现第1行就是这样的一个“局部”。因为第1行的各开关状态确定的情况下，这些开关作用过后，将导致第1行某些灯是亮的，某些灯是灭的。此时要熄灭第1行某个亮着的灯（假设位于第i列），那么唯一的办法就是按下第2行第i列的开关（因为第一行的开关已经用过了，而第3行及其后的开关不会影响到第1行)。因此，为了使第1行的灯全部熄灭,第2行的合理开关状态就是唯一的。解题思路（4）第2行的开关起作用后，为了熄灭第二行的灯，第3行的合理开关状态就也是唯一的，以此类推，最后一行的开关状态也是唯一的。总之，只要第1行的状态定下来，比如叫A，那么剩余行的情况就是确定唯一的了。推