UVA 11464 - Even Parity

该题也是一个需要观察和等价转换思维的题目。  如果直接暴力，时间复杂度难以承受，但是其实我们可以发现，只需要枚举第一行就可以了，只要第一行确定了，那么最终的偶数矩阵也就确定了，可以利用偶数限制关系轻松推出其他的格子，在这个过程中判断是否符合规则即可。

细节参见代码：

#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
const int INF = 10000000;
const int maxn = 20 + 5;
int T,n,m,ans,kase = 0,cur,a[maxn][maxn];
bool check(int S) {
    int vis[maxn][maxn];
    for(int i = 0; i < n; i++) {
        if(S & (1 << i)) {
            if(a[1][i+1] == 0) cur++;
            vis[1][i+1] = 1;
        }
        else {
            if(a[1][i+1]) return false;
            vis[1][i+1] = 0;
        }
    }
    for(int i = 2; i <= n; i++) {
        for(int j = 1; j <= n; j++) {
            int v = 0;
            if(j > 1) v += vis[i-1][j-1];
            if(j < n) v += vis[i-1][j+1];
            if(i-1 > 1) v += vis[i-2][j];
            if(v & 1) vis[i][j] = 1;
            else vis[i][j] = 0;
            if(a[i][j] == 1 && vis[i][j] == 0) return false;
            if(a[i][j] == 0 && vis[i][j] == 1) cur++;
        }
    }
    return true;
}
int main() {
    scanf("%d",&T);
    while(T--) {
        scanf("%d",&n);
        for(int i = 1; i <= n; i++) 
            for(int j = 1; j <= n; j++) 
                scanf("%d",&a[i][j]);
        ans = INF;
        for(int i = 0; i < (1 << n); i++) {
            cur = 0;
            if(check(i)) ans = min(ans,cur);
        }
        printf("Case %d: %d\n",++kase,(ans == INF ? -1 : ans));
    }
    return 0;
}