【Openjudge， NOI， 枚举】1813熄灯问题

已知灯的情况。

枚举第一行开关的情况。

我们知道这么一种现象：上一行的灯可以由下一行的开关控制达到完全关闭的状态。

更进一步的我们确定这么一种现象：如果知道（1）第n行灯的情况，（2）第n-1行开关的状态，（3）第n行开关的状态。那么，如果想要让第n行的灯全部关闭，第n+1行的开关的状态是确定的。特殊的，第一行只需要知道本行的灯的情况和本行开关的状态。

所以，只需要枚举第一行开关的情况，然后更新灯的状态，之后，通过第一行灯的状态，更新第二行的开关，直到更新到最后一行的开关，此时，如果最后一行的灯也全部是灭掉的状态，即是我们所求的开关的情况。

代码中，用一个整数的低6位表示一行灯或者一行开关。

#include<iostream>
#include<cmath>
#include<cstring>
using namespace std;

void set(int &l, int &s){
s = l;
}
void change(int &l, int &s, int pos){
// pos:0，灯和开关不在同一行；1：灯和开关在同一行;
if (pos == 0){
l = l ^ s;
}
if (pos == 1){
int left, right, mid;
left = s << 1;
right = s >> 1;
mid = s;
mid = (left ^ right ^ mid) & 63;
l = mid ^ l;
}
}
void show(int *t){
int i,j;
for (i = 0; i < 5; i ++){
for (j = 0; j < 6; j ++){
cout << ( (t[i] >> j)& 1) << ' ';
}
cout << endl;
}
}

int main()
{
int lt[5] = {};
int sw[5] = {};
int i, j;
int t;
for (i = 0 ; i < 5; i ++){
for (j = 0; j < 6; j ++){
scanf("%d", &t);
lt[i] += t << j;
}
}
//枚举第一行开关的状态
for (sw[0] = 0; sw[0] < 64; sw[0] ++){
int tsw[5] = {};
memcpy(tsw, sw, sizeof(sw));
int tlt[5] = {};
memcpy(tlt, lt, sizeof(lt));

change(tlt[0], tsw[0], 1);
change(tlt[1], tsw[0], 0);

//根据第一行开关设定每一行开关
for (i = 1; i < 5; i ++){
set(tlt[i - 1], tsw[i]);
change(tlt[i - 1], tsw[i], 0);
change(tlt[i], tsw[i], 1);
if (i != 4)
change(tlt[i + 1], tsw[i], 0);
}
if (tlt[4] == 0){
show(tsw);
break;
}
}
return 0;
}