题意：一个由n个数组成的序列(序列元素的范围是[0, n])，求最长前缀 j ，使得在这个前缀 j 中对于任意的数 i1 < i2，都满足任意的 m <= j，i1 在前 m 个数里出现的次数 >= i2 在前 m 个数里出现的次数 - k (1 ≤ n ≤ 200 000, 0 ≤ k ≤ 200 000)。

题目链接：http://acdream.info/problem?pid=1427

——>>第一个前缀 j 不满足，那么后面的前缀一定不满足（因为前缀 j 不满足）。。所以，从左往右扫描，每次取所有数字 i 的最少出现次数与当前扫描到的数出现的次数比较看是否满足条件即可。。

      所有数字 i 指的是哪些数字呢？是已经出现过的数吗？样例2说明不是。。是不大于当前出现过的最大整数吗？WA告诉我不是。。而是 <= a[j] 的所有非负整数。。

      所有数字 i 出现次数的最小值，我想到了RMQ和线段树，最后选了线段树来维护这个最小值。。

#include <cstdio>
#include <cstring>
#include <algorithm>

#define lc (o << 1)
#define rc ((o << 1) | 1)

using std::min;
using std::max;

const int MAXN = 200000 + 10;
const int INF = 0x3f3f3f3f;

int n, k, Max;
int minv[MAXN << 2], cnt[MAXN];
int a[MAXN];

void Read()
{
    Max = -1;
    for (int i = 1; i <= n; ++i)
    {
        scanf("%d", a + i);
        ++a[i];
        if (a[i] > Max)
        {
            Max = a[i];
        }
    }
}

void Build(int o, int L, int R)
{
    minv[o] = 0;
    if (L == R) return;
    int M = (L + R) >> 1;
    Build(lc, L, M);
    Build(rc, M + 1, R);
}

void Update(int o, int L, int R, int q)
{
    if (L == R)
    {
        minv[o] = cnt[q];
        return;
    }
    int M = (L + R) >> 1;
    if (q <= M) Update(lc, L, M, q);
    else Update(rc, M + 1, R, q);
    minv[o] = min(minv[lc], minv[rc]);
}

int Query(int o, int L, int R, int ql, int qr)
{
    if (ql <= L && R <= qr)
    {
        return minv[o];
    }
    int ret = INF;
    int M = (L + R) >> 1;
    if (ql <= M) ret = min(ret, Query(lc, L, M, ql, qr));
    if (qr > M) ret= min(ret, Query(rc, M + 1, R, ql, qr));

    return ret;
}

void Solve()
{
    int i;

    memset(cnt, 0, sizeof(cnt));
    for (i = 1; i <= n; ++i)
    {
        ++cnt[a[i]];
        Update(1, 1, Max, a[i]);
        if (Query(1, 1, Max, 1, a[i]) < cnt[a[i]] - k) break;
    }
    printf("%d\n", i - 1);
}

int main()
{
    while (scanf("%d%d", &n, &k) == 2)
    {
        Read();
        Build(1, 1, Max);
        Solve();
    }

    return 0;
}

acd - 1427 - Nice Sequence（线段树）