前提

在这道题老师讲过之后,再考时,我还是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中没有对方的,则代表他们可以想等。此时,若两个数字出处一致则毫无大碍,否则就需要把数字少的源头的不等关系转嫁。即某人父亲和一个有孩子的离异女子结婚时,她的孩子也是他的孩子。即我们所说的启发式合并。

十分愉快的代码时间

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

 #include<iostream>
 #include<set>
 #include<cstdio>
 #include<map>
 using namespace std;
 //从全局变量->主程序->随着主程序看函数是个好习惯
 map<long long,long long>q;//离散化要用
 struct ziji{
     long long fa;//这个地方的父亲
     set<long long> s;//要维护的不等关系
     #define fa(i) mn[i].fa
     #define s(i) mn[i].s
 }mn[];
 long long x,y,p,n,ff;//见主函数分析
 inline long long father(long long i){
     if(i==fa(i)) return i;
     else return fa(i)=father(fa(i));
     //简单的按秩合并
 }
 void message1(long long a,long long b){
     long long root=father(a),root1=father(b);
     // 找爸爸
     if(s(root).find(root1)==s(root).end()) {//可以不等
         putchar('Y'),putchar('E'),putchar('S'),putchar('\n');
         //这里一定要用putchar 或 puts ,用cout&&printf会超时
         //反正我超时了
         if(root!=root1){//非同源
             if(s(root).size()>s(root1).size()) swap(root,root1);
             //小的合并到大的里头去——启发式合并
             fa(root)=root1;
             set<long long>::iterator it=s(root).begin();
             for(it;it!=s(root).end();it++)
                 s(root1).insert(*it),s(*it).insert(root1),s(*it).erase(root);
                 //暴力合并set
         }
     }
     else putchar('N'),putchar('O'),putchar('\n');
 }
 void message2(long long a,long long b){//维护不等关系
     int root=father(a),root1=father(b);
     //找爸爸
     if(root!=root1){//不相等
         putchar('Y'),putchar('E'),putchar('S');putchar('\n');
         s(root).insert(root1);s(root1).insert(root);
         //二位父亲互不相等
     }
     else putchar('N'),putchar('O'),putchar('\n');
 }
 void chuli(int v){
     //初始并查集时,由于仅仅是操作数是n
     //最惨就是每次都是俩不同的,所以i<=v*2
     ;i<=v*;i++) fa(i)=i;
 }
 int main(){
     scanf("%lld",&n);
     chuli(n);//初始并查集
     ;i<=n;i++){
         scanf("%lld%lld%lld",&x,&y,&p);
         //下面就是离散化处理了,我这里用了map
         //据另一位大佬说,这里可以用sort+去重离线做
         //但我更喜欢map,有本事打我啊
         if(!q.count(x)){//如果这个数之前没有出现过
             ff++;//一共出现的数总数++
             q[x]=ff;x=ff;//以后这个数再调用就是ff,此时这个数离散成了ff
         }else x=q[x];//出现了,就是当时被离散的值
         if(!q.count(y)){//同理
             ff++;
             q[y]=ff;y=ff;
         }else y=q[y];
         ) message1(x,y);
         ) message2(x,y);
     }
     ;//功德圆满,我好困啊
 }

代码

国际惯例

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

 
 
 
 
 
 

