POJ 1364：King（差分约束）

题目大意：判断是否存在一个长度为n的序列满足给出的不等关系。

分析：

将序列和转化成用两个前缀和之差来表示即可变为差分约束系统。

需要注意的是不能忘记n要加+1，因为还有一个特殊源点，自己因为n:=n+1的位置放在数组预处理的后面所以出错了。

代码:

program king;
type
  point=^node;
     node=record
          x,len:longint; next:point;
     end;
var
  a:array[..]of point;
  q:array[..]of longint;
  dis,vis:array[..]of longint;
  g:array[..]of boolean;
  n,i,m,x,y,v,t,l:longint;  c1,c2:char; s1:string; p:point;
procedure put(x,y,v:longint);
var p:point;
begin
  new(p);
  p^.x:=x; p^.len:=v; p^.next:=a[y];a[y]:=p;
end;
procedure getnew;
var i:longint;
begin
  fillchar(q,sizeof(q),);
  fillchar(g,sizeof(g),false); fillchar(vis,sizeof(vis),);
  for i:= to n do dis[i]:=maxlongint div ;
  for i:= to n do begin dispose(a[i]); new(a[i]); a[i]:=nil; end;
  dis[n]:=; g[n]:=true; q[]:=n;
end;
function spfa:boolean;
var x,y,h,t:longint; p:point;
begin
  h:=; t:=;
  while h<t do
   begin
     inc(h); x:=q[h]; g[x]:=false; new(p);p:=a[x];
     while p<>nil do
      begin
        y:=p^.x;
        if dis[x]+p^.len<dis[y] then
          begin
            dis[y]:=dis[x]+p^.len;
            if g[y]=false then
              begin
                inc(t); q[t]:=y; g[y]:=true;
              end;
            inc(vis[y]); if vis[y]>n then exit(false);
          end;
        p:=p^.next;
      end;
    end;
   exit(true);
end;
begin
  read(n);
  while n> do
  begin
    inc(n); getnew;
    read(m);  readln;
    for i:= to n- do put(i,n,);
    for i:= to m do
    begin
     readln(s1);
     t:=pos('t',s1); l:=pos(' ',s1);
     val(copy(s1,,l-),x); val(copy(s1,l+,t--l),y);val(copy(s1,t+,length(s1)-t-),v);
     if s1[t-]='l' then put(x+y,x-,v-);
     if s1[t-]='g' then put(x-,x+y,-v-);
    end;
    if spfa then writeln('lamentable kingdom') else writeln('successful conspiracy');
    read(n);
  end;
end.