摘要:
/*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
阅读(142)
评论(0)
推荐(0)
浙公网安备 33010602011771号