推导部分和（带权并查集）

食物链

动物王国中有三类动物 A,B,C这三类动物的食物链构成了有趣的环形。

A 吃 B，B 吃 C，C 吃 A。

现有 N 个动物，以 1∼N编号。

每个动物都是 A,B,C 中的一种，但是我们并不知道它到底是哪一种。

有人用两种说法对这 N 个动物所构成的食物链关系进行描述：

第一种说法是 1 X Y，表示 X 和 Y是同类。

第二种说法是 2 X Y，表示 X 吃 Y。

此人对 N 个动物，用上述两种说法，一句接一句地说出 K 句话，这 K 句话有的是真的，有的是假的。

当一句话满足下列三条之一时，这句话就是假话，否则就是真话。

1. 当前的话与前面的某些真的话冲突，就是假话；
2. 当前的话中 X 或 Y 比 N 大，就是假话；
3. 当前的话表示 X 吃 X，就是假话。

你的任务是根据给定的 N 和 K 句话，输出假话的总数。

输入格式

第一行是两个整数 N 和 K，以一个空格分隔。

以下 K 行每行是三个正整数 D，X，Y，两数之间用一个空格隔开，其中 D 表示说法的种类。

若 D=1，则表示 X 和 Y 是同类。

若 D=2，则表示 X 吃 Y                              。

输出格式

只有一个整数，表示假话的数目。

数据范围

1≤N≤50000
0≤K≤100000

输入样例：

100 7
1 101 1 
2 1 2
2 2 3 
2 3 3 
1 1 3 
2 3 1 
1 5 5

输出样例：

3

 核心代码

int find(int x)
{
    if(p[x]!=x)
    {
        int t=find(p[x]);
        d[x]+=d[p[x]];
        p[x]=t;
    }
    return p[x];
}

d[x]始终代表到父节点的距离，只不过在find之后x的父节点直接变成了祖宗，所以逻辑上成了到祖宗的距离 

#include<iostream>
#include<algorithm>
using namespace std;
const int N=5e4+10;
int p[N],d[N];
int find(int x)
{
    if(p[x]!=x)
    {
        int t=find(p[x]);
        d[x]+=d[p[x]];
        p[x]=t;
    }
    return p[x];
}
int main()
{
    int n,k;cin>>n>>k;
    for(int i=1;i<=n;i++) p[i]=i;
    int res=0;
    while(k--)
    {
        int num,x,y;cin>>num>>x>>y;
        if(x>n||y>n) res++;
        else{
        int px=find(x),py=find(y);
        if(num==1)
        {
            if(px==py&&(d[x]-d[y])%3!=0) res++;
            //不相等 合并
            else if(px!=py)
            {
                p[px]=py;
                //(d[x]+?)%3==d[y]%3--->?=d[y]-d[x];
                d[px]=d[y]-d[x];
            }
        }
        else 
        {
            //(d[y]-d[x])%3==1-->(d[y]-d[x]-1)%3==0
            //若 (d[y]-d[x]-1)%3!=0 则说谎
            if(px==py&&(d[y]-d[x]-1)%3) res++;
            //根节点不相等合并
            else if(px!=py)
            {
                p[px]=py;
                // (d[x]+?-d[y])%3==1
                d[px]=d[y]-1-d[x];
            }
        }
        }
    }
    cout<<res<<endl;
    return 0;
}

 推导部分和

题目描述

对于一个长度为 N 的整数数列 A1, A2, · · · AN，小蓝想知道下标 l 到 r 的部分和

是多少？

然而，小蓝并不知道数列中每个数的值是多少，他只知道它的 M 个部分和的值。其中第 i 个部分和是下标 li 到 ri 的部分和

，值是 S i 。

输入格式

第一行包含 3 个整数 N、M 和 Q。分别代表数组长度、已知的部分和数量和询问的部分和数量。

接下来 M 行，每行包含 3 个整数 li ,ri , S i。

接下来 Q 行，每行包含 2 个整数 l 和 r ，代表一个小蓝想知道的部分和。

输出格式

对于每个询问，输出一行包含一个整数表示答案。如果答案无法确定，输出 UNKNOWN。 

样例输入

5 3 3
1 5 15
4 5 9
2 3 5
1 5
1 3
1 2

样例输出

15
6
UNKNOWN

提示

对于 10% 的评测用例，1 ≤ N, M, Q ≤ 10，−100 ≤ S i ≤ 100。

对于 20% 的评测用例，1 ≤ N, M, Q ≤ 20，−1000 ≤ S i ≤ 1000。

对于 30% 的评测用例，1 ≤ N, M, Q ≤ 50，−10000 ≤ S i ≤ 10000。

对于 40% 的评测用例，1 ≤ N, M, Q ≤ 1000，−106 ≤ S i ≤ 106。

对于 60% 的评测用例，1 ≤ N, M, Q ≤ 10000，−109 ≤ S i ≤ 109。

对于所有评测用例，1 ≤ N, M, Q ≤ 105，−1012 ≤ S i ≤ 1012，1 ≤ li ≤ ri ≤ N， 1 ≤ l ≤ r ≤ N。数据保证没有矛盾。 

 

 

#include<iostream>
#include<cstring>
#include<algorithm>
#define int long long
using namespace std;
const int N=1e5+10;
int p[N],d[N];
int n,m,q;
int find(int x)
{
	if(x!=p[x])
	{
		int t=find(p[x]);
		d[x]+=d[p[x]];
		p[x]=t;
	}
	return p[x];
}
signed main()
{
    scanf("%lld%lld%lld",&n,&m,&q);
	for(int i=1;i<=n;i++) p[i]=i;
	while(m--)
	{
		//l~r之间的和 s[r]-s[l-1] -->使l-1与r连一条边 
	    int l,r,s;scanf("%lld%lld%lld",&l,&r,&s);
	    l--;
	    //找根节点 
	    int pl=find(l),pr=find(r);
	    //合并 
	    p[pl]=pr;
	    //d[r]-d[l]-?=s --> ?=d[r]-d[l]-s
	    d[pl]=d[r]-d[l]-s;
	}	
for(int i=0;i<n;i++) cout<<d[i]<<" "<<endl; 
	//查询
    //如果l, r都在同一个集合，则存在结果，否则不能查出结果
	while(q--)
	{
		int l,r;scanf("%lld%lld",&l,&r);
		l--;
		int pl=find(l),pr=find(r);
		if(pl!=pr)
		{
			printf("UNKNOWN\n");
		}
		else printf("%lld\n",d[r]-d[l]);
	}
}