【bzoj 1202】狡猾的商人【HNOI2005】-CSDN博客

本文链接：https://blog.csdn.net/TLECOCE/article/details/81912318

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

对于这道题，首先可以发现输入相当于 $sum[t]-sum[s-1]=v$ ，然后可以差分约束或者带权并查集解决，下面是程序：

差分约束( $sum[t]-sum[s-1]\geq v,sum[t]-sum[s-1]\leq v$ )：

#include<stdio.h>
#include<string.h>
#include<iostream>
using namespace std;
const int N=205,M=2005;
int n,m,head[N],k,cnt[N],s=N-1,dis[N];
bool vis[N];
struct queue{
	int a[N],l,r;
	void clear(){
		l=0,r=1;
	}
	bool empty(){
		return l+1==r;
	}
	void push(int x){
		a[r]=x;
		r=(r+1)%N;
	}
	void pop(){
		l=(l+1)%N;
	}
	int front(){
		return a[(l+1)%N];
	}
}q;
struct edge{
	int v,w,next;
}e[M<<2];
void add(int u,int v,int w){
	e[++k]=(edge){v,w,head[u]};
	head[u]=k;
}
bool SPFA(){
	q.clear();
	memset(cnt,0,sizeof(cnt));
	memset(dis,0x3f,sizeof(dis));
	memset(vis,0,sizeof(vis));
	int u,v,i;
	q.push(s);
	cnt[s]=vis[s]=1;
	dis[s]=0;
	while(!q.empty()){
		u=q.front();
		q.pop();
		vis[u]=0;
		for(i=head[u];i;i=e[i].next){
			v=e[i].v;
			if(dis[u]+e[i].w<dis[v]){
				dis[v]=dis[u]+e[i].w;
				if(!vis[v]){
					if(++cnt[v]>=n){
						return 0;
					}
					q.push(v);
					vis[v]=1;
				}
			}
		}
	}
	return 1;
}
void work(){
	k=0;
	memset(head,0,sizeof(head));
	int u,v,w;
	scanf("%d%d",&n,&m);
	while(m--){
		scanf("%d%d%d",&u,&v,&w);
		add(v,u-1,-w);
		add(u-1,v,w);
	}
	for(u=0;u<n;u++){
		add(s,u,0);
	}
	printf("%s\n",SPFA()?"true":"false");
}
int main(){
	int t;
	scanf("%d",&t);
	while(t--){
		work();
	}
	return 0;
}

并查集( $w[i]$ 表示 $i$ 到当前根的距离)：

#include<stdio.h>
#include<string.h>
#include<iostream>
using namespace std;
const int N=105;
int f[N],w[N];
bool flag;
int findf(int u){
	if(u==f[u]){
		return u;
	}
	int t=findf(f[u]);
	w[u]+=w[f[u]];
	return f[u]=t;
}
void Union(int u,int v,int c){
	int x=findf(u),y=findf(v);
	if(x!=y){
		f[y]=x;
		w[y]=c-w[v]+w[u];
	}
	else{
		if(w[v]-w[u]!=c){
			flag=1;
		}
	}
}
void work(){
	memset(w,0,sizeof(w));
	int n,m,i,u,v,c;
	flag=0;
	scanf("%d%d",&n,&m);
	for(i=0;i<=n;i++){
		f[i]=i;
	}
	while(m--){
		scanf("%d%d%d",&u,&v,&c);
		Union(u-1,v,c);
	}
	printf("%s\n",flag?"false":"true");
}
int main(){
	int t;
	scanf("%d",&t);
	while(t--){
		work();
	}
	return 0;
}