差分约束系统(复习)

• 差分约束系统：给定一组不等式（形如xi-xj<=k）,求某两个变量差的最大值或最小值或判断是否有解。

• 给定一系列形如xi-xj<=k的不等式，求差的最大值：连有向边 j->i,权值为k,表示i最多比j大k；建图完成后求最短路即可，若出现负环，则无解。

• 给定一系列形如xi-xj>=k的不等式，求差的最小值：连有向边 j->i,权值为k,表示i最少比j大k；建图完成后求最长路即可，若出现正环，则无解。

• 若出现形如xi=xj的等式，等价于xi-xj<=0、xi-xj>=0连边i->j,j->i,权值为0；
  

• 出现判环，用spfa求最短(长)路，若一个点入队超过n次，则无解。

• 重新学习后的一些理解：由于这些不等式像极了求最短路或最长路中的松弛过程，因此考虑转换成最长(短)路问题求解；差分约束系统用图描述了一系列不等式间的“极限”限制关系，以差值的最值作为边权来建图，因而求最大值时(给定差值的最大值，因此两点间短路径对长路径有约束)用最短路，求最小值(给定差值的最小值，因此两点间长路径对短路径有约束)时用最长路。

• 通用思路：将题目条件转化成等价不等式，利用这些等价不等式和隐含不等式建图；
  洛谷差分约束系统模板

#include <iostream>
#include <queue>
using namespace std;
const int inf=0x3f3f3f3f;
int n,m,last[5005],cnt,inque[5005],x,y,z,d[5005];
bool inq[5005];
struct edge{
    int v,w,next;
}e[5005];
inline void add(int u,int v,int w)
{
    e[++cnt].v=v;
    e[cnt].w=w;
    e[cnt].next=last[u];
    last[u]=cnt;
}
bool spfa(int s)
{
    queue<int>q;
    q.push(s);
    d[s]=0;
    inque[s]=1;
    inq[s]=1;
    while(!q.empty())
    {
        int u=q.front();
        q.pop();
        inq[u]=0;
        for(int i=last[u];i;i=e[i].next)
        {
            int v=e[i].v,w=e[i].w;
            if(d[u]+w<d[v])
            {
                d[v]=d[u]+w;
                if(!inq[v])
                {
                    q.push(v);
                    inq[v]=i;
                    inque[v]++;
                    if(inque[v]>n)
                    return 0;
                }
            }
        }
    }
    return 1;
}
int main()
{
    cin>>n>>m;
    for(int i=1;i<=m;i++)
    {
        cin>>x>>y>>z;
        add(y,x,z);
    }
    for(int i=1;i<=n;i++)
    d[i]=inf;
    for(int i=1;i<=n;i++)
    {
        if(!inque[i])
        if(!spfa(i))
        {
            cout<<"NO";
            return 0;
        }
    }
    for(int i=1;i<=n;i++)
    cout<<d[i]<<' ';
    return 0;
}

• 几道好题：
  Intervals
  Layout G
  Gourmet choice
  King