2018年7月3日
poj3683
摘要： 2-SAT算法流程 1.建立选择边 2.tarjan缩点（同一块内必然同时选择），判断是否存在可行解（若存在一对对立点{2*i,2*i-1}在同一块内，则不可行） 3.把缩点后的块之间建立反向选择边，并传递不选择命令（code中用op[ ]数组记录） 4.按照拓扑序找到一为选择的点（块），标为选择， 阅读全文
posted @ 2018-07-03 07:51 lnyzo 阅读(242) 评论(0) 推荐(0) 编辑