把“相同”视作关系 ∼。合理的充要条件是“相同”关系是等价关系(具备传递性): 若 a∼b 且 b∼c 必须推出 a∼c。因此不允许出现“两对相同一对不同”的三元组。
等价地,从图论角度看:
Alice 在家中架起一台服务器。某日她察觉这台机器的防火墙防护日志骤然增多。免得这台机器沦为矿机,Alice 启用一套能比对两次攻击类别是否相同的分析器去梳理防护日志。
现已给出分析器认定哪些攻击彼此存在差异,请判定该分析器给出的结论是否站得住。
其充要条件是:存在三次攻击 p,q,r ,若分析器认定其中两对类别相同而剩下那对类别不同,我们就判定分析器给出的结论并不站得住。
首行给出一个正整数 C(1<=C<=100) ,表示测试组数。
每一组测试都由三行组成:
其首行给出两个正整数 k,e(1<=k<=200,1<=e<=k∗(k−1)/2) ,表示袭击发生的条数、以及分析器标出类别有差异的攻击对数量。
随后两行每行都是 e 个正整数,同一列上的两个数 u,v 表示分析器认定第 u 次攻击与第 v 次攻击类别存在差异。
Alice 对任意一对攻击都跑过分析器,这两行覆盖了分析器认定存在差异的全部攻击对。
每一组测试,若分析器给出的结论站得住,就写 Yes ,否则写 No 。(注意首字母须大写)
输入
3
4 4
1 1 2 2
3 4 3 4
3 1
2
3
5 8
1 1 1 2 2 2 3 4
3 4 5 3 4 5 5 5
输出
Yes
No
Yes
© CodeFun2000 · 使用条款
Scan the QR code below with WeChat to sign in
First-time scan will create your account automatically
请使用微信扫描下方二维码完成注册