poj3279_VJkuangbin01_Fliptile

题目大意：在n * m的01矩阵中，反转(i, j)，则(i-1, j), (i+1, j), (i, j-1), (i, j+1)也同时反转，即0变为1，1变为0，问是否可以将该01矩阵通过有限次的反转变为0矩阵，若存在则输出最小反转次数的反转矩阵(1表示该位置发生反转，0表示没有)，反之输出IMPOSSIBE

题解：
(1) 同一个位置反转奇数次的效果和反转1次相同，反转偶数次和反转0次效果相同。
(2) 除了最后一行，总可以通过反转将前n-1行全部翻为0
(3) 用二进制枚举第0行所有可能的翻法。从第一行开始，如果对应列号的上一行有1，则反转该行。如果可以从该翻法到达最后一行也为0的状态，则记录最小翻转次数的第0行的翻法。然后模拟一遍翻转过程，记录并且输出ans[][]即可。若没有可使最后一行也为0的状态，则输出IMPOSSIBE

#include <cstdio>
#include <cstring>

using namespace std;

const int maxn = 16;
const int INF = 999999999;

int n, m, cnt;//n行m列，步数
int a[maxn][maxn], t[maxn][maxn];//初始数组，临时数组
int ans[maxn][maxn];//储存答案的数组

int dx[4] = {-1, 1, 0, 0};
int dy[4] = {0, 0, -1, 1};

void flip(int x, int y)
{
    ++cnt;
    ans[x][y] = 1;
    t[x][y] = !t[x][y];
    for(int i = 0; i < 4; ++i)
    {
        int tx = x + dx[i];
        int ty = y + dy[i];
        if(tx < 0 || tx >= n || ty < 0 || ty >= m)
            continue;
        t[tx][ty] ^= 1;
    }
}

bool ok(int p)
{
    cnt = 0;
    memcpy(t, a, sizeof(t));
    for(int j = 0; j < m; ++j)//反转第0行，枚举第一行所有可能的翻法
        if(p & (1<<(m-1-j)))//如果该列有1，则反转该列
            flip(0, j);
    for(int i = 1; i < n; ++i)//从第1行开始反转
        for(int j = 0; j < m; ++j)
            if(t[i-1][j]) flip(i, j);//若该列的上一行为1，则反转该列
    for(int j = 0; j < m; ++j)//判断最后一行的状态是否全0
        if(t[n-1][j])
            return 0;
    return 1;
}

int main()
{
    int mins, p;//最小步数和对应的第一行的翻法状态
    while(~scanf("%d %d", &n, &m))
    {
        for(int i = 0; i < n; ++i)
            for(int j = 0; j < m; ++j)
                scanf("%d", &a[i][j]);
        mins = INF, p = -1;
        for(int i = 0; i < (1<<m); ++i)//枚举第一行所有可能的翻法状态
            if(ok(i) && cnt < mins)//记录能到达最后一行也为0的状态并且翻转次数最小的p
                mins = cnt, p = i;
        memset(ans, 0, sizeof(ans));
        if(~p)
        {
            ok(p);//模拟一遍，输出答案
            for(int i = 0; i < n; ++i)
                for(int j = 0; j < m; ++j)
                    printf("%d%c", ans[i][j], j==m-1?'\n':' ');
        }
        else printf("IMPOSSIBLE\n");
    }
    return 0;
}