BZOJ4059: [Cerc2012]Non-boring sequences

線段樹

題目傳送門

這道題正解是啓發式分治，不過線段樹也能做。

和這道題很像，同樣記一個$nxt[i]$表示$a[i]$下一次出現的位置，枚舉左端點，撤銷$[i,nxt[i]-1]$，加上$[nxt[i],nxt[nxt[i]]-1]$，並判斷$[i,n]$是否被完全覆蓋即可。

代碼：

#include<cctype>
#include<cstdio>
#include<cstring>
#include<algorithm>
#define N 200005
#define F inline
using namespace std;
struct tree{ int l,r,f,mn; }t[N<<2];
int q,n,a[N],b[N],nxt[N],lst[N];
F char readc(){
	static char buf[100000],*l=buf,*r=buf;
	if (l==r) r=(l=buf)+fread(buf,1,100000,stdin);
	return l==r?EOF:*l++;
}
F int _read(){
	int x=0; char ch=readc();
	while (!isdigit(ch)) ch=readc();
	while (isdigit(ch)) x=(x<<3)+(x<<1)+(ch^48),ch=readc();
	return x;
}
F void pshp(int x){ t[x].mn=min(t[x<<1].mn,t[x<<1|1].mn); }
F void pshd(int x){
	if (!t[x].f) return; int k=t[x].f; t[x].f=0;
	t[x<<1].f+=k,t[x<<1].mn+=k,t[x<<1|1].f+=k,t[x<<1|1].mn+=k;
}
F void build(int x,int l,int r){
	t[x]=(tree){l,r,0,0};
	if (l==r) return; int mid=l+r>>1;
	build(x<<1,l,mid),build(x<<1|1,mid+1,r);
}
F void mdfy(int x,int l,int r,int w){
	if (t[x].l>r||t[x].r<l) return;
	if (t[x].l>=l&&t[x].r<=r)
		return t[x].f+=w,void(t[x].mn+=w);
	pshd(x),mdfy(x<<1,l,r,w),mdfy(x<<1|1,l,r,w),pshp(x);
}
F int srch(int x,int l,int r){
	if (t[x].l>r||t[x].r<l) return 1e9;
	if (t[x].l>=l&&t[x].r<=r) return t[x].mn;
	return pshd(x),min(srch(x<<1,l,r),srch(x<<1|1,l,r));
}
int main(){
	for (q=_read();q;q--){
		n=_read(),build(1,1,n); bool f=true;
		for (int i=1;i<=n;i++) b[i]=a[i]=_read(),lst[i]=n+1;
		sort(b+1,b+n+1),b[0]=unique(b+1,b+n+1)-b-1;
		for (int i=n;i;i--){
			a[i]=lower_bound(b+1,b+b[0]+1,a[i])-b;
			nxt[i]=lst[a[i]],lst[a[i]]=i;
		}
		for (int i=1;i<=n;i++)
			if (lst[a[i]]==i) mdfy(1,i,nxt[i]-1,1);
		for (int i=1;i<n;i++){
			if (!srch(1,i,n)){ f=false; break; }
			mdfy(1,i,nxt[i]-1,-1);
			if (nxt[nxt[i]]) mdfy(1,nxt[i],nxt[nxt[i]]-1,1);
		}
		puts(f?"non-boring":"boring");
	}
	return 0;
}