【AtCoder】ARC095 E - Symmetric Grid 模拟

【题目】E - Symmetric Grid

【题意】给定n*m的小写字母矩阵，求是否能通过若干行互换和列互换使得矩阵中心对称。n,m<=12。

【算法】模拟

【题解】首先行列操作独立，如果已确定行操作，那么两个在对称位置的列要满足条件必须其中一列反转后和另一列相同，或m为奇数且此列在中间。

已确定了行操作后，枚举每一列，找到它可以匹配的列直接匹配，后面如果矛盾了就直接无解（因为匹配的列都是确定的，不存在决策问题），复杂度O(nm^2)。

如何确定行操作？枚举每一行的匹配行，虽然这样理论上会枚举n^(n/2)种情况，但其中只有(n-1)!!种情况合法并进入下一过程，故复杂度为O((n-1)!!*nm^2)，极限为17962560，实际上列枚举存在大量返回会更快，甚至直接枚举列匹配都能2ms AC。

代码来自：zhan8855

#include <cstdio>

char c[][],d[],e[];
int i,m,n;

inline bool dfs2(int x)
{
    if (x>m)
        return true;
    if (e[x])
        return dfs2(x+);
    else
    {
        int t=,r=;
        for (int i=x;i<=m;i++)
            if (! e[i])
                t++;
        for (int i=x;i<=m;i++)
            if (! e[i])
            {
                e[x]=i,e[i]=x,r=;
                for (int j=;j<=n;j++)
                    if ((c[j][x]!=c[d[j]][i]) || (c[d[j]][x]!=c[j][i]))
                    {
                        r=;
                        break;
                    }
                if(i==x){
                    if(r&&(t&)&&dfs2(x+))return true;
                }
                else{
                    if(r){
                        if(dfs2(x+))return true;else return false;
                    }
                }
                /*if ((r) && ((t&1) || (i!=x)) && (dfs2(x+1)))
                    return true;
                else if(i!=x)return false;*/
                e[x]=,e[i]=;
            }
    }
    return false;
}

inline bool dfs1(int x)
{
    if (x>n)
        return dfs2();
    if (d[x])
        return dfs1(x+);
    else
    {
        int t=;
        for (int i=x;i<=n;i++)
            if (! d[i])
                t++;
        for (int i=x;i<=n;i++)
            if (! d[i])
            {
                d[x]=i,d[i]=x;
                if (((t&) || (i!=x)) && (dfs1(x+)))
                    return true;
                d[x]=,d[i]=;
            }
    }
    return false;
}

int main()
{
    scanf("%d%d",&n,&m);
    for (i=;i<=n;i++)
        scanf("%s",c[i]+);
    if (dfs1())
        puts("YES");
    else
        puts("NO");
    return ;
}