[CF888E] Maximum Subsequence 序列分治

早期作品，不喜轻喷。
LG传送门
序列分治板子题。
切这道题用了好长时间，所以想发篇题解作为纪念 。
首先，我们认真观察题目数据（面向数据做题是个好习惯），发现题目的\(n\)竟然只有\(35\)，我们顿时感到打暴力的机会来了：
\(2^n\)枚举？
是个好办法。
只可惜我们发现\(2^{35}=34359738368\),并不能过掉所有数据点，于是考虑优化。

分治

考虑把这\(n\)个数分成两组（当然要尽量平均），对两组数据分别实施暴力，并把结果存起来（事实上是可以存下来的：\(2^{18}=262144\))。

void dfs1(int i,int sum){
	if(i==b){p[++k]=sum,p[++k]=(sum+a[b])%m; return ;}
	dfs1(i+1,sum),dfs1(i+1,(sum+a[i])%m);
}
void dfs2(int i,int sum){
	if(i==n){q[++t]=sum,q[++t]=(sum+a[n])%m; return ;}
	dfs2(i+1,sum),dfs2(i+1,(sum+a[i])%m);
}

这样一来，我们就得到了原序列分成两半的结果，这两个序列中的数两两组合就可以得到我们要的结果。
等等，两两组合？这样的复杂度不是和纯暴力一样吗？
这时候就需要我们贪心地看问题了：
我们发现：对于序列\(p\)中的每一个数\(p_i\)，在序列\(q\)中若能找到一个与之相加小于\(m\)的最大的数\(q_j\),其他所有的与\(p_i\)的和小于\(m\)的数都不会比它更优,即\(q_j\)比序列\(q\)中所有比它小的数都更优。
对于\(q\)中的每一个数，满足相同条件的\(p_i\)也具有同样的性质。
我们想到一种对于\(p,q\)线性的算法：把\(p\)和\(q\)排一遍序，把指向\(p\)数组的指针\(i\)和指向\(q\)数组的指针\(j\)分别按上面所说的条件向右和向左移动，同时更新\(ans\)。
这时我们就只剩下\(p_i+q_j>m\)的情况了，由于在之前已经取过模，\(p_i+q_j\)必定小于\(2m\)，所以我们就只需要用\(p,q\)的最大值之和去更新一下\(ans\)就好了。

代码实现

int main(){
	R int i,j,ans=0;
	n=read(),m=read(),b=n>>1;
	for(i=1;i<=n;++i) a[i]=read();
	if(n==1) printf("%d",a[1]%m),exit(0);
	dfs1(1,0),dfs2(b+1,0),i=0,j=t;
	sort(p+1,p+k+1),sort(q+1,q+t+1);
	while(i<=k){
		while(p[i]+q[j]>=m) --j;
		ans=max(ans,p[i]+q[j]),++i;
	}
	ans=max(ans,p[k]+q[t]-m);
	printf("%d",ans);
	return 0;
}

注意这里特判了一下\(n=1\)的情况，我被这个点坑了一次。