费解的开关（递推）

题目链接：https://www.acwing.com/problem/content/97/

题意：

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

 

思路：

分析发现两个性质：

        1.每一个位置最多改变一次状态。因为如果操作两次的话，相当于不操作，必然是不满足最优解。

        2.在一套方案中，操作的顺序无关紧要。

so，如果我们确定了第1行的操作方案，后面的行数都可以依此递推。

 

具体方法如下：

枚举第1行的2^5种状态，

通过对第i+1行（的每一位）进行操作，来使第i行的灯全亮，这样使前4行的灯全亮，（每一行开关的操作 被 前一行灯的亮灭状态 所唯一确定）

最后判断第5行的灯是否全亮且操作步骤在6步以内。

 

总结一下：

第1行灯的状态（32种）决定了第1行的操作，

第1行灯的状态决定了第2行的操作（操作第2行使第1行全亮），第2行的状态决定了第3行的操作，第3行的状态决定了第4行的操作，

最后判断第5行是不是全亮。

 

代码：

#include<bits/stdc++.h>
using namespace std;
const int N=6;
char g[N][N],backup[N][N];
int dx[]={-1,1,0,0,0},dy[]={0,0,-1,1,0};
void turn(int x,int y){
    for(int i=0;i<5;++i){
        int nx=x+dx[i],ny=y+dy[i];
        if(nx>=0&&nx<5&&ny>=0&&ny<5){
            g[nx][ny]^=1;
        }
    }
}
int main(){
    int T;
    cin>>T;
    while(T--){
        for(int i=0;i<5;++i) cin>>g[i];
        int res=7;
        for(int op=0;op<(1<<5);++op){
            int step=0;
            memcpy(backup,g,sizeof g);
            
            for(int j=0;j<5;++j){//对第1行操作
                if(op>>j&1){
                    ++step;
                    turn(0,j);
                }
            }
            
            for(int i=0;i<4;++i){//使前4行全亮
                for(int j=0;j<5;++j){
                    if(g[i][j]=='0'){
                        ++step;
                        turn(i+1,j);
                    }
                }
            }
            
            bool dark=false;
            for(int j=0;j<5;++j){//判断第5行是否全亮
                if(g[4][j]=='0'){
                    dark=true;
                    break;
                }
            }
            if(!dark) res=min(res,step);
            memcpy(g,backup,sizeof backup);
        }
        if(res>6) puts("-1");
        else cout<<res<<endl;
    }
}

注意：

1. if(op>>j&1)我一开始写的是if( (op>>j&1) != g[0][j]-'0')，也AC了，后者的意思是，将[0,32)操作数的二进制里的1和0对应到g[0][j]的‘1’和‘0’，对第1行进行操作，使第1行的灯的状态变成和操作数op的二进制一样。其实不必。操作数op的二进制里的1，就表示这一位的灯应该改变状态，就可以了。

2.

(char) '0' = (int) 48 = 110000B

(char) '1' = (int) 49 = 110001B

所以char型‘0’和‘1’之间改变状态只需要异或1就可以了。

 

相关问题：

翻硬币（递推）

飞行员兄弟（暴力枚举）