2019/3/2训练日记

最近三天训练的是差分约束和2-SAT 

笔记如下，总结啥的明天再详细写写

感觉这两类题目都比较明显，比较容易看出来用那种方法

两者最重要的都是加边操作

2-sat有的找矛盾很麻烦，但找完比较容易A

差分约束的转换很重要，要转化多个约束条件

要注意的还是 数据大小问题，这几天t了和wa了很多次

差分约束大体分为三类：
线性约束

区间约束

未知条件约束