2014年3月30日
2-sat
摘要： 2-sat问题构图传送门方案可行性O（M）算法：建好图之后 利用tarjan强连通算法，最后判断每个点的1和0是否在一个强连通块里。#include#include#includeusing namespace std;struct{ int to,next;}edge[30000100]; ... 阅读全文
posted @ 2014-03-30 00:41 Mr.Youyu 阅读(282) 评论(0) 推荐(0)