A. 序列
观察部分分,可以得到一些奇怪的构造方法。
比如当$N=A*B$,直接将数按$A$的大小或$B$的大小分块就可以了
接着打表,发现似乎全部的情况都可以通过类似的方法构造出来。
只要对后面的部分分块,前面不足的部分不用分块。
B. 购物
奇妙的数的范围很宽泛,达到$[k,2k]$的程度。
显然的结论是:对于$[lceil frac{a_{max}}{2} ceil,sum limits_{i=1}^{n}a_i]$的一切数,都是奇妙的。
所以可以拿到70分。
仔细想想,可以用一个类似背包的过程来进行这个$dp$。
首先将权值0加入数组$p$,
依次考虑$a_i$,
对于$p$中每一个数,在选$a_i$和不选的情况下分别加入数组$q$。
对数组$q$进行排序。 清空数组$p$。
如果$q_{i+1}已经大于当前$p$的最后一个值的两倍,那么加入$q_i$到$p$数组的末尾。
显然$p$数组的大小不会超过$2*log_2sum$,所以时间复杂度是正确的。
在加法的意义下,因为奇妙的数的区间达到$[k,2k]$,
对于加入一个非负数,相邻两个数会由$p_i$,$p_{i+1}$,变为$p_i+x$,$p_{i+1}+x$
由于保证$p_i*2>p_{i+1}$,$p_i*2+x*2>p_{i+1}+x$是显然的。所以正确性是可以证明的。
最终考虑相邻两个数可以统计答案。
C. 计数
对于$m=0$,显然答案为卡特兰数。
然后发现暴搜似乎挺难打的,所以直接搞正解。
显然我们关注的状态有:
当前节点,子树大小,中序遍历意义下的排名。
所以直接将这个设为状态,进行$dp$,
对于一些限制,只要判断是否合法之后转移。
对于这个合法性判断,显然可以直接枚举数对,简单转化题意,即范围内是否存在一个点,直接用二维前缀和处理。
因为状态数较少,$dp$进行过程可以为记忆化搜索。
然后就会发现,似乎没有用到状态的最后一维,也就是中序遍历排名。
实际上确实是这样的,因为在中序遍历下不合法的点对,都在其$lca$处被判断掉了。