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+)*sizeof(bool));
     memset(_count,,(n+)*sizeof(int));
     fill(dist,dist+n+,-inf);
     dist[vs]=;
     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 -;
         for(int i=;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=;
     for(int i=;i<=n;i++){
         ans+=dist[i];
     }
     return ans;
 }

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