POJ-3169 Layout(差分约束+SPFA)

POJ-3169

n个点,满足 $(1<i\le n)p[i]-p[i-1]>=0$另外有一些像$p[i]-p[j]\le k\quad(i>j)$ 和$p[i]-p[j]\gt k\quad(i>j)$ 的约束,求p[n]-p[1]的最大值，可以任意大输出-2，无解输出-1

差分约束转化到最短路模型，有负权边用spfa
约束一 i+1连一条到i的权为0的边
约束二 $p[b]-p[a]\le k\quad(b>a)$ a连一条到b的权为k的边
约束三 $p[b]-p[a]\gt k\quad(b>a)$ b连一条到a的权为-k的边

/*
差分约束转化到最短路模型，有负权边用spfa
约束一 序列坐标递增  i+1连一条到i的权为0的边
约束二 a<b a和b的距离不超过c  a连一条到b的权为c的边
约束三 a<b a和b的距离大于c b连一条到a的权为-c的边
*/
#include <cstdio>
#include <algorithm>
#include <queue>
#include <cstring>
using namespace std;
const int MAXN=1111;
const int MAXM=23333;
const int INF=0x3f3f3f3f;
int head[MAXN],to[MAXM<<1],ne[MAXM<<1],wt[MAXM<<1],n,m,dist[MAXN],ecnt;
void init()
{
    ecnt=0;
    memset(head,0,sizeof(head));
}
void addedge(int a,int b,int c)
{
    ne[++ecnt]=head[a];
    head[a]=ecnt;
    to[ecnt]=b;
    wt[ecnt]=c;
}
queue<int> q;
int vis[MAXN],inq[MAXN];
int spfa(int s,int t)//s为源点，t为终点
{
    while(!q.empty())
        q.pop();
    for(int i=1;i<=n;i++)
        dist[i]=INF,vis[i]=0,inq[i]=0;
    dist[s]=0;
    q.push(s);
    inq[s]=1;
    while(!q.empty())
    {
        int fr=q.front();
        q.pop();
        inq[fr]=0;
        for(int k=head[fr];k;k=ne[k])
        {
            int v=to[k];
            if(dist[v]>dist[fr]+wt[k])
            {
                dist[v]=dist[fr]+wt[k];
                if(inq[v])
                    continue;
                if(++vis[v]>=n)//有负环
                    return -1;
                q.push(v);
                inq[v]=1;
            }
        }
    }
    if(dist[t]==INF)
        return -2;
    return dist[t];
}
int main()
{
    int ml,md;
    scanf("%d%d%d",&n,&ml,&md);
    int ta,tb,tc;
    for(int i=2;i<=n;i++)
        addedge(i,i-1,0);
    for(int i=0;i<ml;i++)
    {
        scanf("%d%d%d",&ta,&tb,&tc);
        addedge(ta,tb,tc);
    }
    for(int i=0;i<md;i++)
    {
        scanf("%d%d%d",&ta,&tb,&tc);
        addedge(tb,ta,-tc);
    }
    printf("%d\n",spfa(1,n));
    return 0;
}