zoukankan      html  css  js  c++  java
  • 对主席树的理解以及使用

    引入

    一个长度为(n)的数组,有(m)次查询,每次查询区间([l,r])内第(k)小的元素。

    如果使用暴力,肯定不可以

    使用线段树?可是我只会查询区间最值啊。

    那么我们把问题再次简化一下,查询([1,n])(k)小的元素,要求使用线段树来实现。

    权值线段树

    为了解决这个问题,我们引入一个名词:权值线段树。那么权值线段树是如何解决上面那个问题的呢?

    首先,我们对数组进行离散化处理,离散成为([1,n]),然后我们建一颗线段树,线段树的节点存放的即为对应区间的数的个数。

    比如数组(a={3,3,2,2}),经过离散化后变为(2,2,1,1)

    对应的线段树即为:

    建好线段树之后我们如何求解第(k)小元素呢?我们从根节点出发,看下它的左儿子的元素个数是否超过了(k),如果超过了(k),那么第(k)小一定是左儿子的第(k)小,我们直接去访问左儿子,否则,假设左儿子的节点为(num),那么第(k)小一定是右儿子的第(k-num)小,我们去访问右儿子,直到递归终止,我们便找到了第(k)小元素。

    主席树

    当我们解决了上一个问题,我们这样考虑:

    每输入一个数字(a_i),就建一棵([1,i])的权值线段树,那么如果要查询([l,r])的区间第(k)小,直接让这两棵权值线段树做差,然后进行我们上面设计的算法,问题不久迎刃而解了吗?

    但是,每建一棵树,这样(n)棵树的空间会达到(O(n^2))的级别,空间是无法承受的。我们这样想,假设你输入了(a_i),并且你已经建好了(a_{i-1})的线段树,是不是(a_i)(a_{i-1})的线段树只会有(log)级别的点是不同的,剩下的大部分都是完全一致的。利用这个性质,我们不再开辟新的线段树,而是先把(a_i)会改变掉的节点复制一份,然后对复制的节点进行修改,连接到上次构建好的线段树上,这样我们只用了(log)的空间。最终我们构造的这棵树就叫主席树(其实已经不是一棵树了)。点的个数最多为(O(nlog(n)))

    建立过程

    对于数组(a:3,3,2,2)建立主席树:

    第一步:离散化为(2,2,1,1)
    第二步:输入(2),构造权值线段树

    第三步:输入2

    2.png

    第四步:输入1

    3.png

    第五步:输入1

    4.png

    这样我们就构造了一个主席树(有点丑),然后对于要查询的区间([l,r]),我们只需要从他们各自的"根"出发,递归做差寻找第(k)大即可。图中四个根分别为(1,4,7,10)

    代码:

    #include<bits/stdc++.h>
    
    using namespace std;
    typedef long long ll;
    
    const ll N = 5e5+100;
    vector<ll> v;
    ll a[N],roots[N],cnt;
    struct node{
    	ll l,r,num;
    }T[N*25];
    void update(ll l,ll r,ll &x,ll y,ll pos){
    	T[++cnt]=T[y];T[cnt].num++;x=cnt;//复制节点并且更新
    	if(l==r) return ;
    	ll mid=(l+r)>>1;
    	if(mid>=pos) update(l,mid,T[x].l,T[y].l,pos);
    	else update(mid+1,r,T[x].r,T[y].r,pos);
    }
    ll query(ll l,ll r,ll x,ll y,ll k){
    	if(l==r) return l;
    	ll sum=T[T[y].l].num-T[T[x].l].num;
    	ll mid=(l+r)>>1;
    	if(sum>=k) return query(l,mid,T[x].l,T[y].l,k);//第$k$小在左子树
    	else return query(mid+1,r,T[x].r,T[y].r,k-sum);//在右子树
    }
    ll getid(ll x){
    	return lower_bound(v.begin(),v.end(),x)-v.begin()+1;
    }
    int main(){
    	cnt=0;
    	ll n,m;
    	scanf("%lld%lld",&n,&m);
    
    	for(ll i=1;i<=n;i++) scanf("%lld",&a[i]),v.push_back(a[i]);
    	sort(v.begin(),v.end());
    
    	v.erase(unique(v.begin(),v.end()),v.end());//离散化
    
    	for(ll i=1;i<=n;i++) update(1,n,roots[i],roots[i-1],getid(a[i]));
    	while(m--){
    		ll l,r,k;
    		scanf("%lld %lld %lld",&l,&r,&k);
    
    		printf("%lld
    ",v[query(1,n,roots[l-1],roots[r],k)-1]);
    	}
    	return 0;
    }
    
  • 相关阅读:
    MVC视图展现模式之移动布局解析-续集
    网站就必须用响应式布局吗?MVC视图展现模式之移动布局
    用Word写博客园文章
    扩:new and override
    通告
    List-style-type属性失效
    在线浏览PDF之PDF.JS (附demo)
    08. Web大前端时代之:HTML5+CSS3入门系列~H5 Web存储
    07. Web大前端时代之:HTML5+CSS3入门系列~H5 地理位置
    06. Web大前端时代之:HTML5+CSS3入门系列~HTML5 画布
  • 原文地址:https://www.cnblogs.com/codancer/p/12232401.html
Copyright © 2011-2022 走看看