【模板】2-sat
Description
给你n个bool变量和m个限制，限制形如 a b 表示要求\(x_a\)^\(x_b\)=1
问你有没有解，有解输出"Yes",无解输出"No"。
Format
Input
第一行两个数\(n\)和\(m\)，意义如题。
接下来\(m\)行，每行两个正整数\(a\)和\(b\)表示限制
Output
"Yes"或者"No"
Sample 1
Input
5 3
1 3
2 4
5 2
Output
Yes
Limitation
对于30%的数据，\(n\),\(m\leq100\)
对于70%的数据，\(n\),\(m\leq10000\)
对于100%的数据，\(n\),\(m\leq10^6\)
