2016年8月16日
2-SAT 学习笔记
摘要： 总结了下就三句话： 1.确定集合，以及每个集合必须二选一的状态 2.枚举相关的集合，再枚举相关集合可能出现的会影响状态选择的矛盾情况 3.以矛盾为前提，确定的情况才加边 感觉矛盾可以理解为“无法导致条件成立的情况” 所以很多时候要先确定一个条件，然后把不能使之成立的情况找出来，建图后判定 1.POJ 阅读全文
posted @ 2016-08-16 21:49 Septher 阅读(263) 评论(0) 推荐(0) 编辑