BZOJ 1202 [HNOI2005]狡猾的商人

最新推荐文章于 2021-02-23 15:35:21 发布

Treeloves

最新推荐文章于 2021-02-23 15:35:21 发布

阅读量199

点赞数

分类专栏：差分约束

本文链接：https://blog.csdn.net/lpno17/article/details/78044203

版权

差分约束专栏收录该内容

2 篇文章 0 订阅

订阅专栏

1202: [HNOI2005]狡猾的商人

Time Limit: 10 Sec Memory Limit: 162 MB
Submit: 3915 Solved: 1885
[ Submit][ Status][ Discuss]

Description

刁姹接到一个任务，为税务部门调查一位商人的账本，看看账本是不是伪造的。账本上记录了n个月以来的收入情况，其中第i 个月的收入额为Ai(i=1,2,3...n-1,n)，。当 Ai大于0时表示这个月盈利Ai 元，当 Ai小于0时表示这个月亏损Ai 元。所谓一段时间内的总收入，就是这段时间内每个月的收入额的总和。刁姹的任务是秘密进行的，为了调查商人的账本，她只好跑到商人那里打工。她趁商人不在时去偷看账本，可是她无法将账本偷出来，每次偷看账本时她都只能看某段时间内账本上记录的收入情况，并且她只能记住这段时间内的总收入。现在，刁姹总共偷看了m次账本，当然也就记住了m段时间内的总收入，你的任务是根据记住的这些信息来判断账本是不是假的。

Input

第一行为一个正整数w，其中w < 100，表示有w组数据，即w个账本，需要你判断。每组数据的第一行为两个正整数n和m，其中n < 100，m < 1000，分别表示对应的账本记录了多少个月的收入情况以及偷看了多少次账本。接下来的m行表示刁姹偷看m次账本后记住的m条信息，每条信息占一行，有三个整数s，t和v，表示从第s个月到第t个月（包含第t个月）的总收入为v，这里假设s总是小于等于t。

Output

包含w行,每行是true或false,其中第i行为true当且仅当第i组数据，即第i个账本不是假的；第i行为false当且仅当第i组数据，即第i个账本是假的。

Sample Input

2
3 3
1 2 10
1 3 -5
3 3 -15
5 3
1 5 100
3 5 50
1 2 51

Sample Output

true
false

HINT

Source

[ Submit][ Status][ Discuss]

HOME Back

[唉，markdown不能实现原格式粘贴。还是得用HTML编辑器]。

Sum[i]表示收入前缀和。那么题目相当于给出了这样一条信息：Sum[j]-Sum[i-1]==V。

那么差分约束的模型就已经很明显了。我们只需要将其转化成 Sum[j]-Sum[i-1]>=V&&Sum[j]-Sum[i-1]<=V，然后连边即可。跑最长路还是最短路随你便，只要判断有没有正/负环即可。讲真如果你想提高效率的话还是可以用DFS_SPFA判环。

实际上此题有更加便捷的方法——并查集。

假设我们知道了Sum[r1]-Sum[l1]=v1&&Sum[r2]-Sum[r1]==v2，那么我们只需要再知道Sum[r2]-Sum[l1]是不是符合上面的式子就可以了。

并查集的精妙操作：点上储存信息。

我们设Dis[i]为i点到父亲节点的距离，在路径压缩的操作中不断去维护它，路径压缩完其也就是等于到根节点的距离了（因为i的父亲已经是根节点了）。

对于要新操作的l和r，如果l和r在同一并查集里，则查询一下Dis[r]-Dis[l]是不是符合要求。如果不在同一并查集里，我们就要将其合并。注意一点要将r的并查集挂到l并查集的下面，即Father[find(r)]=find(l)。至于合并时要修改的一些Dis值，相信读者画画图就出来了。

BZOJ传送门：点击打开链接

#include<cstdio>
#include<cstring>
#include<iostream>
#include<algorithm>
using namespace std;
int father[100001],dis[10001];
int T,l,r,c,n,m;
int find(int x){
	if(father[x]!=x)
	{
		int rem=father[x];
		father[x]=find(father[x]);
		dis[x]+=dis[rem];
	}
	return father[x];
}
void unionn(int r1,int r2,int c){
	father[r2]=r1;
	dis[r2]=c;
}
int main()
{
	scanf("%d",&T);
	while(T--)
	{
		scanf("%d%d",&n,&m);
		bool ok=true;
		for(int i=0;i<=n;i++)father[i]=i,dis[i]=0;
		for(int i=1;i<=m;i++){
			scanf("%d%d%d",&l,&r,&c);
			if(l>r)swap(l,r);
			l--;
			if(find(l)!=find(r))
				unionn(find(l),find(r),c+dis[l]-dis[r]);
			else
				if(dis[r]-dis[l]!=c)ok=false;
		}
		if(ok)printf("true\n");
		else printf("false\n");
	}
	return 0;
}