POJ 2983

POJ 2983 又是一条给我贡献wa率的题目。

问题大意:有一些点在同一直线上，给出他们之间的距离的关系（要么指定比他在北边多少，要么只告诉你在他北边（至少远1单位），求这些关系是否成立。

解：一开始觉得是差分约束，但是不想写bellman-ford，所以写了一坨if流，结果wa掉，看题解，写差分（用spfa）,wa,wa,wa,wa,然后去orz _gxxd的程序，也没搞懂什么。最后得知判断条件是dist[u]+cost>dist[dest] then更改dist[dest]的值符合条件。然后关键点是如果是指定了远多少的边，一定要建立一条逆边，以便检查dist[u]+cost==dist[dest]（因为有dist[dest]-cost=dist[u],所以同原来的判断条件，这个处理非常巧妙，不知道为什么写成不等式不行，还有就是试试写bellman-ford版）。另外的，用spfa的话要么初始化全部点都在队列里，要么构建一个超级源，这个点到其他1~n个点的距离都设置为0，这样就可以解决关于联通性的问题了。

const
        maxn=1111*2;
        maxm=111111*2;
        bilibili=maxlongint >> 1;
type
        data=record
          dest, cost, next: longint;
        end;
var
        edge: array[1..maxm]of data;
        key, q, dist, vect, low, dfn, col, s: array[1..maxn]of longint;
        visit: array[1..maxn]of boolean;
        ee, tot, color, time, stot, n, m: longint;
        flag: boolean;

procedure print;
begin
  if not flag then writeln('Unreliable')
    else writeln('Reliable');
end;

procedure add(x, y, z: longint);
begin
  inc(tot);
  with edge[tot] do begin
    dest := y;
    cost := z;
    next := vect[x];
    vect[x] := tot;
  end;
end;

procedure init;
var
        i, j, x, y, z: longint;
        c: char;
begin
  tot := 0; stot := 0; time := 0; color := 0;
  fillchar(vect, sizeof(vect), 0);
  fillchar(visit, sizeof(visit), 0);
  fillchar(col, sizeof(col), 0);
  fillchar(dfn, sizeof(dfn), 0);
  readln(n, m);
  for i := 1 to m do begin
    z := 1;
    read(c);
    if c='P' then begin readln(x, y, z); add(y, x, -z); end
      else readln(x, y);                 // deal with
    add(x, y, z);
  end;
end;

procedure spfa(st: longint);
var
        i, u, head, tail: longint;
begin
  fillchar(visit, sizeof(visit), true);
  fillchar(key, sizeof(key), 0);
  head := 0; tail := n;
  repeat
    inc(head); if head=maxn+1 then head := 1;
    u := q[head]; visit[u] := false;
    inc(key[u]);
    if key[u]>=n then begin
      flag := false;
      exit;
    end;
    i := vect[u];
    while i<>0 do
      with edge[i] do begin
        if dist[u] + cost > dist[dest] then begin
          dist[dest] := dist[u] + cost;
          if not visit[dest] then begin
            inc(tail); if tail=maxn +1 then tail := 1;
            q[tail] := dest;
            visit[dest] := true;
          end;
        end;
        i := next;
      end;
  until head=tail;
end;

procedure main;
var
        i, j: longint;
begin
  flag := true;
  fillchar(dist, sizeof(dist), 0);
  for i := 1 to n do q[i] := i;
  spfa(1);
end;


begin
  assign(input,'1.txt'); reset(input);
  while not(seekeof) do begin
    init;
    main;
    print;
  end;
end.