#P1993. 小 K 的农场

    ID: 943 Type: RemoteJudge 1000ms 128MiB Tried: 1 Accepted: 1 Difficulty: 4 Uploaded By: Tags>图论广度优先搜索,BFS差分约束

小 K 的农场

题目描述

小 K 在 MC 里面建立很多很多的农场,总共 nn 个,以至于他自己都忘记了每个农场中种植作物的具体数量了,他只记得一些含糊的信息(共 mm 个),以下列三种形式描述:

  • 农场 aa 比农场 bb 至少多种植了 cc 个单位的作物;
  • 农场 aa 比农场 bb 至多多种植了 cc 个单位的作物;
  • 农场 aa 与农场 bb 种植的作物数一样多。

但是,由于小 K 的记忆有些偏差,所以他想要知道存不存在一种情况,使得农场的种植作物数量与他记忆中的所有信息吻合。

输入格式

第一行包括两个整数 nnmm,分别表示农场数目和小 K 记忆中的信息数目。

接下来 mm 行:

  • 如果每行的第一个数是 11,接下来有三个整数 a,b,ca,b,c,表示农场 aa 比农场 bb 至少多种植了 cc 个单位的作物;
  • 如果每行的第一个数是 22,接下来有三个整数 a,b,ca,b,c,表示农场 aa 比农场 bb 至多多种植了 cc 个单位的作物;
  • 如果每行的第一个数是 33,接下来有两个整数 a,ba,b,表示农场 aa 种植的的数量和 bb 一样多。

输出格式

如果存在某种情况与小 K 的记忆吻合,输出 Yes,否则输出 No

3 3
3 1 2
1 1 3 1
2 2 3 2

Yes

提示

对于 100%100\% 的数据,保证 1n,m,a,b,c5×1031 \le n,m,a,b,c \le 5 \times 10^3