一类分治问题

Posted zh-comld

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了一类分治问题相关的知识,希望对你有一定的参考价值。

有一类关于区间最大值和最小值之类的问题,利用单调性,可以采用分治算法解决。

SPOJ22343 Norma

题意,给定一个数列,定义区间的代价为区间最大值、区间最小值、区间长度的成绩,求所有区间的代价和。

既然是分治,我们肯定要处理一个数列跨过中点的答案。

假设当前数列的中点为mid,我们从mid往前扫,扫到了i。

然后根据单调性,我们越往左扫,最大值单调不降,最小值单调不增。

那么我们可以在右边维护一个指针,表示满足最大值的区间的最靠右的端点。

技术分享图片

假设有这么一种情况,那么我们可以把区间拆成mid~p1,p1~p2,p2~r,三段。

1、mid~p1,max和min都是已知的,max*min*(r-l+1)。

2、p1~p2,min是已知的,我们需要算一个sigma(max)再乘上区间长度搞个前缀和算一下。

3、maxmin都未知,我们还需要维护max*min*区间长度搞成前缀和。

Code

#include<iostream>
#include<cstdio>
#define N 500010
#define inf 1e18
using namespace std;
typedef long long ll;
const int mod=1e9;
ll ans,a[N],mn[N][2],mi[N][2],ji[N][2];
int n;
inline ll calc(ll l,ll r){
    return ((l+r)*(r-l+1)/2)%mod;
}
void solve(int l,int r){
    if(l==r){(ans+=a[l]*a[l]%mod)%=mod;return;}
    ll mid=(l+r)>>1;
    solve(l,mid);solve(mid+1,r); 
    ll maxn=-inf,minn=inf;
    mn[mid][0]=mn[mid][1]=mi[mid][0]=mi[mid][1]=ji[mid][0]=ji[mid][1]=0;
    for(ll i=mid+1;i<=r;++i){
        maxn=max(maxn,a[i]);minn=min(minn,a[i]);
        mn[i][0]=(mn[i-1][0]+maxn)%mod;mn[i][1]=(mn[i-1][1]+maxn*(i-mid)%mod)%mod;
        mi[i][0]=(mi[i-1][0]+minn)%mod;mi[i][1]=(mi[i-1][1]+minn*(i-mid)%mod)%mod;
        ji[i][0]=(ji[i-1][0]+minn*maxn%mod)%mod;ji[i][1]=(ji[i-1][1]+minn*maxn%mod*(i-mid)%mod)%mod;
    }
    ll p=mid+1,q=mid+1;maxn=-inf;minn=inf;
    for(ll i=mid;i>=l;--i){
        minn=min(minn,a[i]);maxn=max(maxn,a[i]);
        while(p<=r&&a[p]>=minn)p++;
        while(q<=r&&a[q]<=maxn)q++;
        int ls=min(p,q),rs=max(p,q);
        (ans+=maxn*minn%mod*calc(mid+1-i+1,ls-i)%mod)%=mod;
        if(p<q)ans=(ans+((mi[rs-1][0]-mi[ls-1][0])*(mid-i+1)%mod+mi[rs-1][1]-mi[ls-1][1])%mod*maxn%mod+mod)%mod;
        if(p>q)ans=(ans+((mn[rs-1][0]-mn[ls-1][0])*(mid-i+1)%mod+mn[rs-1][1]-mn[ls-1][1])%mod*minn%mod+mod)%mod; 
        ans=((ans+(ji[r][0]-ji[rs-1][0])*(mid-i+1)%mod+(ji[r][1]-ji[rs-1][1])%mod)%mod+mod)%mod;
    }
}
int main(){
    scanf("%d",&n);
    for(int i=1;i<=n;++i)scanf("%lld",&a[i]);
    solve(1,n); 
    cout<<ans;
    return 0;
} 

CF526F

化简题意,给定一个排列,求有多少区间满足max-min=r-l;

和上题一样,考虑跨过中点的答案,因为我们要计算合法区间,所以这和max和min的分布情况有关。

最大值最小值都在一侧的情况,max,min,l都已知,r是可以O(1)求出的,直接判断就好了。

如果最大值最小值分布在两侧,我们可以在一边枚举最端点,在右边用双指针维护一个区间满足最大值在左边,最小值在右边。

然后max-min=r-l  ->  max+l=r+min用桶维护这个式子。

最大值最小值在右边,最小值在左边最大值在右边的情况同理。

Code

#include<iostream>
#include<cstdio>
#define N 300002
#define inf 0x3f3f3f3f
using namespace std;
int ma[N],mi[N],a[N],l,r,tong[N<<1],n;
long long ans;
void solve(int l,int r){
    if(l==r){ans++;return;}
    int mid=(l+r)>>1;
    solve(l,mid);solve(mid+1,r);
    ma[mid]=0;mi[mid]=inf;
    for(int i=mid+1;i<=r;++i){
        ma[i]=max(ma[i-1],a[i]);
        mi[i]=min(mi[i-1],a[i]);
    }
    ma[mid]=mi[mid]=a[mid];
    for(int i=mid-1;i>=l;--i){
        ma[i]=max(ma[i+1],a[i]);
        mi[i]=min(mi[i+1],a[i]);
    }
    int p=mid+1,q;
    for(int i=mid;i>=l;--i){
        p=ma[i]-mi[i]+i;
        if(p<=r&&p>=mid+1&&ma[p]<ma[i]&&mi[p]>mi[i])ans++;
    }
    p=mid;
    for(int i=mid+1;i<=r;++i){
        p=i-ma[i]+mi[i];
        if(p>=l&&p<=mid&&ma[p]<ma[i]&&mi[p]>mi[i])ans++;
    } 
    p=q=mid;
    for(int i=mid+1;i<=r;++i){
        while(ma[p]<ma[i]&&p>=l)tong[mi[p]-p+n]++,p--;
        while(mi[q]>mi[i]&&q>p)tong[mi[q]-q+n]--,q--;
        ans+=tong[ma[i]-i+n];
    }
    while(q>p)tong[mi[q]-q+n]--,q--;
    p=q=mid+1;
    for(int i=mid;i>=l;--i){
        while(ma[p]<ma[i]&&p<=r)tong[mi[p]+p]++,p++;
        while(mi[q]>mi[i]&&q<p)tong[mi[q]+q]--,q++;
        ans+=tong[ma[i]+i];
    }
    while(q<p)tong[mi[q]+q]--,q++;
}
int main(){
    scanf("%d",&n);
    for(int i=1;i<=n;++i){
        scanf("%d%d",&l,&r);
        a[l]=r;
    }
    solve(1,n);
    cout<<ans;
    return 0;
}

 

以上是关于一类分治问题的主要内容,如果未能解决你的问题,请参考以下文章

点分治

[CF960G]Bandit Blues(第一类斯特林数+分治卷积)

递归思想

初涉点分治

线段树分治

模板点分治