bzoj2330 糖果 差分约束

           简单的差分约束系统。a-b>=c转化为b->a连一条长度为c的边，跑最长路，这样可以保证满足不等号。a=b转化为a>=b且b>=a即可。spfa判正权回路即可。

       P·S：一个m打成n查了半天。。汗(⊙﹏⊙)b。

AC代码如下：

#include<iostream>#include<cstdio>#include<cstring>#define ll long long#define N 400005using namespace std;int n,m,tot,fst[N],pnt[N],len[N],nxt[N],d[N],h[N],sum[N];bool bo[N];int read(){int x=0; char ch=getchar();while (ch<'0' || ch>'9') ch=getchar();while (ch>='0' && ch<='9'){ x=x*10+ch-'0'; ch=getchar(); }return x;}void add(int aa,int bb,int cc){pnt[++tot]=bb; len[tot]=cc; nxt[tot]=fst[aa]; fst[aa]=tot;}bool spfa(){int head=0,tail=n,i;for (i=1; i<=n; i++){ h[i]=i; d[i]=sum[i]=1; }while (head!=tail){head=(head+1)%N;int x=h[head],p; bo[x]=1;for (p=fst[x]; p; p=nxt[p]){int y=pnt[p];if (d[x]+len[p]>d[y]){d[y]=d[x]+len[p];sum[y]++; if (sum[y]>n) return 0;if (bo[y]){bo[y]=0; tail=(tail+1)%N;h[tail]=y;}}}}return 1;}int main(){n=read(); m=read(); int i;for (i=1; i<=m; i++){int k=read(),x=read(),y=read();if (k==1){ add(x,y,0); add(y,x,0); } elseif (k==2){ if (x==y){ puts("-1"); return 0; } add(x,y,1); } elseif (k==4){ if (x==y){ puts("-1"); return 0; } add(y,x,1); } elseif (k==3) add(y,x,0); else add(x,y,0);}if (!spfa()) puts("-1"); else{ll ans=0; for (i=1; i<=n; i++) ans+=(ll)d[i];printf("%lld\n",ans);}return 0;}<em></em>

2015.11.28

by lych