「NOIP模拟」蒜头君当大厨【差分约束板子】

问题描述

蒜头君苦练厨艺，终于成为了某高档酒店的大厨。 每天上班，蒜头君会被要求做 nnn 份菜。既然是高档酒店，那么客人们当然是很讲究的，尤其对于上菜的时间有很多要求。客人们的要求被分成下列四种：
菜品 a 的上菜时间必须比菜品 b的上菜时间早 d 分钟或者更早。
菜品 a的上菜时间必须比菜品 b的上菜时间迟 d分钟或者更迟。
菜品 a 的上菜时间在 d 分钟以后(包含 d 分钟)。
菜品 a 的上菜时间在 d 分钟之前(包含 d 分钟)。
蒜头君的上班时间记为 0 分钟。为了节约时间，在满足客人们要求的情况下，蒜头君希望最后上的一道菜的时间尽可能的早。（每道菜的上菜时间必须不早于蒜头君的上班时间）

输入格式

第一行输入一个整数 n，表示一共需要上 n 道菜。
第二行输入一个整数 m，表示客人们的要求数量。
接下里 m 行，每行先输入一个整数 op。
如果 op=1，表示描述里的第 1 种要求，后面跟着三个整数 a,b,d;
如果 op=2，表示描述里的第 2 种要求，后面跟着三个整数 a,b,d;
如果 op=3，表示描述里的第 3 种要求，后面跟着两个整数 a,d;
如果 op=4，表示描述里的第 4 种要求，后面跟着两个整数 a,d。

输出格式

能满足客人们的要求，输出最后一道菜的上菜时间；否则输出一行 I can’t。

#include <cmath>
#include <queue>
#include <cstdio>
#include <cstring>
#include <iostream>
#include <algorithm>
#define ll long long
#define rep(i,x,y) for(ll i=(x);i<=(y);i++)
#define repl(i,x,y) for(ll i=(x);i<(y);i++)
#define repd(i,x,y) for(ll i=(x);i>=(y);i--)
using namespace std;

const ll N=2e5+5;
const ll Inf=1e18;

ll n,m,ans,flag,dis[N],vis[N],tot[N];
ll cnt,to[N],edge[N],nxt[N],head[N];

inline ll read() {
	ll x=0;char ch=getchar();bool f=0;
	while(ch>'9'||ch<'0'){if(ch=='-')f=1;ch=getchar();}
	while(ch>='0'&&ch<='9'){x=(x<<1)+(x<<3)+ch-'0';ch=getchar();}
	return f?-x:x;
}

void ins(ll x,ll y,ll z) {
	to[++cnt]=y;edge[cnt]=z;nxt[cnt]=head[x];head[x]=cnt;
}

void spfa(ll s) {
	rep(i,1,n) vis[i]=0,dis[i]=-1;
	queue<ll>q;q.push(s);vis[s]=1;dis[s]=0;
	
	while(q.size()) {
		ll x=q.front();q.pop();vis[x]=0;
		
		for(ll i=head[x];i;i=nxt[i]) {
			ll y=to[i],z=edge[i];
			
			if(dis[x]+z>dis[y]) {
				dis[y]=dis[x]+z;
				if(!vis[y]) {
					vis[y]=1;q.push(y);
					if(++tot[y]==n+1) {
						flag=1;return ;
					}
				}
			}
		}
	}
}

int main() {
	n=read(),m=read();

	rep(i,1,m) {
		ll type=read();
		
		if(type==1) {
			ll x=read(),y=read(),z=read();ins(x,y,z);
		} else if (type==2) {
			ll x=read(),y=read(),z=read();ins(y,x,z);
		} else if (type==3) {
			ll x=read(),z=read();ins(0,x,z);
		} else {
			ll x=read(),z=read();ins(x,0,-z);
		}
	}
	
	rep(i,1,n) ins(0,i,0);
	
	spfa(0);
	if(flag) printf("I can't\n");
	else {
		rep(i,1,n) ans=max(ans,dis[i]);
	
		printf("%lld\n",ans);
	}
	
	return 0;
}