CPOJ 九校联考第二场day1 优美序列

题面

从左到右枚举优美区间的右端点,假设当前枚举到$i$,那么区间$[k,i]$为优美区间当且仅当
$$k+num==i$$
其中$num$为$[k,i]$中相差为$1$的数对$(a,b)(a<b)$的数对个数
枚举到$i$时我们将$a[i]+1$与$a[i]-1$的贡献计入
设$a[i]+1$所在位置为$p_1$,$a[i]-1$所在位置为$p_2$
那么若$p_i(i=1,2)<i$且$p_i>0$时会对$[1,p_i]$产生$1$的贡献
所以我们只需一棵兹磁区间加法与区间求最大值的线段树即可
我们用堆按从大到小维护$l$,对于询问$(l,r)$,我们在线段树上查询$[1,l]$的$k+num$的最大值以及最大的$k$,若$k+num==i$则找到了该询问的答案,将该询问从堆中弹出,否则将其留在堆中,并枚举下一个$i$
显然若存在优美区间$[l_1,r_1]$与$[l_2,r_2]$满足$l_2<r_1$且互不包含,那么区间$[l_2,r_1]$也是优美的,因此可以保证这样最优
Code
区间询问的第二种写法比第一种写法不知快到哪里去了

Pair ask(LL l,LL r,LL now,LL x,LL y){
		if (x<=l && r<=y) return tr[now];
		if (r<x || l>y) return Pair(0,0);
		pd(now);
		return max(ask(l,mid,lson,x,y),ask(mid+1,r,rson,x,y));
	}

Pair ask(LL l,LL r,LL now,LL x,LL y){
		if (x<=l && r<=y) return tr[now];
		if (r<x || l>y) return Pair(0,0);
		pd(now);
		Pair res=Pair(0,0);
		if (mid>=x) cmax(res,ask(l,mid,lson,x,y));
		if (mid+1<=y) cmax(res,ask(mid+1,r,rson,x,y));
		return res;
	}