题目描述

小 K 在 Minecraft 里面建立很多很多的农场，总共 n 个，以至于他自己都忘记了每个

农场中种植作物的具体数量了，他只记得一些含糊的信息（共 m 个），以下列三种形式描

述：

1. 农场 a 比农场 b 至少多种植了 c 个单位的作物。

2. 农场 a 比农场 b 至多多种植了 c 个单位的作物。

3. 农场 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”。

输入输出样例

3 3
3 1 2
1 1 3 1
2 2 3 2

Yes

说明

对于 100% 的数据保证：1 ≤ n，m，a，b，c ≤ 10000。

        重要的事说三遍：

        数据范围大坑，数据范围大坑，数据范围大坑。

        然后，真的是特别裸的差分约束，只是需要简单转转a-b<=c -> b+c>=a。另外，这道题在等于操作时一定要加入双向边。读入优化是个好习惯啊，真是快的飞起。

#include<cstdio>
#include<cstring>
using namespace std;
const int maxn = 1e5 + 100;
const int maxm = 1e5 + 100;
struct edge{
    int v, w, next;
}e[maxm];
int cnt,n,m;
int head[maxn];
bool vis[maxn];
int dis[maxn];

int read() {
    int ret=0, f=1;
    char c = getchar();
    while(c > '9' || c < '0') {
        if(c == '-')    f = -1;
        c = getchar();
    }
    while(c >= '0' && c <= '9')
        ret = ret * 10 + c - '0', c = getchar();
    return ret;
}

void adde(const int &u, const int &v, const int &w) {
    e[cnt].v = v, e[cnt].w = w;
    e[cnt].next = head[u], head[u] = cnt++;
}

bool SPFA(int u) {
    if(vis[u]) return 0;
    vis[u] = 1;
    for(int i = head[u]; i != -1; i = e[i].next){
        int v = e[i].v;
        if(dis[u] + e[i].w < dis[v]) {
            dis[v] = dis[u] + e[i].w;
            if(!SPFA(v)) return 0;
        }
    }
    vis[u] = 0;
    return true;
}

void getans(){
    memset(dis, 0x3f, sizeof(dis));
    for(int i = 1; i <= n; ++i) {
        if(!vis[i])    {
            dis[i] = 0;
            if(!SPFA(i)){
                printf("No\n");
                return;
            }
        }
    }
    printf("Yes\n");
}

int main() {
    memset(head, -1, sizeof(head));
    n = read(), m = read();
    for(int i = 1; i <= m; ++i){
        int opt, a, b, c;
        opt = read();
        if(opt == 1){
            a = read(), b = read(), c = read();
            adde(a, b, -c);
        }
        if(opt == 2){
            a = read(), b = read(), c = read();
            adde(b, a, c);
        }
        if(opt == 3){
            a = read(), b = read();
            adde(a, b, 0);
            adde(b, a, 0);
        }
    }
    getans();
    return 0;
}