UESTC 1511（差分约束）

题目链接：http://acm.uestc.edu.cn/problem.php?pid=1511

思路：我们可以等到这样的5个关系式：

k=1:dsit[a]-dist[b]>=0&&dist[b]-dist[a]>=0

k=2:dist[a]-dist[b]<=-1;

k=3:dist[a]-dist[b]>=0;

k=4:dist[a]-dist[b]>=1;

k=5:dist[a]-dist[b]<=0;

然后就是spfa求最长路了。

#include<iostream>
#include<cstdio>
#include<cstring>
#include<algorithm>
#include<queue>
using namespace std;
#define MAXN 100200
#define inf 1<<30

struct Edge{
    int v,w;
    Edge(int vv,int ww):v(vv),w(ww){}
};

int n,m,NE;

int head[MAXN];
vector<vector<Edge> >g;

void Insert(int u,int v,int w)
{
    g[u].push_back(Edge(v,w));
}

int dist[MAXN];
bool mark[MAXN];
int _count[MAXN];

long long spfa(int vs)
{
    memset(mark,false,(n+2)*sizeof(bool));
    memset(_count,0,(n+2)*sizeof(int));
    fill(dist,dist+n+4,-inf);
    dist[vs]=0;
    queue<int>que;
    que.push(vs);
    while(!que.empty()){
        int u=que.front();
        que.pop();
        mark[u]=false;
        _count[u]++;
        if(_count[u]>n)return -1;
        for(int i=0;i<g[u].size();i++){
            int v=g[u][i].v,w=g[u][i].w;
            if(dist[u]+w>dist[v]){
                dist[v]=dist[u]+w;
                if(!mark[v]){
                    mark[v]=true;
                    que.push(v);
                }
            }
        }
    }
    long long ans=0;
    for(int i=1;i<=n;i++){
        ans+=dist[i];
    }
    return ans;
}

int main()
{
    int k,u,v,flag;
    while(~scanf("%d%d",&n,&m)){
        NE=0;
        memset(head,-1,(n+2)*sizeof(int));
        flag=0;
        g.clear();
        g.resize(n+2);
        while(m--){
            scanf("%d%d%d",&k,&u,&v);
            if(k==1){
                Insert(u,v,0);
                Insert(v,u,0);
            }else if(k==2){
                Insert(u,v,1);
                if(u==v)flag=1;
            }else if(k==3){
                Insert(v,u,0);
            }else if(k==4){
                Insert(v,u,1);
                if(u==v)flag=1;
            }else if(k==5){
                Insert(u,v,0);
            }
        }
        for(int i=1;i<=n;i++){
            Insert(0,i,1);
        }
        if(flag){
            puts("-1");
            continue;
        }
        printf("%lld
",spfa(0));
    }
    return 0;
}