AGC006 E

题意：
有3行n列的格子，里面的数是1~3n。每次可以选一个3*3的格子旋转180度。给出初始状态，问能不能变成第i行第j列是3*(j-1)+i的状态。
n<=100000

#include<cstring>
#include<cstdlib>
#include<cstdio>
#include<cmath>
#include<iostream>
#include<algorithm>
#define N 110000
#define lowbit(x) (x&(-x))
using namespace std;
int a[3][N],n,d[5],flip[2],inv[2],s[N],lt[N],w[N];
void change(int x,int d)
{
    for(int i=x;i;i-=lowbit(i)) lt[i]+=d;
}
int find(int x)
{
    int sum=0;
    for(int i=x;i<=n;i+=lowbit(i)) sum+=lt[i];
    return sum;
}
int main()
{
    scanf("%d",&n);
    for(int i=0;i<=2;i++)
        for(int j=1;j<=n;j++)
            scanf("%d",&a[i][j]);
    for(int i=1;i<=n;i++)
    {
        d[0]=a[0][i];d[1]=a[1][i];d[2]=a[2][i];
        sort(d,d+3);
        if(d[2]%3 || d[0]+1!=d[1] || d[1]+1!=d[2] || d[1]!=a[1][i]) 
        {printf("No\n");return 0;}
        int j=d[2]/3;
        if((i-j)%2) 
        {printf("No\n");return 0;}
        inv[i%2]=(inv[i%2]+(a[0][i]>a[2][i]))%2;
        s[i]=j;
    }
    for(int i=1;i<=n;i++) w[s[i]]=i;
    for(int i=1;i<=n;i+=2)
    {
        int now=w[i]+2*find(w[i]);
        flip[1]=(flip[1]+abs(i-now)/2)%2;
        change(w[i],1);
    }
    for(int i=1;i<=n;i++) lt[i]=0;
    for(int i=2;i<n;i+=2)
    {
        int now=w[i]+2*find(w[i]);
        flip[0]=(flip[0]+abs(i-now)/2)%2;
        change(w[i],1);
    }
    if(flip[0]!=inv[1] || flip[1]!=inv[0]) printf("No\n");
    else printf("Yes\n");
    return 0;
}

题解：
发现每列是不会分开的，而且要去的列也是固定的，可以先判一下合不合法。
设偶数列要上下翻转的数量是inv[0]，移动到正确位置需要操作数是flip[0]。对应奇数的是inv[1]，flip[1]。题解里给出有解的充要条件是inv[0]和flip[1]奇偶性相同，inv[1]和flip[0]奇偶性相同。必要性显然。
题解里给出构造让距离为2的两列同时翻转，不影响其他位置的方案
• a b c d e
• C B A d e
• C B E D a
• e b c D a
• e b A d C
• a B E d C
• a B c D e (1)
• a d C b e
• c D A b e
• c B a d e
• A b C d e (2)
在(1)、(2)位置实现
那么一次以奇数列为中心的操作，影响的是inv[1]和flip[0]的奇偶性，偶列同理。如果对应奇偶性相同，我们把所有位置换对之后，对于奇列和偶列要翻转的列数都是偶数个的，用上面的方案就能构造出解了。于是也证明了充分性。