摘要：题：http://acm.hdu.edu.cn/showproblem.php?pid=4115 题意：小明和小红玩猜拳游戏，已知小明的n个出拳情况，然后小明给出m种限制[x,y,c]若c==0，就要求小红第x局和第y局要出相同的方案，否则不同。问能否存在小红维持全部不输且符合这m个条件的情况； 分 阅读全文

摘要：题：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 阅读全文

摘要：模板 void addedge(int u,int v){ g[u].pb(v); rg[v].pb(u); } void dfs(int u){ vis[u]=1; for(int i=0;i<g[u].size();i++) if(!vis[g[u][i]]) dfs(g[u][i]); cb. 阅读全文