洛谷 P1993 小 K 的农场

题目描述
小 K 在 Minecraft 里面建立很多很多的农场，总共 n 个，以至于他自己都忘记了每个
农场中种植作物的具体数量了，他只记得一些含糊的信息（共 m 个），以下列三种形式描
述：
农场 a 比农场 b 至少多种植了 c 个单位的作物。
农场 a 比农场 b 至多多种植了 c 个单位的作物。
农场 a 与农场 b 种植的作物数一样多。
但是，由于小 K 的记忆有些偏差，所以他想要知道存不存在一种情况，使得农场的种
植作物数量与他记忆中的所有信息吻合。
输入输出格式
输入格式：
从 farm.in 中输入数据
第一行包括两个整数 n 和 m，分别表示农场数目和小 K 记忆中的信息数目。
接下来 m 行：
如果每行的第一个数是 1，接下来有 3 个整数 a,b,c，表示农场 a 比农场 b 至少多种植
了 c 个单位的作物。
如果每行的第一个数是 2，接下来有 3 个整数 a,b,c，表示农场 a 比农场 b 至多多种植
了 c 个单位的作物。如果每行的第一个数是 3，家下来有 2 个整数 a,b，表示农场 a 终止的
数量和 b 一样多。
输出格式：
输出到 farm.out 中
如果存在某种情况与小 K 的记忆吻合，输出“Yes”，否则输出“No”。
输入输出样例
输入样例#1：
3 3
3 1 2
1 1 3 1
2 2 3 2
输出样例#1：
Yes
说明
对于 100% 的数据保证：1 ≤ n，m，a，b，c ≤ 10000。

/*这两天总在整理金牌班的东西，太难了、今晚上先水
一道题练练手~
约分差束系统
第一种：ai-bi>=ci 
所以有bi-ai<=-ci，于是bi与ai连一条-ci的边。 
第二种：ai-bi<=ci 
于是ai与bi连一条ci的边。 
第三种：ai=bi，也就是说同时满足ai-bi>=0 and ai-bi<=0，于是ai-bi连一条0的双向边。 
图不一定连通，我们可以从0向每个点连一条边。 
需要注意的是怎样转化不等式并不重要
重要的是 我们要都转化成小于号，或者都转化成大于号
*/
#include<iostream>
#include<cstring>
#include<cstdio>
#include<queue>
#include<cstdlib>
using namespace std;
#define maxn 10010
#define INF 0x3f
int dis[maxn],cnt[maxn],head[maxn],tot=0,n,m,S;
bool exist[maxn];
struct Edge{ int to,value,next; }e[maxn*10];
void Add_Edge(int u,int v,int w){
    e[++tot].to=v;e[tot].value=w;
    e[tot].next=head[u];head[u]=tot;
}
queue<int> q;
bool SPFA(){
    memset(dis,INF,sizeof dis );
    dis[S]=0;exist[S]=true;q.push(S);cnt[S]=1;
    while(!q.empty()){
        int u=q.front();q.pop();exist[u]=false;
        for(int i=head[u];i;i=e[i].next){
            int v=e[i].to;
            if(dis[v]>dis[u]+e[i].value){
                dis[v]=dis[u]+e[i].value;
                if(!exist[v]){
                    q.push(v);exist[v]=true;
                    cnt[v]++;
                }
                if(cnt[v]>3){
                    printf("No\n");
                    exit(0);
                }
            }
        }
    }
    return true;
}
int main(){
    scanf("%d%d",&n,&m);
    for(int i=1,t,u,v,w;i<=m;i++){
        scanf("%d",&t);
        if(t==1){
            scanf("%d%d%d",&u,&v,&w);
            Add_Edge(v,u,-w);
        } else if(t==2){
            scanf("%d%d%d",&u,&v,&w);
            Add_Edge(u,v,w);
        } else{
            scanf("%d%d",&u,&v);
            Add_Edge(u,v,0);Add_Edge(v,u,0);
        }
    }
    for(int i=1;i<=n;i++) Add_Edge(S,i,0);
    SPFA();
    printf("Yes\n");
    return 0;
}