省选模拟7 题解
A. 翻转硬币
第一眼以为只要保证给定的$k$个点反面就好了,是弱智水题,于是感觉秒切了。
然后考完20分,就被秒切了。
所以实际上是一道原题。
思路大概是对原序列进行异或意义下的差分,于是区间修改转化为两个点的修改。
于是问题变化为将初态共$2k$个$1$消为$0$。
然后发现每个有意义的操作都对应着将一对点同时消掉。
所以在长度为$n$的序列上通过$bfs$最短路预处理出消掉任意两个点的贡献。
之后状压在拓扑序(即$2^{2k}$ ~ $0$)上跑个最短路就好了。
B. 回文子串
考试时的一个思路:
考虑维护线段树上每个区间内部的答案总数。
合并时只要统计左右两个儿子的贡献,加上跨过区间的贡献。
而后一份贡献可以通过manacher算法在$O(k)$的时间内处理出。
在manacher的过程中需要查询字符串某个下标的值,这个东西可以直接通过分块$O(\sqrt n)$修改,$O(1)$查询。
对于修改的操作,直接打懒标记,顺便将答案更改为一个等差数列即可。
然而manacher中的特判很多,有点恶心,复杂度$O(qklogn+n\sqrt n)$虽然是对的,但没有正解优秀。
正解是预处理出以$i$为起点的合法的回文串的个数,于是对于询问中的大部分可以直接通过线段树区间求和统计。
对于最后的小部分,可以直接跑manacher暴力。
对于修改操作,中间的大段为起点的回文串个数都为$k$,可以通过线段树区间修改。
对于旁边的小段,仍然直接跑manacher暴力处理,可以通过线段树解决。
这样的复杂度为$O(nk+q(k+logn))$。
C. 最大价值
考虑现在已经选定了一个集合。
因为集合中全部的$b$都可以累计答案一次,最优策略为直接将$a$排序,使得$a$最大的贡献最多次。
然后就发现$a$一定是关于排名单调递增的。
这个性质就很关键,因为可以直接通过这个性质进行DP了。
设$dp_{i,j}$表示到第$i$个元素,已经选择了$j$个元素的最优策略。
于是有一个显然的$dp$转移,$dp_{i,j}=max(dp_{i-1,j},dp_{i-1,j-1}+b_i+a_i*(j-1))$。
考虑怎么优化这个东西,似乎有点像可持久化。
盲猜$dp$转移点具有单调性,即一部分来自$dp_{i-1,j}$,另一部分来自后者。
打表发现确实是这样的。
存在一个分界点$k$,使得左侧状态由前者转移,右侧状态由后者转移。
然后发现这个玩意有点像原来做过的一道用$set$维护差分表的题。
打表给$dp$数组差分,然后发现似乎有一些单调性。
接着打表发现插入的元素大小是$(rk-1)*a_i+b_i$,插入的位置就是恰好合适的位置,对前面的元素没有修改,对后面的元素整体加$a_i$。
所以打一个平衡树就可以了。
然而快读不读longlong当场暴毙,自闭了。
因为我写的都是一些垃圾话,证明请看大神yxs博客。
一个对上述做法的解释是,
首先考虑一个结论,第$i$个物品如果存在于总共$k$个物品的最优方案中,那么也一定存在于$k+1$个物品的最优方案中,证明请看大神博客。
考虑$f_{i,j}=f_{i-1,j}$,那么有$f_{i-1,j}>f_{i-1,j-1}+a_i*(j-1)+b_i$。
即$f_{i-1,j}-f_{i-1,j-1}>a_i*(j-1)+b_i$,令$g_{i,j}=f_{i,j}-f_{i,j-1}$,即$f$数组的差分数组。
有$g_{i,j}>a_i*(j-1)+b_i$,所以将第$i$个物品放在对应的位置是合理的。
考虑该元素的插入位置$k$对差分表的影响。
对于$j<k$
$$g_{i,j}=f_{i,j}-f_{i,j-1}=f_{i-1,j}-f_{i-1,j-1}=g_{i-1,j}$$
对于$j>k$
$$g_{i,j}=f_{i,j}-f_{i,j-1}=f_{i-1,j-1}+a_i*(j-1)+b_i-f_{i-1,j-2}-a_i*(j-2)-b_i=g_{i-1,j-1}+a_i$$
因为插入的操作,下标自动平移一位,所以只要后缀作加法就好了。