2019年3月2日训练日记
作者:互联网
差分约束/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、有的题目注意拆点。
标签:题目,训练,差分,约束,2019,注意,建边,日记,SAT 来源: https://blog.csdn.net/LSD20164388/article/details/88072562