/ fz_zsl / 题库 /

【模板】2-sat

【模板】2-sat

Description

给你n个bool变量和m个限制,限制形如 a b 表示要求xax_a^xbx_b=1
问你有没有解,有解输出"Yes",无解输出"No"。

Format

Input

第一行两个数nnmm,意义如题。
接下来mm行,每行两个正整数aabb表示限制

Output

"Yes"或者"No"

Sample 1

Input

5 3
1 3
2 4
5 2

Output

Yes

Limitation

对于30%的数据,nn,m100m\leq100
对于70%的数据,nn,m10000m\leq10000
对于100%的数据,nn,m106m\leq10^6

ORZ CSY

信息

难度
9
分类
(无)
标签
递交数
7
已通过
2
通过率
29%
上传者