CF1175E. Minimal Segment Cover（倍增算法）

题目链接：https://vjudge.net/contest/374302#problem/C
题意：给出n个区间[L,R]，再给出m个询问L,R，问询问L,R范围是否全部被包括
倍增板子：

void ST(int n)///预处理
{
    for(int i=1;i<=n;i++)
        f[i][0]=a[i];///初始化以自己为起点2的0次方长的区间就是自己
    for(int j=1;(1<<j)<=n;j++)///枚举区间长度
    {
        for(int i=1;i+(1<<j)-1<=n;i++)///枚举起点
        //i+2^j=i+2^(j-1)+2^(j-1)
        f[i][j]=max(f[i][j-1],f[i+(1<<(j-1))][j-1]);
    }
}

解题思路：dp[i][j]表示以i为起点开始第2^j个区间最远可以到达的位置
先预处理所有情况

for(int i=1;i<=maxn-10;i++)
		if(dp[i-1][0]>=i&&dp[i-1][0]>dp[i][0])
			dp[i][0]=dp[i-1][0];
	int k;
	for(k=1;(1<<k)<=maxn-10;k++)
		for(int i=0;i<=maxn-10;i++){
		//i无法延伸到2^(k-1)个区间，自然无法延伸到2^k个区间
			if(dp[i][k-1]==-1)  dp[i][k]=-1;
			 //i+2^j=i+2^(j-1)+2^(j-1)
			else  dp[i][k]=dp[dp[i][k-1]][k-1];
		}

然后对每一次询问进行处理

for(int i=1;i<=m;i++){
		ans=0;
		scanf("%d%d",&x,&y);
		if(dp[x][k-1]<y){
			printf("-1\n");
			continue;
		}
		for(int j=k-1;j>=0;j--)
			if(dp[x][j]<y&&dp[x][j]>x){
				ans+=(1<<j);
				x=dp[x][j];
			}
			//之所以加上限制条件d[x][j]<y&&dp[x][j]>x是为了防止区间算多的情况出现，比如dp[1][20]可以到达100处，dp[1][5]也可以到达100处，多出来的2^20-2^5个区间就浪费了
			//比如x=1,y=100,dp[1][5]=101，dp[1][4]=80,不取5而取4的原因是，答案可以介于2^4到2^5次方之间，从dp[i][4]点再进行查找
			//ans+1的+1是最后一步操作，因为上面dp[x][j]<y,永远无法到达y点，要在无限接近y点之后+1次操作来达到j点
		printf("%d\n",ans+1);
	}

#include<iostream>
#include<cstdio>
#include<string.h>
using namespace std;
const int maxn=5e5+10;
int n,m;
int dp[maxn][25];
int L,R;
int main()
{
	scanf("%d%d",&n,&m);
	memset(dp,-1,sizeof(dp));
	for(int i=1;i<=n;i++){
		scanf("%d%d",&L,&R);
		dp[L][0]=max(dp[L][0],R);
	}
	for(int i=1;i<=maxn-10;i++)
		if(dp[i-1][0]>=i&&dp[i-1][0]>dp[i][0])
			dp[i][0]=dp[i-1][0];
	int k;
	for(k=1;(1<<k)<=maxn-10;k++)
		for(int i=0;i<=maxn-10;i++){
			if(dp[i][k-1]==-1)  dp[i][k]=-1;
			else  dp[i][k]=dp[dp[i][k-1]][k-1];
		}
	int x,y;
	int ans;
	for(int i=1;i<=m;i++){
		ans=0;
		scanf("%d%d",&x,&y);
		if(dp[x][k-1]<y){
			printf("-1\n");
			continue;
		}
		for(int j=k-1;j>=0;j--)
			if(dp[x][j]<y&&dp[x][j]>x){
				ans+=(1<<j);
				x=dp[x][j];
			}
		printf("%d\n",ans+1);
	}
	return 0;
}