POJ 2983 查分約束+SPFA

題意：n個點，m個條件，P，a，b，c代表a到c的距離為c，V，a，b代表a到b的距離大於等於1，問所有條件是否可以成立

思路：看了查分約束來做這道題，還可以不是很難。若固定了位置則可以寫出兩個表達式a-b>=c&&b-a<=c；另一個則是a-b>=c，將條件全部轉化為<=的，則可以變成查分約束，用SPFA判斷有沒有負環即可，但是這題要注意的是，圖可能不是聯通的，那麼我們可以有兩種方法，我們可以將全部的點都壓進隊列，還可以建立一個源點0，與每個點的距離為0，就可以保證所有點都被檢索到了

#include 
#include 
#include 
#include 
#include 
#include 
#include 
using namespace std;
typedef long long ll;
const int inf=0x3f3f3f3f;
const int maxn=1010;
int dis[maxn],cnt[maxn],head[maxn],n,m,k;
bool vis[maxn];
struct edge{
    int to,w,next;
}E[maxn*200];
void add_edge(int u,int v,int w){
    E[k].to=v;E[k].w=w;E[k].next=head[u];head[u]=k++;
}
bool spfa(){
    queueque;
    memset(dis,inf,sizeof(dis));
    memset(cnt,0,sizeof(cnt));
    memset(vis,0,sizeof(vis));
    que.push(0);dis[0]=0;
    while(!que.empty()){
        int t=que.front();que.pop();
        vis[t]=0;
        for(int i=head[t];i!=-1;i=E[i].next){
            if(dis[t]+E[i].wn) return 0;
                }
            }
        }
    }
    return 1;
}
int main(){
    int a,b,c;
    char ch;
    while(scanf("%d%d",&n,&m)!=-1){
        k=0;
        memset(head,-1,sizeof(head));
        for(int i=0;i