Lawrence_Jang

#include#include#include#include#include#include#include#include#include#include#include#include#include#include#define iinf 2000000000#define linf 1000000000000000000LL#define dinf 1e

poj 2749每个 barn有2种连接方式牛之间有友好和矛盾的关系 根据这个可以建图  确定可行性假设可行 那么下面的问题是确定最小的最大距离2*i-1  表示连接是s12*i  表示连接s2#include#include#include#include#include#include#include#include#include#i

2-sat建图按照用与不用拆点#include#include#include#include#include#include#include#include#include#include#include#include#include#include#include#define iinf 2000000000#define linf 10000

poj 3678 Katu Puzzletwo sat很显然的模型不过值得注意的是建立图形是加边较多 需要仔细处理#include#include#include#include#include#include#include#include#include#include#include#include#include#include#in

poj 3683  2-sat 算法很容易想到建图：将每个婚礼可行2个区间建立左右界N个婚礼 2*N个区间 然后根据区间相交的矛盾建立新边这里求解可行解比较复杂最好自己写一下模板#include#include#include#include#include#include#include#include#include#inclu

poj 3207 Ikki's Story IV - Panda's Trickm个pair连接，每种连接可以有2种方式1：在内连接 2：在外连接不难发现会相交的情况的只有同时在内或者同时在外将连接方式标志为1--2*m在内为奇数 在外为偶数下面只要统计矛盾建立图形然后two sat求解是否存在即可#include#include#inclu

hdu 3622 bomb gametwo_satN组，每组2个坐标，选择一个放置炸弹，范围为半径为ri的圆 要求是任意的两个圆不能相交，N小于等于100 最后的得分是N个圆的最小半径 现在求的是最大得分容易想到二分答案 并进行可行性分析那么算法就有了。1：确定上下界、2：二分3：判断是否可行4：在精度范围内则跳出最终二分的解就是答案 #incl

#include#include#include#include#include#define M 50005#define SZ(x) x.size()#define FF(x,xi,y) for(int x=xi;x<=y;++x)#define FFL(x,u) for(int x=head[u];x!=-1;x=edge[x].next)#define CC(x,y) m

#include#include#include#include#include#include#include#include#include#include#include#include#include#include#define iinf 1000000000#define linf 1000000000000000000LL#define dinf 1e

很显然的2-sat模型每个城市的label可以是在上面或者在下面2分答案+2-sat求解即可关于建图 可以通过更多的预处理来简化这个过程 只要考虑坐标系内相交的两个正方形的特点即可，拆点可以很好的预处理#include#include#include#include#include#include#include#include#include#i