目录
原理
特征
差分约束是线性程序设计的一种(关于线性程序设计的数学定义,详见)
一般特征为:可以转化为多个形如\(x_i-x_j<=c_k\)的不等式(最直接特征)
解法
对于较为简单的题目
题中应该是有告诉约束(不等)关系的,直接按照约束关系和基本要求建立不等式组即可
对于稍稍复杂的题目
惯用策略为:
- 求前缀和构造不等式
对于更加复杂的题目
已经见过的模式:
- 二分+判断不等式组是否有解
目录
差分约束是线性程序设计的一种(关于线性程序设计的数学定义,详见)
一般特征为:可以转化为多个形如\(x_i-x_j<=c_k\)的不等式(最直接特征)
题中应该是有告诉约束(不等)关系的,直接按照约束关系和基本要求建立不等式组即可
惯用策略为:
已经见过的模式:
转载于:https://www.cnblogs.com/andrew82/p/11444839.html