BZOJ3436 小K的农场

题目链接：http://www.lydsy.com/JudgeOnline/problem.php?id=3436

Description

 背景

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

 描述

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

Input

   第一行包括两个整数n和m，分别表示农场数目和小K记忆中的信息的数目

    接下来m行：

    如果每行的第一个数是1，接下来有三个整数a,b,c，表示农场a比农场b至少多种植了c个单位的作物    如果每行第一个数是2，接下来有三个整数a，b，c，表示农场a比农场b至多多种植了c个单位的作物

    如果每行第一个数是3，接下来有两个整数a,b，表示农场a种植的数量与b一样多

Output

    如果存在某种情况与小K的记忆吻合，输出”Yes”，否则输出”No”

差分约束，写了个常规SPFA，整整跑了6704ms

教主说Greens在出题的时候是要卡常规SPFA TLE的，要用SLF或者DFS版SPFA

DFS版SPFA？翻了教主的代码，除了把queue改成stack之外其他的一模一样

然后就304msAC？

#include <iostream>
#include <cstdio>
#include <algorithm>
#include <cstring>
#include <stack>
#define rep(i,l,r) for(int i=l; i<=r; i++)
#define clr(x,y) memset(x,y,sizeof(x))
#define travel(x) for(Edge *p=last[x]; p; p=p->pre)
using namespace std;
typedef long long ll;
const int INF = 0x3f3f3f3f;
const int maxn = 100010;
inline int read(){
    int ans = 0, f = 1;
    char c = getchar();
    for(; !isdigit(c); c = getchar())
    if (c == '-') f = -1;
    for(; isdigit(c); c = getchar())
    ans = ans * 10 + c - '0';
    return ans * f;
}
struct Edge{
    Edge* pre; int to,cost;
}edge[200010],*last[maxn],*pt = edge;
int n,k,x,a,b,c,d[maxn],cnt[maxn];
bool isin[maxn];
stack <int> s;
inline void addedge(int x,int y,int z){
    pt->pre = last[x]; pt->to = y; pt->cost = z; last[x] = pt++;
}
bool spfa(){
    clr(isin,0);
    rep(i,1,n) d[i] = 0, isin[i] = 1, s.push(i), cnt[i] = 1;
    while (!s.empty()){
        int now = s.top(); s.pop(); isin[now] = 0;
        travel(now){
            if (d[p->to] > d[now] + p->cost){
                d[p->to] = d[now] + p->cost;
                if (!isin[p->to]){
                    if (++cnt[p->to] > n) return 0;
                    isin[p->to] = 1; s.push(p->to);
                }
            }
        }
    }
    return 1;
}
int main(){
    n = read(); k = read();
    rep(i,1,k){
        x = read();
        switch(x){
            case 1: a = read(), b = read(), c = read(), addedge(a,b,-c); break;
            case 2: a = read(), b = read(), c = read(), addedge(b,a,c); break;
            case 3: a = read(), b = read(), addedge(a,b,0), addedge(b,a,0); break;
        }
    }
    printf(spfa() ? "Yes
" : "No
");
    return 0;
}