洛谷P1955 程序自动分析 [NOI2015] 并查集

正解:并查集+离散化

解题报告:

传送门!

其实题目还挺水的,,,但我太傻逼了直接想挂了,,,所以感觉还是有个小坑点所以还是写个题解记录下我的傻逼QAQ

首先这题一看,就长得很像NOIp关押罪犯?然后就噼里啪啦打一个并查集上去,再随便离散化一下,就能获得90pts的好成绩,,,(因为数据太水了QAQ

然后考虑为什么不能用那题的套路?仔细思考下,用并查集的条件是什么?

——可传递性

简单来说,比如已知x=y,y=z,则必有x=z,所以这里可以用个并查集把他们缩成一块对趴

但这儿不光有x=y的条件,还有x≠y的条件鸭,显然x≠y,y≠z不能推出x≠z,所以显然不相等关系是不需要并查集维护的,就直接先把相等的做掉最后判一下不相等的是否相等就好

顺便说下,那为什么之前做关押罪犯的时候我们就要把不相等也维护了?因为那题只有两个阵营,所以可以得到不相等关系的关系

最后留个思考题,,,

这题是留一堆条件问能否达成嘛

那如果改成,每给一个条件都问能否达成,不能达成就跳过,怎么做?

umm自行思考趴QAQ其实并不难来着QAQ(解法在这儿,,,然而你们都不知道密码鸭嘻嘻嘻

最后放下代码

对了这题要离散化这个点我好像忘了说了,,,算了挺显然的我就$cue$下昂QAQ

over!

洛谷P1955 程序自动分析 [NOI2015] 并查集洛谷P1955 程序自动分析 [NOI2015] 并查集
#include<bits/stdc++.h>
using namespace std;
#define il inline
#define gc getchar()
#define t(i) edge[i].to
#define mp make_pair
#define ri register int
#define rb register bool
#define rc register char
#define lb(x) lower_bound(st+1,st+st_cnt,x)-st
#define rp(i,x,y) for(ri i=x;i<=y;++i)
#define my(i,x,y) for(ri i=x;i>=y;--i)
#define e(i,x) for(ri i=head[x];i;i=edge[i].nxt)

const int N=1e6+10;
int n,m,fa[N],st[N<<1],st_cnt;
struct op{int l,r;bool typ;}ope[N];

il int read()
{
    rc ch=gc;ri x=0;rb y=1;
    while(ch!='-' && (ch<'0' || ch>'9'))ch=gc;
    if(ch=='-')ch=gc,y=0;
    while(ch>='0' && ch<='9')x=(x<<1)+(x<<3)+(ch^'0'),ch=gc;
    return y?x:-x;
}
int fd(ri x){return fa[x]==x?x:fa[x]=fd(fa[x]);}
il bool cmp(op gd,op gs){return gd.typ>gs.typ;}

int main()
{
    freopen("1955.in","r",stdin);freopen("1955.out","w",stdout);
    int T=read();
    while(T--)
    {
        n=read();st_cnt=0;
        rp(i,1,n)ope[i]=(op){st[++st_cnt]=read()+1,st[++st_cnt]=read()+1,read()};
        sort(st+1,st+1+st_cnt);st_cnt=unique(st+1,st+1+st_cnt)-st-1;rp(i,0,st_cnt)fa[i]=i;
        sort(ope+1,ope+1+n,cmp);rp(i,1,n)ope[i].l=lb(ope[i].l),ope[i].r=lb(ope[i].r);
        rp(i,1,n)
        {
            if(ope[i].typ){ri fa1=fd(ope[i].l),fa2=fd(ope[i].r);fa[fa1]=fa2;}
            else{ri fa1=fd(ope[i].l),fa2=fd(ope[i].r);if(fa1==fa2)printf("NO\n"),i=n+10;}
            if(i==n)printf("YES\n");
        }
    }
    return 0;
}
这儿是代码QAQ