2-sat相关复习 noi曾经考过,谁能说得准呢 sat问题 通俗的sat问题表述一般是这样的:有很多个集合,每个集合里面有若干元素,现给出一些取元素的规则,要你判断是否可行,可行则给出一个可行方案.如果所有集合中,元素个数最多的集合有k个,那么我们就说这是一个k-sat问题. k-sat是NP问题,当k>2时,所以在OI里,我们只讨论2-sat问题的解决. 能干啥 一般形式(模板):n个点,每个点有个01变量,给出m个限制,让你找出符合限制的一组合法解 限制条件一般为\(x_{0} \oplu…