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;
}