2-SAT——2.0(hdu3715 Go Deeper,The 2010 ACM-ICPC Asia Chengdu Regional Contest)
也是很裸的模型,不过由于解未知,要求找到最大的可行解,所以需要在解的可行区间里面二分查找答案,直到找到最大的可行解。ifdep
#include
#include
#include
usingnamespacestd;
constintN=20010;
structEdge{
ints,e,next;
}edge[3*N];
intn,m,e_num,vis_num,cnt,head[N],