2-sat
成长-小屁孩
这个作者很懒,什么都没留下…
展开
-
2-sat poj 3207 Ikki's Story IV - Panda's Trick
#include #include #include using namespace std; struct node { int u,v; }no[1100]; struct edge { int from,to,next; }e[1000100]; int head[1100]; int ecnt; int n,m; void addedge(int from,int t原创 2012-10-31 14:19:39 · 477 阅读 · 0 评论 -
hdu 2296 2-sat
#include #include #include #include using namespace std; struct node { int x,y; }no[110]; int n; struct edge { int from,to,next; }e[40010]; int ecnt; int head[220]; void addedge(int from,int原创 2012-10-31 22:10:26 · 264 阅读 · 0 评论 -
poj 3678 2-sat
#include #include #include using namespace std; struct edge { int from,to,next; }e[10000000]; int head[2000],ecnt; void addedge(int from,int to) { e[ecnt].from = from; e[ecnt].to = to;原创 2012-11-01 21:51:03 · 149 阅读 · 0 评论 -
2-sat hdu 3062
一、关于模型: 一个2-SAT模型应该是一个满足以下的条件的满足性问题: 1、该模型中存在2n个可以分成n组的元素,每组两个元素。 2、每组元素中,选择了其中一个元素,另外一个元素就不能被选择。这两个元素记为a和!a。 3、该模型中的元素之间存在一些关系,且这些关系是对称的。(除非是同一组元素中的关系,这些关系限定了“必须选择”该组中的某一个元素,可能单独出现)比如NOT(A[x] A原创 2012-10-29 21:34:29 · 296 阅读 · 0 评论