zju 2770 Burn the Linked Camp

挺容易转化的差分约束系统，wa的我心都碎了，最后终于ac了，一边bloging，一边流泪啊。

转化的思想和下面的文章大体相同：http://www.cnblogs.com/sysuwhj/archive/2011/01/26/1945786.html，只是这个条件（ s[i] >= 0 (1 <= i <= n) , 即 s[i] – s[0] >= 0 ）我没有考虑也是对的，因为我感觉这是一个重复条件。我错就错在gragh[0]没有赋初值。wa了10几次啊，我疯狂的搜解题报告，看别人的代码，最后不经意间发现上述错误。

#include<iostream> using namespace std; #include<cstdio> #include<cstring> #define N 1005 #define max_int 1000000000 typedef struct node * pointer; struct node { int ver,d; pointer link; }; pointer gragh[N]; int cap[N],que[N*N],vis[N],count[N]; int dist[N]; bool SPFA(int n) { int i,front=-1,rear=0,u; pointer ptr; memset(vis,0,sizeof(vis)); memset(count,0,sizeof(count)); for(i=1;i<=n;i++) dist[i]=-max_int; dist[0]=0; que[0]=0; vis[0]=1; while(front!=rear) { front=(front+1)%(N*N); u=que[front]; for(ptr=gragh[u];ptr;ptr=ptr->link) if(dist[ptr->ver]<dist[u]+ptr->d) { dist[ptr->ver]=dist[u]+ptr->d; if(!vis[ptr->ver]) { rear=(rear+1)%(N*N); que[rear]=ptr->ver; vis[ptr->ver]=1; count[ptr->ver]++; if(count[ptr->ver]>n) return false; } } vis[u]=0; } return true; } void addedge(int u,int v,int d) { pointer ptr; ptr=new node; ptr->ver=v; ptr->d=d; ptr->link=gragh[u]; gragh[u]=ptr; } int main() { int n,m,i,a,b,c; pointer ptr; while(scanf("%d%d",&n,&m)!=EOF) { for(i=0;i<=n;i++) gragh[i]=NULL; for(i=1;i<=n;i++) scanf("%d",cap+i); for(i=1;i<=m;i++) { scanf("%d%d%d",&a,&b,&c); addedge(a-1,b,c); } for(i=1;i<=n;i++) { addedge(i-1,i,0); addedge(i,i-1,-cap[i]); } if(SPFA(n)) printf("%d/n",dist[n]); else printf("Bad Estimations/n"); } return 0; }