Open Judge 2811 熄灯问题

有一个由按钮组成的矩阵，其中每行有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列的灯。

Input
5行组成，每一行包括6个数字（0或1）。相邻两个数字之间用单个空格隔开。0表示灯的初始状态是熄灭的，1表示灯的初始状态是点亮的。

Output
5行组成，每一行包括6个数字（0或1）。相邻两个数字之间用单个空格隔开。其中的1表示需要把对应的按钮按下，0则表示不需要按对应的按钮。     

这道题有高大上的高斯消元做法，也有比较简单的状态压缩枚举法，不过我做题的本意是要练搜索，怎么能图省事呢？于是我就用dfs写了一个，WA了一上午。
dfs只需要搜索第一排，因为第一排确定后，之后的每一排为了上一排的灯全部关掉，是可以确定的。然后检测一下最后一排灯是不是全关了。
这次的dfs是卿爷教我的方法，实现了找到答案立刻退出（其实也可以搞一个全局变量flag判断是否找到答案，找到的话就不做）
dfs的回溯一定要注意！一定要想清楚要不要回溯！一般dfs都需要回溯的。
dfs的退出条件也要注意，这里不一定要搜到最后，只要jiancha（）函数通过就可以退出了。
然后题目一定要读清楚。这次就是题目看错（或者说写程序时没还注意到），在另一个地方犯了错，debug好久才发现。
总的来说，搜索需要不断的练习，理论AC是远远不够的。

#include<stdio.h>
#include<string.h>
#include<ctype.h>
#include<iostream>
#include<math.h>
#include<algorithm>
using namespace std;
int a[7][7],b[7][7],beifen[7][7];
bool iseligble(int x,int y)
{
if((x>=1)&&(x<=5)&&(y>=1)&&(y<=6))
return true;
else
return false;
}
void put(int x,int y)
{
if(iseligble(x,y))
a[x][y]=1-a[x][y];
if(iseligble(x-1,y))
a[x-1][y]=1-a[x-1][y];
if(iseligble(x+1,y))
a[x+1][y]=1-a[x+1][y];
if(iseligble(x,y-1))
a[x][y-1]=1-a[x][y-1];
if(iseligble(x,y+1))
a[x][y+1]=1-a[x][y+1];
}
bool jiancha(void)
{
int status=1;

for(int i=1;i<=5;i++)
for(int j=1;j<=6;j++)
beifen[i][j]=a[i][j];
for(int i=2;i<=5;i++)
for(int j=1;j<=6;j++)
{
if(a[i-1][j]==1)
put(i,j);
}
for(int i=1;i<=5;i++)
for(int j=1;j<=6;j++)
{
if(a[i][j]==1)
{
status=0;
//printf("a[%d][%d]=0\n",i,j);
}
//break;
}
for(int i=1;i<=5;i++)
for(int j=1;j<=6;j++)
a[i][j]=beifen[i][j];
return status;
}
bool dfs(int x)
{
if(jiancha())
return true;
if(x>=7)
return false;
{
if(dfs(x+1))
return true;
}
{
put(1,x);
b[1][x]=1;
if(dfs(x+1))
return true;
b[1][x]=0;
put(1,x);
}
return false;
//return false;
}
int main(void)
{
memset(b,0,sizeof(b));
memset(a,0,sizeof(a));
for(int i=1;i<=5;i++)
for(int j=1;j<=6;j++)
{
cin>>a[i][j];
}
bool temp=dfs(1);
/*
{
put(1,1);
put(1,3);
put(1,6);
printf("%d\n",jiancha());
}
*/
for(int i=2;i<=5;i++)
for(int j=1;j<=6;j++)
{
if(a[i-1][j]==1)
{
put(i,j);
b[i][j]=1;
}
}
for(int i=1;i<=5;i++)
{
for(int j=1;j<=6;j++)
printf("%d ",b[i][j]);
printf("\n");
}
return 0;
}