bzoj4059 [Cerc2012]Non-boring sequences

传送门：http://www.lydsy.com/JudgeOnline/problem.php?id=4059

【题解】

考虑分治。定义过程solve(l,r)为判断全在[l,r]范围内的所有连续子序列是不是non-boring的

那么我们预处理每个地方的前一个与它相同的数pre[i]和后一个与它相同的数nxt[i]。

显然对于i属于[l,r]，如果存在pre[i]<l,nxt[i]>r，那么任何经过i的连续子序列都合法，所以就分成[l,i-1]和[i+1,r]检测即可。

为了保证复杂度，我们要从两边同时往中间搜，这样复杂度为

T(n) = max{T(n-k) + T(k) + O(min(k, n-k))} = O(nlogn)

或者用“启发式合并”的逆过程也能证明。

# include <stdio.h>
# include <algorithm>
# include <vector>
// # include <bits/stdc++.h>

using namespace std;

int T, n, a[], pre[], nxt[];
int lst[], na[];
vector<int> vec;
vector<int>::iterator it;

inline bool judge(int l, int r) {
    if (l == r) return ;
    if (l == r-) return a[l] != a[r];
    for (int i=l, j=r; i<=j; ++i, --j) {
        if(pre[i] < l && nxt[i] > r) {
            if(i != l) return judge(l, i-) && judge(i+, r);
            else return judge(i+, r);
        }
        if(pre[j] < l && nxt[j] > r) {
            if(j != r) return judge(l, j-) && judge(j+, r);
            else return judge(l, j-);
        }
    }
    return ;
}

inline void out(int *ot, int ed) {
    for (int i=; i<=ed; ++i) printf("%d ", ot[i]);
    puts("");
}

int main() {
    scanf("%d", &T);
    while(T--) {
        vec.clear();
        scanf("%d", &n);
        for (int i=; i<=n; ++i) {
            scanf("%d", &a[i]);
            pre[i] = , nxt[i] = n+;
            vec.push_back(a[i]);
        }
        sort(vec.begin(), vec.end());
        it = unique(vec.begin(), vec.end());
        vec.erase(it, vec.end());
        for (int i=; i<=n; ++i)
            na[i] = lower_bound(vec.begin(), vec.end(), a[i]) - vec.begin() + ;

        for (int i=; i<=n; ++i) lst[i] = ;
        for (int i=; i<=n; ++i) {
            if(lst[na[i]] != ) pre[i]=lst[na[i]];
            lst[na[i]]=i;
        }

        for (int i=; i<=n; ++i) lst[i] = n+;
        for (int i=n; i>=; --i) {
            if(lst[na[i]] != n+) nxt[i]=lst[na[i]];
            lst[na[i]]=i;
        }

        //out(pre, n);
        //out(nxt, n);

        if(judge(, n)) puts("non-boring");
        else puts("boring");
    }

    return ;
}