[MSSB]差分约束

目录

• 原理
• 特征
• 解法
  • 对于较为简单的题目
  • 对于稍稍复杂的题目
  • 对于更加复杂的题目
• 题目
  • POJ 1201-Intervals
  • luogu P1993 小K的农场
  • [SCOI2011]糖果
  • luogu P3084 [USACO13OPEN]照片Photo
  • UVA11478 Halum
  • poj1275 出纳员问题
  • luogu P4878 [USACO05DEC] 布局

原理

原理>>>>>>>

特征

差分约束是线性程序设计的一种(关于线性程序设计的数学定义,详见<数与图的完美结合-------浅析差分约束系统_华中师大一附中冯威>)

一般特征为:可以转化为多个形如\(x_i-x_j<=c_k\)的不等式(最直接特征)

解法

对于较为简单的题目

题中应该是有告诉约束(不等)关系的,直接按照约束关系和基本要求建立不等式组即可

对于稍稍复杂的题目

惯用策略为:

• 求前缀和构造不等式

对于更加复杂的题目

已经见过的模式:

• 二分+判断不等式组是否有解

题目

POJ 1201-Intervals

>>>>>>>>>>题解

luogu P1993 小K的农场

>>>>>>>>>>题解

[SCOI2011]糖果

>>>>>>>>>>题解

luogu P3084 [USACO13OPEN]照片Photo

>>>>>>>>>>题解

UVA11478 Halum

>>>>>>>>>>题解

poj1275 出纳员问题

>>>>>>>>>>题解

luogu P4878 [USACO05DEC] 布局

>>>>>>>>>>题解