差分约束

Posted 2021-02-08 ezsyshx

差分约束，即利用一类不等式的解建图，即给出 (n) 个变量和 (m) 个不等式，每个不等式形如
(x[i]-x[j]leq a[k] (0leq i,j<n , 0leq k<m))，求 (x[n-1]-x[0]) 的最大值
线性约束（第一组：(x) 和 (y) 距离不大于 (w)，第二组：(x) 和 (y) 距离不小于 (w) ）：

#include<iostream>
#include<cstdio>
#include<cstring>
using namespace std;
const int maxN=10000;
struct Node
{
    int to,value,next,from;
}edge[2*maxN+5];
int head[maxN+1],dis[maxN+1],q[maxN+1];
int k,vis[maxN+1],n,m,tot=0;
bool flag[maxN+1];
void add_edge(int,int,int);
int SPFA(int);
int main()
{
    scanf("%d%d%d",&n,&m,&k);
    memset(dis,0x3f,sizeof(dis));
    memset(vis,0,sizeof(vis));
    for(int i=0;i<m;i++)
    {
        int x,y,w;
        scanf("%d%d%d",&x,&y,&w);
        add_edge(x,y,w);
    }
    for(int i=0;i<k;i++)
    {
        int x,y,w;
        scanf("%d%d%d",&x,&y,&w);
        add_edge(y,x,-w);
    }
    for(int i=2;i<=n;i++)
        add_edge(i,i-1,1);
    printf("%d",SPFA(1));
    return 0;
}
void add_edge(int x,int y,int t)
{
    tot++;
    edge[tot].from=x;
    edge[tot].to=y;
    edge[tot].value=t;
    edge[tot].next=head[x];
    head[x]=tot;
}
int SPFA(int s)
{
    int q_head=0,q_tail=0;
    q[q_tail++]=s;
    flag[s]=true;
    dis[s]=0;
    while(q_head!=q_tail)
    {
        int x=q[q_head];
        flag[x]=false;
        if(++vis[x]>n) return -1;
        for(int i=head[x];i;i=edge[i].next)
            if(dis[x]+edge[i].value<dis[edge[i].to])
            {
                dis[edge[i].to]=dis[x]+edge[i].value;
                if(!flag[edge[i].to])
                {
                    flag[edge[i].to]=true;
                    q[q_tail++]=edge[i].to;
                    if(q_tail>n) q_tail=0;
                }
            }
        q_head++;
       if(q_head>n) q_head=0;
    }
    if(dis[n]==0x3f3f3f3f) return -2;
    else return dis[n];
}