倍增:指我们在进行递推时,如果空间很大,通常的线性地推无法满足时间与空间复杂度的要求,那么我们可以通过成倍增长的方式,只递推状态空间在2的整数次幂位置上的值为代表
要求:递推的状态空间关于2的次幂具有可划分性
求小于T的最大前k项和的k:
1.令p=1,k=0,sum=0
2.
while(p!=0)
{
if(sum+s[k+p]-s[k<=T])
sum+=s[k+p]-s[k],k+=p,p*=2;
if(sum+s[k+p]-s[k]>0)
p/=2;
}
ST算法:
ST算法能在O(nlogn)时间的预处理后,以O(1)的时间复杂度在线回答”数列A中下标在l~r之间的最大值是多少:
思路:设F[i,j]表示数列A中下标在子区间[i,i+2^j-1]里的最大值,递推边界F[i,0]=A[i]
公式:F[i,j]=max(F[i,j-1],F[i,i+2^j-1])
预处理:void ST_perwork()
{
for(int i=1;i<=n;i++)
f[i][0]=a[i];
int t=log(n)/log(2)+1;//2^j<=n
for(int j=1;j<t;j++)
for(int i=1;i<=n-(1<<j)+1)
f[i][j]=max(f[i][j-1],f[i+(1<<(j-1))][j-1]);
}
回答:
int ST_query(int l,int r)
{
int k=log(r-l+1)/log(2);//2^k<r-l+1
return max(f[l][k],f[r-(1<<k)+1][k]);
}