NEFU 506&&ZOJ 3353 Chess Board (四种构造的高斯消元)

题目链接

题意：有四种翻转方式，问是否能使得所有棋子都变为0，求最小步数。

题解：依次构造枚举求出最小值即可。

#include <iostream>
#include <cstdio>
#include <cmath>
#include <cstring>
#include <algorithm>
#include <queue>
#include <vector>
#include <map>
#include <ctime>
using namespace std;
const int inf=0x3f3f3f;
const int maxn=;
//有equ个方程，var个变元。增广矩阵行数为equ,列数为var+1,分别为0到var
int equ,var;
int a[maxn][maxn]; //增广矩阵
int x[maxn]; //解集
int free_x[maxn];//用来存储自由变元（多解枚举自由变元可以使用）
int free_num;//自由变元的个数
//返回值为-1表示无解，为0是唯一解，否则返回自由变元个数
int gauss()
{
    int max_r,col,k;
    free_num=;
    for(k=,col=; k<equ&&col<var; k++,col++)
    {
        max_r=k;
        for(int i=k+; i<equ; i++)
            if(abs(a[i][col])>abs(a[max_r][col]))
                max_r=i;
        if(!a[max_r][col])
        {
            k--;
            free_x[free_num++]=col;
            continue;
        }
        if(max_r!=k)
            for(int j=col; j<var+; j++)
                swap(a[k][j],a[max_r][j]);
        for(int i=k+; i<equ; i++)
        {
            if(a[i][col])
            {
                for(int j=col; j<var+; j++)
                    a[i][j]^=a[k][j];
            }
        }
    }
    for(int i=k; i<equ; i++)
        if(a[i][col])
            return -;
    if(k<var) return var-k;
    for(int i=var-; i>=; i--)
    {
        x[i]=a[i][var];
        for(int j=i+; j<var; j++)
            x[i]^=(a[i][j]&&x[j]);
    }
    return ;
}
int n,m;
//注意一定要分清左下和右上！！！
void init1()
{
    memset(a,,sizeof(a));
    memset(x,,sizeof(x));
    equ=n*m;
    var=n*m;
    for(int i=; i<n; i++)
        for(int j=; j<m; j++)
        {
            int t=i*m+j;
            a[t][t]=;
            if(i>) a[(i-)*m+j][t]=; //上
            if(i<(n-)) a[(i+)*m+j][t]=; //下
            if(j>) a[i*m+j-][t]=; //左
            if(j<(m-)) a[i*m+j+][t]=; //右
        }
}
void init2()
{
    memset(a,,sizeof(a));
    memset(x,,sizeof(x));
    equ=n*m;
    var=n*m;
    for(int i=; i<n; i++)
        for(int j=; j<m; j++)
        {
            int t=i*m+j;
            a[t][t]=;
            if(i>) a[(i-)*m+j][t]=; //上
            //if(i<n-1) a[(i+1)*m+j][t]=1; //下
            if(j>) a[i*m+j-][t]=; //左
            if(j<(m-)) a[i*m+j+][t]=; //右
            if(i>&&j>) a[(i-)*m+j-][t]=; //左上
            //if(i>0&&j<(m-1)) a[(i-1)*m+j+1][t]=1; //右上
            if(i<n-&&j>) a[(i+)*m+j-][t]=; //左下
            //if(i<n-1&&j<m-1) a[(i+1)*m+j+1][t]=1; //右下
        }
}
void init3()
{
    memset(a,,sizeof(a));
    memset(x,,sizeof(x));
    equ=n*m;
    var=n*m;
    for(int i=; i<n; i++)
        for(int j=; j<m; j++)
        {
            int t=i*m+j;
            a[t][t]=;
            if(i>) a[(i-)*m+j][t]=; //上
            if(i<(n-)) a[(i+)*m+j][t]=; //下
            if(j>) a[i*m+j-][t]=; //左
            if(j<(m-)) a[i*m+j+][t]=; //右
            //if(i>0&&j>0) a[(i-1)*m+j-1][t]=1; //左上
            if(i>&&j<m-) a[(i-)*m+j+][t]=; //右上
            //if(i<(n-1)&&j>0) a[(i+1)*m+j-1][t]=1; //左下
            //if(i<n-1&&j<m-1) a[(i+1)*m+j+1][t]=1; //右下
        }
}
void init4()
{
    memset(a,,sizeof(a));
    memset(x,,sizeof(x));
    equ=n*m;
    var=n*m;
    for(int i=; i<n; i++)
        for(int j=; j<m; j++)
        {
            int t=i*m+j;
            a[t][t]=;
            if(i>) a[(i-)*m+j][t]=; //上
            if(i<(n-)) a[(i+)*m+j][t]=; //下
            if(j>) a[i*m+j-][t]=; //左
            //if(j<m-1) a[i*m+j+1][t]=1; //右
            //if(i>0&&j>0) a[(i-1)*m+j-1][t]=1; //左上
            if(i>&&j<m-) a[(i-)*m+j+][t]=; //右上
            //if(i<(n-1)&&j>0) a[(i+1)*m+j-1][t]=1; //左下
            if(i<(n-)&&j<(m-)) a[(i+)*m+j+][t]=; //右下
        }
}
int solve()
{
    int t=gauss();
    if(t==-)
    {
        return inf;
    }
    else if(t==)
    {
        int ans=;
        for(int i=; i<n*m; i++)
            ans+=x[i];
        return ans;
    }
    else
    {
        //枚举自由变元
        int ans=0x3f3f3f3f;
        int tot=(<<t);
        for(int i=; i<tot; i++)
        {
            int cnt=;
            for(int j=; j<t; j++)
            {
                if(i&(<<j)) //注意不是&&
                {
                    x[free_x[j]]=;
                    cnt++;
                }
                else x[free_x[j]]=;
            }
            for(int j=var-t-; j>=; j--)
            {
                int idx;
                for(idx=j; idx<var; idx++)
                    if(a[j][idx])
                        break;
                x[idx]=a[j][var];
                for(int l=idx+; l<var; l++)
                    if(a[j][l])
                        x[idx]^=x[l];
                cnt+=x[idx];
            }
            ans=min(ans,cnt);
        }
        return ans;
    }
}
char data[][];
int main()
{
    while(scanf("%d%d",&n,&m)&&n&&m)
    {
        //getchar();
        for(int i=; i<n; i++)
            cin>>data[i];

        init1();
        for(int i=; i<n; i++)
            for(int j=; j<m; j++)
                if(data[i][j]=='') a[i*m+j][n*m]=;
        int ans1=solve();

        init2();
        for(int i=; i<n; i++)
            for(int j=; j<m; j++)
                if(data[i][j]=='') a[i*m+j][n*m]=;
        int ans2=solve();

        init3();
        for(int i=; i<n; i++)
            for(int j=; j<m; j++)
                if(data[i][j]=='') a[i*m+j][n*m]=;
        int ans3=solve();

        init4();
        for(int i=; i<n; i++)
            for(int j=; j<m; j++)
                if(data[i][j]=='') a[i*m+j][n*m]=;
        int ans4=solve();

        int ans=min(min(ans1,ans2),min(ans3,ans4));
        if(ans==inf) puts("Impossible");
        else
        {
            if(ans==ans1) printf("1 %d\n",ans);
            else if(ans==ans2) printf("2 %d\n",ans);
            else if(ans==ans3) printf("3 %d\n",ans);
            else if(ans==ans4) printf("4 %d\n",ans);
        }
    }
    return ;
}