摘要：
传送门 这道题真是2-SAT好题啊！！卡了我两个点才做完……垃圾POJ还不告诉我哪错了…… 首先我们先花一段时间把题看懂……（其实是翻译一下），之后我们发现因为每个谷仓只能向一个中转点连边，所以他就是一个布尔变量的两个取值。然后对于每个限制条件，其实就是^嘛！我们把他转换为合取范式之后建一下图。不过 阅读全文
摘要：
传送门 一道非常不错的建图2-SAT。 首先花了几分钟看懂题……毕竟是英文。然后我们发现其实一共只有六种限制，然后我们的目标就是求出一组布尔方程的解使得整个方程值为真。 我们进行一下转换： 1.a&&b=1，这样我们就必须保证a，b同时为真，那就从！a向a建边，！b向b建边。 2.a&&b=0，这样 阅读全文
摘要：
传送门 稍微复杂一点的2-SAT。 读题之后发现有以下限制： 1.每一对夫妻（包括新郎和新娘）不能坐在桌子的一侧。 2.对于一些给定的非法（自行脑补）的关系，这两个人不能坐在新娘的同一侧。 因为每个人只有两种就坐方式，所以每个人可以被看成一个布尔变量。我们把每一对夫妻拆成两个点，分别表示是否坐在新郎 阅读全文
摘要：
传送门 这个应该也算是一道2-SAT的入门题了……然后这题的读入倒是挺坑的。 题目描述很长，所以我很慢才提取出所需要的信息……后来发现，对于每种材料，他最后的呈现方式不是满式菜肴就是汉式菜肴，那么其实每一种材料都可以被看做是一个布尔变量，可以自定作为满/汉式为0，另一种为1. 然后发现要求满足所有评 阅读全文
摘要：
传送门 什么是2-SAT问题呢？ 我们先说一下SAT问题。给定一个布尔方程，判断是否存在一组布尔变量的取值方案，使得整个方程式的值为真，这种问题被称为布尔方程的可满足性问题（SAT）。SAT问题被证明是NP完全的，当k > 2的时候我们无法在多项式时间之内求解，但是对于一些特殊的SAT（比如2-SA 阅读全文
摘要：
传送门（poj3177） 这道题是Tarjan求桥的模板题。大意是要求在原图上加上数量最少的边，使得整张图成为一个边双联通分量。 具体的做法是，先在图中求出所有的桥，之后把边双联通分量缩成点，这样的话原图就变成了一棵树。之后，我们就在叶子之间加边即可。如何加最少的边呢？好像第一眼看上去，随便在两个叶 阅读全文