版权声明：抱最大的希望，为最大的努力，做最坏的打算。 https://blog.csdn.net/qq_37748451/article/details/88080789
最近三天训练的是差分约束和2-SAT
笔记如下，总结啥的明天再详细写写
感觉这两类题目都比较明显，比较容易看出来用那种方法
两者最重要的都是加边操作
2-sat有的找矛盾很麻烦，但找完比较容易A
差分约束的转换很重要，要转化多个约束条件
要注意的还是 数据大小问题，这几天t了和wa了很多次
差分约束大体分为三类：
线性约束
区间约束
未知条件约束
