bsp arrow 聯系 while rip 接下來 com max sta

題解: 差分約束 模板題

　　　差分約束系統 聯系 最短路

　　　對於操作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向b連一條0的邊 b向a連一條0的邊

#include <algorithm>
#include <iostream>
#include <cstring>
#include <cstdio>
#include <vector>
#include <stack>
#include <queue>
#include <cmath>
#include <set>
#include <map>
#define mp make_pair
#define pb push_back
#define pii pair<int,int>
#define link(x) for(edge *j=h[x];j;j=j->next)
#define inc(i,l,r) for(int i=l;i<=r;i++)
#define dec(i,r,l) for(int i=r;i>=l;i--)
const int MAXN=3e5+10;
const double eps=1e-8;
#define ll long long
using namespace std;
const int inf=1e9+7;
struct edge{int t,v;edge*next;}e[MAXN<<1],*h[MAXN],*o=e;
void add(int x,int y,int vul){o->t=y;o->v=vul;o->next=h[x];h[x]=o++;}
ll read(){
    ll x=0,f=1;char ch=getchar();
    while(!isdigit(ch)){if(ch==‘-‘)f=-1;ch=getchar();}
    while(isdigit(ch))x=x*10+ch-‘0‘,ch=getchar();
    return x*f;
}

queue<int>que;
bool vis[MAXN];
int du[MAXN];
bool vi[MAXN];
int dis[MAXN],n;
vector<int>vec;
bool spfa(int t){
    vec.pb(t);
    que.push(t);vis[t]=1;du[t]++;dis[t]=0;
    while(!que.empty()){
	int t1=que.front();que.pop();vis[t1]=0;
	link(t1){
	    vi[j->t]=1;
	    vec.pb(j->t);
	    if(dis[j->t]>dis[t1]+j->v){
		dis[j->t]=dis[t1]+j->v;
		if(!vis[j->t]){
		    vis[j->t]=1;du[j->t]++;que.push(j->t);
		    if(du[j->t]>n)return 0;
		}
	    }
	}
    }
    return 1;
}

int main(){
    n=read();int m=read();
    int op,x,y,z;
    while(m--){
	int op=read();x=read();y=read();
	if(op==1)z=read(),add(x,y,-z);
	else if(op==2)z=read(),add(y,x,z);
	else add(x,y,0),add(y,z,0);
    }
    inc(i,1,n)dis[i]=inf;
    inc(i,1,n){
	if(vi[i])continue;
	bool flag=spfa(i);
	for(int j=0;j<vec.size();j++)vis[vec[j]]=du[vec[j]]=0,dis[vec[j]]=inf;
	vec.clear();
	if(!flag){printf("No\n");return 0;}
    }
    printf("Yes\n");
}

　　

3436: 小K的農場

Time Limit: 10 Sec Memory Limit: 128 MB
Submit: 2144 Solved: 1011
[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）

[BZOJ]3436: 小K的農場