P1993 小K的农场

题目描述

小K在MC里面建立很多很多的农场，总共n个，以至于他自己都忘记了每个农场中种植作物的具体数量了，他只记得一些含糊的信息（共m个），以下列三种形式描述：

• 农场a比农场b至少多种植了c个单位的作物，
• 农场a比农场b至多多种植了c个单位的作物，
• 农场a与农场b种植的作物数一样多。

但是，由于小K的记忆有些偏差，所以他想要知道存不存在一种情况，使得农场的种植作物数量与他记忆中的所有信息吻合。

输入输出格式

输入格式：

第一行包括两个整数 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 一样多。

输出格式：

如果存在某种情况与小 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。

差分约束+dfs版spfa判负环

#include<bits/stdc++.h>
typedef long long ll;
#define For(i,a,b) for(int i=a;i<=b;i++)
#define FFor(i,a,b) for(int i=a;i>=b;i--)
const int N=2e5+5;
#define inf 0x3f3f3f3f
using namespace std;
//***********name***********
struct edge
{
    int to,nxt,w;
} e[N];
int tot=0;
int fst[N];
int dis[N];
int ins[N];
int n,m;
//***********function******
void add(int u,int v,int w)
{
    e[++tot].to=v;
    e[tot].w=w;
    e[tot].nxt=fst[u];
    fst[u]=tot;
}
bool spfa(int u)
{
    ins[u]=1;
    for(int p=fst[u]; p; p=e[p].nxt)
    {
        int v=e[p].to;
        int w=e[p].w;
        if(dis[v]>dis[u]+w)
        {
            dis[v]=dis[u]+w;
            if(ins[v])return false;
            if(!spfa(v))return false;
        }
    }
    ins[u]=0;
    return true;
}

//*********************

int main()
{
//    freopen("test.txt","r",stdin);
    cin>>n>>m;
    For(i,1,m)
    {
        int u,v,w,t;
        cin>>t;
        if(t==3)
        {
            cin>>u>>v;
            add(u,v,0);
            add(v,u,0);
        }
        if(t==2)
        {
            cin>>u>>v>>w;
            add(u,v,w);
        }
        if(t==1)
        {
            cin>>u>>v>>w;
            add(v,u,-w);
        }
    }

    For(i,1,n)add(0,i,0),dis[i]=inf;
    dis[0]=0;

    if(spfa(0))
        cout<<"Yes";
    else
        cout<<"No";

    return 0;
}