摘要：http://codeforces.com/contest/245/problem/D和今年长春赛区的 第二题一样 2-sat 将每一个数的每一位作为一个点 要么是 1 要么是 02-sat 主要是代码长 比较繁琐 尤其是需要求结果的题目-----------不对劲呀 走在路上一想 这个题不用2—sat 就可以呀 晕 想多了 附加简单代码代码1：#include<iostream>#include<stdio.h>#include<string.h>#include<math.h>#include<algorithm>#include 阅读全文

摘要：http://poj.org/problem?id=27492-sat + 二分 在二分里面根据情况 有时候是求大的 有时候是求小的这个二分里面 我分的时候while(l<r)l=mid+1;r=mid;因为 mid可能就是答案 还有就是如果最后停在 r为有边界时 r可能不是答案需要特判 一下代码：#include<iostream>#include<cstdio>#include<cstring>#include<algorithm>#include<string>#include<vector>#include& 阅读全文

摘要：http://poj.org/problem?id=27232-sat 二分代码：#include<iostream>#include<cstdio>#include<cstring>#include<algorithm>#include<string>#include<vector>#include<map>#include<queue>#include<stack>#include<cmath>#define LL long longusing namespace std 阅读全文

摘要：http://poj.org/problem?id=3648新娘和新郎 和其他夫妇 一共n对 每对夫妇不能做在同一侧 而且有奸情的人两个人(男女 男男 女女 出题人口味好重呀)不能同时坐在新娘的对面2-SAT 限制条件 n对夫妇一共2×n个人 0--n-1 是新娘 n--2×n-1是对应新郎 染色时 1代表和新娘同侧 -1代表不同侧首先 新娘必须和新娘同侧2×n-->0 新郎必须和新娘对面n-->n+2×n 其他夫妇必须异侧有奸情的有一个在新娘对面 另一个一定和新娘同侧代码及其注释：#include<iostream>#inclu 阅读全文

摘要：http://poj.org/problem?id=3683标准的2-sat 而且是需要输出路径的一直纠结 缩点后建反向图 再利用拓扑排序那一点到底是怎么弄的 原来是自己的拓扑排序没学好 晕还有刚开始学邻接表的时候一直用动态的 就是没加一条边都要申请一个 new node没想到这次就超时了 因为边太多了 改成静态的直接100ms+ 差距太大了 以后不敢再用动态的了代码：#include<iostream>#include<cstdio>#include<cstring>#include<algorithm>#include<string&g 阅读全文

摘要：http://poj.org/problem?id=36782-SAT 问题 关键在于处理关系 看了别人的解析 自己还是不行呀代码：#include<iostream>#include<cstdio>#include<cstring>#include<algorithm>#include<string>#include<map>#include<queue>#include<stack>#include<cmath>#define LL long longusing namespace 阅读全文

摘要：http://poj.org/problem?id=3207一个圆上有n个点 m条连线(一个点最多只能连一条)每条线可以走圆外 或 圆内 2-SAT问题 把每条边转化为两条即为A 和 A‘ 他们只能出现一个 然后把相交的直线视为 相斥 这样就转化成简单的2-SAT问题了代码及其注释：#include<iostream>#include<cstdio>#include<cstring>#include<algorithm>#include<string>#include<map>#include<queue>#i 阅读全文