ZOJ 1455

不知道如何建图，看了别人报告说要用到差分约束顿时感到很神奇，不过还是没看太明白，建议有算法导论的可以读一下，那个写的更详细和明白，这里用到了行列式不等式求解的知识，可以利用其转化建成图，最后题目就转化为了求最短路问题，但一定要注意负环存在，所以得用Belman-ford算法，以前老用的dijsktra不太管用了，所以又去学习了Bellman算法，果然做题可以推动看书学知识的东西，嘎嘎。

#include<stdio.h>
#include<string.h> 

const int maxn = 10000;
const int INF = 0x3f3f3f3f;

struct Edge{
    int u;
    int v;
    int w;
}edge[maxn];

int time[maxn];
int d[maxn];
int E,n;

void addEdge(int uu,int vv,int ww){
     edge[E].u = uu;
     edge[E].v = vv;
     edge[E].w = ww;
     E++;
}

bool spfa(){
     for(int i = 0; i<=n; i++)d[i] = (i==0?0:-INF);
     d[0]=0;
     int times=0;
     while(true){
         bool update = false;
         for(int i=0; i<E; i++){
             Edge e=edge[i];
             if(d[e.u]!=-INF&&d[e.v]<d[e.u]+e.w){
                  d[e.v]=d[e.u]+e.w;
                  update = true;
             }
         }
         times++;
         if(times==n+1)return false;
         if(!update)return true;
     }
}
int main(){
     char ch[20];
     int kase=1;
     while(scanf("%d",&n)&&n){
         E=0;
         for(int i=1; i<=n; i++)scanf("%d",&time[i]);
         while(1){
              int u,v;
              scanf("%s",ch);
              if(ch[0]=='#')break;
              scanf("%d %d",&u,&v);
              if(strcmp(ch,"FAS")==0)addEdge(v,u,-time[u]);
              else if(strcmp(ch,"FAF")==0)addEdge(v,u,time[v]-time[u]);
              else if(strcmp(ch,"SAF")==0)addEdge(v,u,time[v]);
              else if(strcmp(ch,"SAS")==0)addEdge(v,u,0);
         }
         for(int i=1;i<=n;i++)addEdge(0,i,0);
         printf("Case %d:\n",kase);
         if(spfa())for(int i=1; i<=n; i++)printf("%d %d\n",i,d[i]);
         else  printf("impossible\n");
         printf("\n");
         kase++;
     }
     return 0;
}