LA4487 Exclusive-OR

题目

LA4487 Exclusive-OR

题解

虽然说一眼加权并查集但是细节还是比较多。
首先输入就是一个坑，，为什么I后面有两种格式啊woc，不过我觉得我的MSG结构体是极其机智的qwq。用起来好爽而且还很快。

下面分类对要注意的情况进行说明。主要方法是将有两个之间关系的合在一个集合。

如果有单个的关系。
先判断能不能求出具体值以及合不合法。
不能的话通过单个关系把所在集合根的值找出来，把这个集合标记为已知（显然只要有一个确定了，整个集合都确定了，用根转化一下，求值的时候要方便一些）。

两个的关系。
还是先判断能不能求出来具体的值，还要考虑在同一个集合中也能求出来异或和的情况。
不能的话就合并集合，注意如果有一个集合是已知的，一定要把另外一个集合往已知集合上插，这样才能保证能根据根能求出值。

求和
首先把能求出具体值的处理了，遇到不能求出具体值的，找一个和它在同一集合的，在询问中的节点配对，因为同一个集合中一对点的异或和是可以算出来的，如果找不到就GG了。记得配对之后标记一下。

大概就这样了，加权并查集的具体操作就不讲了。。为了简化操作最好每次对要搞事情的x点findset一遍，能保证p[x]就是根.

代码

//QWsin#include<cmath>#include<cstdio>#include<cstring>#include<iostream>#include<algorithm>using namespace std;const int maxl=1000+10;const int maxn=20000+10;int n,Q,p[maxn],val[maxn],v[maxn];void findset(int x){    if(p[x]!=x) findset(p[x]),v[x]^=v[p[x]],p[x]=p[p[x]];}inline void merge(int x,int y,int Val){p[x]=y;v[x]=Val;}inline int isnum(char ch){return ch>='0'&&ch<='9';}struct MSG{    char s[maxl];int p,l;    inline void input(){gets(s);l=strlen(s);p=0;}    inline int readnum(){        while(p<l&&!isnum(s[p])) ++p;        if(p==l) return -1;        int ret=0;        for(;p<l&&isnum(s[p]);++p) ret=ret*10+s[p]-'0';        return ret;     }};int kase=0,know[maxn],done[20],a[20];//know[i]表示以i为根的并查集是否确定值 inline void solve(){    printf("Case %d:\n",++kase);    for(int i=0;i<n;++i) p[i]=i,v[i]=0,val[i]=-1,know[i]=0;;    MSG msg;getchar();    int ok=1,cnt=0;    while(Q--)    {        msg.input();        if(!ok) continue;        if(msg.s[0]=='I')        {            if(ok)++cnt;            int a=msg.readnum();            int b=msg.readnum();            int c=msg.readnum();            if(c==-1)//-1表示只有两个数            {                findset(a);                if(!know[p[a]]) know[p[a]]=1,val[p[a]]=b^v[a];                else if((v[a]^val[p[a]])!=b) ok=0;            }            else            {                findset(a);findset(b);                if(p[a]==p[b]) ok=((v[a]^v[b])==c);                else if(know[p[a]]&&know[p[b]]) ok=(v[a]^val[p[a]]^v[b]^val[p[b]])==c;                else {                    if(know[p[b]]) v[p[a]]=c^v[a]^v[b],p[p[a]]=p[b];                    else v[p[b]]=c^v[a]^v[b],p[p[b]]=p[a];                }            }        }        else        {            int sz=msg.readnum(),ans=0,ok=1;            for(int i=1;i<=sz;++i) a[i]=msg.readnum(),done[i]=0,findset(a[i]);            for(int i=1,x;i<=sz;++i) if(!done[i])            {                x=a[i];                if(know[p[x]]) ans^=v[x]^val[p[x]];                else                 {                    int tok=0;                    for(int j=i+1;j<=sz;++j)if(!done[j]&&p[a[j]]==p[x]) {                        done[j]=1,ans^=v[a[j]]^v[x];tok=1;break;                    }                    if(!tok) {ok=0;break;}                }            }            if(!ok) printf("I don't know.\n");            else printf("%d\n",ans);        }    }    if(!ok) printf("The first %d facts are conflicting.\n",cnt);    putchar('\n');}int main(){    while(scanf("%d%d",&n,&Q)&&(n||Q)) solve();    return 0;}