差分约束模板

将a-b<=c与dist[x]<=dist[y]+z类比

求最大值是类比为求最短距离，更新操作判断条件dist[x]<=dist[y]+z，dist[x]-dist[y]<=z，建立从y到x长度为z的边

例题：

在n个给定区间内都有最少数量Ci，求满足条件的总区间上的最少数量

思路：

用F(x)代表1~x区间内的数量，【u,v】内最少有w个，u,v,w添加add(u-1,v,w)

为使结果有意义，有1>=F(i+1)-F(i)>=0, add(i+1,i,-1) , add(i,i+1,0);

#include<bits/stdc++.h>
 
using namespace std;
#define maxn 50005
#define inf 0x3f3f3f3f
int n,idx;
int head[maxn],d[maxn];
bool vis[maxn];
 
struct node
{
    int v,w;
    int nxt;
}edge[maxn*3];
 
void add(int u,int v,int w)
{
    edge[idx].v=v;
    edge[idx].w=w;
    edge[idx].nxt=head[u];
    head[u]=idx++;
}
 
void spfa(int mi)
{
    queue<int> que;
    que.push(mi);
    vis[mi]=true;
    d[mi]=0;
    while(!que.empty())
    {
        int u=que.front();
        que.pop();
        vis[u]=false;
        for(int i=head[u];i!=-1;i=edge[i].nxt)
        {
            int v=edge[i].v;
            if(d[u]+edge[i].w>d[v])
            {
                d[v]=d[u]+edge[i].w;
                if(!vis[v])
                {
                    vis[v]=true;
                    que.push(v);
                }
            }
        }
    }
}
 
int main()
{
    int u,v,w;
    while(scanf("%d",&n)!=EOF)
    {
        memset(head,-1,sizeof head);
        idx=0;
        int mi=inf , mx=-inf;
        for(int i=0;i<n;i++)
        {
            scanf("%d %d %d",&u,&v,&w);
            add(u-1,v,w);
            mx=max(mx,v);
            mi=min(mi,u-1);
        }
        for(int i=mi;i<=mx;i++)
        {
            add(i+1,i,-1);
            add(i,i+1,0);
            d[i]=-inf;
            vis[i]=false;
        }
        spfa(mi);
        printf("%d\n",d[mx]);
    }
    return 0;
}

总结：

求最小值，找的都是>=的关系，求最长路

求最大值，找的都是<=的关系，求最短路

符号确定后：a-b是b指向a的路

差分约束主要在于建立边的思想，图建立好后还是用SPFA求最短/长路