题目
题解
虽然说一眼加权并查集但是细节还是比较多。
首先输入就是一个坑,,为什么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;
}