POJ2983 查分约束系统

题意：
       给你n个点，然后给你两种情况，P a b c,表明a在b的北边c那么远，V a b 表明a在b的北边（距离最少是1），问你这些条件是否冲突。


思路：
      一开始想用带权并查集，先处理P在处理V，想想感觉不对，还是查分约束吧，查分约束处理这个题时间和建图都简单，首先查分约束是根据最短路（或最长路）的不等式关系建图的，给你一个图，跑完最短路对于边<a ,b> 会有dis[b] <= dis[a] + map[a][b];
则 dis[b] - dis[a] <= map[a][b](或者也可以dis[a] - dis[b] >= map[a][b],只不过这样要跑最长路)，对于这个题目，
V a b    : add(a ,b ,1).
P a b c  : add(a ,b ,c) ,add(b ,a ,-c).
跑一遍最长路，或者
V a b    : add(a ,b ,-1).
P a b c  : add(a ,b ,-c),add(b ,a ,c).
跑一遍最短路。

提醒一点就是别忘记建立超级原点s，s到每个点的距离都是0，这样是为了防止整个图不是一个联通快。

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

#define N_node 2000 + 10
#define N_edge 500000 + 200
#define INF 1000000000

using namespace std;

typedef struct
{
   int to ,next ,cost;
}STAR;

STAR E[N_edge];
int list[N_node] ,tot;
int in[N_node];
int s_x[N_node];

void add(int a ,int b ,int c)
{
   E[++tot].to = b;
   E[tot].cost = c;
   E[tot].next = list[a];
   list[a] = tot;
}

bool spfa(int s ,int n)
{
   int mark[N_node] = {0};
   memset(in ,0 ,sizeof(in));
   for(int i = 0 ;i <= n ;i ++)
   s_x[i] = -INF;
   s_x[s] = 0;
   mark[s] = 1;
   in[s] ++;
   queue<int>q;
   q.push(s);
   while(!q.empty())
   {
      int xin ,tou;
      tou = q.front();
      q.pop();
      mark[tou] = 0;
      for(int k = list[tou] ;k ;k = E[k].next)
      {
         xin = E[k].to;
         if(s_x[xin] < s_x[tou] + E[k].cost)
         {
            s_x[xin] = s_x[tou] + E[k].cost;
            //printf("%d %d***
" ,tou ,xin);
            if(!mark[xin])
            {
               mark[xin] = 1;
               if(++in[xin] > n) return 0;
               q.push(xin);
            }
         }
      }
   } 
   return 1;
}

int main ()
{
   int i ,n ,m ,a ,b ,c;
   char str[10];
   while(~scanf("%d %d" ,&n ,&m))
   {
      memset(list ,0 ,sizeof(list));
      tot = 1;
      for(i = 1 ;i <= m ;i ++)
      {
         scanf("%s" ,str);
         if(str[0] == 'P')
         {
            scanf("%d %d %d" ,&a ,&b ,&c);
            add(a ,b ,c);
            add(b ,a ,-c);
         }
         else
         {
            scanf("%d %d" ,&a ,&b);
            add(a ,b ,1);
         }
      }
      for(i = 1 ;i <= n ;i ++)
      add(0 ,i ,0);
      if(spfa(0 ,n)) printf("Reliable
");
      else printf("Unreliable
");
      
      
   }
   return 0;
}