A_Bo的博客

开始根本没看出来这个题是2-Sat，还是水平不够啊，这个题的意思是：一个圆环上有n个点，n个点连m条线，这些线可以在圆内，也可以在圆外，需要我们判断这些线是否满足不相交，那么这些线的选择就只有在圆外和园内两种选择，所以我们在这里可以看到一点2-Sat的影子，但是这里还是缺少限制条件啊，这就要看我们怎么判断相交了，因为要防止他相交，我们就会得到限制条件，所以这就是一个选择线的2-Sat问题。线相交的...

HDU 3622题目意思是有n个选择，每次都是只能在两个坐标中选择一个，然后再选择的坐标上画圆，圆不能有重叠部分，问题画的做大的面积是多少题中是两个坐标选一个，然后约束条件就是在当前半径下两个点画圆是否有重叠，所以这是一个2-Sat问题，但是我们的半径应该怎么确定呢？很容易想打二分枚举就好#include <iostream>#include <cstdio>#incl...

看这个题的时候让我明白了前面博客中一个不明白的地方，一个关于2-Sat建边的问题，我们在2-Sat建边是，我们所建的边是要求选这个点，那么这个点之后的带你也是一定被选的，比如我们说A和B都是可以去0或1，他们满足A AND B = 1，那么A和B就必须都是1了，我们要怎么表示这个条件呢？我们要连接 A0 -> A1，B0 -> B1，这样我们如果选0的话，我们就必须要选1，那么他两个就...

写在前面这几天看了一下2-Sat，因为有Tarjan以及拓扑排序等等的知识基础，还是比较好理解的，我看到的有两个模板，一个是时间复杂度为O(nm),另一个时间复杂度为O(m)，但是第二种存在一种局限，他只是能求解随机的解，但是如果要是求解字典序最小的解，只能使用第一种解法.......模板我们就用一个例子来看一下第一个模板： HDU 1814题目意思：有2*n个人，每两个人一组（1-2一组，3-4...