【BZOJ】3436: 小K的农场

3436: 小K的农场

Time Limit: 10 Sec  Memory Limit: 128 MB
Submit: 938  Solved: 417
[Submit][Status][Discuss]

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一样。1<=n,m,a,b,c<=10000

Output

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

Sample Input

3 3
3 1 2
1 1 3 1
2 2 3 2

Sample Output

Yes
样例解释
三个农场种植的数量可以为（2,2,1）

HINT

 

Source

Kpmcup#0 By Greens

---

入门题!

设点x，y相差c

若x==y,x与y之间连两条权值为0的的边

x-y<=c，y向x连一条权值为c的边

x-y>=c变形为y-x<=c，x向y连一条权值为-c的边

 

构出一张有向图，利用SPFA在图中找负权环，若有负权环则说明答案不合法（SPFA找负权环应当使用DFS版的）

---

#include<iostream>
#include<cstdio>
#include<algorithm>
#include<cstdlib>
#include<algorithm>
#include<vector>
#include<cmath>
#include<ctime>
#include<cstring>
#define yyj(s) freopen(s".in","r",stdin),freopen(s".out","w",stdout);
#define llg long long
#define maxn 50000
#define md 20000
#define inf (llg)1e16
using namespace std;
llg i,j,k,n,m,dl[maxn*10],head,tail,dis[maxn],bj[maxn],js[maxn],heh,top,stack[maxn];
bool f;

vector <llg> a[maxn],val[maxn];

void link(llg x,llg y,llg v)
{
    a[x].push_back(y),val[x].push_back(v);
}

void init()
{
    llg x,y,t,v;
    cin>>n>>m;
    for (i=1;i<=m;i++)
    {
        scanf("%lld%lld%lld",&t,&x,&y);
        if (t==3)
        {
            link(x,y,0); link(y,x,0);
        }
        if (t==2)
        {
            scanf("%lld",&v);
            link(y,x,v);
        }
        if (t==1)
        {
            scanf("%lld",&v);
            link(x,y,-v);
        }
    }
    f=true;
}

bool SPFA()
{ 
    for(llg i=1;i<=n;i++) dis[i]=0,stack[++top]=i,bj[i]=1;
    llg u,w;
    while(top>0)
    {
        u=stack[top]; top--; bj[u]=0;
        w=a[u].size();
        for(llg i=0;i<w;i++)
        {
            llg v=a[u][i]; 
            if(dis[v]>dis[u]+val[u][i])
            {
                dis[v]=dis[u]+val[u][i];
                if(!bj[v]) { bj[v]=1; stack[++top]=v; js[v]++; if(js[v]>=n) return false;}
            }
        }
    }
    return true;
}

int main()
{
    yyj("a");
    init();
    if (SPFA()) cout<<"Yes"; else cout<<"No";
    return 0;
}