摘要：题目描述 题解： 假的$3-SAT$，真的$2-SAT$。 我们可以枚举所有的$x$都是什么，这样做是$O(n*3^d)$的。 但是考虑到$a$包含了$B$和$C$，$b$包含了$A$和$C$，我们可以不用将$x$改成$c$，改成$a$或$b$就好了。 将每个地图分为两个点。比如当前为$a$，那么我 阅读全文

摘要：题目大意：给出n个bool变量，以及m个条件，条件为x,vx,y,vy，表示 x == vx || y == vy 。 求匹配。 题解： 最近新学了一下2-SAT算法。2-SAT指有若干个bool变量（显然有1/0两个值），还给出若干限定条件，比如: t1 || t2 t1 || !t2 t1 && 阅读全文