差分约束系统(Difference Constraints System)是一种用于描述一组变量之间的关系的数学模型。它由一组形如 xj - xi ≤ cij 的不等式构成,其中xj和xi是变量,cij是常数。这些不等式称为差分约束。
差分约束系统可以用于描述一系列变量之间的相对关系,例如时间、位置、任务等。通过解决差分约束系统,可以得到满足所有约束条件的变量取值,以及满足这些约束条件的一组解。
题号 | 标题 | 解决/提交 | ||
---|---|---|---|---|
3284 | 信息学奥赛一本通T1682-Intervals | 中等题 | 6/9 | |
2418 | 信息学奥赛一本通T1510-出纳员问题 | 中等题 | 6/8 | |
2419 | 信息学奥赛一本通T1511-糖果 | 中等题 | 9/28 | |
2420 | 信息学奥赛一本通T1512-排队布局 | 中等题 | 12/22 |