标签：题目 训练 差分 约束 2019 注意 建边 日记 SAT

差分约束/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

本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享；
2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关；
3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关；
4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除；
5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。