1230: 2SAT

对于一系列形如$(x_i=a) \lor (x_j=b)$的约束，其中$a,b\in {0,1}$，你需要判断是否存在一组${x_i}$使其同时满足。

第一行两个整数$n$和$m$，分别表示变量和约束的个数。
接下来$m$行，每行四个整数$i, a, j, b$，表示对$x_i$和$x_j$有一条形如$(x_i=a) \lor (x_j=b)$的约束。
如 $1, 0, 2, 1$ 表示 $(x_1=0) \lor (x_2=1) $。

果这些约束可同时满足输出"Yes"，否则输出"No"。（不包括双引号）

text 3 4 1 1 2 1 1 0 2 1 1 1 2 0 1 0 2 0

text No

对于30\%的数据，$n \le 3000$。
对于100\%的数据，$n, m \le 10^6$。

Oops! 本题目还没有解答！

助教老师们编题的速度，已经超过了解题的速度！

OJ翻了一新，但本解答集还大多用的是2017-2019级，甚至更早的同学们贡献的答案。

如果你已经AC了，可以的话，请您参考添加页面，与大家一起分享你的题解！