随笔分类 - 图论——2-sat
摘要：题意 给出一张图，将其分为一个团和一个独立集。问有多少种方案。 团和独立集都不能为空 思路 先考虑找可行方案应该怎么做 显然是个$2 sat$。可以将分到团和独立集中分别看为0和1。 如果两个点之间右边，那么必定不能同时在独立集中。如果两个点之间没有边，那么必定不能同时在团中。然后连边$求2 sat
阅读全文
摘要：题目链接 思路 既然$x$的数量那么小，我们就可以先把每个$x$搜索一遍。 枚举x的时候不需要把$a,b,c$全枚举一遍，只要枚举其中的两个就可以枚举到当前位置选任何车的情况。 然后就变成了只有$'a','b','c'$的序列。寻找满足题目要求的方案。 $2 sat$模型。 连边的时候注意一些技巧，
阅读全文
摘要：题目链接 思路 首先以那个环为框架，把所有的边连出来。如果有两条边相交，那么就把其中一条放到环外面去。 如图： $(1,3)$与$(2,5)相交，$(1,4)$与$(2,5)相交。所以我们把$(2,5)$这条边放到外面去。 就成了这样 就不会有边相交了。 显然如果两条边在环内相交，那么全部挪到环外也
阅读全文
摘要：题目链接 题意 给定一张图，对于每条边给出一个运算符$(\&,|,\otimes)$和一个值$c(0 \le c \le 1)$。问能否通过给每个点赋上一个值。使得每条边通过指定的运算都能得到指定的值。 思路 $2 sat$问题，需要注意的是当两数$\&$起来为$1$时。必须全部为$1$，所以就从每
阅读全文
摘要：问题简介 在计算机科学中，布尔可满足性问题（有时称为命题可满足性问题，缩写为SATISFIABILITY或SAT）是确定是否存在满足给定布尔公式的解释的问题。换句话说，它询问给定布尔公式的变量是否可以一致地用值TRUE或FALSE替换，公式计算结果为TRUE。如果是这种情况，公式称为可满足。另一方面
阅读全文
