codeforce 1175E Minimal Segment Cover ST表 倍增思想

这题太巧妙了。

题意是，给定2*10^5个区间。然后2*10^5组询问，每次询问一个区间，问至少需要几个给定区间，才能将其完全覆盖。坐标范围5*10^5。

如果只有一个询问区间，是经典的贪心问题。我们每次选择，尽可能覆盖的靠右的区间。

但是这题显然贪心的话，时间是不够的。

考虑使用倍增进行预处理。

我们用dp[i][o]表示从i点开始，选择o个区间，能覆盖到最远哪个点。为-1，则表示不存在。

那么显然如果dp[i][o - 1] != -1 时，dp[i][o] = dp[dp[i][o - 1]][o - 1]。否则为-1。

那么我么如何求出dp[i][0]呢？读入的时候，dp[tx][0] = max(dp[tx][0],ty)。然后从1到5*10^5，满足dp[i - 1][0]包括i点的条件下，递推下即可，dp[i][0] = max(dp[i][0],dp[i - 1][0])。

考虑查询询问。

类似倍增LCA，我们从大到小，试着跳，跳到或跳过，就不跳，以此避免跳多浪费。最后一定跟右端点只差一步，答案+1，即可。

#include <cstdio>
#include <cmath>
#include <algorithm>
#include <cstring>
using namespace std;
int ans,n,m;
int dp[500010][20];
int main()
{
    memset(dp,-1,sizeof(dp));
    scanf("%d%d",&n,&m);
    int tl,tr;
    for (int i = 1;i <= n;i++)
    {
        scanf("%d%d",&tl,&tr);
        dp[tl][0] = max(dp[tl][0],tr);
    }
    for (int i = 1;i <= 500000;i++)
        if (dp[i - 1][0] >= i && dp[i - 1][0] > dp[i][0])
            dp[i][0] = dp[i - 1][0];
    int t = log2(500000);
    for (int o = 1;o <= t;o++)
    {
        for (int i = 0;i <= 500000;i++)
        {
            if (dp[i][o - 1] == -1)
                continue;
            dp[i][o] = dp[dp[i][o - 1]][o - 1];
        }
    }
    for (;m;m--)
    {
        ans = 0;
        scanf("%d%d",&tl,&tr);
        for (int o = t;o >= 0;o--)
        {
            if (dp[tl][o] < tr && dp[tl][o] != -1)
            {
                ans += (1 << o);
                tl = dp[tl][o];
            }
        }
        if (dp[tl][0] >= tr) 
            printf("%d\n",ans + 1);
        else
            printf("-1\n");
    }
    return 0;
}