POJ1222_EXTENDED LIGHTS OUT

给出5*6的位置，每个位置有一个灯，一开始每个灯有各自的状态，你可以选定一些位置使得所有与这个位置相邻以及位置本身的灯都取反。

输出合法方案。

本来是找高斯消元找到这个题目的，可是。。。。我发现可以直接状态压缩dfs，于是就水过了，高斯消元还是不会。怒坑。

枚举是这样的，当前6位数表示这一行每个灯的状态，由于当前这一排灯仅受相邻两排的影响，当我搜索到下一排的时候，判断对于当前这一排是否是一个合法的方案，及时剪枝。

一直扫下去就是答案了。

召唤代码君：

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

int a[][],ans[];
int T,n,m,cas=,c[];
int f[];
bool findans;

bool check(int cur)
{
    int tmp=ans[cur];
    for (int i=; i<=; i++) f[i]=tmp&,tmp>>=;
    for (int i=; i<=; i++){
        tmp=(ans[cur-]&c[i])==(ans[cur+]&c[i])?:;
        tmp^=a[cur][i]^f[i-]^f[i]^f[i+];
        if (!tmp) return false;
    }
    return true;
}

void dfs(int cur)
{
    if (cur==){
        if (check(cur)) findans=true;
        return;
    }
    for (int i=; i<c[]; i++){
        ans[cur+]=i;
        if (cur> && !check(cur)) continue;
        dfs(cur+);
        if (findans) return;
    }
}

int main()
{
    c[]=;
    for (int i=; i<=; i++) c[i]=c[i-]+c[i-];
    scanf("%d",&T);
    while (T--)
    {
        findans=false;
        for (int i=; i<=; i++)
            for (int j=; j<=; j++) scanf("%d",&a[i][j]);
        dfs();
        printf("PUZZLE #%d\n",++cas);
        for (int i=; i<=; i++){
            printf("%d",ans[i]&);
            for (int j=; j<=; j++) printf(" %d",(ans[i]&c[j])?:);
            printf("\n");
        }
    }
    return ;
}