acwing费解的开关

acwing费解的开关

题目

你玩过“拉灯”游戏吗？25盏灯排成一个5x5的方形。每一个灯都有一个开关，游戏者可以改变它的状态。每一步，游戏者可以改变某一个灯的状态。游戏者改变一个灯的状态会产生连锁反应：和这个灯上下左右相邻的灯也要相应地改变其状态。

我们用数字“1”表示一盏开着的灯，用数字“0”表示关着的灯。下面这种状态

10111
01101
10111
10000
11011
在改变了最左上角的灯的状态后将变成：

01111
11101
10111
10000
11011
再改变它正中间的灯后状态将变成：

01111
11001
11001
10100
11011
给定一些游戏的初始状态，编写程序判断游戏者是否可能在6步以内使所有的灯都变亮。

输入格式
第一行输入正整数n，代表数据中共有n个待解决的游戏初始状态。
以下若干行数据分为n组，每组数据有5行，每行5个字符。每组数据描述了一个游戏的初始状态。各组数据间用一个空行分隔。

输出格式
一共输出n行数据，每行有一个小于等于6的整数，它表示对于输入数据中对应的游戏状态最少需要几步才能使所有灯变亮。
对于某一个游戏初始状态，若6步以内无法使所有灯变亮，则输出“-1”。

数据范围
0<n≤500

输入样例：

3
00111
01011
10001
11010
11100

11101
11101
11110
11111
11111

01111
11111
11111
11111
11111

输出样例：

3
2
-1

难度：中等
时/空限制：1s / 256MB
总通过数：3161
总尝试数：5236
来源：《算法竞赛进阶指南》
算法标签

分析
费解开关最关键的是一个灯变了，它的上下左右四个方向都要改变，那么，我们的想法就是，固定某些灯，让另外一些灯的开关选择变为唯一（只能是按或则不按）
我们先选择一个固定的方向，假如是从上往下，当第一行的状态确定了，后几行灯的状态就唯一确定了（从上往下一次操作，当第一行的状态确定了，那么可以改变第一行状态就只有第二行的灯的状态）

小知识：
1.一行5个数，可以用递归枚举每个数，也可用二进制数来枚举每个数，2⁵是32，那么1-31代表着2⁵的每一种状态
2.判断一个数的上下左右，用偏移量来做，定义一个dx[5]={-1,0,1,0,0},dy[5]={0,1,0,-1,0}用当前状态加上偏移量得到当前数上下左右的一个坐标

最开始有点不理解，for(int op=0;op<32;op++)这一步，觉得灯的所有状态都是已知是，原状态第一行变为op的状态需要的不止要step++一步，后来才看懂，op只是列举出第一行可以修改的32方案，间接改变的是第一行的灯的状态。

#include<iostream>
#include<cstring>

using namespace std;

const int N=6;
char g[N][N],backup[N];
int dx[5]={-1,0,1,0,0},dy[5]={0,1,0,-1,0};

void turn(int x,int y)
{
    for(int i=0;i<5;i++)//依次遍历上下左右4个方向
    {
        int a=x+dx[i],b=y+dy[i];
        if(a<0||a>=5||b<0||b>=5)continue;//在边界直接忽略即可
        g[a][b]^=1;//把字符串中的1（49）变为0（48），0变为1，即48（110000）与49（110001）的二进制相互交换只需异或一个1
    }
}

int main()
{
    int T;
    cin>>T;
    while(T--)
    {
        for(int i=0;i<5;i++)
        cin>>g[i];
        
        int rest=10;
        
         for(int op=0;op<32;op++)//枚举2^5(32)种状态，依次决定第一行可能出现的状态
        {
            memcpy(backup,g,sizeof g);//要求每次枚举出的状态，都是在原始状态上面改变
            int step=0;
            for(int i=0;i<5;i++)
            if(op>>i&1)
            {
                step++;
                turn(0,i);
            }
            
            for(int i=0;i<4;i++)//从第一排起，第一排的灯是否亮直接决定后一排的开关是否按下
            for(int j=0;j<5;j++)
            if(g[i][j]=='0')//灯没有亮
            {
                step++;
                turn(i+1,j);
            }
            bool dark=false;
            
            for(int i=0;i<5;i++)//不是每一种方案都能保证灯全亮，所以最后要检验一哈最后一排的灯是否是亮着的
            if(g[4][i]=='0')
            {
                dark=true;
                break;
            }
            if(!dark)rest=min(rest,step);//恢复原状态
            memcpy(g,backup,sizeof g);
        }
        if(rest>6)rest=-1;
        
        cout<<rest<<endl;
    }
    return 0;
}