摘要：
题：http://poj.org/problem?id=3678 题意：给定m组i和j的AND，OR，XOR组运算，判断是否存在序列满足条件 分析：注意范围0<=ci<=1，0<=ai<=1； 将i设为0，i‘设为1，分类讨论建立2-SAT模型即可 #include<iostream> #inclu 阅读全文
摘要：
题：http://acm.hdu.edu.cn/showproblem.php?pid=3622 题意：给定n组俩个圆心选择，求固定半径能覆盖的最大面积； 分析：显然半径越大面积覆盖越大，所以二分半径； 判断合法就是用2-SAT去连边，以当前为半径的圆会和其他哪些圆冲突就选其对立面连接起来； #in 阅读全文