原题链接 裸的差分约束. \(X_a-X_b\geqslant C\) \(X_a-X_b\leqslant C\Rightarrow X_b-X_a\geqslant -C\) \(X_a-X_b\geqslant 0,X_b-X_a\geqslant 0\) 并建立一个超级源点\(0\),对每个点连一条权值为\(0\)的边,然后跑\(SPFA\)判断是否有正环即可. 注意该题数据较强,基于\(BFS\)的\(SPFA\)难以跑过,需用基于\(DFS\)的版本. #include<cstdio…

题目传送门 小K的农场 题目描述 小K在MC里面建立很多很多的农场,总共n个,以至于他自己都忘记了每个农场中种植作物的具体数量了,他只记得一些含糊的信息(共m个),以下列三种形式描述: 农场a比农场b至少多种植了c个单位的作物, 农场a比农场b至多多种植了c个单位的作物, 农场a与农场b种植的作物数一样多. 但是,由于小K的记忆有些偏差,所以他想要知道存不存在一种情况,使得农场的种植作物数量与他记忆中的所有信息吻合. 输入输出格式 输入格式: 第一行包括两个整数 n 和 m,分别表示农场数目和小…

P1993 小K的农场 题目描述 小K在MC里面建立很多很多的农场,总共n个,以至于他自己都忘记了每个农场中种植作物的具体数量了,他只记得一些含糊的信息(共m个),以下列三种形式描述: 农场a比农场b至少多种植了c个单位的作物, 农场a比农场b至多多种植了c个单位的作物, 农场a与农场b种植的作物数一样多. 但是,由于小K的记忆有些偏差,所以他想要知道存不存在一种情况,使得农场的种植作物数量与他记忆中的所有信息吻合. 输入输出格式 输入格式: 第一行包括两个整数 n 和 m,分别表示农场数目和小…

P1993 小K的农场 题目描述 小K在MC里面建立很多很多的农场,总共n个,以至于他自己都忘记了每个农场中种植作物的具体数量了,他只记得一些含糊的信息(共m个),以下列三种形式描述: 农场a比农场b至少多种植了c个单位的作物, 农场a比农场b至多多种植了c个单位的作物, 农场a与农场b种植的作物数一样多. 但是,由于小K的记忆有些偏差,所以他想要知道存不存在一种情况,使得农场的种植作物数量与他记忆中的所有信息吻合. 输入输出格式 输入格式: 第一行包括两个整数 n 和 m,分别表示农场数目和小…

看到题就可以想到差分约束 判断负环要用dfs,bfs-spfa会TLE 4个点 bfs-spfa #include <cstdio> #include <algorithm> #include <queue> #include <cstring> #include <iostream> using namespace std; ; ; ,u[MAXM],v[MAXM],w[MAXM],first[MAXN],next[MAXM]; bool vi…

更好的阅读体验 Portal Portal1: Luogu Description 小\(K\)在\(\mathrm MC\)里面建立很多很多的农场,总共\(n\)个,以至于他自己都忘记了每个农场中种植作物的具体数量了,他只记得一些含糊的信息(共\(m\)个),以下列三种形式描述: 农场\(a\)比农场\(b\)至少多种植了\(c\)个单位的作物, 农场\(a\)比农场\(b\)至多多种植了\(c\)个单位的作物, 农场\(a\)与农场\(b\)种植的作物数一样多. 但是,由于小\(K\)的记忆…

题目描述 小 K 在 Minecraft 里面建立很多很多的农场,总共 n 个,以至于他自己都忘记了每个 农场中种植作物的具体数量了,他只记得一些含糊的信息(共 m 个),以下列三种形式描 述: 农场 a 比农场 b 至少多种植了 c 个单位的作物. 农场 a 比农场 b 至多多种植了 c 个单位的作物. 农场 a 与农场 b 种植的作物数一样多. 但是,由于小 K 的记忆有些偏差,所以他想要知道存不存在一种情况,使得农场的种 植作物数量与他记忆中的所有信息吻合. 输入输出格式 输入格式: 从…

思路是差分约束+dfs版SPFA. 首先来思考差分约束的过程,将题目给出的式子进行转化: 农场a比农场b至少多种植了c个单位的作物, SPFA我们考虑跑最短路,那么要让SPFA中满足的式子就是if(d[b]>d[a]-c)d[b]=d[a]-c,即让b<=a-c. 所以建一条a->b权值为-c的边,使d[b]始终满足<=d[a]-c. 农场a比农场b至多多种植了c个单位的作物, 同理,建一条b->a,权值为c的边. 农场a与农场b种植的作物数一样多. 建一条a,b间的双向边,…

Code: #include<cstdio> #include<queue> using namespace std; const int N=10000+233; const int INF=10000000; int head[N],to[N<<1],nex[N<<1],val[N<<1],vis[N],d[N]; int cnt; void add_edge(int u,int v,int c) { nex[++cnt]=head[u],h…

/* 加深一下对查分约束的理解 建图的时候为了保证所有点联通 虚拟一个点 它与所有点相连 权值为0 然后跑SPFA判负环 这题好像要写dfs的SPFA 要不超时 比较懒 改了改重复进队的条件~ */ #include<iostream> #include<cstdio> #include<cstring> #include<queue> #define maxn 40010 using namespace std; int n,m,num,head[maxn…