为什么2-sat的dfs的方法不能推广到每个元有多个状态，但是每次只限制其中两个元的分别一个状态，如：$(x_{i}=a)$&$(x_{j}=b)=1$），可不可以做啊，只不过时间复杂度稍稍大了一点，个人感觉用tarjan好像也行。

顺便问问n-sat的定义呀QAQ