关于程序自动分析的近10条评论(全部评论)
嗯造map，嗯啊嗯啊..... 直接写map就能过，但是注意一定要先把所有操作读进来排序，先处理相等的再处理不相等的增强型图元文件 2024-03-17 18:09 19楼
yrtiop 2021-07-04 15:07 18楼
苟利国家生死以，岂因祸福避趋之 +1s 增强型图元文件 2020-11-16 20:24 17楼
Oasiz 2020-11-16 20:21 16楼
强行map @@2@ 2018-02-28 17:36 15楼
关掉优化开关就A了？！ Hzoi_moyi 2017-10-18 16:55 14楼
我为拉低这道题的通过率做出了贡献泪寒之雪 2017-05-19 17:57 13楼
原来NOI也有签到题.... ljt 2017-01-30 14:27 12楼
Marvolo 2016-11-16 19:21 11楼
n行可以有2n个不同元素。初始化……弱智+10 Rapiz 2016-05-24 20:34 10楼

2018. [NOI 2015]程序自动分析

★★☆ 输入文件：prog.in 输出文件：prog.out 简单对比
时间限制：3 s 内存限制：512 MiB

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

考虑一个约束满足问题的简化版本：假设$x_1,x_2,x_3,...x_n$代表程序中出现的变量，给定$n$个形如$x_i=x_j$或者$x_i≠x_j$的变量相等/不等的约束条件，请判定是否可以分别为每一个变量赋予恰当的值，使得上述条件同时被满足。

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

对于每个问题，包含若干行：

第一行一个正整数$n$,表示约束条件个数。

接下来$n$行，每行三个正整数$i,j,e$,描述一个相等/不等的约束条件。若$e=1$,则约束条件为$x_i=x_j$，若$e=0$,则约束条件为$x_i≠x_j$

输出文件包括T行。

输出文件的第k行输出一个字符串"YES"或者"NO"(不包含引号，字母全部大写).

NO
YES

YES
NO

$1<=T<=10$

对于1,2:$1<=n<10$

对于3,4:$10<n<=100$

对于5,6,7:$100<n<=100,000$

对于8,9,10:$100<n<=100,000$

对于前70%的数据：$1<=i,j<=10,000$

对于100%的数据：$1<=i,j<=1,000,000,000$

$NOI2015$