题解51nod1515——明辨是非的更多相关文章

  1. [51nod1515]明辨是非

    Description 给$n$组操作,每组操作形式为$x\;y\;p$. 当$p=1$时,如果第$x$变量和第$y$个变量可以相等,则输出$YES$,并限制他们相等;否则输出$NO$,并忽略此次操作 ...

  2. 51nod1515 明辨是非 并查集 + set

    一开始想的时候,好像两个并查集就可以做......然后突然懂了什么.... 相同的并查集没有问题,不同的就不能并查集了,暴力的来个set就行了..... 合并的时候启发式合并即可做到$O(n \log ...

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

    给n组操作,每组操作形式为x y p. 当p为1时,如果第x变量和第y个变量可以相等,则输出YES,并限制他们相等:否则输出NO,并忽略此次操作. 当p为0时,如果第x变量和第y个变量可以不相等,则输 ...

  4. 51nod 1515 明辨是非 启发式合并

    1515 明辨是非 题目连接: https://www.51nod.com/onlineJudge/questionCode.html#!problemId=1515 Description 给n组操 ...

  5. 51Nod 1515 明辨是非 —— 并查集 + 启发式合并

    题目链接:http://www.51nod.com/onlineJudge/questionCode.html#!problemId=1515 1515 明辨是非  题目来源: 原创 基准时间限制:1 ...

  6. 2016 华南师大ACM校赛 SCNUCPC 非官方题解

    我要举报本次校赛出题人的消极出题!!! 官方题解请戳:http://3.scnuacm2015.sinaapp.com/?p=89(其实就是一堆代码没有题解) A. 树链剖分数据结构板题 题目大意:我 ...

  7. noip2016十连测题解

    以下代码为了阅读方便,省去以下头文件: #include <iostream> #include <stdio.h> #include <math.h> #incl ...

  8. BZOJ-2561-最小生成树 题解(最小割)

    2561: 最小生成树(题解) Time Limit: 10 Sec  Memory Limit: 128 MBSubmit: 1628  Solved: 786 传送门:http://www.lyd ...

  9. Codeforces Round #353 (Div. 2) ABCDE 题解 python

    Problems     # Name     A Infinite Sequence standard input/output 1 s, 256 MB    x3509 B Restoring P ...

随机推荐

  1. 使用tengine解决负载均衡的session问题

    事情的经过时这样的~~,我看了好多好多百度中nginx负载均衡中解决session问题的方式,我选择了研究url_hash的方式.经过一番配置之后,我越发觉得这百度搜出来的帖子也太过久远了吧,去htt ...

  2. 斜杠反斜杠,去空格\xa0,连接函数join()

    1斜杠反斜杠 斜杠:/.反斜杠:\. 反斜杠\,在windows系统中用来表示目录. 而在unix系统中,/表示目录.由于web遵循unix命名,所以在网址(URL)中,/表示目录. 在unix系统中 ...

  3. jmeter 使用ANT运行 设置自动停止时间

    1.直接看图

  4. Hdu1547 Bubble Shooter 2017-01-20 18:38 44人阅读 评论(0) 收藏

    Bubble Shooter Time Limit : 2000/1000ms (Java/Other)   Memory Limit : 65536/32768K (Java/Other) Tota ...

  5. Hbase和传统数据库的区别

    在说HBase之前,我想再唠叨几句.做互联网应用的哥们儿应该都清楚,互联网应用这东西,你没办法预测你的系统什么时候会被多少人访问,你面临的用户到底有多少,说不定今天你的用户还少,明天系统用户就变多了, ...

  6. freemarker的include标签

    和jsp的include标签的作用类似,里面也是分相对路径和绝对路径. freemarker的根路径比较奇特的,结构图如下: ----webroot-------page------------ftl ...

  7. solr特点一:高亮(highlighting)

    高亮的配置 参数详细说明: hl.fl: 用空格或逗号隔开的字段列表.要启用某个字段的highlight功能,就得保证该字段在schema中是stored.如果该参数未被给出,那么就会高亮默认字段 s ...

  8. 在一般处理程序里面读写session

    1.引用命名空间 using System.Web.SessionState; 2.继承IRequiresSessionState接口 3.利用httpcontext类读写即可 context.ses ...

  9. 限制html文本框input只能输入数字和小数点

    代码: <input type="text" class="txt" name="qty" value="" on ...

  10. C#基础笔记(第二十二天)

    1.单例模式1)将构造函数私有化2)提供一个静态方法,返回一个对象3)创建一个单例 2.XML可扩展的标记语言 HTMLXML:存储数据 不是单独.net的东西,是一个单独的,JAVA什么的都也用不需 ...