[arc072e]Alice in linear land

题目大意

给你一个数组d[1..n]，棋子初始距离终点D(区分大小写)，按顺序遍历d[]，新的到终点的距离为D1=min(D,|D-d[i]|)。
现在有m个询问，问如果只修改d[x]为任意值，是否能让棋子到不了终点？是输出YES否则NO。
n,m<=5e5，d[1..n],D<=1e9

思路

假设询问x,那么前面x-1个操作之后，你的位置是确定的，假设距离为y。根据操作的特点，现在考虑是否存在一个z<=y，使得在z这个状态下跳不到0。考虑暴力，直接维护pd[x][i]表示距离终点i，只执行x~n的操作能不能到终点。
然后发现其实i是从0开始连续的一段。直接设f[x]表示只执行x~n的操作，最远的跳不到终点的位置。
然后考虑d[x-1]，如果他大于f[x]*2，在f[x]及之外的位置，执行d[x-1]后是不会改变位置的。否则，[ 0,f[x]+d[x-1] )的位置，都是可以到终点的。
最后简单比较输出答案即可。

代码

#include<cstdio> 
#include<algorithm>
#include<cstring>
#include<cmath>
#include<set>
#include<map>
using namespace std;
#define fo(i,j,k) for(i=j;i<=k;i++)
#define fd(i,j,k) for(i=j;i>=k;i--)
#define cmax(a,b) (a=(a>b)?a:b)
#define cmin(a,b) (a=(a<b)?a:b)
typedef long long ll;
const int N=1e6+5,M=2e6+5,mo=1e9+7;
ll i,n,m,a[N],d[N],f[N],x;
int main()
{
    freopen("t16.in","r",stdin);
    //freopen("t16.out","w",stdout);
    scanf("%lld %lld",&n,a);
    fo(i,1,n)
    {
        scanf("%lld",d+i);
        a[i]=min(a[i-1],abs(a[i-1]-d[i]));
    }
    f[n+1]=1;
    fd(i,n,1)
    {
        f[i]=f[i+1];
        if (d[i]<f[i]*2) f[i]+=d[i];
    }
    scanf("%lld",&m);
    fo(i,1,m)
    {
        scanf("%lld",&x);
        if (a[x-1]>=f[x+1]) printf("YES\n");
        else printf("NO\n");
    }
}