SGU 298 King Berl VI（差分约束）

题目链接：http://acm.sgu.ru/problem.php?contest=0&problem=298

题意：给出一些式子:X[i]>=X[j]+C(C>=0)。求出一组解X满足这些式子，求-10000<=Xi<=10000，且要使Xn-X1最小。

思路：首先，所有点入队SPFA一次。但是此时的Xn-X1不一定是最小的。比如下图。求得X1=1,X4=300,显然X1=299是最优的。此时，将图中的边反向再求一次SPFA，就得到n到1的距离X4=0,X1=1.用10000减一下得到1的最大值.然后1用此值再SPFA一次得到的就是最小的Xn-X1。

#include <iostream>
#include <cstdio>
#include <string.h>
#include <algorithm>
#include <cmath>
#include <vector>
#include <queue>
#include <set>
#include <stack>
#include <string>
#include <map>


#define max(x,y) ((x)>(y)?(x):(y))
#define min(x,y) ((x)<(y)?(x):(y))
#define abs(x) ((x)>=0?(x):-(x))
#define i64 long long
#define u32 unsigned int
#define u64 unsigned long long
#define clr(x,y) memset(x,y,sizeof(x))
#define CLR(x) x.clear()
#define ph(x) push(x)
#define pb(x) push_back(x)
#define Len(x) x.length()
#define SZ(x) x.size()
#define PI acos(-1.0)
#define sqr(x) ((x)*(x))
#define MP(x,y) make_pair(x,y)

#define FOR0(i,x) for(i=0;i<x;i++)
#define FOR1(i,x) for(i=1;i<=x;i++)
#define FOR(i,a,b) for(i=a;i<=b;i++)
#define DOW0(i,x) for(i=x;i>=0;i--)
#define DOW1(i,x) for(i=x;i>=1;i--)
#define DOW(i,a,b) for(i=a;i>=b;i--)
using namespace std;


void RD(int &x){scanf("%d",&x);}
void RD(i64 &x){scanf("%I64d",&x);}
void RD(u32 &x){scanf("%u",&x);}
void RD(double &x){scanf("%lf",&x);}
void RD(int &x,int &y){scanf("%d%d",&x,&y);}
void RD(i64 &x,i64 &y){scanf("%I64d%I64d",&x,&y);}
void RD(u32 &x,u32 &y){scanf("%u%u",&x,&y);}
void RD(double &x,double &y){scanf("%lf%lf",&x,&y);}
void RD(int &x,int &y,int &z){scanf("%d%d%d",&x,&y,&z);}
void RD(i64 &x,i64 &y,i64 &z){scanf("%I64d%I64d%I64d",&x,&y,&z);}
void RD(u32 &x,u32 &y,u32 &z){scanf("%u%u%u",&x,&y,&z);}
void RD(double &x,double &y,double &z){scanf("%lf%lf%lf",&x,&y,&z);}
void RD(char &x){x=getchar();}
void RD(char *s){scanf("%s",s);}
void RD(string &s){cin>>s;}


void PR(int x) {printf("%d\n",x);}
void PR(i64 x) {printf("%I64d\n",x);}
void PR(u32 x) {printf("%u\n",x);}
void PR(u64 x) {printf("%llu\n",x);}
void PR(double x) {printf("%.4lf\n",x);}
void PR(char x) {printf("%c\n",x);}
void PR(char *x) {printf("%s\n",x);}
void PR(string x) {cout<<x<<endl;}


const int MAX=100005;
const int N=10005;
const int L=10000;
queue<int> Q;
int visit[N],dis1[N],dis2[N],cnt[N];
int n,m,u[MAX],v[MAX],dis[MAX];

struct node
{
    struct Node
    {
        int v,next,dis;
    };
    Node edges[MAX];
    int head[N],e;

    void init()
    {
        clr(head,-1);
        e=0;
    }

    void add(int u,int v,int dis)
    {
        edges[e].v=v;
        edges[e].dis=dis;
        edges[e].next=head[u];
        head[u]=e++;
    }

    int SPFA(int dis[])
    {
        int i,u,v;
        while(!Q.empty())
        {
            u=Q.front();
            Q.pop();

            visit[u]=0;
            for(i=head[u];i!=-1;i=edges[i].next)
            {
                v=edges[i].v;
                if(dis[v]<dis[u]+edges[i].dis)
                {
                    dis[v]=dis[u]+edges[i].dis;
                    if(visit[v]) continue;
                    if(++cnt[u]>n) return 0;
                    visit[v]=1;
                    Q.push(v);
                }
            }
        }
        return 1;
    }
};

node p;

void init(int tag)
{
    int i;
    p.init();
    FOR1(i,m)
    {
        if(!tag) p.add(v[i],u[i],dis[i]);
        else p.add(u[i],v[i],dis[i]);
    }
    clr(cnt,0);
    clr(visit,0);
    FOR1(i,n) Q.push(i),cnt[i]=1,visit[i]=1;
}

int main()
{
    RD(n,m);
    int i;
    FOR1(i,m) RD(u[i],v[i],dis[i]);

    init(0);
    FOR1(i,n) dis1[i]=-L;
    if(!p.SPFA(dis1)) return puts("-1"),0;

    init(1);
    FOR1(i,n) dis2[i]=0;
    p.SPFA(dis2);
    FOR1(i,n) dis2[i]=L-dis2[i];
    FOR1(i,n) if(dis1[i]>dis2[i]) return puts("-1"),0;


    init(0);
    while(!Q.empty()) Q.pop();
    clr(cnt,0);
    clr(visit,0);
    dis1[1]=dis2[1];
    Q.push(1);
    p.SPFA(dis1);

    FOR1(i,n) printf("%d ",dis1[i]);
    puts("");
    return 0;
}