题解51nod1515——明辨是非

Posted fallen-down

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了题解51nod1515——明辨是非相关的知识,希望对你有一定的参考价值。

前提

在这道题老师讲过之后,再考时,我还是WA了ヽ(*。>Д<)o゜果然,我还是好菜啊~%?…,# *‘☆&℃$︿★?

谢谢Jack_Pei dalao的帮忙。~~O(∩_∩)O~~

正文

在我这台机子上,直接由网址上到题目会出现 NOFIND404 所以这一次希望看题解的你可以自己动手丰衣足食去找到这道题

 

首先,这题一看要维护关系,且数据范围不小时,就想到了并查集&&离散化

相等关系具有传递性,即a==b&&b==c等价于a==c。所以当我们在维护相等关系时,我们会使用并查集。每次找到根节点,再合并一下,就相当于维护了相等关系。即我是你爸爸的儿子,你也是你的爸爸的儿子,我们自然地位也就相等——都是爸爸的儿子

但,由某本数学书,我们可以知道,a!=b&&b!=c不等价于a!=c。即你是你爸爸的儿子,我不是你爸爸的儿子,可是我却是你爸爸的女儿,但我们地位还是一样的——都是爸爸的孩子。但是a==b&&b!=c等价于a!=c。所以此时我们就希望去给每一个并查集中的节点维护这一个不等的关系,表示这些数和它不等。而其既可以合并,又可以快捷查询,简便操作,显然vector,,set中选择一个(map常数大,用它弊大于利,优点没有其他更加明显。优先队列无法做到便捷的插入删除与寻找)。而最后应该用set。

理由如下

Vector动态开四倍空间,相当于在最坏的情况下,一半的节点上,你明明只占用了五万多一点的大小,动态内存却开到二十万,且中间有许多重复的数字。你会MLE(机房某位dalao曾现身说法过)

Set可以避免空间太大,重复数字。查询,插入均是logn的时间复杂度,也可以接受。

再说Setd的合并——启发式合并。其实就是每次合并把数字少的那组合并到数字多的那组以达到减少树的深度及合并次数而达到减少时间复杂度的效果。具体的图就不放了,自己看看其他oier的就好了

实现思路大致是,询问不等时,若两位数字所在的源头不同,则二个数字可以不同。分别在与他们相同的源头处限制它们互相相等。询问相等时,若两数字所在源头中维护不相等的set中没有对方的,则代表他们可以想等。此时,若两个数字出处一致则毫无大碍,否则就需要把数字少的源头的不等关系转嫁。即某人父亲和一个有孩子的离异女子结婚时,她的孩子也是他的孩子。即我们所说的启发式合并。

十分愉快的代码时间

(其实代码里我也打了很多注释)

技术图片
 1 #include<iostream>
 2 #include<set>
 3 #include<cstdio>
 4 #include<map> 
 5 using namespace std;
 6 //从全局变量->主程序->随着主程序看函数是个好习惯 
 7 map<long long,long long>q;//离散化要用 
 8 struct ziji{
 9     long long fa;//这个地方的父亲 
10     set<long long> s;//要维护的不等关系 
11     #define fa(i) mn[i].fa
12     #define s(i) mn[i].s 
13 }mn[200001];
14 long long x,y,p,n,ff;//见主函数分析 
15 inline long long father(long long i){
16     if(i==fa(i)) return i;
17     else return fa(i)=father(fa(i)); 
18     //简单的按秩合并 
19 }
20 void message1(long long a,long long b){
21     long long root=father(a),root1=father(b);
22     // 找爸爸 
23     if(s(root).find(root1)==s(root).end()) {//可以不等 
24         putchar(Y),putchar(E),putchar(S),putchar(
);
25         //这里一定要用putchar 或 puts ,用cout&&printf会超时
26         //反正我超时了 
27         if(root!=root1){//非同源 
28             if(s(root).size()>s(root1).size()) swap(root,root1);
29             //小的合并到大的里头去——启发式合并 
30             fa(root)=root1;
31             set<long long>::iterator it=s(root).begin();
32             for(it;it!=s(root).end();it++)
33                 s(root1).insert(*it),s(*it).insert(root1),s(*it).erase(root);
34                 //暴力合并set 
35         }
36     }
37     else putchar(N),putchar(O),putchar(
);                
38 }
39 void message2(long long a,long long b){//维护不等关系 
40     int root=father(a),root1=father(b);
41     //找爸爸 
42     if(root!=root1){//不相等 
43         putchar(Y),putchar(E),putchar(S);putchar(
);
44         s(root).insert(root1);s(root1).insert(root);
45         //二位父亲互不相等 
46     }
47     else putchar(N),putchar(O),putchar(
);
48 }
49 void chuli(int v){
50     //初始并查集时,由于仅仅是操作数是n
51     //最惨就是每次都是俩不同的,所以i<=v*2 
52     for(register int i=1;i<=v*2;i++) fa(i)=i;
53 }
54 int main(){
55     scanf("%lld",&n);
56     chuli(n);//初始并查集 
57     for(register int i=1;i<=n;i++){
58         scanf("%lld%lld%lld",&x,&y,&p);
59         //下面就是离散化处理了,我这里用了map
60         //据另一位大佬说,这里可以用sort+去重离线做
61         //但我更喜欢map,有本事打我啊 
62         if(!q.count(x)){//如果这个数之前没有出现过 
63             ff++;//一共出现的数总数++ 
64             q[x]=ff;x=ff;//以后这个数再调用就是ff,此时这个数离散成了ff 
65         }else x=q[x];//出现了,就是当时被离散的值 
66         if(!q.count(y)){//同理 
67             ff++;
68             q[y]=ff;y=ff;
69         }else y=q[y];
70         if(p==1) message1(x,y);
71         if(p==0) message2(x,y);
72     }
73     return 0;//功德圆满,我好困啊 
74 }
代码

 

国际惯例

如果有什么疑问,请在我的博客下留言,或者看题解刚开始我给的那个大佬的博客,他似乎也写了。我会尽我的努力为您提供答案。虽然可能不及时,希望可以谅解。thankyou for your attention

 
 
 
 
 
 
 

以上是关于题解51nod1515——明辨是非的主要内容,如果未能解决你的问题,请参考以下文章

[51nod1515]明辨是非

51 nod 1515 明辨是非(并查集合并)

51nod-1515 明辨是非——并查集

[題解]51nod_1515_明辨是非

51nod 1515 明辨是非 并查集+set维护相等与不等关系

51nod 1515 明辨是非 并查集 + set + 启发式合并