费解的开关

你玩过“拉灯”游戏吗？

25 盏灯排成一个 5×5 的方形。

每一个灯都有一个开关，游戏者可以改变它的状态。

每一步，游戏者可以改变某一个灯的状态。

游戏者改变一个灯的状态会产生连锁反应：和这个灯上下左右相邻的灯也要相应地改变其状态。

我们用数字 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
总通过数：6622
总尝试数：10886
来源：《算法竞赛进阶指南》
算法标签

大致解题思路：这道题目首先看一眼，我们就可以知道必然与位运算有着密切的关系，因为出现了0和1，这是一个重要的发现，接着我们在仔细分析题意，我们知道如果纯暴力枚举的话，必然是会超时的，那么如何优化呢？因此我们需要从题目中找出非常有用的性质来优化，这是一个大致的思路方向

0.每一个位置顶多只会操作一次。因为如果操作两次的话，相当于不操作，必然是不满足最优解。
1.在一套方案中，操作的顺序无关紧要，这一个略加思索便可得知
2.最重要的性质，如果我们确定了第I行的操作方案的话，那么后面的行数都可以依此递推，下面给出一个详细的解答。

#include <cstdio>
#include <cstring>
#include <iostream>
#include <algorithm>

using namespace std;

const int N = 6;

char g[N][N], backup[N][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 ++ )
    {
        int a = x + dx[i], b = y + dy[i];
        if (a < 0 || a >= 5 || b < 0 || b >= 5) continue;   // 在边界外，直接忽略即可
        g[a][b] ^= 1;
    }
}

int main()
{
    int T;
    cin >> T;
    while (T -- )
    {
        for (int i = 0; i < 5; i ++ ) cin >> g[i];

        int res = 10;
        for (int op = 0; op < 32; op ++ )
        {
            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);//如果我们turn第i行或者i-1行的会破坏原先的状态
                    }

            bool dark = false;
            for (int i = 0; i < 5; i ++ )
                if (g[4][i] == '0')
                {
                    dark = true;
                    break;
                }

            if (!dark) res = min(res, step);
            memcpy(g, backup, sizeof g);
        }

        if (res > 6) res = -1;

        cout << res << endl;
    }

    return 0;
}

作者：yxc
链接：https://www.acwing.com/activity/content/code/content/159561/
来源：AcWing
著作权归作者所有。商业转载请联系作者获得授权，非商业转载请注明出处。
二刷
//这道题的思路大概就是第x+1行灯的开灭情况只能由x行来控制，要枚举第一行所有开关的状态，是因为要找到最小步数，为什么只枚举第一行状态就可以了呢？是因为第一行状态一旦定下来，下面几行也就定下来了，这样的话到了第五行检查是否全开即可，
//枚举第一行状态的意思是动或者不动开关，不要理解错了
//枚举第一行的意思并不是说如果是第一行的灯是暗的就暗亮，而是说枚举第一行所有的按法，无论是暗或者是亮
//通通按一遍，这样才可以得到最小步数
//其实我觉得还是有点贪心的思想
#include<bits/stdc++.h>
using namespace std;
const int N=520;
char s[N][N],ss[N][N];
int n,ans;
int dx[5]={-1,1,0,0,0},dy[5]={0,0,0,-1,1};
void turn(int x,int y){
    for(int i=0;i<5;i++){
        int xx=x+dx[i],yy=y+dy[i];
        if(xx>=0&&xx<5&&yy>=0&&yy<5){
            if(s[xx][yy]=='1'){
                s[xx][yy]='0';
            }
            else {
                s[xx][yy]='1';
            }
        }
    }
}
int main(){
    cin >> n;
    while(n--){
        for(int i=0;i<5;i++) cin >> s[i];
        ans=100000;
        for(int op=0;op<32;op++){
            memcpy(ss,s,sizeof s);
            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(s[i][j]=='0'){
                        step++;
                        turn(i+1,j);
                    }
                }
            }
            bool flag=false;
            for(int i=0;i<5;i++){
                if(s[4][i]=='0'){
                    flag=true;
                    break;
                }
            }
            if(!flag){
                ans=min(ans,step);
            }
            memcpy(s,ss,sizeof ss);
        }
        if(ans<=6){
            cout << ans ;
        }
        else {
            cout << -1;
        }
        cout << endl;
    }
    return 0;
}

优质题解