@codeforces - 1209G2@ Into Blocks (hard version)

目录


@description@

定义一个序列是好的,当且仅当这个序列中,相等的两个数之间的所有数全部相等。

每次操作可以将某个元素值对应的所有元素修改成另一元素值。
一个序列的困难度定义为,将这个序列修改成好的序列的最少需要修改的位置数。

现在给定初始序列 a1, a2, ..., an 以及 q 次操作,每次操作为 i x,表示将第 i 个元素修改为 x。
计算初始时以及每次操作后序列的困难度。

Input
第一行包含两个整数 n 与 q (1≤n≤200000, 0≤q≤200000),表示序列长度与操作数。

第二行包含 n 个整数 a1, a2, ..., an (1≤ai≤200000),表示初始序列。

接下来 q 行每行两个整数 it, xt (1≤it≤n, 1≤xt≤200000),描述了一次操作。

Output
输出 q + 1 个整数,表示初始序列以及每次操作后的序列的困难度。

Example
input
5 6
1 2 1 2 1
2 1
4 1
5 3
2 3
4 2
2 1
output
2
1
0
0
2
3
0

@solution@

假如如果没有修改(即 easy 版本),应该怎么做?

首先假如某个元素值 k,它最左边出现的位置为 l[k],最右边出现的位置为 r[k],则 l[k]~r[k] 必须要修改为同一元素。
假如最后 a[p]~a[q] 必须为同一元素,则我们保留 a[p]~a[q] 中出现次数最多的元素,修改掉其他的元素是最优的。

我们用数值来描述限制:定义 b[i] 表示 a[i] 与 a[i+1] 被多少次要求为同一元素。则对于每一个 k,我们将 b[ l[k] ... r[k]-1 ] 区间 + 1,即可维护 b 的值。
每次 b 中连续的非零值就形成了最后要求是同一元素的区间。
我们只需要维护出这些非零值形成的连续区间中,区间的长度 - 区间中元素出现次数最大值,这个值之和,即可得到答案。

我们将某一元素 k 出现的次数 cnt[k] 维护在 l[k] 这一位置,记作 c[l[k]]。再定义 d[i] 表示 max{c[i], c[i+1]}。
则只需要维护非零值形成的连续区间中,区间的长度 - 区间中 d 的最大值,该值之和即可。

给 b 序列区间 + 1 可以使用线段树实现。考虑使用线段树怎么实现查询功能。
我们再加入两个哨兵结点 b[0] 与 b[n+1],方便下面的实现。

因为非零值的相关数值不好维护,我们在线段树中维护的是 “删掉当前区间内所有的 b[i] 最小值后,剩下的连续区间的信息”。
为了方便合并,我们统计时并不把包含区间端点的区间统计入当前线段树结点。
因为哨兵节点的存在,我们最终线段树的根一定为我们需要的答案。

在线段树中每个结点先维护 tg, cmn, mx 这几个值,分别表示加法标记,当前区间的 b[i] 最小值,当前区间的 d[i] 最大值。
为了方便合并,再维护 lmx, rmx,表示删掉所有最小值后,左/右端点所在连续区间的最大值(注意可能不存在这样的区间,这时候记作 -1)。
最后,还要维护 ans, cnt,表示删掉所有最小值后, 区间 d 最大值之和与区间长度之和。
这里的“区间长度”,对于完整的区间(即不含区间端点)定义为 b 序列中的区间长度 + 1(即对应的原序列 a 中的区间长度);否则如果包含区间端点,定义为 b 序列中的区间长度本身。

维护过程,只需要讨论左右儿子的 cmn 是否等于当前结点的 cmn,进行分类讨论。
具体细节可以参考代码。

总时间复杂度 O(nlogn)。

@accepted code@

