bzoj4059 [Cerc2012]Non-boring sequences 分治

Description

---

我们害怕把这道题题面搞得太无聊了，所以我们决定让这题超短。一个序列被称为是不无聊的，仅当它的每个连续子序列存在一个独一无二的数字，即每个子序列里至少存在一个数字只出现一次。给定一个整数序列，请你判断它是不是不无聊的。

1 <= n <= 200000。接下来一行n个不超过10^9的非负整数，表示这个序列。

Solution

---

一个非常显然的想法就是记录数字x前一个相同数字的位置pre[]，后一个相同数字的位置nex[]
一个子序列[l,r]满足是不无聊的一定有pre[x]< l且r < nex[x]
一个naive的想法就是每次扫一遍找到一个子序列中的数字使得子序列不无聊，分治做下去，显然这是可以被卡到O(n^2)的
一个不那么naive的想法就是每次从两边向中间扫找到一个数使得当前子序列不无聊，分治做下去

复杂度并不会证，T(n)=max{T(k)+T(n−k)+min(n,n−k)}=O(nlogn)

另一个不那么显然的做法则是构建一个平面直角坐标系，一个点表示一个区间，其横坐标表示右端点，纵坐标表示左端点，那么就可以把上述贡献看做是一个矩形
显然一个横坐标x满足题目条件的话则必有横坐标为x纵坐标在[1,x]内的点被矩形覆盖掉。
那么就可以用线段树+扫描线来搞了

据说第二种方法需要卡常，反正第一种特别好写

Code

---

#include <stdio.h>
#include <string.h>
#include <map>
#define rep(i,st,ed) for (int i=st;i<=ed;++i)
#define fill(x,t) memset(x,t,sizeof(x))

const int N=400005;

int pre[N],nex[N];

std:: map <int,int> last;

int read() {
    int x=0,v=1; char ch=getchar();
    for (;ch<'0'||ch>'9';v=(ch=='-')?(-1):(v),ch=getchar());
    for (;ch<='9'&&ch>='0';x=x*10+ch-'0',ch=getchar());
    return x*v;
}

bool not_boring(int x,int l,int r) {
    return pre[x]<l&&nex[x]>r;
}

bool solve(int L,int R) {
    if (R<=L) return true;
    for (int l=L,r=R,i=1;l<=r;i++) {
        if (i&1) {
            if (not_boring(l,L,R)) {
                return solve(L,l-1)&&solve(l+1,R);
            }
            l++;
        } else {
            if (not_boring(r,L,R)) {
                return solve(L,r-1)&&solve(r+1,R);
            }
            r--;
        }
    }
    return false;
}

int main(void) {
    int T=read();
    while (T--) {
        int n=read();
        last.clear();
        rep(i,0,n+1) pre[i]=nex[i]=0;
        rep(i,1,n) {
            int x=read();
            if (!last[x]) {
                pre[i]=0;
            } else {
                pre[i]=last[x];
                nex[last[x]]=i;
            }
            last[x]=i;
        }
        rep(i,1,n) if (nex[i]==0) nex[i]=n+1;
        if (solve(1,n)) puts("non-boring");
        else puts("boring");
    }
    return 0;
}