差分约束/2-SAT小结：
差分约束：
1、题目特征一般比较明显，是求解关于一组变数的特殊不等式组。
2、一般分三种:最长路（求最小值）、最短路（求最大值）、判断解是否存在（判负环）。
3、建边的时候一定要注意隐含的不等式。根据题目所给信息灵活加边加超级源点，灵活应对各种不同的输出。
核心还是建边。
4、经典的应用有分糖果、区间差分约束等。一般用spfa，因为一般会有负边权。
5、有的问题还需要预处理、增加偏移量等。
2-SAT：
1、最明显的特征：每件物品有且只有两种选择，只能选择其中一种true or false。（有的题目也可以转化成二选一来用2-SAT做）
2、板子是不会有问题的，所以只需要注意加边即可。对于每个约束，想好添加几条边（1,2,4）。我的习惯是用x表示选，x+n表示不选。根据具体题目，有时候n会变化。
3、对于比较复杂的判边，一定要理清思路。有时候会加上二分，当然要注意上下界的设置。注意数据类型和输入输出、数组大小等细节。
4、有的题目注意拆点。