枚举---熄灯问题c++

==核心思想==：枚举的局部性。

x--->y  如果x很大，无法枚举。name可以枚举y来代替结果。用y推导出所有结果。

第一行的状态会决定全部消去的最后一行的状态。

---------------------------------------------------------------------

有一个由按钮组成的矩阵，其中每行有6个按钮，共5行。每个按钮的位置上有一盏灯。当按下一个按钮后，该按钮以及周围位置(上边、下边、左边、右边)的灯都会改变一次。即，如果灯原来是点亮的，就会被熄灭；如果灯原来是熄灭的，则会被点亮。在矩阵角上的按钮改变3盏灯的状态；在矩阵边上的按钮改变4盏灯的状态；其他的按钮改变5盏灯的状态。

在上图中，左边矩阵中用X标记的按钮表示被按下，右边的矩阵表示灯状态的改变。对矩阵中的每盏灯设置一个初始状态。请你按按钮，直至每一盏等都熄灭。与一盏灯毗邻的多个按钮被按下时，一个操作会抵消另一次操作的结果。在下图中，第2行第3、5列的按钮都被按下，因此第2行、第4列的灯的状态就不改变。

请你写一个程序，确定需要按下哪些按钮，恰好使得所有的灯都熄灭。根据上面的规则，我们知道1）第2次按下同一个按钮时，将抵消第1次按下时所产生的结果。因此，每个按钮最多只需要按下一次；2）各个按钮被按下的顺序对最终的结果没有影响；3）对第1行中每盏点亮的灯，按下第2行对应的按钮，就可以熄灭第1行的全部灯。如此重复下去，可以熄灭第1、2、3、4行的全部灯。同样，按下第1、2、3、4、5列的按钮，可以熄灭前5列的灯。

输入

5行组成，每一行包括6个数字（0或1）。

相邻两个数字之间用单个空格隔开。

0表示灯的初始状态是熄灭的，1表示灯的初始状态是点亮的。

输出

5行组成，每一行包括6个数字（0或1）。

相邻两个数字之间用单个空格隔开。

其中的1表示需要把对应的按钮按下，0则表示不需要按对应的按钮。

in：

2
0 1 1 0 1 0
1 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

out:

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 0 
PUZZLE #2

#include<bits/stdc++.h>
using namespace std;
bitset<6> source[5],light[5],result[5],line;//6列，一共五行
//source:未改变的灯阵  result ：存放每次的改变灯阵（按钮）
//light用于每次循环（共64次）对source的操作后的矩阵。必须对source保存。否则每次循环改变source
//source就不是输入的那个灯阵了 
//枚举的局部性来优化。x->y，那枚举y太多，可以去枚举x来实现。 
void out(int p)
{
	cout<<"PUZZLE #"<<p<<endl;
	for(int i=0;i<5;i++)
	{
		for(int j=0;j<6;j++){
		cout<<result[i][j]<<" ";
	}
	cout<<endl;	
	}
}
int main()
{
//	freopen("1.in","r",stdin); 
	int o;
	scanf("%d",&o);
	int z=0;
	while(o--){
		z++;
		
		for(int i=0;i<5;i++)
			for(int j=0;j<6;j++){
				int x;
				cin>>x;
				source[i].set(j,x);//输入第i行j列位置的灯 的状态 
			} 
		//枚举第一行，然后操作。看看能不能得到一个全0的最后一行 
		
		for(int n=0;n<64;n++){
			//这次枚举对第一行的按键是n（binary）
			line = n;
			for(int i=0;i<5;i++) light[i] = source[i]; 
			//开始生成下面的矩阵
			for(int i=0;i<5;i++)
			{		
					result[i] = line;//我们要存放的是修改矩阵，而不是结果矩阵（必然全0） 
					for(int j=0;j<6;j++){
						if (line.test(j)){
							light[i].flip(j);
							if (j>0) light[i].flip(j-1);
							if (j<5)light[i].flip(j+1);						
						}
					}
				
					
					if (i<4) light[i+1]^=line;
					line = light[i];//获取i行的内容，下次到i+1行，数字就取这个，从而改成全0 
			}
			if (light[4].none()){
				out(z);
				break;
			}
			
		} 
		
		
	}
	return 0;
 } 

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 

注意：PUZZLE行结尾没有空格，数字行最后有一个空格。