P1955 [NOI2015] 程序自动分析题解

2024-03-14 08:36

本文主要是介绍P1955 [NOI2015] 程序自动分析题解,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

题目

在实现程序自动分析的过程中,常常需要判定一些约束条件是否能被同时满足。

考虑一个约束满足问题的简化版本:假设x1​,x2​,x3​,⋯ 代表程序中出现的变量,给定n个形如xi​=xj​或xi​!=xj​ 的变量相等/不等的约束条件,请判定是否可以分别为每一个变量赋予恰当的值,使得上述所有约束条件同时被满足。例如,一个问题中的约束条件为:x1​=x2​,x2​=x3​,x3​=x4​,x4​!=x1​,这些约束条件显然是不可能同时被满足的,因此这个问题应判定为不可被满足。

现在给出一些约束满足问题,请分别对它们进行判定。

输入输出格式

输入格式

输入的第一行包含一个正整数t,表示需要判定的问题个数。注意这些问题之间是相互独立的。

对于每个问题,包含若干行:

第一行包含一个正整数n,表示该问题中需要被满足的约束条件个数。接下来n行,每行包括三个整数i,j,e,描述一个相等/不等的约束条件,相x邻整数之间用单个空格隔开。若e=1,则该约束条件为xi​=xj​。若e=0,则该约束条件为xi​!=xj​。

输出格式

输出包括t行。

输出文件的第k行输出一个字符串YES或者NO(字母全部大写),YES表示输入中的第k个问题判定为可以被满足,NO表示不可被满足。

输入输出样例

输入样例

2
2
1 2 1
1 2 0
2
1 2 1
2 1 1

输出样例

NO
YES

解析

这个题目采用并查集解决,先根据e值的大小将式子进行排序,先处理相等的式子,将相等的式子合并在一个集合里面,然后处理不等的式子,如果不等的式子出现在同一个集合里面,那么直接返回NO,如果没有返回YES。这个题目由于数据比较大,所以将数据离散化将空间进行压缩。

#include<cstdio>
#include<map>
#include<algorithm>
using namespace std;
const int max_n=200005;
struct node{int l,r,e;
}m[100005];
int f[max_n];
bool cmp(node a,node b){return a.e>b.e;
}
int find(int x){if(f[x]!=x){f[x]=find(f[x]);}return f[x];
}
void ad(int x,int y){x=find(x);y=find(y);if(x==y){return;}f[x]=y;
}
void judge(){int n,mark=1;//使用mark进行离散化数据压缩空间scanf("%d",&n);map<int,int> ds;for(int i=1;i<=n;i++){scanf("%d%d%d",&m[i].l,&m[i].r,&m[i].e);if(!ds[m[i].l]){ds[m[i].l]=mark;mark++;}if(!ds[m[i].r]){ds[m[i].r]=mark;mark++;}}sort(m+1,m+1+n,cmp);for(int i=1;i<=n;i++){if(m[i].e){ad(ds[m[i].l],ds[m[i].r]);}else{if(find(ds[m[i].l])==find(ds[m[i].r])){printf("NO\n");return;}}}printf("YES\n");
}
int main(){int t;scanf("%d",&t);while(t--){for(int i=1;i<=max_n;i++){f[i]=i;}judge();}return 0;
}

这篇关于P1955 [NOI2015] 程序自动分析题解的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/807822

相关文章

微信公众号脚本-获取热搜自动新建草稿并发布文章

《微信公众号脚本-获取热搜自动新建草稿并发布文章》本来想写一个自动化发布微信公众号的小绿书的脚本,但是微信公众号官网没有小绿书的接口,那就写一个获取热搜微信普通文章的脚本吧,:本文主要介绍微信公众... 目录介绍思路前期准备环境要求获取接口token获取热搜获取热搜数据下载热搜图片给图片加上标题文字上传图片

Go标准库常见错误分析和解决办法

《Go标准库常见错误分析和解决办法》Go语言的标准库为开发者提供了丰富且高效的工具,涵盖了从网络编程到文件操作等各个方面,然而,标准库虽好,使用不当却可能适得其反,正所谓工欲善其事,必先利其器,本文将... 目录1. 使用了错误的time.Duration2. time.After导致的内存泄漏3. jsO

SpringBoot中封装Cors自动配置方式

《SpringBoot中封装Cors自动配置方式》:本文主要介绍SpringBoot中封装Cors自动配置方式,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录SpringBoot封装Cors自动配置背景实现步骤1. 创建 GlobalCorsProperties

Spring事务中@Transactional注解不生效的原因分析与解决

《Spring事务中@Transactional注解不生效的原因分析与解决》在Spring框架中,@Transactional注解是管理数据库事务的核心方式,本文将深入分析事务自调用的底层原理,解释为... 目录1. 引言2. 事务自调用问题重现2.1 示例代码2.2 问题现象3. 为什么事务自调用会失效3

idea中创建新类时自动添加注释的实现

《idea中创建新类时自动添加注释的实现》在每次使用idea创建一个新类时,过了一段时间发现看不懂这个类是用来干嘛的,为了解决这个问题,我们可以设置在创建一个新类时自动添加注释,帮助我们理解这个类的用... 目录前言:详细操作:步骤一:点击上方的 文件(File),点击&nbmyHIgsp;设置(Setti

找不到Anaconda prompt终端的原因分析及解决方案

《找不到Anacondaprompt终端的原因分析及解决方案》因为anaconda还没有初始化,在安装anaconda的过程中,有一行是否要添加anaconda到菜单目录中,由于没有勾选,导致没有菜... 目录问题原因问http://www.chinasem.cn题解决安装了 Anaconda 却找不到 An

Spring定时任务只执行一次的原因分析与解决方案

《Spring定时任务只执行一次的原因分析与解决方案》在使用Spring的@Scheduled定时任务时,你是否遇到过任务只执行一次,后续不再触发的情况?这种情况可能由多种原因导致,如未启用调度、线程... 目录1. 问题背景2. Spring定时任务的基本用法3. 为什么定时任务只执行一次?3.1 未启用

C++ 各种map特点对比分析

《C++各种map特点对比分析》文章比较了C++中不同类型的map(如std::map,std::unordered_map,std::multimap,std::unordered_multima... 目录特点比较C++ 示例代码 ​​​​​​代码解释特点比较1. std::map底层实现:基于红黑

一文详解SQL Server如何跟踪自动统计信息更新

《一文详解SQLServer如何跟踪自动统计信息更新》SQLServer数据库中,我们都清楚统计信息对于优化器来说非常重要,所以本文就来和大家简单聊一聊SQLServer如何跟踪自动统计信息更新吧... SQL Server数据库中,我们都清楚统计信息对于优化器来说非常重要。一般情况下,我们会开启"自动更新

Spring、Spring Boot、Spring Cloud 的区别与联系分析

《Spring、SpringBoot、SpringCloud的区别与联系分析》Spring、SpringBoot和SpringCloud是Java开发中常用的框架,分别针对企业级应用开发、快速开... 目录1. Spring 框架2. Spring Boot3. Spring Cloud总结1. Sprin