acwing-程序自动分析

最新推荐文章于 2024-03-08 14:50:51 发布

double__apple

最新推荐文章于 2024-03-08 14:50:51 发布

阅读量156

点赞数

CC 4.0 BY-SA版权

分类专栏： acwing

本文链接：https://blog.youkuaiyun.com/double_app_le/article/details/118284298

acwing 专栏收录该内容

2 篇文章

订阅专栏

本文探讨了程序自动分析中的关键技术——离散化和并查集。离散化在处理大量数据时能有效减少数据的范围和复杂性，而并查集作为一种数据结构，常用于维护集合的联通性问题。通过结合这两项技术，可以更高效地进行程序分析和优化。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

离散化+并查集

#include<bits/stdc++.h>
using namespace std;

#define x first
#define y second
typedef pair<int,int> PII;

const int N = 2e5;
int t;
int n;
vector<int> all;
vector<PII> ye;
vector<PII> no;
int f[N];

int find(int x)
{
    if(f[x]!=x) f[x]=find(f[x]);
    return f[x];
}

int findid(int x)
{
    return lower_bound(all.begin(),all.end(),x)-all.begin();
}

void check()
{
    for(auto it:ye)
    {
        int x=findid(it.x),y=findid(it.y);
        int fax=find(x),fay=find(y);
        if(fax!=fay) f[fax]=fay;
    }
    
    bool cannot=false;
    for(auto it:no){
        int x=findid(it.x),y=findid(it.y);
        int fax=find(x),fay=find(y);
        if(fax==fay){
            cannot=true;break;
        }
    }
    if(cannot) cout<<"NO"<<endl;
    else cout<<"YES"<<endl;
}

int main()
{
    cin>>t;
    while(t--)
    {
        cin>>n;
        all.clear();
        ye.clear();
        no.clear();
        for(int i=0;i<N;i++) f[i]=i;
        while (n -- )
        {
            int x,y,op;cin>>x>>y>>op;
            all.push_back(x);all.push_back(y);
            if(op==1) ye.push_back({x,y});
            else no.push_back({x,y});
        }
        sort(all.begin(),all.end());
        all.erase(unique(all.begin(),all.end()),all.end());
        check();
    }
    return 0;
}