Skip to content

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了,可以的话,请您参考添加页面,与大家一起分享你的题解!