BZOJ 3436 小K的農場 差分約束

>原題鏈結<

背景小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 33 1 2

1 1 3 1

2 2 3 2

yes看題意顯然是差分約束系統，我們對1這種操作連邊 y x z 代表y 比 x 少 z 對2這種連邊x y -z 代表x比y少-z （就是多z） 對第三種連 x y 0 和 y x 0.然後跑一遍最長路判環即可

**如下：

#include #include 

#include 
#include 
#include 
using
namespace
std;
const
int n = 23123
;int
head[n], to[n], nxt[n], val[n], _;
void add(int x, int y, int
z) int
vis[n], tot[n], f[n], viss[n];
deque
q;intn, m;
void spfa(int
s) 
for(int i=head[u];i;i=nxt[i]) }}
}}int
main() 
else
if(opt==2
) 
else
}for(int i=1;i<=n;i++) if(!viss[i])spfa(i);
//for(int i=1;i<=n;i++) printf("%d\n", f[i]);
puts("
yes"
);}

BZOJ 3436 小k的農場（差分約束）

description 背景 小k是個特麼喜歡玩mc的孩紙。描述小k在mc裡面建立很多很多的農場，總共n個，以至於他自己都忘記了每個農場中種植作物的具體數量了，他只記得一些含糊的資訊 共m個 以下列三種形式描述 農場a比農場b至少多種植了c個單位的作物，農場a比農場b至多多種植了c個單位的作物，農場...

BZOJ3436 小K的農場

差分約束系統。分析一下三種情況 1.農場a aa比農場b bb至少多種植了c cc個單位的作物 即a b c b a ca geq b c b leq a c a b c b a c，a aa向b bb連一條長度為 c c c的單向邊。2.農場a aa比農場b bb至多多種植了c cc個單位的作物。...

BZOJ 3436 小K的農場

題解 差分約束 模板題 差分約束系統 聯絡 最短路 對於操作1 a b geqslant c rightarrow b leqslant a c 也就是說a向b連一條 c的邊 對於操作2 a b leq c 也就是b向a連一條c的邊 對於操作三 a b leq 0 和 b a leq 0 也就是a向...