差分约束系统中的每个约束条件是形如如下所示的简单不等式：
xj - xi
例如，求解不等式组
x1-x5≤-1
x2-x5≤1
x3-x1≤5
x4-x1≤4
x4-x3≤-1
x5-x3≤-3
x5-x4≤-3
该问题的一个解为x=(-5,-3,0,-1,-4)，另一个解y=(0,2,5,4,1)，这2个解是有联系的：y中的每个元素比x中相应的元素大5。
引理：设x=(x...
分类：
其他好文 时间：
2015-07-26 06:14:19
阅读次数：
137
??
题意：给定一个有向图，每条边都有一个权值。每次你可以选择一个结点v和一个整数d,把所有以v为终点的边的权值减小d,把所有以v为起点的边的权值增加d,最后让所有边的权值的最小值大于零且尽量大。
ps：lrj的书上有个坑，说上说非负，其实原题说要大于0.....wa了好几发
分析：因为不同的操作互不影响，因此可以按任意顺序实施这些操作。另外，对于同一个点的多次操作可以合并，因此可以令sum...
分类：
其他好文 时间：
2015-07-26 06:13:45
阅读次数：
108
题意：
从1到n，n个数，从左向右一次排列。给定两种形式的约束条件：
1.xix_i与yiy_i的最大距离为dkd_k
2.xix_i与yiy_i的最小距离为dkd_k
问满足这些限定条件的情况下，数1和n的最大距离是多少？（若约束条件相互矛盾则输出-1，若最大距离可以为无穷大则输出-2）知识补充：差分约束系统的概念：由n个变量和m个约束条件（实数）组成，且都是形如：xi?yj≤bk（x,y为...
分类：
其他好文 时间：
2015-07-25 20:04:16
阅读次数：
121
给我们n座房子，房子的高度各不相同， 从最低的房子开始， 每次跳到更高的房子， 跳n-1次最能跳到最高的房子了，但是每次跳跃的距离不能超过d将这些房子在一维的方向上重新摆放（但是保持输入时的相对位置不变） ， 使得最矮的房子和最高的房子水平距离最大将房子的坐标设为xi， n个变量， 和2(n-1)个...
分类：
其他好文 时间：
2015-07-14 22:04:08
阅读次数：
145
ZOJ– 2770Burn the Linked Camp单源最短路径差分约束系统
分类：
其他好文 时间：
2015-06-11 20:57:31
阅读次数：
145
首先吐槽一下这个题目的题意描述，我看了半天才明白。 下标全部都是乱标的！！！！出题者能不能规范一点下标的写法！！！！差分约束系统#include#include#include#include#include#includeusing namespace std;int n,m,tyu;const ...
分类：
其他好文 时间：
2015-06-11 00:00:12
阅读次数：
246
差分约束系统例如，5 620 34 54 10 15这一组测试数据先编号，分别为1 2 3 4 5 ，然后可以写出一组表达式，两个编号之间的距离必定大于等于1的，所以i+1到i建立有向边，权值为-1，然后进行结构体排序，根据高度来排序。然后相邻两个节点再写表达式，标号小的到标号大的之间建立有向边，权...
分类：
其他好文 时间：
2015-06-10 17:17:00
阅读次数：
115
差分约束系统。根据题意，可以写出不等式L =L/Xij由于差分约束系统是减法。。除法变减法可以用对数来解决。两个式子两边取对数，可以写成log(Ai)-log(Bj)=log(L/Xij)log(Ai)和log(Bj)看作两个节点。编号分别为i和n+j，建立有向图，判断有没有负环存在。if(summ...
分类：
其他好文 时间：
2015-06-10 14:00:32
阅读次数：
112
差分约束系统。求最小值，用最长路来解决。#include#include#include#include#include#includeusing namespace std;const int maxn=50010;const int INF=0x7fffffff;struct abc{ i...
分类：
其他好文 时间：
2015-06-10 01:02:19
阅读次数：
125
关于差分约束系统，今天又回顾了一下，发现了新的知识。如果要求的是最大值，也就是确定上界，那么就用最短路来求解，例如X-Y=3&&X-Y>=8，那么X-Y的最小值不可能是3，最小也会是8，所以确定最小值用的是最长路。关于有向边和权值的确定：不管是求最短路（上界，最大值）还是最长路（下界，最小值），先把...
分类：
其他好文 时间：
2015-06-09 21:47:13
阅读次数：
83
