【差分约束】【例题】小K的农场

最新推荐文章于 2022-05-28 04:51:46 发布

ygmjsjdboy

最新推荐文章于 2022-05-28 04:51:46 发布

阅读量176

点赞数 1

分类专栏： # 差分约束

本文链接：https://blog.csdn.net/ygmjsjdboy/article/details/102556716

版权

差分约束专栏收录该内容

2 篇文章 0 订阅

订阅专栏

信息学奥赛一本通高手篇4.1
任意门

题目：

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

题解：

转换成数学语言：
① $v_a-v_b\leq c$
② $v_a-v_b\geq c$
③ $v_a-v_b=0$
考虑差分约束，一律统一标准成:
$v_a\geq v_b+c$ (最长路)或 $v_a\leq v_b+c$ (最短路)
按个人喜好食用
这里使用最长路，于是：
① $v_b \geq v_a-c$
② $v_a\geq v_b+c$
③ $v_a\geq v_b+0和v_b\geq v_a+0$
至于判断存在性，判换就行了，建议使用dfs优化版spfa~~没错他又活了~~

#include<bits/stdc++.h>
using namespace std;
const int N=1e4+10,M=5e4+10,INF=1e9;
int n,m;
int head[N],nex[M],to[M],val[M],tot;
void build(int u,int v,int w)
{tot++;nex[tot]=head[u];to[tot]=v;val[tot]=w;head[u]=tot;}
int dis[N],cnt[N]; 
bool vis[N];
bool spfa(int u)
{
	vis[u]=1;
	for(int i=head[u];i;i=nex[i])
	{
		int v=to[i];
		if(dis[v]<dis[u]+val[i])
		{
			dis[v]=dis[u]+val[i];
			if(vis[v])return 0;
			if(!spfa(v))return 0;
		}
	}
	vis[u]=0;return 1;
}
int T;
int main()
{
	scanf("%d%d",&n,&m);
	for(int k,u,v,w,i=1;i<=m;i++)
	{
		scanf("%d%d%d",&k,&u,&v);
		if(k!=3)scanf("%d",&w);
		if(k==1)  	      build(u,v,w);
		else if(k==2)     build(u,v,-w);
		else build(u,v,0),build(v,u,0);
	}
	for(int i=1;i<=n;i++)build(0,i,0),dis[i]=-INF;
	if(!spfa(0))printf("No");
	else 	    printf("Yes");
}