BZOJ 3436: 小K的农场( 差分约束 )

orz云神...

真的给跪了...BFS版spfa T 掉了...然后DFS版的就A了...我现在很迷茫....

这就是个普通的差分约束...

------------------------------------------------------------------------------

#include<cstdio>

#include<cstring>

#include<algorithm>

#include<stack>

#include<iostream>

#define rep(i, n) for(int i = 0; i < n; ++i)

#define clr(x, c) memset(x, c, sizeof(x))

using namespace std;

const int maxn = 10010;

struct edge {

int to, w;

edge*next;

} E[maxn << 1], *pt = E, *head[maxn];

inline void add_edge(int u, int v, int d) {

pt->to = v, pt->w = d;

pt->next = head[u];

head[u] = pt++;

}

int d[maxn], inS[maxn], cnt[maxn], n;

stack<int> S;

bool spfa() {

rep(i, n)

S.push(i), inS[i] = true, cnt[i] = 1, d[i] = 0;

while(!S.empty()) {

int x = S.top(); S.pop();

inS[x] = false;

for(edge*e = head[x]; e; e = e->next) if(d[e->to] > d[x] + e->w) {

d[e->to] = d[x] + e->w;

if(!inS[e->to]) {

if(++cnt[e->to] > n) return false;

S.push(e->to), inS[e->to] = true;

}

return true;

}

inline int read() {

char c = getchar();

for(; !isdigit(c); c = getchar());

int ans = 0;

for(; isdigit(c); c = getchar())

ans = ans * 10 + c - '0';

return ans;

}

void init() {

clr(head, 0);

n = read();

int m = read();

while(m--) {

int t = read(), u = read() - 1, v = read() - 1;

if(t == 3)

add_edge(u, v, 0), add_edge(v, u, 0);

else {

int w = read();

t == 1 ? add_edge(u, v, -w) : add_edge(v, u, w);

}

int main(){

freopen("test.in", "r", stdin);

init();

printf(spfa() ? "Yes\n" : "No\n");

return 0;

}

------------------------------------------------------------------------------

3436: 小K的农场

Time Limit: 10 Sec Memory Limit: 128 MB
Submit: 351 Solved: 186
[Submit][Status][Discuss]

Description

背景

小K是个特么喜欢玩MC的孩纸。。。

描述

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