【luogu P1993 小K的农场】 题解

题目链接：https://www.luogu.org/problemnew/show/P1993
1.差分约束：
对于a - b <= c 有一条 b——>a 权值为c
对于a - b >= c 有一条 a——>b 权值为-c
对于一个差分约束系统，若存在负环则无解
2.dfs版SPFA判负环

#include <queue>
#include <cstdio>
#include <cstring>
#include <iostream>
#include <algorithm>
#define ri register
using namespace std;
const int maxn = 100000 + 10;
const int inf = 0x7fffffff;
int n, m, dis[maxn], vis[maxn];
queue<int> q;
struct edge{
    int from, to, next, len;
}e[maxn<<2];
int head[maxn], cnt;
void add(int u, int v, int w)
{
    e[++cnt].from = u;
    e[cnt].len = w;
    e[cnt].next = head[u];
    e[cnt].to = v;
    head[u] = cnt;
}
bool SPFA(int now)
{
    vis[now] = 1;
    for(int i = head[now]; i != -1; i = e[i].next)
    {
        if(dis[e[i].to] > dis[now] + e[i].len)
        {
            dis[e[i].to] = dis[now] + e[i].len;
            if(!vis[e[i].to])
            {
                if(!SPFA(e[i].to)) return 0;
            }
            else return 0;
        }
    }
    vis[now] = 0;
    return 1;
}
int main()
{
    memset(head, -1, sizeof(head));
    scanf("%d%d",&n,&m);
    for(ri int i = 1; i <= n; i++) 
    {
        add(0, i, 0);dis[i] = inf;
    }
    for(ri int i = 1; i <= m; i++)
    {
        int u, v, w, opt;
        scanf("%d",&opt);
        if(opt == 1)
        {
            scanf("%d%d%d",&u,&v,&w);
            add(u, v, -w);
        }
        if(opt == 2)
        {
            scanf("%d%d%d",&u,&v,&w);
            add(v, u, w);
        }
        if(opt == 3)
        {
            scanf("%d%d",&u,&v);
            add(v, u, 0);
            add(u, v, 0);
        }
    }
    if(!SPFA(0))
    printf("No\n");
    else
    printf("Yes\n");
    return 0;
}