差分约束系统 模板

先来理解一下：有一个已经求好的dis[]最短路数组，有一条边x->y权值为w,那么一定存在dis[y]<=dis[x]+w，即dis[y]-dis[x]<=w;

那么什么是差分约束系统呢，就是给我一些不等式，我可以用最短路的思想把他们转化成图（即差分约束系统），然后加一个超级原点0，0到其他所有点的地方初始化为0以后，去求最短路，如果存在负权回路，说明无解，否则求出了一组解。但是关键在于如何将题转化成差分约束系统。

例题：#10087 「一本通 3.4 例 1」Intervals

题意：给n个区间【a,b】和对应的n个数 c，每个区间至少要选出c个数，问一共至少选多少个数？

那么转化成数学模型就是用s[n ]表示0~n区间至少选取多少点，s[b]-s[a-1]>=c  ————> s[a-1]-s[b]<=-c；

还要注意一个问题，必须将所有的点都连起来，让他们有关系，防止出现矛盾，所以初始化图：s[i]-s[i-1]<=1,s[i-1]-s[i]<=0;

s[i]-s[0]<=0，因为下标减了一，所以将整个区间向后挪一下，防止出现负的下标。

#include<queue>
#include<iostream>
#include<stdio.h>
#include<string.h>
#include<algorithm>
#include<vector>
using namespace std;
struct node
{
    int b,c;
}q;
int maxx,dis[50022];
vector<node>v[50022];
void SPFA()
{
    bool book[50022];
    memset(book,0,sizeof(book));
    int n=maxx+1;
    queue<int>Q;
    memset(dis,0x3f3f3f3f,sizeof(dis));
    Q.push(0);
    dis[0]=0;
    book[0]=1;
    int t;
    while(!Q.empty())
    {
        int u=Q.front();
        Q.pop();
        book[u]=0;
        for(int i=0;i<v[u].size();i++)
        {
            q=v[u][i];
            if(dis[q.b]>dis[u]+q.c)
            {
                dis[q.b]=dis[u]+q.c;
                if(!book[q.b])
                {
                    book[q.b]=1;
                    Q.push(q.b);
                }
            }
        }
    }
    printf("%d\n",dis[n-1]-dis[9]);
    return ;
}
int main()
{
    int n;
    while(~scanf("%d",&n))
    {
        for(int i=0;i<=n+20;i++)
            v[i].clear();
        int a,c,b;
        maxx=-1;
        for(int i=1;i<=n;i++)
        {
            scanf("%d%d%d",&a,&b,&c);
            a+=10,b+=10;/*防止出现a=-1*/
            q.b=a-1,q.c=-c;
            maxx=max(b,maxx);
            v[b].push_back(q);
        }
        for(int i=10;i<=maxx;i++)
        {
            q.b=i-1,q.c=0;
            v[i].push_back(q);
            /*初始化图*/
            q.b=i,q.c=1;
            v[i-1].push_back(q);
            q.b=i,q.c=0;
            v[0].push_back(q);/*超级源点0*/
        }
        q.b=9,q.c=0;
        v[0].push_back(q);
        SPFA();
    }
    return 0;
}