摘要： 2 sat小结 原文作者：老K _ "原文传送门" _ 2 sat是什么 一类问题是这样的： （两个符号的意思 $\lor \ or,\land \ and$） 有n个布尔变量，现在对它们做出限制，比如$a_i=1,a_i \lor a_j=1$，求一组可行的解。 假设限制元素最多的限制限制了k个元 阅读全文