bzoj 1731: [Usaco2005 dec]Layout 排队布局差分约束

Posted 2020-11-18 lokiii

差分约束裸题，用了比较蠢的方法，先dfs_spfa判负环，再bfs_spfa跑最短路
注意到“奶牛排在队伍中的顺序和它们的编号是相同的”，所以( d_i-d_{i-1}>=0 ),连(i,i-1,0)；然后对于( d_i-d_j<=L )，连(j,i,L)；对于( d_i-d_j>=D --> d_j-d_i<=-D )，连（i,j,-D）
然后先判负环再跑最短路即可

#include<iostream>
#include<cstdio>
#include<queue>
#include<cstring>
using namespace std;
const int N=100005,inf=1e9;
int n,l,d,h[N],cnt,dis[N];
bool v[N],flg;
struct qwe
{
    int ne,to,va;
}e[N*3];
int read()
{
    int r=0,f=1;
    char p=getchar();
    while(p>‘9‘||p<‘0‘)
    {
        if(p==‘-‘)
            f=-1;
        p=getchar();
    }
    while(p>=‘0‘&&p<=‘9‘)
    {
        r=r*10+p-48;
        p=getchar();
    }
    return r*f;
}
void add(int u,int v,int w)
{
    cnt++;
    e[cnt].ne=h[u];
    e[cnt].to=v;
    e[cnt].va=w;
    h[u]=cnt;
}
void spfa(int u)
{
    if(flg)
        return;
    v[u]=1;
    for(int i=h[u];i;i=e[i].ne)
        if(dis[e[i].to]>dis[u]+e[i].va)
        {
            if(v[e[i].to])
            {
                flg=1;
                return;
            }
            else
            {
                dis[e[i].to]=dis[u]+e[i].va;
                spfa(e[i].to);
            }
        }
    v[u]=0;
}
int main()
{
    n=read(),l=read(),d=read();
    for(int i=1;i<=l;i++)
    {
        int x=read(),y=read(),z=read();
        add(x,y,z);
    }
    for(int i=1;i<=d;i++)
    {
        int x=read(),y=read(),z=read();
        add(y,x,-z);
    }
    for(int i=2;i<=n;i++)
        add(i,i-1,0);
    for(int i=1;i<=n&&!flg;i++)
        spfa(i);
    if(flg)
    {
        puts("-1");
        return 0;
    }
    memset(v,0,sizeof(v));
    for(int i=1;i<=n;i++)
        dis[i]=inf;
    queue<int>q;
    v[1]=1,dis[1]=0,q.push(1);
    while(!q.empty())
    {
        int u=q.front();
        q.pop();
        v[u]=0;
        for(int i=h[u];i;i=e[i].ne)
            if(dis[e[i].to]>dis[u]+e[i].va)
            {
                dis[e[i].to]=dis[u]+e[i].va;
                if(!v[e[i].to])
                {
                    v[e[i].to]=1;
                    q.push(e[i].to);
                }
            }
    }
    printf("%d
",dis[n]==inf?-2:dis[n]);
    return 0;
}