Enstein_Jun

原创 差分约束系统

差分约束系统，一听这个名字，顿时觉得好高大上。其实并不是这样，那么什么是差分约束系统呢？简单来说就是，给你一堆诸如：x - y 1、差分约束系统 现在我们给出一个标准的查分约束的定义。 如果一个系统由n个变量和m个约束条件组成，形成m个形如xi-xj≤bk的不等式(i,j∈[1,n],k为常数),则称其为差分约束系统(system of difference constraints)。亦即