[luogu7078]贪吃蛇

结论：若$a_{n}-a_{1}\ge a_{2}$，那么一定会吃掉

证明：分类讨论，若$a_{n-1}$也吃掉了$a_{2}$，就说明$a_{n-1}$之后不会被吃掉，而$a_{n-1}-a_{2}\le a_{n}-a_{1}$，因此$a_{n}$也不会被吃掉；若$a_{n-1}$不吃$a_{2}$，那么$a_{n}$同样也不会被吃掉

（注意，这只是说明满足这一条件下一定会吃，而不是吃一定要满足此条件）

根据这个结论，可以模拟直至$a_{n}-a_{1}<a_{2}$

考虑接下来是否会吃，如果有$a_{n-1}-(a_n-a_{1})\ge a_{2}$，那么一定不会吃（吃了$a_{n-1}$就一定可以吃他），类似的，如果$a_{n-1}-a'_{1}<a_{2}$且$a_{n-2}-a''_{1}\ge a_{2}$，那么一定可以吃（因为$a_{n-1}$一定不会吃）……

换言之，$a_{n}$吃掉$a_{1}$当且仅当下一次出现$a_{n'}-a_{1}\ge a_{2}$时$n$与$n'$同奇偶，正确性可以归纳得到，同时下一次$n-1$与$n'$就不同奇偶了，即不能吃掉

如何维护这个过程，对两部分分别维护：

1.对于第一部分，即每一次都有$a_{n}-a_{1}<a_{2}$，将所有点分为经过操作和未经过操作两部分，根据上面证明的过程，越晚经过操作的越小，因此用一个队列维护两部分，最小值和最大值都可以得到

2.对于第二部分，直接令$a_{1}=a_{n}-a_{1}$即可（当然要判断一下）

还有一些特殊情况，主要是关于$n=2$时的判断

1.对于第一部分，即模拟直到$a_{n}-a_{1}<a_{2}$，若最终$n=2$，则答案为1（可证一定有$a_{n}\ge \sum_{i=1}^{n-1}a_{i}$）；

2.对于第二部分，即模拟直到$a_{n}-a_{1}\ge a_{2}$，若最终$n'=1$，令$n'=2$

#include<bits/stdc++.h>
using namespace std;
#define N 1000005
#define fi first
#define se second
set<pair<int,int> >s;
deque<pair<int,int> >q1,q2;
int t,n,m,x,y,a[N];
pair<int,int> b[N];
int calc(int n){
    q1.clear(),q2.clear();
    for(int i=1;i<=n;i++)q1.push_back(make_pair(a[i],i));
    pair<int,int>x,y,z;
    while (1){
        if (n==2)return 1;
        if ((q2.empty())||(q1.back()>q2.back())){
            x=q1.back();
            q1.pop_back();
        }
        else{
            x=q2.back();
            q2.pop_back();
        }
        y=q1.front();
        q1.pop_front();
        z=make_pair(x.fi-y.fi,x.se);
        if (((q1.empty())||(q1.front()>z))&&((q2.empty())||(q2.front()>z))){
            q1.push_front(y);
            q1.push_back(x);
            break;
        }
        n--;
        q2.push_front(z);
    }
    int nn=0;
    while ((!q1.empty())||(!q2.empty()))
        if ((!q1.empty())&&((q2.empty())||(q1.front()<q2.front()))){
            b[++nn]=q1.front();
            q1.pop_front();
        }
        else{
            b[++nn]=q2.front();
            q2.pop_front();
        }
    while (nn>2){
        x=make_pair(b[nn].fi-b[1].fi,b[nn].se);
        if (x>=b[2])break;
        b[1]=x;
        nn--;
    }
    return n-((n&1)==(nn&1));
}
int main(){
    scanf("%d%d",&t,&n);
    for(int i=1;i<=n;i++)scanf("%d",&a[i]);
    printf("%d\n",calc(n));
    t--;
    while (t--){
        scanf("%d",&m);
        for(int i=1;i<=m;i++){
            scanf("%d%d",&x,&y);
            a[x]=y;
        }
        printf("%d\n",calc(n));
    }
    return 0;
}