摘要: /*题意:u,v,w队长,队员,队长留下两个队员可以回家,两个队员留下,队长回家2-sat问题,把两个队员看成一个整体就变成一个简单2-sat问题了*/#include#include#include#includeusing namespace std;#define N 6100#define... 阅读全文
posted @ 2014-11-09 19:19 HYDhyd 阅读(110) 评论(0) 推荐(0) 编辑
摘要: /*题意:石头剪子布,现在已知n回合bob将会出什么,对alice有限制,对于u,v,w;如果w=0说明a,b回合必须出的一样否则,必须不一样。alice如果输一回合就输了,否则就赢了解:2-satalice有两个选择要么平手要么赢。对于第u回合,alice可以出au,bu;对于第v回合,alice... 阅读全文
posted @ 2014-11-09 16:44 HYDhyd 阅读(140) 评论(0) 推荐(0) 编辑
摘要: /*题意:还是二进制异或,和poj3678类似建边和poj3678一样*/#include#include#include#define N 2100struct node{ int v,next;} bian[N*N];int head[N],dfn[N],low[N],vis[N],sta... 阅读全文
posted @ 2014-11-09 13:55 HYDhyd 阅读(106) 评论(0) 推荐(0) 编辑
摘要: /*题意:给你一些边,每条边有一个值和一个运算符XOR OR AND求是否存在一些点使得所有的边根据这些运算符可以符合条件的权值.建边方式参考:http://blog.csdn.net/shuangde800/article/details/8876533这种建边方式真好,以后就用这种了0 -- ... 阅读全文
posted @ 2014-11-09 11:40 HYDhyd 阅读(199) 评论(0) 推荐(0) 编辑