Skip to content

14376: 【原4376】2SAT

题目

题目描述

author: sakiko 原OJ链接:https://acm.sjtu.edu.cn/OnlineJudge-old/problem/4376

Description

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

Input Format

第一行两个整数$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) $。

Output Format

如果这些约束可同时满足输出"Yes",否则输出"No"。(不包括双引号)

Sample Input 1

3 1
1 1 3 0

Sample Output 1

Yes

Sample Input 2

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

Sample Output 2

No

Data Range

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

Oops! 本题目还没有解答!

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

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

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