2014年11月10日
poj 3683 2-sat问题，输出任意一组可行解
摘要： /*2sat问题输出任意一组可行解*/#include#include#include#include#include#includeusing namespace std;#define N 2100struct node {int u,v,next;}ff[N],bian[N*N*8];int ... 阅读全文
posted @ 2014-11-10 11:53 HYDhyd 阅读(134) 评论(0) 推荐(0) 编辑