HDU - 6252

题目链接：HDU - 6252

---

可以发现，给出的信息其实就是几个点之间的大小关系，建差分约束系统即可。

---

AC代码：

#pragma GCC optimize("-Ofast","-funroll-all-loops")
#include<bits/stdc++.h>
#define int long long
using namespace std;
const int N=2e4+10,M=N*10;
int n,m,x,d[N],cnt[N],ts,vis[N];
int head[N],nex[M],to[M],w[M],tot;
inline void add(int a,int b,int c){to[++tot]=b; nex[tot]=head[a]; w[tot]=c; head[a]=tot;}
int spfa(){
    queue<int> q; memset(d,0x3f,sizeof d); d[0]=0; memset(vis,0,sizeof vis);
	memset(cnt,0,sizeof cnt); q.push(0); cnt[0]=1,vis[0]=1;
    while(q.size()){
        int u=q.front();    q.pop();    vis[u]=0;
        for(int i=head[u];i;i=nex[i]) if(d[to[i]]>d[u]+w[i]){
            d[to[i]]=d[u]+w[i];
            if(!vis[to[i]]){
                vis[to[i]]=1,q.push(to[i]),cnt[to[i]]++;
                if(cnt[to[i]]>=n)    return 1;
            }
        }
    }
    return 0;
}
void solve(){
    cin>>n>>m>>x; tot=0; memset(head,0,sizeof head);
    for(int i=1,a,b,c,d;i<=m;i++){
        cin>>a>>b>>c>>d;
        if(a==b&&c==d)    add(b,c,x),add(d,a,-x);
        else if(b==c) add(d,a,-x-1); 
        else add(b,c,x-1),add(d,a,-x-1);
    }
    for(int i=1;i<=n;i++)    add(0,i,0);
    for(int i=2;i<=n;i++)    add(i,i-1,-1);
    if(spfa())    return printf("Case #%lld: IMPOSSIBLE\n",++ts),void();
    printf("Case #%lld:",++ts);
    for(int i=2;i<=n;i++)    printf("% lld",d[i]-d[i-1]);puts("");
}
signed main(){
    int T; cin>>T; while(T--) solve();
    return 0;
}