llwwll

摘要： #什么是2-sat问题 学习资料 如给定$n$个变量，可以赋值为$A{{0} }$或$A{{1} }$，现给出$m$个限制，询问是否存在合法赋值使得$m$个询问均成立 很抽象吧 ####举个例子 现在有$n$个水果，有$m$个人，他们每一个人会有两种需求，他们可能会需要第$i$种，也可能讨厌第$j$ 阅读全文