HDU 6406 Taotao Picks Apples

题目：点击打开链接
题意： 有n个苹果按顺序排列，每个苹果都有一个高度 hi。由于陶陶有一种奇怪的癖好，他希望按照给出的顺序（输入顺序）摘苹果，且每一次摘的苹果的高度都严格大于上一次摘的苹果的高度。神奇的是这棵树上的苹果会移动，能够改变其中一个苹果的高度，求改变后陶陶最多能够摘多少个苹果。

分析：改变苹果树高度的位置，前面摘的苹果数量不会发生变化，关键考虑改变位置之后的变化情况，假设当前位置为i，考虑1-i之间最后一个能摘的苹果树的高度，记为h，剩下的就是找出一个i之后的最长的大于h的递增序列的长度，这个可以用一个单调栈（队列）来维护就好了，可以先将区间从大到小排序一下，从后往前扫一遍就行了，复杂度大致为O(n*logn)，细节见代码。

代码：

#pragma comment(linker, "/STACK:102400000,102400000")
#include<algorithm>
#include<iostream>
#include<cstdlib>
#include<cstring>
#include<cassert>
#include<string>
#include<cstdio>
#include<bitset>
#include<vector>
#include<cmath>
#include<ctime>
#include<stack>
#include<queue>
#include<deque>
#include<list>
#include<set>
#include<map>
using namespace std;
#define debug test
#define mst(ss,b) memset((ss),(b),sizeof(ss))
#define rep(i,a,n) for (int i=a;i<=n;i++)
#define per(i,a,n) for (int i=n;i>=a;i--)
#define all(x) (x).begin(),(x).end()
#define fi first
#define se second
#define SZ(x) ((int)(x).size())
#define ll long long
#define ull unsigned long long
#define pb push_back
#define mp make_pair
#define inf 0x3f3f3f3f
#define eps 1e-10
#define PI acos(-1.0)
typedef pair<int,int> PII;
const ll mod = 1e9+7;
const int N = 1e5+10;

ll gcd(ll p,ll q){return q==0?p:gcd(q,p%q);}
ll qp(ll a,ll b) {ll res=1;a%=mod; assert(b>=0); for(;b;b>>=1){if(b&1)res=res*a%mod;a=a*a%mod;}return res;}
int to[4][2]={{-1,0},{1,0},{0,-1},{0,1}};

int t,n,m,a[N],idx[N],num[N],sta[N],ans[N];

struct nd {
    int id,pos,val;
}q[N];
bool cmp(nd x,nd y) {
    return x.pos>y.pos;
}

int main() {
    ios::sync_with_stdio(0),cin.tie(0),cout.tie(0);
    cin>>t;
    while(t--) {
        mst(sta,0);
        cin>>n>>m;
        int ct=1,top=n;
        for(int i=1,k=0;i<=n;i++) {
            cin>>a[i];
            if(a[i]>k) idx[ct]=i,num[ct]=a[i],ct++,k=a[i];
        }
        for(int i=1;i<=m;i++) {
            cin>>q[i].pos>>q[i].val;
            q[i].id=i;
        }
        sort(q+1,q+m+1,cmp);
        for(int i=n,qry=1;i>=1&&qry<=m;) {
            if(q[qry].pos==i) {
                int lf=lower_bound(idx+1,idx+ct,i)-idx;
                if(idx[ct-1]<i) lf--;
                while(idx[lf]>=i) lf--;
                int sum=lf;
                if(num[lf]<q[qry].val) sum++;
                else q[qry].val=num[lf];
                int x=upper_bound(sta+top,sta+n,q[qry].val)-sta;
                sum += n-x;
                ans[q[qry].id]=sum;
                qry++;
            }else {
                if(a[i]<sta[top]) sta[--top]=a[i--];
                else {
                    ///while(a[i]>=sta[top]&&top<n) top++;
                    ///sta[--top]=a[i--];
                    top=upper_bound(sta+top,sta+n,a[i])-sta;///二分查找更高效
                    sta[--top]=a[i--];
                }
            }
        }
        for(int i=1;i<=m;i++) cout<<ans[i]<<endl;
    }
    return 0;
}