差分约束与SPFA算法

开始课件上pdf上的一道题，poj3159Candies，是在dijkstra算法中的练习的，刚刚系统的学习图论算法并写代码（虽然上过数据结构，但基本都是理论知识。。）然后就直接用dijkstra算法写，有判断条件没写，一直TLE，在网上看到别人都写着差分约束， 这个，好像听过。。 具体是什么，不知道。
今天花时间看了下这个知识。 基本有了解了，来记下笔记

先给出一个定理：（来自算法导论）
给定差分约束系统Ax<=b;设G=(V,E)是该差分约束系统所对应的约束图。如果图G不包含权重为负值的环路，则x=（d[V0,V1],d[V0,V2],……,d[V0,Vn])是该系统的一个可行解。如果图G包含权重为负值的环路，则该系统没有可行解。

通俗的将大概是这样吧，差分约束系统就是给出一些形如x-y<=b不等式的约束。
问你是否有满足问题的解，或者求最小，最大解。

对于图论的最短路径，有：对于d(v) <= d(u) + w(u, v) ，而差分约束系统的解法利用到了单源最短路径问题中的三角形不等式性质。
移项得：d(v) – d(u) <= w(u, v)，是不是和上面的x-y<=b的一样？
是的，这就是转化为最短路径算法的原理。

此方法难点在于构建约束图。

先给出一个基本的模板吧：http://blog.csdn.net/feng_zhiyu/article/details/76164106

下面是引用别人的：http://www.cnblogs.com/void/archive/2011/08/26/2153928.html
关于求的是最大最小值的分析：
一直不知道差分约束是什么类型题目，最近在写最短路问题就顺带看了下，原来就是给出一些形如x-y<=b不等式的约束，问你是否满足有解的问题
好神奇的是这类问题竟然可以转换成图论里的最短路径问题，下面开始详细介绍下
比如给出三个不等式,b-a<=k1,c-b<=k2,c-a<=k3,求出c-a的最大值,我们可以把a,b,c转换成三个点，k1，k2，k3是边上的权，如图

由题我们可以得知，这个有向图中，由题b-a<=k1,c-b<=k2,得出c-a<=k1+k2,因此比较k1+k2和k3的大小，求出最小的就是c-a的最大值了
根据以上的解法，我们可能会猜到求解过程实际就是求从a到c的最短路径，没错的….简单的说就是从a到c沿着某条路径后把所有权值和k求出就是c -a<=k的一个
推广的不等式约束，既然这样，满足题目的肯定是最小的k，也就是从a到c最短距离…
理解了这里之后，想做题还是比较有困难的，因为题目需要变形一下，不能单纯的算..
首先以poj3159为例,这个比较简单，就是给出两个点的最大差，然后让你求1到n的最大差，直接建图后用bellman或者spfa就可以过了
稍微难点的就是poj1364，因为他给出的不等式不是x-y<=k形式，有时候是大于号，这样需要我们去变形一下，并且给出的还是>,<没有等于，都要变形
再有就是poj1201，他要求出的是最长距离，那就要把形式变换成x-y>=k的标准形式

注意点:
1. 如果要求最大值想办法把每个不等式变为标准x-y<=k的形式,然后建立一条从y到x权值为k的边,变得时候注意x-y<k =>x-y<=k-1
如果要求最小值的话,变为x-y>=k的标准形式，然后建立一条从y到x的k边，求出最长路径即可
2.如果权值为正，用dj，spfa，bellman都可以，如果为负不能用dj，并且需要判断是否有负环，有的话就不存在

差分约束系统求解过程：
1.新建一个图，N个变量看作N个顶点，M个约束条件作为M条边。每个顶点Vi分别对于一个未知量，每个有向边对应两个未知量的不等式。
2.为了保证图的连通性，在图中新加一个节点Vs，图中每个节点Vi都能从Vs可达，建立边w(Vs，Vi) = 0。
3.对于每个差分约束Xj - Xi <= Bk(这里是小于等于号)，则建立边w(Xi，Xj) = Bk。
4.初始化Dist[] = INF，Dist[Vs] = 0.
5.求解以Vs为源点的单源最短路径，推荐用SPFA，因为一般可能存在负值。
如果图中存在负权回路，则该差分约束系统不存在可行解。
Vs到某点如果不存在最短路径，即最短路为INF，则对于该点表示的变量可以取任意值，都能满足差分约束的要求，如果存在最短路径，则得到该变量的最大值。
上述过程最终得到的解为满足差分约束系统各项的最大值。

仅供参考。。
持续更新……