#include<set>
#include<cstdio>
#include<algorithm>
using namespace std;
const int MAXN = 200000;
int arr[MAXN + 5];
struct segtree{
    #define lch (x<<1)
    #define rch (x<<1|1)
    struct node{
        int l, r;
        int tg, cmn;
        int lmx, rmx, mx, ans, cnt;
    }t[4*MAXN + 5];
    void pushup(int x) {
        t[x].mx = max(t[lch].mx, t[rch].mx);
        t[x].cmn = min(t[lch].cmn, t[rch].cmn);
        
        if( t[x].cmn == t[lch].cmn )
            t[x].lmx = t[lch].lmx;
        else t[x].lmx = max(t[lch].mx, t[rch].lmx);
        
        if( t[x].cmn == t[rch].cmn )
            t[x].rmx = t[rch].rmx;
        else t[x].rmx = max(t[rch].mx, t[lch].rmx);
        
        if( t[x].cmn != t[rch].cmn ) {
            t[x].ans = t[lch].ans;
            t[x].cnt = t[lch].cnt + t[rch].r - t[rch].l + 1;
        }
        else if( t[x].cmn != t[lch].cmn ) {
            t[x].ans = t[rch].ans;
            t[x].cnt = t[rch].cnt + t[lch].r - t[lch].l + 1;
        }
        else {
            t[x].ans = t[lch].ans + t[rch].ans;
            t[x].cnt = t[lch].cnt + t[rch].cnt;
            if( t[lch].rmx != -1 || t[rch].lmx != -1 )
                t[x].ans += max(t[lch].rmx, t[rch].lmx), t[x].cnt++;
        }
        
    }
    void pushdown(int x) {
        if( t[x].tg ) {
            t[lch].tg += t[x].tg, t[rch].tg += t[x].tg;
            t[lch].cmn += t[x].tg, t[rch].cmn += t[x].tg;
            t[x].tg = 0;
        }
    }
    void build(int x, int l, int r) {
        t[x].l = l, t[x].r = r, t[x].tg = 0, t[x].ans = 0;
        if( l == r ) {
            t[x].cmn = 0, t[x].lmx = t[x].rmx = -1, t[x].mx = max(arr[l], arr[l + 1]);
            return ;
        }
        int mid = (l + r) >> 1;
        build(lch, l, mid), build(rch, mid + 1, r);
        pushup(x);
    }
    void update(int x, int p) {
        if( t[x].l > p || t[x].r < p )
            return ;
        if( t[x].l == t[x].r ) {
            t[x].mx = max(arr[p], arr[p + 1]);
            return ;
        }
        pushdown(x);
        update(lch, p);
        update(rch, p); 
        pushup(x);
    }
    void modify(int x, int l, int r, int d) {
        if( l <= t[x].l && t[x].r <= r ) {
            t[x].tg += d, t[x].cmn += d;
            return ;
        }
        if( l > t[x].r || r < t[x].l )
            return ;
        pushdown(x);
        modify(lch, l, r, d);
        modify(rch, l, r, d);
        pushup(x);
    }
}T;
set<int>st[MAXN + 5];
int a[MAXN + 5], n, q;
void update(int p) {T.update(1, p - 1), T.update(1, p);}
void remove(int x) {
    int l = *st[a[x]].begin(), r = *st[a[x]].rbegin();
    T.modify(1, l, r - 1, -1), arr[l] = 0, update(l);
    st[a[x]].erase(x);
    if( !st[a[x]].empty() ) {
        int l = *st[a[x]].begin(), r = *st[a[x]].rbegin();
        T.modify(1, l, r - 1, 1), arr[l] = st[a[x]].size(), update(l);
    }
}
void add(int x) {
    if( !st[a[x]].empty() ) {
        int l = *st[a[x]].begin(), r = *st[a[x]].rbegin();
        T.modify(1, l, r - 1, -1), arr[l] = 0, update(l);
    }
    st[a[x]].insert(x);
    int l = *st[a[x]].begin(), r = *st[a[x]].rbegin();
    T.modify(1, l, r - 1, 1), arr[l] = st[a[x]].size(), update(l);
}
int main() {
    scanf("%d%d", &n, &q);
    for(int i=1;i<=n;i++)
        scanf("%d", &a[i]);
    T.build(1, 0, n);
    for(int i=1;i<=n;i++) add(i);
    printf("%d\n", T.t[1].cnt - T.t[1].ans);
    for(int i=1;i<=q;i++) {
        int it, xt; scanf("%d%d", &it, &xt);
        remove(it), a[it] = xt, add(it);
        printf("%d\n", T.t[1].cnt - T.t[1].ans);
    }
}

@details@

好神奇的线段树。。。

上一篇:Oracle的表压缩


下一篇:parted 磁盘分区命令