=== ===
这里放传送门
=== ===
题解
一开始做的时候想用什么f[l][r]表示[l..r]这一段区间的值然后乱七八糟乱更新然后再判断之类的,对拍的时候一拍一个错然而好像当时某人交上去A了?!
但是吧,这道题主要就是考虑当给了你一串信息的时候怎么把这一串信息合并到一起将来好用来计算其它的信息。考虑把区间和转化为前缀和相减,那么可以发现这个前缀和是具有传递性的,因为知道了s[b]-s[a]和s[c]-s[b]以后我们可以算出s[c]-s[a]。。那么就有了一个比较科学的思路——加权并查集!因为对于并查集来说是可以在find的过程中传递信息的。所以如果让每个位置都代表一个前缀和,那么比如来了一个形如[l..r]的和为S的信息,首先要判断它是不是跟前面已经出现过的信息矛盾。那么就先看s[r]和s[l-1]在不在同一个集合里面,如果在的话就可以把它们提出来计算。并查集里的权就是这个点到它代表元素的距离,也就是这个点所代表的前缀和。如果s[r]和s[l-1]在同一个集合里面的话,它们的代表元素就是相同的,前缀和相减就可以求出[l..r]这一段的和。但是如果它们不在同一个集合里面就默认它为真,就要把s[r]和s[l-1]合并到一起然后维护并查集的权。注意的问题就是要注意并查集的时候合并的顺序,要保证代表元素总是前面的那一个。
代码
#include<cstdio>
#include<cstring>
#include<algorithm>
using namespace std;
int n,m,father[110],T,sum[110],now;
struct query{
int l,r,v;
}q[1010];
bool flag;
int find(int x){
if (father[x]!=x){
int t=find(father[x]);//注意要先更新father的sum
sum[x]+=sum[father[x]];
father[x]=find(father[x]);
}
return father[x];
}
int main()
{
scanf("%d",&T);
for (int wer=1;wer<=T;wer++){
scanf("%d%d",&n,&m);flag=true;
memset(sum,0,sizeof(sum));
for (int i=0;i<=n;i++) father[i]=i;
for (int i=1;i<=m;i++) scanf("%d%d%d",&q[i].l,&q[i].r,&q[i].v);
for (int i=1;i<=m;i++){
int u,v,k,r1,r2;
u=q[i].l-1;v=q[i].r;k=q[i].v;
r1=find(u);r2=find(v);
if (r1==r2)
if (sum[v]-sum[u]!=k){//通过前缀和作差来判断
flag=false;break;
}
if (r1!=r2){
if (r1>r2){
swap(u,v);swap(r1,r2);
}//固定合并方向——把v合并到u里面。
father[r2]=r1;
if (u>v) now=sum[u]-k;//根据u和v的大小关系计算v当前的前缀和
else now=k+sum[u];
sum[r2]=now-sum[v];
}
}
if (flag==false) printf("false\n");
else printf("true\n");
}
return 0;
}
偏偏在最后出现的补充说明
加权并查集的经典特征和模型还是要记住呀。