[agc016d]XOR Replace

前言

本题不是很难。
重点是发现操作的本质。

题意

一个序列，一次操作可以将某个位置变成整个序列的异或和。
问最少几步到达目标序列。

做法

假设异或和为x。
你发现若干次操作相当于把原来一些位置做置换（假设有k个作置换，需要k+1步）。
当然在最后一次操作，如果刚好有一个元素和x一致，只需要k步，不需要再换回来。
你发现这就是一个置换拆分问题，置换越少越好。
同时我们发现对于$a_i=b_i$的位置不去动显然是最优的。
为了方便你可以把两个序列的异或和直接放在序列的末尾也当做一个序列元素。
然后你可以把同样的数字当做同一个点。
对于$a_i!=b_i$，让对应两个点连边。
那么最后每一个联通块就存在一个置换。

#include<cstdio> 
#include<algorithm>
#include<map>
#define fo(i,a,b) for(i=a;i<=b;i++)
using namespace std;
const int maxn=100000+10;
map<int,int> f;
int a[maxn],b[maxn],c[maxn],d[maxn],fa[maxn*2];
int i,j,k,l,t,n,m,tot,ans;
int getfa(int x){
    return fa[x]==x?x:fa[x]=getfa(fa[x]);
}
int main(){
    scanf("%d",&n);
    fo(i,1,n) scanf("%d",&a[i]);
    fo(i,1,n) scanf("%d",&b[i]);
    t=0;
    fo(i,1,n) t^=a[i];
    a[n+1]=t;
    t=0;
    fo(i,1,n) t^=b[i];
    b[++n]=t;
    fo(i,1,n) c[i]=a[i],d[i]=b[i];
    sort(c+1,c+n+1);
    sort(d+1,d+n+1);
    fo(i,1,n+1)
        if (i>n||c[i]!=d[i]) break;
    if (i<=n){
        printf("-1\n");
        return 0;
    }
    fo(i,1,n)
        if (a[i]!=b[i]||i==n){
            if (i<n) ans++;
            if (!f[a[i]]) f[a[i]]=++tot;
            if (!f[b[i]]) f[b[i]]=++tot;
        }
    if (!ans){
        printf("0\n");
        return 0;
    }
    fo(i,1,tot) fa[i]=i;
    fo(i,1,n)
        if (a[i]!=b[i]) fa[getfa(f[a[i]])]=getfa(f[b[i]]);
    fo(i,1,tot)
        if (fa[i]==i) ans++;
    printf("%d\n",ans-1);
}