改了个错别字 2-SAT

显然地，时间复杂度为 $O(n+m)$ 。

### 爆搜

### 暴搜

就是沿着图上一条路径，如果一个点被选择了，那么这条路径以后的点都将被选择，那么，出现不可行的情况就是，存在一个集合中两者都被选择了。