7473: 小K的农场咋做？

Question

题目描述
背景
小K是个特么喜欢玩MC的
描述
小K在MC里面建立很多很多的农场，总共n个，以至于他自己都忘记了每个农场中种植作物的具体数量了，他只记得一些含糊的信息（共m个），以下列三种形式描述：农场a比农场b至少多种植了c个单位的作物，农场a比农场b至多多种植了c个单位的作物，农场a与农场b种植的作物数一样多。但是，由于小K的记忆有些偏差，所以他想要知道存不存在一种情况，使得农场的种植作物数量与他记忆中的所有信息吻合。
输入
第一行包括两个整数n和m，分别表示农场数目和小K记忆中的信息的数目接下来m行：如果每行的第一个数是1，接下来有三个整数a,b,c，表示农场a比农场b至少多种植了c个单位的作物如果每行第一个数是2，接下来有三个整数a，b，c，表示农场a比农场b至多多种植了c个单位的作物如果每行第一个数是3，接下来有两个整数a,b，表示农场a种植的数量与b一样。1<=n,m,a,b,c<=10000
输出
如果存在某种情况与小K的记忆吻合，输出”Yes”，否则输出”No”
样例
输入 复制
3 3
3 1 2
1 1 3 1
2 2 3 2
输出 复制
Yes
提示
样例解释
三个农场种植的数量可以为（2,2,1）

Answer 1

#include<iostream>
#include<cstdio>
using namespace std;
int n,m,cnt;
struct edge{
   int v;
   int next;
   int w;
}e[20002];
int head[10001]; 
int Inf = 99999999;
int book[10001];
int dis[10001];
void add(int u, int v, int w)
{
   cnt ++;
   e[cnt].v = v;
   e[cnt].next = head[u];
   head[u] = cnt;
   e[cnt].w = w; 
}
bool spfa(int u)
{
    book[u] = 1;
    for(int i = head[u]; i != 0; i = e[i].next)
    {
        if(dis[e[i].v] < dis[u] + e[i].w)
     {
      dis[e[i].v] = dis[u] + e[i].w; 
      if(book[e[i].v])
      return 0;
      if(!spfa(e[i].v))
      return 0;
     } 
    } 
    book[u] = 0;
    return 1;
}
int main()
{
 cin >> n >> m;
 for(int i = 1; i <= m; i ++)
 {
    int id,u,v,c;
    scanf("%d",&id);
    // a - b >= c 表示为 w(b,a)=c a - b <= c表示为 w(a,b)=-c 
    if(id == 1)
    {
      scanf("%d%d%d",&u,&v,&c); 
      add(v,u,c);
    }
    if(id == 2)
    {
      scanf("%d%d%d",&u,&v,&c); 
      add(u,v,-c);
    }
    if(id == 3)
    {
     scanf("%d%d",&u,&v); 
     add(u,v,0);
     add(v,u,0);
    } 
 }
 for(int i = 1; i <= n; i ++)
 {
    add(0,i,0);
    dis[i] = -Inf;
 }
 //差分约束 
 if(!spfa(0))
 {
   cout << "No";
 }else
 cout << "Yes";
 return 0;
}

https://blog.csdn.net/weixin_43846217/article/details/104183120