Educational Codeforces Round 97 E. Make It Increasing

最新推荐文章于 2024-08-01 11:51:06 发布

小鱼yn

最新推荐文章于 2024-08-01 11:51:06 发布

阅读量135

点赞数

分类专栏： CF 序列中的“最值”

本文链接：https://blog.csdn.net/qq_43803508/article/details/109550498

版权

CF 同时被 2 个专栏收录

14 篇文章 0 订阅

订阅专栏

序列中的“最值”

6 篇文章 0 订阅

订阅专栏

https://codeforces.com/contest/1437/problem/E
题意：给定一个长度为n的序列a。当元素i不属于集合b时，序列中的a_i可以更改为任意值。问：让序列变成严格递增的序列所需要的最小操作次数。

思路：
1、首先，当a[i]、a[j]值固定且 $i - j > a [i] - a [j] (i > j)$ 时，我们不能通过修改区间 $(i, j)$ 的值使它成为一个严格递增的序列，所以我们可以结和集合b先排除不可能的情况。
2、若 $i - j \leq a [i] - a [j] (i > j)$ ，即 $a [j] - j \leq a [i] - i$ 时，那么a[i]和a[j]的值是合法的，即a[i]、a[j]值固定时，能通过修改区间 $(i, j)$ 的值使它成为一个严格递增的序列。设a中最长的合法序列长度为len，那么答案就是n-len，即n-(序列a[i]-i的最长上升不下降序列。
3、因为有b集合的限制，所以需要分别求出每个自序列的最优解。

#include<algorithm>
#include<iostream>
using namespace std;
#define LL long long
#define uLL unsigned long long
#define PII pair<int,int>
#define mid ((l + r)>>1)
#define chl (root<<1)
#define chr (root<<1|1)
#define lowbit(x) ( x&(-x) )
const int manx = 5e5 + 10;
const int INF = 2e9;
const int mod = 1e4+7;

int n,k,a[manx],b[manx],temp[manx];
int main()
{
    scanf("%d%d",&n,&k);
    for(int i=1;i<=n;i++){
        scanf("%d",&a[i]);
        a[i]-=i;
    }
    a[0]=-INF,a[n+1]=INF;
    b[0]=0,b[k+1]=n+1;
    for(int i=1;i<=k;i++){
        scanf("%d",&b[i]);
        if(a[b[i]]<a[b[i-1]]){
            printf("-1\n");
            return 0;
        }
    }
    int now=1,low=-INF,up=a[b[1]],ans=0,cou=0;
    for(int i=1;i<=n;i++){
        if(i==b[now]){
            ans+=b[now]-b[now-1]-1-cou;
            cou=0;
            low=up,up=a[b[++now]];
        }
        else{
            if(a[i]<low||a[i]>up)continue;
            int pos=upper_bound(temp,temp+cou,a[i])-temp;
            if(pos==cou)temp[cou++]=a[i];
            temp[pos]=a[i];
        }
    }
    ans+=b[now]-b[now-1]-1-cou;
    printf("%d\n",ans);
    return 0;
}