摘要：
题意： 就是给出n对坐标，每对只能选一个，以选出来的点为圆心，半径自定义，画圆，而这些圆不能覆盖，求半径最小的圆的最大值 解析： 看到最x值最x化，那二分变为判定性问题，然后。。。然后我就没想到。。。 好的吧。。。2-sat 还能在不是一对的两个值之间建边。。。求出连通分量后 看一对中的两个坐标是否 阅读全文
摘要：
2 - SAT： 一个事物具有两面性，并且与其它事物存在约束关系 注意在建图的时候 不仅可以是在每次给出的两个间建边，还可以与其他的点建边 对于2-sat问题的描述 给出一个序列，每个数是一个bool值，给出一些限制关系，得到最终的可行解的问题叫做适应性问题，也就是sat问题，2-sat问题就是给出 阅读全文