bzoj3441（线段树的奇怪题）

比赛时碰到的，其实并不是什么imba的题，但其他人都沉迷30行的代码，没人用我的解法，所以就写了。

题面

语文不好，题意不会说了。

显然每个（马猴）水缸的喝水次数是可以算出来的，即为tim[i]。
朴素的思考，一轮轮的喝，那么我只要知道每一轮喝了多少次就可以了。
根据（马猴）水缸的特点，某个水缸在某一轮没被喝，以后也不会被喝了。

假设前k-1轮喝了ans次，第k-1轮喝水t次，喝水的序列为a[1],a[2]…a[t]。
那么即是要找出a序列里所有不能在第k轮喝水的水缸，并一个个从序列里删除。

对于水缸a[i]，若不满足(tim[a[i]]>=ans+i-1)，(tim[a[i]]-i>=ans-1),则a[i]不能在第k轮喝水。

故要维护序列中的tim[a[i]]-i最小值，不断删除对应元素，直到Min(tim[a[i]]-i)>=ans-1。
显然删除了a[i]后，对于j>i的每个j，tim[a[j]]-j 要+1。

上面操作就一棵线段树可以解决了（Splay也是妥妥的）。
根据这题特点，删除应先删除位置小的，故推荐使用左子树优先的二叉查找（在树上走的时候一定要记得下放标记）。

#include <iostream>
#include <fstream>
#include <algorithm>
#include <cmath>
#include <ctime>
#include <cstdio>
#include <cstdlib>
#include <cstring>

using namespace std;
#define mmst(a, b) memset(a, b, sizeof(a))
#define mmcp(a, b) memcpy(a, b, sizeof(b))
#define imin(a, b) (((a)<(b)) ? (a) : (b))

typedef long long LL;

const int N=400100;
const LL oo=1e12;

int n,m;
LL ans,len;
LL tim[N],a[N],x;
LL t[4*N],lazy[4*N];

void build(int ro,int l,int r)
{
    if(l==r)
    {
        t[ro]=tim[l]-l;
        return;
    }
    int mid=(l+r)/2;
    build(ro*2,l,mid);
    build(ro*2+1,mid+1,r);
    t[ro]=imin(t[ro*2],t[ro*2+1]);
}

void down(int ro)
{
    t[ro*2]+=lazy[ro];
    t[ro*2+1]+=lazy[ro];
    lazy[ro*2]+=lazy[ro];
    lazy[ro*2+1]+=lazy[ro];
    lazy[ro]=0;
}

void add(int ro,int l,int r,int zuo,int you)
{
    if(l>=zuo&&r<=you)
    {
        t[ro]++;
        lazy[ro]++;
        return;
    }
    int mid=(l+r)/2;
    down(ro);
    if(zuo<=mid)    add(ro*2,l,mid,zuo,you);
    if(you>mid)     add(ro*2+1,mid+1,r,zuo,you);
    t[ro]=imin(t[ro*2],t[ro*2+1]);
}

void Cut()
{
    int tu=t[1],ro=1,l=1,r=n;
    while(l!=r)
    {
        down(ro);
        int mid=(l+r)/2;
        if(t[ro*2]==tu)
        {
            ro=ro*2;
            r=mid;
        }
        else
        {
            ro=ro*2+1;
            l=mid+1;
        }
    }
    t[ro]=oo;
    while(ro!=1)
    {
        ro=ro/2;
        t[ro]=imin(t[ro*2],t[ro*2+1]);
    }
    add(1,1,n,l,n);
}

int main()
{
    cin>>n>>m>>x;

    for(int i=1;i<=n;i++)
    scanf("%lld",&tim[i]);
    for(int i=1;i<=n;i++)
    scanf("%lld",&a[i]);

    for(int i=1;i<=n;i++)
    {
        if(tim[i]>x)
        tim[i]=0;
        else
        {
            if(a[i]==0)
            tim[i]=oo;
            else
            tim[i]=(x-tim[i])/a[i]+1;
        }   
    }

    build(1,1,n);

    len=n;
    for(int i=1;i<=m;i++)
    {
        LL tu=t[1];
        while(tu<ans)
        {
            Cut();
            len--;
            tu=t[1];
        }
        ans+=len;
    }
    cout<<ans<<endl;

    return 0;
}